welcome: please sign in
location: Diff for "Publications"
Differences between revisions 34 and 163 (spanning 129 versions)
⇤ ← Revision 34 as of 2015-10-01 08:56:45 →
Size: 3225
Editor: GabrielIstrate
Comment:
← Revision 163 as of 2022-12-01 10:19:00 → ⇥
Size: 10900
Editor: DanielaZaharie
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||Previous years: ||[[Publications/2014|2014]] ||[[Publications/2013|2013]] ||[[Publications/2012|2012]] ||[[Publications/2011|2011]] ||[[Publications/2010|2010]] ||[[Publications/2009|2009]] ||[[Publications/2008|2008]] ||[[Publications/2007|2007]] ||[[Publications/2006|2006]] ||[[Publications/2005|2005]] || Previous years (20xx):
||[[Publications/2020|20]] ||[[Publications/2019|19]] ||[[Publications/2018|18]] ||[[Publications/2017|17]] ||[[Publications/2016|16]] ||
||[[Publications/2015|15]] ||[[Publications/2014|14]] ||[[Publications/2013|13]] ||[[Publications/2012|12]] ||[[Publications/2011|11]] ||
||[[Publications/2010|10]] ||[[Publications/2009|09]] ||[[Publications/2008|08]] ||[[Publications/2007|07]] ||[[Publications/2006|06]] ||||

Previous years (20xx):
||[[Publications/2020|20]] ||[[Publications/2019|19]] ||[[Publications/2018|18]] ||[[Publications/2017|17]] ||[[Publications/2016|16]] ||
||[[Publications/2015|15]] ||[[Publications/2014|14]] ||[[Publications/2013|13]] ||[[Publications/2012|12]] ||[[Publications/2011|11]] ||
||[[Publications/2010|10]] ||[[Publications/2009|09]] ||[[Publications/2008|08]] ||[[Publications/2007|07]] ||[[Publications/2006|06]] ||||

== 2022 ==
==== Journal papers ====
 1. Brandibur, O., '''Kaslik E.''', Stability Analysis for a Fractional-Order Coupled FitzHugh–Nagumo-Type Neuronal Model, Fractal and Fractional 6 (5), 257, 2022
 1. L Bîrdac, '''E Kaslik''', '''R Mureşan''', Dynamics of a Reduced System Connected to the Investigation of an Infinite Network of Identical Theta Neurons, Mathematics 10 (18), 3245, 2022
 1. GV Cozma, '''D Onchis''', C Istin, IA Petrache, Explainable Machine Learning Solution for Observing Optimal Surgery Timings in Thoracic Cancer Diagnosis, Applied Sciences, 12, 6506, 2022
 1. 1. Damian L.R., Dumitrescu R, Alexa VT, Focht D, Schwartz C, Balean O, Jumanca D, Obistioiu D, Lalescu D, '''Stefaniga SA''', Berbecea A, Fratila AD, Scurtu AD,
Galuscan A, Impact of Dentistry Materials on Chemical Remineralisation/Infiltration versus Salivary Remineralisation of Enamel—In Vitro Study, Materials 15 (20), 7258, 2022
 1. '''Frincu M.''', '''Penteliuc M.''', '''Spataru A.''', A solar radiation forecast platform spanning over the edge-cloud continuum, Electronics 11 (17), 2756, 2022
 1. '''Kaslik E''', Rădulescu IR, Stability and bifurcations in fractional-order gene regulatory networks, Applied Mathematics and Computation 421, 126916, 2022
 1. '''Onchis D''', Istin C, '''Hogea E''', A Neuro-Symbolic Classifier with Optimized Satisfiability for Monitoring Security Alerts in Network Traffic, Applied Sciences, 12, 22, 2022
 1. '''Valcan S''', '''Gaianu M''', CUDA Implementation For Eye Location On Infrared Images, Scalable Computing: Practice and Experience 23 (1), 1-8, 2022
 1. Secășan CC, '''Onchis D''', Bardan R, Sporea I, APPLICATION OF ARTIFICIAL INTELLIGENCE FOR PRE-SCREENING PROSTATE CANCER USING SHEAR WAVE ELASTOGRAPHY MEASUREMENTS, Ultrasound in Medicine and Biology, 48, S26-S27, 2022
 1. Secasan CC, '''Onchis D''', Bardan R, Cumpanas A, Novacescu D, Botoca C, Dema A, Sporea I, Artificial Intelligence System for Predicting Prostate Cancer Lesions from Shear Wave Elastography Measurements, Current Oncology, 2022
 1. Sénizergues G, '''Marin M''', Dundua B, Diekert V, Camino C, Regular matching problems for infinite trees, Logical Methods in Computer Science 18, 2022
 

