welcome: please sign in
location: Diff for "Publications"
Differences between revisions 68 and 128 (spanning 60 versions)
⇤ ← Revision 68 as of 2017-12-13 15:01:01 →
Size: 11227
Editor: DanielaZaharie
Comment:
← Revision 128 as of 2020-06-18 15:13:26 → ⇥
Size: 7121
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 ====

 * 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

 * 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

 * A. Ezugwu, M. Frincu, A. Adewumi, S. Buhari, S. Junaidu, 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
 
 * 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, SpringerBriefs in Applied Sciences and Technology (9783319460307), pp. 69-80, 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

 * Zhang, S., Agathos, A., Li, J., Robust Minimum Volume Simplex Analysis for Hyperspectral Unmixing, IEEE Transactions on Geoscience and Remote Sensing, 2017		 ||<tablewidth="731px" tableheight="30px">Previous years: ||[[Publications/2018|2018]] ||[[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]] ||
Line 38: Line 4:
==== Book chapters ==== == 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.
Line 40: Line 9:
 * 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 ==== 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). In print.
 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). In print.
 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. In print.
 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. In print.
 1. K. Chandrasekaran, E. Grigorescu, G. Istrate, S. Kulkarni, Y.-S. Lin, M. Zhu. The Maximum Binary Tree Problem. Proceedings of the 28th European Symposium on Algorithms (ESA'2020), LIPICS - Leibniz Proceedings in Computer Science (to appear).
Line 42: Line 17:
 * 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 == 2019 ==
=== Journal papers ===
 1. Balint, A.M., Balint, S., Tanasie, L., An axis symmetric 2D description of the growth process of a single crystal hollow tube, grown from the melt by pulling down method. Part.1, Mathematics in Engineering, Science and Aerospace 10(1), pp. 143-162, 2019
 1. Balint, A.M., Balint, S., Tanasie, L., An axis symmetric 2D description of the growth process of a single crystal hollow tube, grown from the melt, by pulling down method. Part 2, Mathematics in Engineering, Science and Aerospace 10(1), pp. 163-174, 2019
 1. Bonchiş, C., Kaslik, E., Roşu, F., HPC optimal parallel communication algorithm for the simulation of fractional-order systems, Journal of Supercomputing, 75(3), pp. 1014-1025, 2019
 1. Drăgan, I., Iuhasz, G., Petcu, D., A Scalable Platform for Monitoring Data Intensive Applications, Journal of Grid Computing Vol. 17, Issue 3, pp 503–528, 2019
 1. Drămnesc, I., Jebelean, T., Stratulat, Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques Journal of Symbolic Computation, 90, pp. 3-41, 2019
 1. Dăianu, D.M., Mîndruţă, C., Polynomials of Arithmetically Homogeneous Functions: Stability and Hyperstability, Results in Mathematics,74(1),59, 2019
 1. Garrappa, R., Kaslik, E., Popolizio, M., Evaluation of fractional integrals and derivatives of elementary functions: Overview and tutorial, Mathematics, 7(5),407, 2019
Line 44: Line 27:
 * 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 ====		 === Papers in Books ===
 1. Pungila, C., Negru, V., Accelerating DNA Biometrics in Criminal Investigations Through GPU-Based Pattern Matching, Advances in Intelligent Systems and Computing, 771, pp. 459-468, 2019
 1. Brandibur, O., Kaslik, E., Stability Analysis of Two-Dimensional Incommensurate Systems of Fractional-Order Differential Equations, Trends in Mathematics, pp. 77-92, 2019
Line 48: Line 31:
 * 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

 * 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

 * 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

 * 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
 
 * 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 		=== Conference papers ===
 1. Crăciun A., Șurlea G. Grobner Bases with Reduction Machines. In Proceedings of FROM 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS) vol. 303, pp. 61-75, 2019.
 1. Drămnesc, I., Jebelean, T., Proof–based synthesis of sorting algorithms using multisets in Theorema, In Proceedings of FROM 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS) vol. 303, pp. 76-91, 2019.
 1. Dundua B., Kutsia T., Marin M. Variadic Equational Matching. In Proceedings of the 12th International Conference on Intelligent Computer Mathematics (CICM'19), Lecture Notes in Artificial Intelligence, vol. 11617, pp. 77-92, Springer Verlag.
 1. Istrate, G., Bonchiș, C., Brîndușescu, A. Attacking power indices by manipulating player reliability. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'2019). Montreal, Canada, pp. 538-54, ACM Press, 2019
 1. Iuhasz, G., Petcu, D., Perspectives on Anomaly and Event Detection in Exascale Systems, Proceedings - 5th IEEE International Conference on Big Data Security on Cloud, BigDataSecurity 2019, 5th IEEE International Conference on High Performance and Smart Computing, HPSC 2019 and 4th IEEE International Conference on Intelligent Data and Security, IDS 2019, 8819496, pp. 225-229, 2019.
 1. Iuhasz G., Petcu D. Monitoring of Exascale data processing. In Proceedings of the IEEE International Conference on Advanced Scientific Computing (ICASC'19), 1-5,IEEE.
 1. Marin M., Kutsia T., Dundua B. A Rule-based Approach to the Decidability of Safety of ABACα. In Proceedings of the 24th ACM Symposium on Access Control Models and Technologies (SACMAT'2019), ACM Press.
 1. Onchis, D.M., Istin, C., Real, P., Refined Deep Learning for Digital Objects Recognition via Betti Invariants, Proceedings of CAIP'2019, Lecture Notes in Computer Science vol. 11678, pp. 613-621, 2019
 1. Real, P., Molina-Abril, H., Díaz del Río, F., Onchis, D., Generating second order (co)homological information within at-model context, Proceedings of CTIC'19, Lecture Notes in Computer Science vol. 11382, pp. 68-81, 2019
 1. Real, P., Molina-Abril, H., Díaz-del-Río, F., Blanco-Trejo, S., Onchis, D., Enhanced Parallel Generation of Tree Structures for the Recognition of 3D Images, Proceedings of MCPR'19, Lecture Notes in Computer Science vol. 11524, pp. 292-301, 2019.
 1. Spătaru A., Ricci L., Petcu D., Guidi B. Decentralized Cloud Scheduling via Smart Contracts. Operational constraints and costs. In Proceedings of the Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS'19), 482-489, I.E.E.E.

Previous years:

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

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.

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). In print.
  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). In print.

  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. In print.

  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. In print.

  6. K. Chandrasekaran, E. Grigorescu, G. Istrate, S. Kulkarni, Y.-S. Lin, M. Zhu. The Maximum Binary Tree Problem. Proceedings of the 28th European Symposium on Algorithms (ESA'2020), LIPICS - Leibniz Proceedings in Computer Science (to appear).

2019

Journal papers

  1. Balint, A.M., Balint, S., Tanasie, L., An axis symmetric 2D description of the growth process of a single crystal hollow tube, grown from the melt by pulling down method. Part.1, Mathematics in Engineering, Science and Aerospace 10(1), pp. 143-162, 2019
  2. Balint, A.M., Balint, S., Tanasie, L., An axis symmetric 2D description of the growth process of a single crystal hollow tube, grown from the melt, by pulling down method. Part 2, Mathematics in Engineering, Science and Aerospace 10(1), pp. 163-174, 2019
  3. Bonchiş, C., Kaslik, E., Roşu, F., HPC optimal parallel communication algorithm for the simulation of fractional-order systems, Journal of Supercomputing, 75(3), pp. 1014-1025, 2019
  4. Drăgan, I., Iuhasz, G., Petcu, D., A Scalable Platform for Monitoring Data Intensive Applications, Journal of Grid Computing Vol. 17, Issue 3, pp 503–528, 2019
  5. Drămnesc, I., Jebelean, T., Stratulat, Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques Journal of Symbolic Computation, 90, pp. 3-41, 2019
  6. Dăianu, D.M., Mîndruţă, C., Polynomials of Arithmetically Homogeneous Functions: Stability and Hyperstability, Results in Mathematics,74(1),59, 2019
  7. Garrappa, R., Kaslik, E., Popolizio, M., Evaluation of fractional integrals and derivatives of elementary functions: Overview and tutorial, Mathematics, 7(5),407, 2019

Papers in Books

  1. Pungila, C., Negru, V., Accelerating DNA Biometrics in Criminal Investigations Through GPU-Based Pattern Matching, Advances in Intelligent Systems and Computing, 771, pp. 459-468, 2019
  2. Brandibur, O., Kaslik, E., Stability Analysis of Two-Dimensional Incommensurate Systems of Fractional-Order Differential Equations, Trends in Mathematics, pp. 77-92, 2019

Conference papers

  1. Crăciun A., Șurlea G. Grobner Bases with Reduction Machines. In Proceedings of FROM 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS) vol. 303, pp. 61-75, 2019.
  2. Drămnesc, I., Jebelean, T., Proof–based synthesis of sorting algorithms using multisets in Theorema, In Proceedings of FROM 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS) vol. 303, pp. 76-91, 2019.
  3. Dundua B., Kutsia T., Marin M. Variadic Equational Matching. In Proceedings of the 12th International Conference on Intelligent Computer Mathematics (CICM'19), Lecture Notes in Artificial Intelligence, vol. 11617, pp. 77-92, Springer Verlag.
  4. Istrate, G., Bonchiș, C., Brîndușescu, A. Attacking power indices by manipulating player reliability. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'2019). Montreal, Canada, pp. 538-54, ACM Press, 2019

  5. Iuhasz, G., Petcu, D., Perspectives on Anomaly and Event Detection in Exascale Systems, Proceedings - 5th IEEE International Conference on Big Data Security on Cloud, BigDataSecurity 2019, 5th IEEE International Conference on High Performance and Smart Computing, HPSC 2019 and 4th IEEE International Conference on Intelligent Data and Security, IDS 2019, 8819496, pp. 225-229, 2019.

  6. Iuhasz G., Petcu D. Monitoring of Exascale data processing. In Proceedings of the IEEE International Conference on Advanced Scientific Computing (ICASC'19), 1-5,IEEE.
  7. Marin M., Kutsia T., Dundua B. A Rule-based Approach to the Decidability of Safety of ABACα. In Proceedings of the 24th ACM Symposium on Access Control Models and Technologies (SACMAT'2019), ACM Press.
  8. Onchis, D.M., Istin, C., Real, P., Refined Deep Learning for Digital Objects Recognition via Betti Invariants, Proceedings of CAIP'2019, Lecture Notes in Computer Science vol. 11678, pp. 613-621, 2019
  9. Real, P., Molina-Abril, H., Díaz del Río, F., Onchis, D., Generating second order (co)homological information within at-model context, Proceedings of CTIC'19, Lecture Notes in Computer Science vol. 11382, pp. 68-81, 2019
  10. Real, P., Molina-Abril, H., Díaz-del-Río, F., Blanco-Trejo, S., Onchis, D., Enhanced Parallel Generation of Tree Structures for the Recognition of 3D Images, Proceedings of MCPR'19, Lecture Notes in Computer Science vol. 11524, pp. 292-301, 2019.
  11. Spătaru A., Ricci L., Petcu D., Guidi B. Decentralized Cloud Scheduling via Smart Contracts. Operational constraints and costs. In Proceedings of the Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS'19), 482-489, I.E.E.E.

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