welcome: please sign in
location: Diff for "Publications"
Differences between revisions 57 and 126 (spanning 69 versions)
⇤ ← Revision 57 as of 2016-11-11 13:08:14 →
Size: 11705
Editor: DanielaZaharie
Comment:
← Revision 126 as of 2020-06-10 06:43:13 → ⇥
Size: 6881
Editor: GabrielIstrate
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||Previous years: ||[[Publications/2015|2015]] ||[[Publications/2014|2014]] ||[[Publications/2013|2013]] ||[[Publications/2012|2012]] ||[[Publications/2011|2011]] ||[[Publications/2010|2010]] ||[[Publications/2009|2009]] ||[[Publications/2008|2008]] ||[[Publications/2007|2007]] ||[[Publications/2006|2006]] ||[[Publications/2005|2005]] || ||<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 4: Line 4:
== Recent Publications == == 2020 ==
Line 6: Line 6:
 * Artinescu, I.M., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84959321967&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=257&citeCnt=0&searchTerm=|A note of the strong convergence of the Mann iteration for demicontractive mappings]], [[https://www.scopus.com/source/sourceInfo.uri?sourceId=25166&origin=resultslist|Applied Mathematical Sciences,]]10 (5-8), pp. 255-261, 2016
 * Drăgan, I., Fortiş, T.F., Neagul, M[[https://www.scopus.com/authid/detail.uri?origin=resultslist&authorId=35148079900&zone=|.]], [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84992723975&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=278&citeCnt=0&searchTerm=|Exposing HPC services in the cloud: The CloudLightning approach]], [[https://www.scopus.com/source/sourceInfo.uri?sourceId=21100208072&origin=resultslist|Scalable Computing,]]17 (4), pp. 323-330, 2016
 * Dundua, B., Florido, M., Kutsia, T., Marin, M., CLP (H): Constraint logic programming for hedges, Theory and Practice of Logic Programming 16 (02), 141-162, 2016
 * Eraşcu, M., Hong, H., Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation), Journal of Symbolic Computation 75, pp. 110-126, 2016
 * Iuhasz, G., Pop, D., Drăgan, I., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84992690876&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=293&citeCnt=0&searchTerm=|Architecture of a scalable platform for monitoring multiple big data frameworks]], Scalable Computing, 17 (4), pp. 313-321, 2016
 * Petcu D., Iuhasz, G., Pop D., Talia D., Carretero J., Prodan R., Fahringer T. et al., On Processing Extreme Data, Scalable Computing: Practice and Experience 16 (4), 467-490, 2016
 * Pop, D., Iuhasz, G., Petcu, D., Distributed Platforms and Cloud Services: Enabling Machine Learning for Big Data, Data Science and Big Data Computing, 139-159, 2016

==== Book chapters ====
 * Pop, D.,Echeverria, A., Petcu, D., Conesa, G., Enabling Open and Collaborative Public Service Advertising through Cloud Technologies, in Cloud Computing Technologies for Connected Government, DOI: 10.4018/978-1-4666-8629-8.ch011, 2016		  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 18: Line 10:
 * DiNitto E., Casale G., Petcu D., On MODAClouds’ Toolkit Support for DevOps, Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers, vol 567, pp.430, 2016
 * Drămnesc, I., Jebelean, T., Stratulat, S., Proof–based synthesis of sorting algorithms for trees, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9618, pp. 562-575, 2016
 * Drămnesc, I., Jebelean, T., Stratulat, S., A case study on algorithm discovery from proofs: The insert function on binary trees, 2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI), 231-236, 2016
 * Dramnesc, I., Jebelean, T., Stratulat, S., Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015,7426074, pp. 137-144, 2016
 * Eraşcu, M., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84988354998&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=297&citeCnt=0&searchTerm=|Efficient simplification techniques for special real quantifier elimination with applications]], Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9890 LNCS, pp. 193-211, 2016
 * Fortis, A.E., Balint, S., Numerical Investigations of Equilibriums in a Flight with High Angle of Attack,Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426066, pp. 85-89, 2016
 * Irimie, B.-C., Petcu, D., Scalable and Fault Tolerant Monitoring of Security Parameters in the Cloud, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426097, pp. 289-295, 2016
 * Istrate, G., Bonchiş, C., Dinu, L.P., The minimum entropy submodular set cover problem, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)9618, pp. 295-306, 2016
 * Istrate, G., Bonchis, C., Heapability, Interactive Particle Systems, Partial Orders: Results and Open Problems, International Workshop on Descriptional Complexity of Formal Systems, pp 18-28, 2016
 * Ivascu, T., An Energy Efficient Intelligent Wireless Body Area Network for Real-Time Vital Signs Monitoring, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426094, pp. 265-270, 2016
 * Ivascu, T., Manate, B., Negru, V., A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426113, pp. 423-430, 2016
 * Ivascu, T., Frincu, M., Negru, V., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84992151534&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=42&citeCnt=0&searchTerm=|Energy efficient sensors data stream model for real-Time and continuous vital signs monitoring]], Proceedings of the 2016 International Symposium on INnovations in Intelligent SysTems and Applications, INISTA 2016, 7571830, 2016
 * Marin, M., Kutsia, T., Dundua, B., A Rewrite-based Computational Model for Functional Logic Programming, Procs. of SCSS, 95-106, 2016
 * Panica S., Petcu D., Unattended Deployment of Enabling Platforms for Cloud-Based Applications, 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 144-149, 2016
 * Petcu, D., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84979021765&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=254&citeCnt=0&searchTerm=|Service quality assurance in multi-clouds]], [[https://www.scopus.com/source/sourceInfo.uri?sourceId=25674&origin=resultslist|Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)]] 9512, pp. 81-97, 2016
 * Petcu, D., Fazio, M., Prodan, R., Zhao, Z., Rak, M., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84979752573&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=328&citeCnt=0&searchTerm=|On the next generations of infrastructure-as-a-services]], CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science, 1, pp. 320-326, 2016
 * Pop, D., Iuhasz, G., Craciun, C., Panica, S., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84991684381&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=40&citeCnt=0&searchTerm=|Support services for applications execution in multi-clouds environments]], Proceedings - 2016 IEEE International Conference on Autonomic Computing, ICAC 2016 7573162, pp. 343-348, 2016
 * Radoaca, A., Simple Venn Diagrams for Multisets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426080, pp. 181-184, 2016
 * Radoaca, A., Properties of Multisets Compared to Sets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426081, pp. 187-188
 * Radoaca, A., Properties of Multiset Orders by Minimal and Maximal Submultisets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426075, pp. 145-152
 * Selea, T., Spataru, A., Frincu, M., Reusing Resource Coalitions for Efficient Scheduling on the Intercloud, Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016, 7515748, pp. 621-626, 2016
 * Stopar, M., Modic, J., Petcu, D., Rak, M., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84979582909&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=321&citeCnt=0&searchTerm=|Towards a proof-based SLA management framework the SPECS approach]], CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science 2, pp. 240-24, 2016, CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science, 1, pp. 320-326, 2016
 * Tirea, M., Negru, V., Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426109, pp. 391-398, 2016
 * Tirea, M., Negru, V., Stock Market Trading Strategies Applying Risk and Decision Analysis Models for Detecting Financial Turbulence, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426086, pp. 216-223, 2016
 * Vulpe, A., Frincu, M., Exploring Scalability in Pattern Finding in Galactic Structure Using MapReduce, Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016, 7515748, pp. 621-626, 2016		  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.

== 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

=== 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

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

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)