welcome: please sign in
location: Diff for "Publications"
Differences between revisions 48 and 162 (spanning 114 versions)
⇤ ← Revision 48 as of 2016-04-22 09:34:34 →
Size: 926
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

==== Book chapters ====
  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 14: 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 		 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)