==== Conference papers ====
 1. Brandibur, O., '''Kaslik E.''', Stability Results for Two-Term Fractional-Order Difference Equations, International workshop on Advanced Theory and Applications of Fractional Calculus, pp 225-230, 2022
 1. '''Dramnesc I''', T Jebelean, E Abraham, G Kusper, S Stratulat, ARC: An Educational Project on Automated Reasoning in the Class, EdMedia+ Innovate Learning, 934-943, 2022
 1. '''Drămnesc I''', E Ábrahám, T Jebelean, G Kusper, S Stratulat, Experiments with Automated Reasoning in the Class, International Conference on Intelligent Computer Mathematics, 287-304, 2022
 1. '''Dramnesc I''', T Jebelean, AUTOMATED REASONING IN THE CLASS: AN EDUCATIONAL PROJECT FOR SOFTWARE ENGINEERS, INTED2022 Proceedings, 6224-6228, 2022
 1. '''Istrate G.''', '''Bonchiş C.''', '''Crãciun A.''', Compositionality and Proof Complexity, Structure Meets Power Workshop (Contributed Talks), 44, 2022
 1. '''Istrate G.''', '''Bonchiş C.''', Being Central on the Cheap: Stability in Heterogeneous Multiagent Centrality Games, Proceedings of AAMAS'22, the 21st International Conference on Autonomous Agents and Multiagent Systems, pp. 651-659, 2022
 1. '''Spătaru A.''', '''Iuhasz G.''', '''Panica S.''', TUFA: A TOSCA extension for the specification of accelerator-aware applications in the Cloud Continuum
 - 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 1178-1183, 2022
 1. Slim H, Belouadah A, Popescu A, '''Onchis D''', Dataset Knowledge Transfer for Class-Incremental Learning without Memory, Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, pp 483-492, 2022
