welcome: please sign in
location: Diff for "Publications"
Differences between revisions 78 and 147 (spanning 69 versions)
⇤ ← Revision 78 as of 2018-10-08 18:30:36 →
Size: 2768
Editor: DanielaZaharie
Comment:
← Revision 147 as of 2021-03-14 11:26:48 → ⇥
Size: 8765
Editor: DanielaZaharie
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||<tablewidth="731px" tableheight="30px">Previous years: ||[[Publications/2017|2017]]||[[Publications/2016|2016]]||[[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/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:
== 2018 ==

== 2021 ==
Line 7: Line 12:
 * Aisenberg, J, Bonet, M.L., Buss, S,, Crăciun, A., Istrate, G., Short proofs of the Kneser–Lovász coloring principle, Information and Computation, vol. 461(2), pp. 296-310, 2018.
 * Bonchiş, C., Kaslik, E., Roşu, F., HPC optimal parallel communication algorithm for the simulation of fractional-order systems, Journal of Supercomputing, pp. 1-12, 2018
 * Drăgan, I., Selea, T., Fortiş, T.-F., Towards the integration of a HPC build system in the cloud ecosystem, Advances in Intelligent Systems and Computing 611, pp. 916-925, 2018
 * Gravvanis, G.A., Morrison, J.P., Petcu, D., Lynn, T., Filelis-Papadopoulos, C.K., Special Issue: Recent trends in cloud computing, Future Generation Computer Systems 79, pp. 700-702, 2018
 * Măruşter, Ş., Măruşter, L., Sharp estimation of local convergence radius for the Picard iteration, Journal of Fixed Point Theory and Applications 20(1),28
 * Onchis, D.M., Zappalà, S., Realizable algorithm for approximating Hilbert–Schmidt operators via Gabor multipliers, Journal of Computational and Applied Mathematics 337, pp. 119-124, 2018
 * Onchis, D., Zappalà, S., Stability of spline-type systems in the Abelian case, Symmetry 10(1),7, 2017
 * Popa, C.-A., Kaslik, E., Multistability and multiperiodicity in impulsive hybrid quaternion-valued neural networks with mixed delays, Neural Networks 99, pp. 1-18, 2018
 * Pungila, C., Negru, V., FAST: A high-performance architecture for heterogeneous big data forensics, Advances in Intelligent Systems and Computing, 649, pp. 618-627, 2018

==== Book chapters ====		  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
Line 20: Line 18:
 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 (to appear). IFAAMAS and ACM Press.
Line 21: Line 20:
 * Bonchiș, C., Istrate, G., Rochian, V. The language (and series) of Hammersley-type processes. In Proceedings of the 8th Conference on Machines, Computations and Universality (MCU’2018), June 28-30, Fontainebleau, France. Lecture Notes in Computer Science, vol 10881, pp. 69-87, Springer Verlag, 2018.
 * Istrate, G. Stochastic Stability in Schelling’s Segregation Model with Markovian Asynchronous Update. In Proceedings of the Fifth International Workshop on Asynchronous Cellular Automata and Asynchronous Discrete Models (ACA’2018), satellite workshop of ACRI’2018, Lake Como, Italy, September 17-21. Lecture Notes in Computer Science, Springer Verlag, 2018.

== 2020 ==
==== Journal papers ====
 1. Turcu, F., Bonchiș C., Najim M. Vector partitions, multi-dimensional Faà di Bruno formulae and generating algorithms. Discrete Applied Mathematics, vol 272(2020), pp. 90-99, Elsevier.
 1. Balogh, J., Bonchiş C., Diniş D., Istrate G., Todinca I. On the heapability of finite partial orders. Discrete Mathematics and Theoretical Computer Science, vol 22, no 1 (2020), paper #17.
 1. R Garrappa, E Kaslik. Stability of fractional-order systems with Prabhakar derivatives. Nonlinear Dynamics, 1-12.
 1. CA Popa, E Kaslik. Finite-Time Mittag–Leffler Synchronization of Neutral-Type Fractional-Order Neural Networks with Leakage Delay and Time-Varying Delays. Mathematics 8 (7), 1146.
 1. R Garrappa, E Kaslik. On initial conditions for fractional delay differential equations. Communications in Nonlinear Science and Numerical Simulation, 105359.
 1. E Kaslik, M Neamţu. Dynamics of a tourism sustainability model with distributed delay. Chaos, Solitons & Fractals 133, 109610.
 1. M Reja, C Pungila, V Negru. Towards real-time DNA biometrics using GPU-accelerated processing. Logic Journal of the IGPL. Advanced Article jzaa034, https://doi.org/10.1093/jigpal/jzaa034
 1. D.Onchis, C. Istin, C. Tudoran, M. Tudoran, P. Real. Timely-automatic procedure for estimating the endocardial limits of the left ventricle assessed echocardiographically in clinical practice. Diagnostics 10 (1), 40
 1. Pungila, C., Negru, V., Improving Blockchain Security Validation and Transaction Processing Through Heterogeneous Computing, Advances in Intelligent Systems and Computing, 2020, 951, pp. 132–140
 1. Bogdan, V., Bonchiş, C., Orhei, C., Custom dilated edge detection filters, Journal of WSCG, 2020, 2020(2020), pp. 161–168
 1. SPĂTARU, A., DECENTRALIZED AND FAULT TOLERANT CLOUD SERVICE ORCHESTRATION, Scalable Computing, 2020, 21(4), pp. 709–725
 1. Balint, A.M., Balint, S., Tanasie, L., Mathematical description of the bulk gas flow and that of the content impurity dispersion, which use temporal Caputo or Riemann-Liouville fractional order partial derivatives is nonobjective, Mathematics in Engineering, Science and Aerospace, 2020, 11(3), pp. 699–712

==== Conference papers ====
 1. Istrate G., Bonchiș C., Gatina C. It's not whom you know, it's what you (or your friends) can do: Coalitional Frameworks for Network Centralities. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'2020, pp. 566-574. IFAAMAS and ACM Press.
 1. Besik Dundua, Temur Kutsia, Mircea Marin and Cleopatra Pau. Constraint Solving over Multiple Similarity Relations. In Proceedings of 5-th International Conference on Formal Structures for Computation and Deduction (FSCD 2020).
 1. Mircea Marin, Besik Dundua and Temur Kutsia. A Rule-based System for Computation and Deduction in Mathematica. In Proceedings of 13-th International Workshop on Rewriting Logic And Its Applications (WRA 2020).
 1. B. Dundua, T. Kutsia, M. Marin, C. Pau. Extending the \rho Log calculus with proximity relations. In Proceedings of the Fourth International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE 2019), Springer Proceedings in Mathematics & Statistics.
 1. B. Dundua, T. Kutsia, M. Marin, and M. Rukhaia. Specification and Analysis of ABAC Policies in a Rule-Based Framework. In Proceedings of the Fourth International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE 2019), Springer Proceedings in Mathematics & Statistics.
 1. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. The Maximum Binary Tree Problem. In Proceedings of the 28th European Symposium on Algorithms (ESA'2020), Leibniz Institute Proceedings in Computer Science (LIPICS), vol. 173, paper #30.
 1. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. Fixed-Parameter Algorithms for Longest Heapable Subsequence and Maximum Binary Tree. In Proceedings of the 15th International Symposium on Parameterized and Exact Computation (IPEC’2020), Leibniz Institute Proceedings in Computer Science (LIPICS), vol. 180, to appear.
 1. V. Kashansky, D. Kimovski, R. Prodan, P. Agrawal, F. Marozzo G. Iuhasz, M. Justyna, J. Garcia-Blas. M3AT: Monitoring Agents Assignment Model for Data-Intensive Applications. 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP).
 1. Isabela Drămnesc, Tudor Jebelean. Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema. 2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI).
 1. Isabela Drămnesc, Tudor Jebelean. Deductive Synthesis of Bubble–Sort Using Multisets. 2020 IEEE 18th World Symposium on Applied Machine Intelligence and Informatics (SAMI)
 1.Drămnesc, I., Jebelean, T., Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11989 LNCS, pp. 153–168
 1. Doan, D.N., Zaharie, D., Petcu, D., Auto-scaling for a Streaming Architecture with Fuzzy Deep Reinforcement Learning, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11997 LNCS, pp. 476–488
 1. Muresan, R., Zaharia, C., Zaharie, D., Using additive Bayesian networks and association rules in antimicrobial resistance analysis, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 09280255
 1. Rotovei, D., Zaharie, D., Negru, V., Pop, D., A decision support system for B2B CRM Systems using belief rules, Proceedings - 2020 IEEE 16th International Conference on Intelligent Computer Communication and Processing, ICCP 2020, 2020, pp. 131–138, 9266259
 1. Lungeanu, D., Dragan, I., Muntean, C., Timar, B., Harnessing information technology while teaching in distress: The pandemic toll vs: The opportunity of long-awaited paradigm shift, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 9280122
 1. Talia, D., Trunfio, P., Marozzo, F., ...Spătaru, A., Justyna, M., A Novel Data-Centric Programming Model for Large-Scale Parallel Systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11997 LNCS, pp. 452–463
 1. Cincar, K., Hospital management and scheduling with multi-agents approach, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 9280281
 1. Cincar, K., Sima, I., Machine Learning algorithms approach for Gastrointestinal Polyps classification INISTA 2020 - 2020 International Conference on INnovations in Intelligent SysTems and Applications, Proceedings, 2020, 9194659
 1. Codreanu, I.-A., Cincar, K., Towards improving crowdsourcing learning for students by using artificial intelligence, eLearning and Software for Education Conference, 2020, pp. 76–83

