welcome: please sign in
location: Diff for "Publications"
Differences between revisions 50 and 163 (spanning 113 versions)
⇤ ← Revision 50 as of 2016-07-20 06:10:10 →
Size: 3068
Editor: DanielaZaharie
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/2015|2015]]||[[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 8: Line 41:
 * Eraşcu, M., Hong, H., Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation), Journal of Symbolic Computation 75, pp. 110-126, 2016  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 11: Line 61:

 * Drămnesc, I., Jebelean, T., Stratulat, S., Proof–based synthesis of sorting algorithms for trees, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9618, pp. 562-575, 2016
 * Fortis, A.E., Balint, S., Numerical Investigations of Equilibriums in a Flight with High Angle of Attack,Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426066, pp. 85-89, 2016
 * Irimie, B.-C., Petcu, D., Scalable and Fault Tolerant Monitoring of Security Parameters in the Cloud, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426097, pp. 289-295, 2016
 * Istrate, G., Bonchiş, C., Dinu, L.P., The minimum entropy submodular set cover problem, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)9618, pp. 295-306, 2016
 * Ivasku, T., An Energy Efficient Intelligent Wireless Body Area Network for Real-Time Vital Signs Monitoring, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426094, pp. 265-270, 2016
 * Radoaca, A., Simple Venn Diagrams for Multisets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426080, pp. 181-184, 2016
 * Radoaca, A., Properties of Multisets Compared to Sets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426081, pp. 187-188
 * Radoaca, A., Properties of Multiset Orders by Minimal and Maximal Submultisets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426075, pp. 145-152
 * Tirea, M., Negru, V., Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426109, pp. 391-398, 2016
 * Tirea, M., Negru, V., Stock Market Trading Strategies Applying Risk and Decision Analysis Models for Detecting Financial Turbulence, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426086, pp. 216-223, 2016		  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)