Line 4: Line 39:
== Recent Publications == == 2021 ==
Line 6: Line 41:
 * Drămnesc, I., Jebelean, T., Synthesis of list algorithms by mechanical proving, Journal of Symbolic Computation 69 (1), pp. 61-92, 2015
 * Istrate, G., Identifying almost-sorted permutations from TCP buffer dynamics. Scientific Annals of Computer Science, XXV (1), pp. 133-154, 2015.
 * Istrate, G., Reachability and Recurrence in a Modular Generalization of Annihilating Random Walks (and lights-out games) to hypergraphs. Theoretical Computer Science'' '', 580, pp. 83-93, 2015.
 * Kutsia, T., Marin, M., Regular expression order-sorted unification and matching. Journal of Symbolic Computation 67, pp. 42-67 (2015)
 * Li, J., Agathos, A., Zaharie, D., Bioucas-Dias, J.M. , Plaza, A., Li, X. Minimum volume simplex analysis: A fast algorithm for linear hyperspectral unmixing, IEEE Transactions on Geoscience and Remote Sensing, 53 (9), 7090960, pp. 5067-5082, 2015
 * Măruşter, L., Măruşter, S., On the error estimation and T-stability of the Mann iteration, Journal of Computational and Applied Mathematics 276, pp. 110-116, 2015
 * Măruşter, S., Strong convergence of the mann iteration for demicontractive mappings, Applied Mathematical Sciences, 9 (41-44), pp. 2061-2068, 2015
 * Petcu, D., Panica, S., Crăciun, C., Neagul, M., Şandru, C., Cloud resource orchestration within an open-source component-based platform as a service, Concurrency Computation 27 (9), pp. 2443-2469, 2015		  1. Brandibur, O., Garrappa, R., Kaslik, E., Stability of systems of fractional-order differential equations with Caputo derivatives, Mathematics, 2021, 9(8), 914
 1. Brandibur, O., Kaslik, E., Stability analysis of multi-term fractional-differential equations with three fractional derivatives, Journal of Mathematical Analysis and Applications, 2021, 495(2), 124751
 1. Drămnesc, I., Jebelean, T., Synthesis of sorting algorithms using multisets in Theorema, Journal of Logical and Algebraic Methods in Programming, 2021, 119, 100635
 1. Dundua, B., Kutsia, T., Marin, M., Variadic equational matching in associative and commutative theories, Journal of Symbolic Computation, 2021, 106, pp. 78–109
 1. Eraşcu, M., Micota, F., Zaharie, D., Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking, Journal of Logical and Algebraic Methods in Programming, 2021, 121, 100664
 1. Ivașcu, T., Negru, V., Activity-aware vital sign monitoring based on a multi-agent architecture. Sensors, 2021, 21(12), 4181
 1. Kaslik, E., Neamţu, M., Vesa, L.F., Global stability analysis of an unemployment model with distributed delay, Mathematics and Computers in Simulation, 2021, 185, pp. 535–546
 1. Kimovski D, Mathá R, Iuhasz G, Marozzo F, Petcu D, Prodan R, Frontiers in Big Data, 4, 2021
 1. Miok, K., Škrlj, B., Zaharie, D., Robnik-Šikonja, M., To BAN or Not to BAN: Bayesian Attention Networks for Reliable Hate Speech Detection, Cognitive Computation, 2021
 1. Pârvulescu, L., Stoia, D.I., Miok, K., ...Muntean, M.D., Aburel, O.M., Force and Boldness: Cumulative Assets of a Successful Crayfish Invader, Frontiers in Ecology and Evolution, 2021, 9, 581247
 1. Onchis, D.M., Gillich, G.-R., Stable and explainable deep learning damage prediction for prismatic cantilever steel beam, Computers in Industry, 2021, 125, 103359
 1. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. The Maximum Binary Tree Problem. Algorithmica. Journal version of paper in Proceedings of the 28th European Symposium on Algorithms (ESA'2020).
 1. Nouara, A., Amara, A., Kaslik, E., ...Martinez, F., Kaabar, M.K.A.. A study on multiterm hybrid multi-order fractional boundary value problem coupled with its stability analysis of Ulam–Hyers type, Advances in Difference Equations, 2021, 2021(1), 343
 1. Petcu D, Service Deployment Challenges in Cloud-to-Edge Continuum, Scalable Computing: Practice and Experience 22 (3), 313-320, 2021
 1. Sferdian, M., Frincu, M. When old meets new: Evaluating numerical and machine learning based eclipse prediction methods, Romanian Astronomical Journal, 2021, 31(2), pp. 133–151
 1. Spataru, A.L., Pungila, C.-P., Radovancovici, M., A high-performance native approach to adaptive blockchain smart-contract transmission and execution, Information Processing and Management, 2021, 58(4), 102561
 1. Spataru, A., A review of blockchain-enabled fog computing in the cloud continuum context, Scalable Computing: Practice and Experience, Volume 22, Issues 4, pp. 463–468, DOI 10.12694/scpe.v22i4.1947, 2022
 1. Valcan, S., Gaianu, M., Ground truth data generator for eye location on infrared driver recordings, Journal of Imaging, 2021, 7(9), 162
Line 16: Line 61:
 * Aisenberg, J., Bonet, M.L., Buss, S., Crăciun, A., Istrate, G. Short Proofs of the Kneser-Lovász Coloring Principle. Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015)'' '', Lecture Notes in Computer Science vol. 9135, pp. 44-55. 2015.
 * Istrate, G., Bonchiş, C. Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process. Proceedings of the 26th Annual Symposium on Combinatorial Pattern Matching (CPM' 2015), Lecture Notes in Computer Science 9133, pp. 261-271. Springer Verlag, 2015.
 * Onchiş, D.M., Gotia, S.L., Enhancing dental radiographic images in spline-type spaces, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, 7034730, pp. 559-564, 2015
 * Onchiş, D.M., Frunzăverde, D., Găianu, M., Ciubotariu, R., Multi-phase identification in microstructures images using a GPU accelerated fuzzy C-Means segmentation, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, 7034736, pp. 602-607, 2015
 * Tirea, M., Negru, V., Intelligent stock market analysis system - A fundamental and macro-economical analysis approach, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, 7034725, pp. 519-526, 2015		  1. G. Istrate. Models We Can Trust: Towards a Systematic Discipline of (Agent-Based) Model Interpretation and Validation. Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'2021, pp.6-11. IFAAMAS and ACM Press.
 1. G. Istrate. Game-theoretic Models of Moral and Other-Regarding Agents. Proceedings of the 18th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'2021), June 25-27, 2021, Tsinghua University, Beijing, China (online), Electronic Proceedings in Theoretical Computer Science no. 335, pp. 213-228, 221.
 1. G. Istrate, C. Bonchis and A. Craciun. Kernelization, Proof Complexity and Social Choice. Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP). July, 12 - 16 2021. Glasgow, Scotland (online), Leibniz International Proceedings in Informatics (LIPICS), vol. 198, paper #131, pp.131:1-131:21.
 1. I. Drămnesc, T. Jebelean. Synthesis of Merging algorithms on binary trees using multisets in Theorema. SACI'2021.
 1. I. Drămnesc, T. Jebelean. AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12819 LNCS, pp. 314–333
 1. A. Fortiș, F. Fortiș. Cloud computing projects: a bibliometric overview. AINA'2021, CCPI Workshop. Lecture Notes in Networks and Systems, 2021, 227, pp. 127–138
 1. Aristotelis Kretsis, Panagiotis Kokkinos, Polyzois Soumplis, Juan Jose Vegas Olmos, Marcell Fehér, Márton Sipos, Daniel E Lucani, Dmitry Khabi, Dimosthenis Masouros, Kostas Siozios, Paraskevas Bourgos, Sofia Tsekeridou, Ferad Zyulkyarov, Efstathios Karanastasis, Efthymios Chondrogiannis, Vassiliki Andronikou, Aitor Fernandez Gomez, Silviu Panica, Gabriel Iuhasz, Anastassios Nanos, Charalampos Chalios, Manos Varvarigos, SERRANO: Transparent Application Deployment in a Secure, Accelerated and Cognitive Cloud Continuum, 2021 IEEE International Mediterranean Conference on Communications and Networking (MeditCom), 55-60, 2021
 1. C Orhei, V Bogdan, C Bonchis, R Vasiu, Dilated Filters for Edge-Detection Algorithms, Applied Sciences 11 (22), 10716, 2021
 1. C Pungila, V Negru, A Fast Heterogeneous Approach to Enhanced Blockchain Attack Resilience and Mitigation, Computational Intelligence in Security for Information Systems Conference, 3-12, 2021
 1. Spataru, A., Tranca, L.C., Penteliuc, M.E., Frincu, M.Parallel cloud movement forecasting based on a modified boids flocking algorithm, Proceedings - 2021 20th International Symposium on Parallel and Distributed Computing, ISPDC 2021, 2021, pp. 89–96