Previous years (20xx):

19

18

17

16

15

14

13

12

11

10

09

08

07

06

2021

Journal papers

  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
  2. 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
  3. 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
  4. 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

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 (to appear). IFAAMAS and ACM Press.

2020

Journal papers

  1. Turcu, F., Bonchiș C., Najim M. Vector partitions, multi-dimensional Faà di Bruno formulae and generating algorithms. Discrete Applied Mathematics, vol 272(2020), pp. 90-99, Elsevier.
  2. Balogh, J., Bonchiş C., Diniş D., Istrate G., Todinca I. On the heapability of finite partial orders. Discrete Mathematics and Theoretical Computer Science, vol 22, no 1 (2020), paper #17.
  3. R Garrappa, E Kaslik. Stability of fractional-order systems with Prabhakar derivatives. Nonlinear Dynamics, 1-12.
  4. CA Popa, E Kaslik. Finite-Time Mittag–Leffler Synchronization of Neutral-Type Fractional-Order Neural Networks with Leakage Delay and Time-Varying Delays. Mathematics 8 (7), 1146.
  5. R Garrappa, E Kaslik. On initial conditions for fractional delay differential equations. Communications in Nonlinear Science and Numerical Simulation, 105359.

  6. E Kaslik, M Neamţu. Dynamics of a tourism sustainability model with distributed delay. Chaos, Solitons & Fractals 133, 109610.

  7. M Reja, C Pungila, V Negru. Towards real-time DNA biometrics using GPU-accelerated processing. Logic Journal of the IGPL. Advanced Article jzaa034, https://doi.org/10.1093/jigpal/jzaa034

  8. D.Onchis, C. Istin, C. Tudoran, M. Tudoran, P. Real. Timely-automatic procedure for estimating the endocardial limits of the left ventricle assessed echocardiographically in clinical practice. Diagnostics 10 (1), 40
  9. Pungila, C., Negru, V., Improving Blockchain Security Validation and Transaction Processing Through Heterogeneous Computing, Advances in Intelligent Systems and Computing, 2020, 951, pp. 132–140
  10. Bogdan, V., Bonchiş, C., Orhei, C., Custom dilated edge detection filters, Journal of WSCG, 2020, 2020(2020), pp. 161–168
  11. SPĂTARU, A., DECENTRALIZED AND FAULT TOLERANT CLOUD SERVICE ORCHESTRATION, Scalable Computing, 2020, 21(4), pp. 709–725
  12. Balint, A.M., Balint, S., Tanasie, L., Mathematical description of the bulk gas flow and that of the content impurity dispersion, which use temporal Caputo or Riemann-Liouville fractional order partial derivatives is nonobjective, Mathematics in Engineering, Science and Aerospace, 2020, 11(3), pp. 699–712

