welcome: please sign in
location: Diff for "Publications"
Differences between revisions 26 and 163 (spanning 137 versions)
⇤ ← Revision 26 as of 2014-12-09 09:00:33 →
Size: 8459
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/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]] ||||
Line 3: Line 6:
== Recent Publications == 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 6: Line 39:
==== Books/Chapter in books ====

 * M.E. Frincu, D. Petcu, Resource Management for HPC on the Cloud, In Emmanuel Jeannot, Julius Zilinskas (eds.): High-Performance Computing on Complex Environments, ISBN: 978-1-118-71205-4, June 2014, 303-323

 == 2021 ==
Line 12: Line 41:

  * Bonchiş, C., Istrate, G., Improved approximation algorithms for low-density instances of the Minimum Entropy Set Cover Problem, Source of the Document Information Processing Letters, 114 (7), pp. 360-364, 2014

  * Frîncu, M.E., Scheduling highly available applications on cloud environments, Future Generation Computer Systems, 32 (1), pp. 138-153, 2014

  * Frincu, M.E., Genaud, S., Gossa, J., On the efficiency of several VM provisioning strategies for workflows with multi-threaded tasks on clouds, Computing, article in press, 2014

  * Pungilǎ, C.-P., Reja, M., Negru, V., Efficient parallel automata construction for hybrid resource-impelled data-matching, Future Generation Computer Systems 36, pp. 31-41, 2014

  * Iuhasz, G., Negru, V., Zaharie, D., Neuroevolution based multi-agent system with ontology based template creation for micromanagement in real-time strategy games, Information Technology and Control, 43 (1), pp. 98-109, 2014

  * Kutsia, T., Marin, M., Regular expression order-sorted unification and matching, Journal of Symbolic Computation, article in press, 2014

  * Munteanu, V.I., Fortiş, T.-F., Copie, A., Supporting cloud governance through technologies and standards, Studies in Computational Intelligence 511, pp. 271-280, 2014
  
  * Muscalagiu, I., Popa, H.E., Negru, V., The impact of the "nogood processor" technique in scale-free networks, Studies in Computational Intelligence 511, pp. 163-173, 2014

  * Iuhasz, G., Munteanu, V.I., Negru, V., A survey of adaptive game AI: Considerations for cloud deployment, Studies in Computational Intelligence 511, pp. 309-315, 2014
  
  * D. Petcu, A.V. Vasilakos Portability in clouds: approaches and research opportunities, Scalable Computing: Practice and Experience, Volume 15, Issue 3, Sept 2014, 251-270
    
  * V.I. Munteanu, C. Sandru, D. Petcu, Multi-cloud resource management: cloud service interfacing, Journal of Cloud Computing: Advances, Systems and Applications. 2014, 3:3, ISSN: 2192-113X, on-line May 2014

  * A. Agathos, J. Li, D. Petcu, and A. Plaza Multi-GPU Implementation of the Minimum Volume Simplex Analysis Algorithm for Hyperspectral Unmixing, IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, Vol 7, Issue 6, 2014, 2281-2296
  
  * D. Petcu, Consuming Resources and Services from Multiple Clouds. From Terminology to Cloudware Support . Journal of Grid Computing,vol. 12, issue 2, 321-345, doi: 10.1007/s10723-013-9290-3

  * J. Juzna, P. Cesarek, D. Petcu and V. Stankovski, Solving Solid and Fluid Mechanics Problems in the Cloud with mOSAIC, Computing in Science and Engineering, Vol 16, issue 4, 68-77, doi: 10.1109/MCSE.2013.135

  * V. Stankovski, D. Petcu, Developing a Model Driven Approach for engineering applications based on mOSAIC, Journal of Cluster Computing, Springer, on-line April 2013, vol. 17, issues 1, 2014, 101-110, doi: 10.1007/s10586-013-0263-x

  * R.D. Moleriu, D. Zaharie, L.C. Moatar-Moleriu, A.T. Gruia, A.A. Mic, F.A. Mic - Insights into the mechanisms of thymus involution and regeneration by modeling the glucocorticoid-induced perturbation of thymocyte populations dynamics , Journal of Theoretical Biology, Volume 348, Pages 80-99, 2014.
 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 47: Line 61:

  * Agathos, A., Li, J., Bioucas-Dias, J.M., Plaza, A., Robust minimum volume simplex analysis for hyperspectral unmixing, European Signal Processing Conference 6952576, pp. 1582-1586, 2014
 
  * Dramnesc, I., Jebelean, T., Theory exploration of sets represented as monotone lists, SISY 2014 - IEEE 12th International Symposium on Intelligent Systems and Informatics, Proceedings 6923579, pp. 163-168, 2014
 
  * Fortis, T.F., Fortis, A.E., Balint, S., A multi-agent system for the flight quality analysis, Source of the Document Proceedings - 2014 8th International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2014 6915556, pp. 457-462, 2014

  * Fortiş, A.E., Balint, S., Fortiş, T.-F., Dependence of the oscillatory movements of an unmanned aerial vehicle on the forward velocity, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013 6821140, pp. 119-125, 2014

  * Istrate, G., Crãciun, A., Proof complexity and the Kneser-Lovász theorem, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8561 LNCS, pp. 138-153, 2014
 
  * Manate, B., Munteanu, V.I., Fortis, T.F., Moore, P.T., An intelligent context-aware decision-support system oriented towards healthcare support, Proceedings - 2014 8th International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2014 6915544, pp. 386-391, 2014
  
  * Marin, M., Istrate, G., Learning Cover Context-Free Grammars from Structural Data, Proc. ICTAC 2014, LNCS 8687, 241-258, 2014

  * Dundua, B., Florido, M., Kutsia, T., Marin, M., Constraint logic programming for hedges: A semantic reconstruction, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8475 LNCS, pp. 285-301, 2014
 
  * Iuhasz, G., Munteanu, V.I., Negru, V., Evolutionary approach to negotiation in game AI, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, 6821163, pp. 296-302, 2014

  * Manate, B., Munteanu, V.I., Fortis, T.F., Proceedings - 2014 8th International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2014 6915578, pp. 582-587, 2014

  * Panica, S., Petcu, D., Distributed resource identification service for cloud environments, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013 6821182, pp. 448-453, 2014
 
  * D. Petcu, SLA-based Cloud Security Monitoring: Challenges, Barriers, Models and Methods, in L. Lopes et al. (Eds.), Euro-Par 2014 Workshops, Part I, LNCS 8805, 359-370, 2014

  * D. Petcu, A Taxonomy for SLA-based Monitoring of Cloud Security, 2014 IEEE 38th Annual Computer Software and Applications Conference (COMPSAC), July 2014, Vasteras, Sweden, 640-641

  * D. Petcu, H. Gonzalez-Velez, B. Nicolae, J.M. Garia-Gomez, E. Fuster-Garcia, C. Sheridan, Next Generation HPC Clouds: A View for Large-Scale Scientific and Data-Intensive Applications, in L. Lopes et al. (Eds.), Euro-Par 2014 Workshops, Part II, LNCS 8806, 26-37, 2014

  * D. Petcu, E. Di Nitto, D. Ardagna, A. Solberg, G. Casale, Towards Multi-Clouds Engineering, 2014 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 1-6, 2014

  * D. Petcu, C. Craciun, Towards a Security SLA-based Cloud Monitoring Service. In Proceedings CLOSER 2014, 4th International Conference on Cloud Computing and Services Science, 598-603.

  * D. Petcu, On the Management of Cloud Services in Multi-Clouds for Scientific Applications. In Ivan Lirkov et al (eds.): LSSC2013, LNCS 8353, pp. 501-509, 2014

  * L. Moatar-Moleriu, V. Negru, D. Zaharie - Evolutionary Estimation of Parameters in Computational Models of Thymocyte Dynamics, LSSC'13, June, Sozopol, Springer LNCS 8353, pg. 264-271, 2014.

  * Pop, D., Bogdǎnescu, C., Ontology-based recommender for distributed machine learning environment, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013 6821193, pp. 537-542, 2014

  * Tirea, M., Negru, V., Managing risk behavior on an evolutionary market - A risk limits and value-at-risk measures approach, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013 6821194, pp. 543-550, 2014
  		  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)