welcome: please sign in
location: Diff for "Publications"
Differences between revisions 51 and 162 (spanning 111 versions)
⇤ ← Revision 51 as of 2016-07-20 06:11:27 →
Size: 3328
Editor: DanielaZaharie
Comment:
← Revision 162 as of 2022-01-18 08:15:00 → ⇥
Size: 5377
Editor: GabrielIstrate
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]] ||||
Line 4: Line 7:
== Recent Publications ==
Line 7: Line 9:
== 2021 ==
Line 8: Line 11:
 * 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. 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. 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. 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 28:

 * 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
 * Ivascu, 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
 * Ivascu, T., Manate, B., Negru, V., A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426113, pp. 423-430, 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. Isabela Drămnesc, Tudor Jebelean. Synthesis of Merging algorithms on binary trees using multisets in Theorema. SACI'2021.
 1. Isabela Drămnesc, Tudor 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. Alexandra Fortiș, Florin Fortiș. Cloud computing projects: a bibliometric overview. AINA'2021, CCPI Workshop. Lecture Notes in Networks and Systems, 2021, 227, pp. 127–138
 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

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. 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
  9. 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
  10. Onchis, D.M., Gillich, G.-R., Stable and explainable deep learning damage prediction for prismatic cantilever steel beam, Computers in Industry, 2021, 125, 103359
  11. 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).
  12. 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
  13. 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
  14. 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
  15. 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. Isabela Drămnesc, Tudor Jebelean. Synthesis of Merging algorithms on binary trees using multisets in Theorema. SACI'2021.

  5. Isabela Drămnesc, Tudor 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. Alexandra Fortiș, Florin Fortiș. Cloud computing projects: a bibliometric overview. AINA'2021, CCPI Workshop. Lecture Notes in Networks and Systems, 2021, 227, pp. 127–138
  7. 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
  8. 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)