Conference papers

  1. Istrate G., Bonchiș C., Gatina C. It's not whom you know, it's what you (or your friends) can do: Coalitional Frameworks for Network Centralities. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'2020, pp. 566-574. IFAAMAS and ACM Press.
  2. Besik Dundua, Temur Kutsia, Mircea Marin and Cleopatra Pau. Constraint Solving over Multiple Similarity Relations. In Proceedings of 5-th International Conference on Formal Structures for Computation and Deduction (FSCD 2020).
  3. Mircea Marin, Besik Dundua and Temur Kutsia. A Rule-based System for Computation and Deduction in Mathematica. In Proceedings of 13-th International Workshop on Rewriting Logic And Its Applications (WRA 2020).

  4. B. Dundua, T. Kutsia, M. Marin, C. Pau. Extending the \rho Log calculus with proximity relations. In Proceedings of the Fourth International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE 2019), Springer Proceedings in Mathematics & Statistics.

  5. B. Dundua, T. Kutsia, M. Marin, and M. Rukhaia. Specification and Analysis of ABAC Policies in a Rule-Based Framework. In Proceedings of the Fourth International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE 2019), Springer Proceedings in Mathematics & Statistics.

  6. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. The Maximum Binary Tree Problem. In Proceedings of the 28th European Symposium on Algorithms (ESA'2020), Leibniz Institute Proceedings in Computer Science (LIPICS), vol. 173, paper #30.
  7. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. Fixed-Parameter Algorithms for Longest Heapable Subsequence and Maximum Binary Tree. In Proceedings of the 15th International Symposium on Parameterized and Exact Computation (IPEC’2020), Leibniz Institute Proceedings in Computer Science (LIPICS), vol. 180, to appear.
  8. V. Kashansky, D. Kimovski, R. Prodan, P. Agrawal, F. Marozzo G. Iuhasz, M. Justyna, J. Garcia-Blas. M3AT: Monitoring Agents Assignment Model for Data-Intensive Applications. 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP).
  9. Isabela Drămnesc, Tudor Jebelean. Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema. 2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI).
  10. Isabela Drămnesc, Tudor Jebelean. Deductive Synthesis of Bubble–Sort Using Multisets. 2020 IEEE 18th World Symposium on Applied Machine Intelligence and Informatics (SAMI) 1.Drămnesc, I., Jebelean, T., Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11989 LNCS, pp. 153–168
  11. Doan, D.N., Zaharie, D., Petcu, D., Auto-scaling for a Streaming Architecture with Fuzzy Deep Reinforcement Learning, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11997 LNCS, pp. 476–488
  12. Muresan, R., Zaharia, C., Zaharie, D., Using additive Bayesian networks and association rules in antimicrobial resistance analysis, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 09280255
  13. Rotovei, D., Zaharie, D., Negru, V., Pop, D., A decision support system for B2B CRM Systems using belief rules, Proceedings - 2020 IEEE 16th International Conference on Intelligent Computer Communication and Processing, ICCP 2020, 2020, pp. 131–138, 9266259
  14. Lungeanu, D., Dragan, I., Muntean, C., Timar, B., Harnessing information technology while teaching in distress: The pandemic toll vs: The opportunity of long-awaited paradigm shift, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 9280122
  15. Talia, D., Trunfio, P., Marozzo, F., ...Spătaru, A., Justyna, M., A Novel Data-Centric Programming Model for Large-Scale Parallel Systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11997 LNCS, pp. 452–463
  16. Cincar, K., Hospital management and scheduling with multi-agents approach, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 9280281

  17. Cincar, K., Sima, I., Machine Learning algorithms approach for Gastrointestinal Polyps classification INISTA 2020 - 2020 International Conference on INnovations in Intelligent SysTems and Applications, Proceedings, 2020, 9194659

  18. Codreanu, I.-A., Cincar, K., Towards improving crowdsourcing learning for students by using artificial intelligence, eLearning and Software for Education Conference, 2020, pp. 76–83

Publications (last edited 2024-10-13 10:44:20 by DanielaZaharie)