Previous years (20xx):

20

19

18

17

16

15

14

13

12

11

10

09

08

07

06

Previous years (20xx):

20

19

18

17

16

15

14

13

12

11

10

09

08

07

06

2022

Journal papers

  1. Brandibur, O., Kaslik E., Stability Analysis for a Fractional-Order Coupled FitzHugh–Nagumo-Type Neuronal Model, Fractal and Fractional 6 (5), 257, 2022

  2. L Bîrdac, E Kaslik, R Mureşan, Dynamics of a Reduced System Connected to the Investigation of an Infinite Network of Identical Theta Neurons, Mathematics 10 (18), 3245, 2022

  3. GV Cozma, D Onchis, C Istin, IA Petrache, Explainable Machine Learning Solution for Observing Optimal Surgery Timings in Thoracic Cancer Diagnosis, Applied Sciences, 12, 6506, 2022

  4. 1. Damian L.R., Dumitrescu R, Alexa VT, Focht D, Schwartz C, Balean O, Jumanca D, Obistioiu D, Lalescu D, Stefaniga SA, Berbecea A, Fratila AD, Scurtu AD,

Galuscan A, Impact of Dentistry Materials on Chemical Remineralisation/Infiltration versus Salivary Remineralisation of Enamel—In Vitro Study, Materials 15 (20), 7258, 2022

  1. Frincu M., Penteliuc M., Spataru A., A solar radiation forecast platform spanning over the edge-cloud continuum, Electronics 11 (17), 2756, 2022

  2. Kaslik E, Rădulescu IR, Stability and bifurcations in fractional-order gene regulatory networks, Applied Mathematics and Computation 421, 126916, 2022

  3. Onchis D, Istin C, Hogea E, A Neuro-Symbolic Classifier with Optimized Satisfiability for Monitoring Security Alerts in Network Traffic, Applied Sciences, 12, 22, 2022

  4. Valcan S, Gaianu M, CUDA Implementation For Eye Location On Infrared Images, Scalable Computing: Practice and Experience 23 (1), 1-8, 2022

  5. Secășan CC, Onchis D, Bardan R, Sporea I, APPLICATION OF ARTIFICIAL INTELLIGENCE FOR PRE-SCREENING PROSTATE CANCER USING SHEAR WAVE ELASTOGRAPHY MEASUREMENTS, Ultrasound in Medicine and Biology, 48, S26-S27, 2022

  6. Secasan CC, Onchis D, Bardan R, Cumpanas A, Novacescu D, Botoca C, Dema A, Sporea I, Artificial Intelligence System for Predicting Prostate Cancer Lesions from Shear Wave Elastography Measurements, Current Oncology, 2022

  7. Sénizergues G, Marin M, Dundua B, Diekert V, Camino C, Regular matching problems for infinite trees, Logical Methods in Computer Science 18, 2022

