welcome: please sign in
location: Diff for "Publications"
Differences between revisions 75 and 160 (spanning 85 versions)
⇤ ← Revision 75 as of 2018-06-21 15:02:06 →
Size: 16299
Editor: GabrielIstrate
Comment:
← Revision 160 as of 2021-10-10 07:01:49 → ⇥
Size: 5447
Editor: DanielaZaharie
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]] || 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 3: Line 6:
== Current Publications (2018) ==
Line 5: Line 7:


== 2021 ==
Line 6: Line 11:

 * 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. 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 Computationthis link is disabled, 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 https://doi.org/10.1007/s00453-021-00836-5, 2021. 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 20: Line 28:

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


== Recent Publications (2017) ==

==== Journal papers ====

 * Absalom, E., Okoroafor,N., Buhari, S. , Frincu, M., Junaidu, S., Grid Resource Allocation with Genetic Algorithm Using Population Based on Multisets, De Gruyter Press, Journal of Intelligent Systems, vol. 26(1), pp. 169-184, 2017

 * Balint, A.M., Balint, S., Unexpected properties of the propagations generated by some time harmonic perturbations in a 2D infinitely long straight duct satisfying different types of boundary conditions, INCAS Bulletin 9(2), pp. 17-30, 2017

 * Berinde, V., Măruşter, Ş., Rus, I.A., Saturated contraction principles for non self operators, generalizations and applications, Filomat 31(11), pp. 3391-3406, 2017

 * Brandibur, O., Kaslik, E., Stability properties of a two-dimensional system involving one Caputo derivative and applications to the investigation of a fractional-order Morris–Lecar neuronal model, Nonlinear Dynamics, Volume 90, Issue 4, 1 December 2017, Pages 2371-2386

 * Casola, V., De Benedictis, E., Eraşcu, M., Modic, J., Rak, M., Automatically Enforcing Security SLAs in the Cloud, IEEE Transactions on Services Computing 10(5),7430360, pp. 741-755, 2017

 * 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

 * Ezugwu, A., Frincu, M., Adewumi, A., Buhari, S., Junaidu, S., Neural network-based multi-agent approach for scheduling in distributed systems, Concurrency and Computation: Practice and Experience, Wiley Press, vol. 29(1), online DOI: 10.1002/cpe.3887, 2017

 * Ezugwu, A.E., Okoroafor, N.A., Buhari, S.M., Frincu, M.E., Junaidu, S.B., Grid Resource Allocation with Genetic Algorithm Using Population Based on Multisets, Journal of Intelligent Systems 26(1), pp. 169-184, 2017
 
 * Frincu, M., Giurginca, I., Astronomical Alignments of Paleo-Christian Basilicas in Romania, Journal of Sociology and Anthropology, vol. 5(5), pp. 412-419, 2017

 * Iuhasz, G., Panica, S., Crăciun, C., Petcu, D., Deployment of cloud supporting services, Springer Briefs in Applied Sciences and Technology (9783319460307), pp. 69-80, 2017

 * Iuhasz, G., Jamshidi, P., Wang, W., Casale, G., Load balancing for multi-cloud, Springer Briefs in Applied Sciences and Technology (9783319460307), pp. 53-58, 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

 * Fortiş, T.-F., Ferry, N., Cloud patterns, SpringerBriefs in Applied Sciences and Technology (9783319460307), pp. 107-112

 * 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
 
 * Măruşter, Ş., Măruşter, 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
 
 * Măruşter, Ş., Thresholds of the inner steps in multi-step Newton method, Algorithms 10(3),75, 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

 * Onchis-Moaca, D., Zappalá, S., Goţia, S.L., Real, P., Double hough transform for estimating the position of the mandibular canal in dental radiographs, Springer Proceedings in Mathematics and Statistics 198, pp. 317-327, 2017

 * Sun, X.-H., Frincu, M., Chelmis, C., Special Issue on Scalable Computing Systems for Big Data Applications, Journal of Parallel and Distributed Computing, 108, pp. 1-2

 * Wang, W., Casale, G., Iuhasz, G., Closing the loop between Ops and Dev, SpringerBriefs in Applied Sciences and Technology(9783319460307), pp. 95-105, 2017

 * Zhang, S., Agathos, A., Li, J., Robust Minimum Volume Simplex Analysis for Hyperspectral Unmixing, IEEE Transactions on Geoscience and Remote Sensing, 2017


==== Book chapters ====

 * Copie, A., Manaţe, B., Munteanu, V.I., Fortiş, T.-F., An internet of things governance architecture with applications in healthcare, The Internet of Things: Breakthroughs in Research and Practice pp. 112-136, 2017

 * 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

 * 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
 
==== Conference papers ====

 * 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

 * 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

 * Balint, A.M., Balint, S., The effect of the pressure difference across the free surface in case of a NdYAG micro fiber growth by the micro-pulling-down process, AIP Conference Proceedings 1916,040002, 2017

 * Bersani, M. M., Erascu, M., Marconi, F., Ghilardi S., and Rossi M., Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories, SPIN2017, co-located to ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2017, Santa Barbara, California, USA, 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

 * Díaz-del-Río, F., Real, P., Onchis, D., Labeling color 2D digital images in theoretical near logarithmic time, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10425 LNCS, pp. 391-402, 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

 * Erascu, M., Computational Logic and Quantifier Elimination Techniques for Optimal Numerical Algorithms, Workshop Women in Logic 2017, affiliated to Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland, 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
 
 * Frincu, M., Giurginca I., Revisiting the Neolithic Sanctuary at Parta Romania: New and Old Arhcaeoastronomical Considerations, Procs. of SEAC conference, 2017

 * Frincu, M., Architecting a hybrid cross layer dew-fog-cloud stack for future data-driven cyber-physical systems, 2017 40th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2017 - Proceedings 7973456, pp. 399-403, 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

 * Ivascu, T., Cincar, K., Dinis, A., Negru, V., Activities of daily living and falls recognition and classification from the wearable sensors data, 2017 E-Health and Bioengineering Conference, EHB 2017 7995502, pp. 627-630

 * 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

 * L. Oana, M. Frincu, Benchmarking the WRF Model on Bluegene/P, Cluster, and Cloud Platforms and Accelerating Model Setup through Parallel Genetic Algorithms, Procs. 16th International Symposium on Parallel and Distributed Computing (ISPDC), 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

 * Onchis, D., Istin, C., Real, P., Space-variant gabor decomposition for filtering 3D medical images, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10425 LNCS, pp. 455-461, 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

 * Popa, A., Frincu, M., Chelmis, C., A distributed algorithm for the efficient computation of the unified model of social influence on massive datasets, 2017 IEEE High Performance Extreme Computing Conference, HPEC 2017, 8091084, 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

 * Real, P., Diaz-del-Rio, F., Onchis, D., Toward parallel computation of dense homotopy skeletons for nD digital objects, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10256 LNCS, pp. 142-155, 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
 
 * Rotovei, D., Negru, V., A methodology for improving complex sales success in CRM Systems, Proceedings - 2017 IEEE International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2017 8001179, pp. 322-327, 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
 
 * A. Vulpe, M. Frincu, Scheduling Data Stream Jobs on Distributed Systems with Background Load, Procs. 3rd International Workshop on Scalable Computing for Real-Time Big Data Applications in conjunction with IEEE/ACM CCGrid, 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, pages 1811-1818, 2017 		 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 Computationthis link is disabled, 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 https://doi.org/10.1007/s00453-021-00836-5, 2021. 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)