welcome: please sign in
location: Diff for "Publications"
Differences between revisions 156 and 169 (spanning 13 versions)
⇤ ← Revision 156 as of 2021-05-17 04:14:10 →
Size: 2894
Editor: GabrielIstrate
Comment:
← Revision 169 as of 2022-12-01 10:23:12 → ⇥
Size: 4365
Editor: DanielaZaharie
Comment:
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:
||[[Publications/2021|21]]||
Line 4: Line 5:
||[[Publications/2010|10]] ||[[Publications/2009|09]] ||[[Publications/2008|08]] ||[[Publications/2007|07]] ||[[Publications/2006|06]] |||| ||[[Publications/2010|10]] ||[[Publications/2009|09]] ||[[Publications/2008|08]] ||[[Publications/2007|07]] ||[[Publications/2006|06]] ||
Line 7: Line 8:


== 2021 ==		 == 2022 ==
Line 11: Line 10:
 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. 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. 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. 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. 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 (to appear, 2021). Journal version of paper in Proceedings of the 28th European Symposium on Algorithms (ESA'2020).		  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. 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
 
Line 19: Line 24:
 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 (to appear).
 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, to appear).
 1. Isabela Drămnesc, Tudor Jebelean. Synthesis of Merging algorithms on binary trees using multisets in Theorema. SACI'2021.
 1. Alexandra Fortiș, Florin Fortiș. Cloud computing projects: a bibliometric overview. AINA'2021, CCPI Workshop. 		 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

Previous years (20xx):

21

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. 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

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

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

  7. 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

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

  9. 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

  10. 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

  11. 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

Publications (last edited 2024-02-24 11:37:59 by DanielaZaharie)