Conference papers

  1. Brandibur, O., Kaslik E., Stability Results for Two-Term Fractional-Order Difference Equations, International workshop on Advanced Theory and Applications of Fractional Calculus, pp 225-230, 2022

  2. Dramnesc I, T Jebelean, E Abraham, G Kusper, S Stratulat, ARC: An Educational Project on Automated Reasoning in the Class, EdMedia+ Innovate Learning, 934-943, 2022

  3. Drămnesc I, E Ábrahám, T Jebelean, G Kusper, S Stratulat, Experiments with Automated Reasoning in the Class, International Conference on Intelligent Computer Mathematics, 287-304, 2022

  4. Dramnesc I, T Jebelean, AUTOMATED REASONING IN THE CLASS: AN EDUCATIONAL PROJECT FOR SOFTWARE ENGINEERS, INTED2022 Proceedings, 6224-6228, 2022

  5. Istrate G., Bonchiş C., Crãciun A., Compositionality and Proof Complexity, Structure Meets Power Workshop (Contributed Talks), 44, 2022

  6. Istrate G., Bonchiş C., Being Central on the Cheap: Stability in Heterogeneous Multiagent Centrality Games, Proceedings of AAMAS'22, the 21st International Conference on Autonomous Agents and Multiagent Systems, pp. 651-659, 2022

  7. Spătaru A., Iuhasz G., Panica S., TUFA: A TOSCA extension for the specification of accelerator-aware applications in the Cloud Continuum - 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 1178-1183, 2022

  8. Slim H, Belouadah A, Popescu A, Onchis D, Dataset Knowledge Transfer for Class-Incremental Learning without Memory, Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, pp 483-492, 2022

2021

