welcome: please sign in
location: Diff for "Publications"
Differences between revisions 63 and 154 (spanning 91 versions)
⇤ ← Revision 63 as of 2017-05-13 05:30:37 →
Size: 7283
Editor: DanielaZaharie
Comment:
← Revision 154 as of 2021-05-14 14:22:54 → ⇥
Size: 9844
Editor: GabrielIstrate
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||<tablewidth="731px" tableheight="30px">Previous years: ||[[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]] ||

== Recent Publications (2017)==

==== Journal papers ====

 * Ezugwu, A.E.-S., Adewumi, A.O., Frîncu, M.E., Simulated annealing based symbiotic organisms search optimization algorithm for traveling salesman problem, Expert Systems with Applications, volume 77, pages 189-210, 10.1016/j.eswa.2017.01.053, 2017

 * Fortiş, T.-F., Munteanu, V.I.,Topics in cloud incident management, 2017, Future Generation Computer Systems, volume 72, pages 163-164, 10.1016/j.future.2016.11.003

 * Kaslik, E., Analysis of two- and three-dimensional fractional-order Hindmarsh-Rose type neuronal models. Fractional Calculus and Applied Analysis, 20(3), 2017

 * Kaslik, E., Radulescu, I.R., Dynamics of complex-valued fractional-order neural networks. Neural Networks, 89:39-49, 2017
 
 * Maruster, S., Maruster, L., Local convergence of generalized Mann iteration, Numerical Algorithms, pages 1-12, 10.1007/s11075-017-0289-x, 2017

* Măruşter, Ş., Estimating the local radius of convergence for picard iteration Algorithms, 10, pages 1-10, 10.3390/a10010010, 2017

 * Néda, Z., Davidova, L., Újvári, S., Istrate, G., Gambler's ruin problem on Erdős–Rényi graphs, Physica A: Statistical Mechanics and its Applications, 468, pages 147-157, 10.1016/j.physa.2016.10.056, 2017		 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 22: Line 7:
==== Book chapters ====
Line 24: Line 8:
 * E. Di Nitto, P. Matthews, D. Petcu, D., A. Solberg (Eds.), Model-Driven Development and Operation of Multi-Cloud Applications. The MODAClouds Approach, In Model-Driven Development and Operation of Multi-Cloud Applications, Part of the series SpringerBriefs in Applied Sciences and Technology, Springer International Publishing, eBook ISBN 978-3-319-46031-4, 2017
Line 26: Line 9:
 * E. Di Nitto, Petcu, D., Introduction, In Model-Driven Development and Operation of Multi-Cloud Applications, Part of the series SpringerBriefs in Applied Sciences and Technology, 1-11, 2017
 
 		 == 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
 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).
Line 30: Line 19:
 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).
Line 31: Line 23:
 * Baban, A., Bonchis, C., Fikl, A., Rosu, F., Parallel simulations for fractional-order systems, Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, 7829605, pages 141-144, 10.1109/SYNASC.2016.033, 2017 == 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
Line 33: Line 38:
 * Balint, S., Space-time evolution of the perturbations of a spatially developing 3D constant gas flow, AIP Conference Proceedings, 1798, 20015, 10.1063/1.4972607, 2017
 
 * Balint, S., Balint, A.M., Non Lyapunov stability of the constant spatially developing 1-D gas flow in presence of solutions having strictly positive exponential growth rate, AIP Conference Proceedings, 1798, 20012, 10.1063/1.4972604, 2017

 * Balint, A.M., Balint, S., Tanasie, L.,Non Lyapunov stability of a constant spatially developing 2-D gas flow, AIP Conference Proceedings, 1798, 20014, 10.1063/1.4972606, 2017

 * Balint, A.M., Balint, S., Szabo, R., Lyapunov stability of a spatially developing constant 2D gas flow, AIP Conference Proceedings 1798, 20013, 10.1063/1.4972605, 2017

 * Brandibur, O., Kaslik, E., Stability analysis of two-component incommensurate fractional-order systems and applications to the FitzHugh-Nagumo model, CMMSE 2017, Cadiz, Spania 4-8 July 2017

 * Doan, D.N., Iuhasz, G., Tuning logstash garbage collection for high throughput in a monitoring platform, Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, 782963, pages 359-365, 10.1109/SYNASC.2016.06, 2017

 * Frincu, M., Draghici, R., Towards a scalable cloud enabled smart home automation architecture for demand response, IEEE PES Innovative Smart Grid Technologies Conference Europe Part F126485, 7856235, 10.1109/ISGTEurope.2016.7856235, 2017

 * Ivascu, T., Dinis, A., Negru, V., Towards a multi-agent system for medical records processing and knowledge discovery. Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, 7829639, pages 395-399, 10.1109/SYNASC.2016.067, 2017

 * Kaslik,E., M. Neamtu. Dynamics of a Four-Dimensional Hypothalamic-Pituitary-Adrenal Axis Model with Distributed Delays, CMMSE 2017, Cadiz, Spania, 4-8 July 2017

 * Kaslik, E., Navolan, D.B., Neamţu, M., Stability analysis of a hypothalamic-pituitary-adrenal axis model with inclusion of glucocorticoid receptor and memory, AIP Conference Proceedings, 1798, 20111, 10.1063/1.4972703, 2017

 * Mafteiu-Scai, L.O., Cornigeanu, C.A., A parallel heuristic for bandwidth reduction based on matrix geometry, Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, 7829643, pages 424-427, 10.1109/SYNASC.2016.071, 2017

 * Mafteiu-Scai, L.O., Cornigeanu, C.A. Parallel heuristics for systems of equations preconditioning, Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, 7829630, pages 319-322, 10.1109/SYNASC.2016.058, 2017

 * Oana, L., Spataru, A., Use of genetic algorithms in numerical weather prediction, Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, 7829647, pages 456-461, 10.1109/SYNASC.2016.075, 2017

 * Onchis, D.M., Zappala, S., Approximate duals of gabor-like frames based on realizable multi-window spline-type constructions, Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, 7829599, pages 99-104, 10.1109/SYNASC.2016.027, 2017

 * Petcu, D., Mastering the heterogeneity in HPC as a Service, NESUS Sixth Working Group, Bayreuth, Apr 2017

 * Petcu, D., HPC as a Service: Challenges and Limitations, ISPDC 2017, Innsbruck, July 2017

 * Radoaca, A., Venn diagrams for multisets, Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, 7829611, pages 187-194, 10.1109/SYNASC.2016.039, 2017

 * Rǎdulescu, I.R., Cândea, D., Kaslik, E., A comparison between the stability properties in a DDE model for leukemia and the modified fractional counterpart, AIP Conference Proceedings, 1798, 20127, 10.1063/1.4972719, 2017

 * Rotovei, D., Multi-agent aspect level sentiment analysis in CRM systems, Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, 7829640, pages 400-407, 10.1109/SYNASC.2016.068, 2017

 * Tirea, M., Negru, V., Behavioral trading system -detecting crisis, risk and stability in financial markets, Proceedings - 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, 7829623, pages 279-286, 10.1109/SYNASC.2016.051, 2017

 * Zaharie, D., Micota, F., Revisiting the Analysis of Population Variance in Differential Evolution Algorithms, CEC 2017-IEEE Congress on Evolutionary Computation, 4-8 June 2017 		==== 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):

20

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
  5. Onchis, D.M., Gillich, G.-R., Stable and explainable deep learning damage prediction for prismatic cantilever steel beam, Computers in Industry, 2021, 125, 103359
  6. 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).

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 (to appear).
  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, to appear).

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)