Journal papers

  1. Brandibur, O., Garrappa, R., Kaslik, E., Stability of systems of fractional-order differential equations with Caputo derivatives, Mathematics, 2021, 9(8), 914
  2. Brandibur, O., Kaslik, E., Stability analysis of multi-term fractional-differential equations with three fractional derivatives, Journal of Mathematical Analysis and Applications, 2021, 495(2), 124751
  3. Drămnesc, I., Jebelean, T., Synthesis of sorting algorithms using multisets in Theorema, Journal of Logical and Algebraic Methods in Programming, 2021, 119, 100635
  4. Dundua, B., Kutsia, T., Marin, M., Variadic equational matching in associative and commutative theories, Journal of Symbolic Computation, 2021, 106, pp. 78–109
  5. Eraşcu, M., Micota, F., Zaharie, D., Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking, Journal of Logical and Algebraic Methods in Programming, 2021, 121, 100664
  6. Ivașcu, T., Negru, V., Activity-aware vital sign monitoring based on a multi-agent architecture. Sensors, 2021, 21(12), 4181
  7. Kaslik, E., Neamţu, M., Vesa, L.F., Global stability analysis of an unemployment model with distributed delay, Mathematics and Computers in Simulation, 2021, 185, pp. 535–546
  8. Kimovski D, Mathá R, Iuhasz G, Marozzo F, Petcu D, Prodan R, Frontiers in Big Data, 4, 2021
  9. Miok, K., Škrlj, B., Zaharie, D., Robnik-Šikonja, M., To BAN or Not to BAN: Bayesian Attention Networks for Reliable Hate Speech Detection, Cognitive Computation, 2021
  10. Pârvulescu, L., Stoia, D.I., Miok, K., ...Muntean, M.D., Aburel, O.M., Force and Boldness: Cumulative Assets of a Successful Crayfish Invader, Frontiers in Ecology and Evolution, 2021, 9, 581247
  11. Onchis, D.M., Gillich, G.-R., Stable and explainable deep learning damage prediction for prismatic cantilever steel beam, Computers in Industry, 2021, 125, 103359
  12. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. The Maximum Binary Tree Problem. Algorithmica. Journal version of paper in Proceedings of the 28th European Symposium on Algorithms (ESA'2020).
  13. Nouara, A., Amara, A., Kaslik, E., ...Martinez, F., Kaabar, M.K.A.. A study on multiterm hybrid multi-order fractional boundary value problem coupled with its stability analysis of Ulam–Hyers type, Advances in Difference Equations, 2021, 2021(1), 343
  14. Petcu D, Service Deployment Challenges in Cloud-to-Edge Continuum, Scalable Computing: Practice and Experience 22 (3), 313-320, 2021
  15. Sferdian, M., Frincu, M. When old meets new: Evaluating numerical and machine learning based eclipse prediction methods, Romanian Astronomical Journal, 2021, 31(2), pp. 133–151
  16. Spataru, A.L., Pungila, C.-P., Radovancovici, M., A high-performance native approach to adaptive blockchain smart-contract transmission and execution, Information Processing and Management, 2021, 58(4), 102561
  17. Spataru, A., A review of blockchain-enabled fog computing in the cloud continuum context, Scalable Computing: Practice and Experience, Volume 22, Issues 4, pp. 463–468, DOI 10.12694/scpe.v22i4.1947, 2022
  18. Valcan, S., Gaianu, M., Ground truth data generator for eye location on infrared driver recordings, Journal of Imaging, 2021, 7(9), 162

Conference papers

  1. G. Istrate. Models We Can Trust: Towards a Systematic Discipline of (Agent-Based) Model Interpretation and Validation. Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'2021, pp.6-11. IFAAMAS and ACM Press.
  2. G. Istrate. Game-theoretic Models of Moral and Other-Regarding Agents. Proceedings of the 18th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'2021), June 25-27, 2021, Tsinghua University, Beijing, China (online), Electronic Proceedings in Theoretical Computer Science no. 335, pp. 213-228, 221.
  3. G. Istrate, C. Bonchis and A. Craciun. Kernelization, Proof Complexity and Social Choice. Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP). July, 12 - 16 2021. Glasgow, Scotland (online), Leibniz International Proceedings in Informatics (LIPICS), vol. 198, paper #131, pp.131:1-131:21.
  4. I. Drămnesc, T. Jebelean. Synthesis of Merging algorithms on binary trees using multisets in Theorema. SACI'2021.

  5. I. Drămnesc, T. Jebelean. AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12819 LNCS, pp. 314–333

  6. A. Fortiș, F. Fortiș. Cloud computing projects: a bibliometric overview. AINA'2021, CCPI Workshop. Lecture Notes in Networks and Systems, 2021, 227, pp. 127–138

  7. Aristotelis Kretsis, Panagiotis Kokkinos, Polyzois Soumplis, Juan Jose Vegas Olmos, Marcell Fehér, Márton Sipos, Daniel E Lucani, Dmitry Khabi, Dimosthenis Masouros, Kostas Siozios, Paraskevas Bourgos, Sofia Tsekeridou, Ferad Zyulkyarov, Efstathios Karanastasis, Efthymios Chondrogiannis, Vassiliki Andronikou, Aitor Fernandez Gomez, Silviu Panica, Gabriel Iuhasz, Anastassios Nanos, Charalampos Chalios, Manos Varvarigos, SERRANO: Transparent Application Deployment in a Secure, Accelerated and Cognitive Cloud Continuum, 2021 IEEE International Mediterranean Conference on Communications and Networking (MeditCom), 55-60, 2021

  8. C Orhei, V Bogdan, C Bonchis, R Vasiu, Dilated Filters for Edge-Detection Algorithms, Applied Sciences 11 (22), 10716, 2021
  9. C Pungila, V Negru, A Fast Heterogeneous Approach to Enhanced Blockchain Attack Resilience and Mitigation, Computational Intelligence in Security for Information Systems Conference, 3-12, 2021
  10. Spataru, A., Tranca, L.C., Penteliuc, M.E., Frincu, M.Parallel cloud movement forecasting based on a modified boids flocking algorithm, Proceedings - 2021 20th International Symposium on Parallel and Distributed Computing, ISPDC 2021, 2021, pp. 89–96

Publications (last edited 2024-10-13 10:44:20 by DanielaZaharie)