welcome: please sign in
location: Diff for "Publications"
Differences between revisions 41 and 128 (spanning 87 versions)
⇤ ← Revision 41 as of 2015-10-09 05:39:14 →
Size: 6201
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:
||Previous years: ||[[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:
 * Bouvry P., Mayer R., Muszynski J., Petcu D., Rauber A., Tempesti G., Trinh T., Varrette S., Resilience within Ultrascale Computing System: Challenges and Opportunities from Nesus Project, Supercomputing Frontiers and Innovations vol. 2, No. 2, 46-63, 2015
 * Carretero J., Distefano S., Petcu D., Pop, D., Rauber T., Ruenger G., Singh D.E., Energy-efficient Algorithms for Ultrascale Systems, Supercomputing Frontiers and Innovations vol 2, No. 2, 77-104, 2015
 * Da Costa G., Fahringer T., Rico-Gallego, J.-A., Grasso I., Hristov A., Karatza H.D., Lastovetsky A., Marozzo F., Petcu D., Stavrinides G. L., Talia D., Trunfio P., Astsatryan H., Exascale Machines Require New Programming Paradigms and Runtimes, Supercomputing Frontiers and Innovations vol 2, No. 2, 6-27, 2015
 * Drămnesc I., Jebelean T., Synthesis of list algorithms by mechanical proving, ''Journal of Symbolic Computation'' 69 (1), pp. 61-92, 2015
 * Dundua B., Florido M., Kutsia T., Marin, M. CLP (H): Constraint logic programming for hedges. ''Theory and Practice of Logic Programming'', 1-22, 2015.
 * Fortiş, T.-F., Munteanu, V.I., Negru, V., A taxonomic view of cloud computing services, International Journal of Computational Science and Engineering, 11 (1), pp. 17-28, 2015
 * Istrate G., Identifying almost-sorted permutations from TCP buffer dynamics. ''Scientific Annals of Computer Science'', XXV (1), pp. 133-154, 2015.
 * Istrate G., Reachability and Recurrence in a Modular Generalization of Annihilating Random Walks (and lights-out games) to hypergraphs. ''Theoretical Computer Science'', 580, pp. 83-93, 2015.
 * Istrate G., Two notes on generalized Darboux properties and related features of additive functions. ''Analele Universitatii Bucuresti Ser. Informatica, ''special issue dedicated to Professor Solomon Marcus' s 90th birthday , LXII (2), pp. 61-76, 2015.
 * Kutsia T., Marin M., Regular expression order-sorted unification and matching. ''Journal of Symbolic Computation'' 67, pp. 42-67 (2015)
 * Li J., Agathos A., Zaharie D., Bioucas-Dias J.M., Plaza A., Li X. Minimum volume simplex analysis: A fast algorithm for linear hyperspectral unmixing, ''IEEE Transactions on Geoscience and Remote Sensing'', 53 (9), 7090960, pp. 5067-5082, 2015
 * Măruşter, L., Măruşter, S., On the error estimation and T-stability of the Mann iteration, ''Journal of Computational and Applied Mathematics'' 276, pp. 110-116, 2015
 * Măruşter, S., Strong convergence of the mann iteration for demicontractive mappings, Applied Mathematical Sciences, 9 (41-44), pp. 2061-2068, 2015
 * Petcu D., Panica S., Crăciun C., Neagul M., Şandru C., Cloud resource orchestration within an open-source component-based platform as a service, '' Concurrency Computation'' 27 (9), pp. 2443-2469, 2015
 

==== Book chapters ====

 * Di Nitto E., Solberg A., Petcu D., On MODAClouds' Approach for Application Design and Execution on Multi-Clouds, M. Helfert, B. Donnelan (Eds.), European Project Space, Cases and Examples, SCITEPRESS, 2015, Portugal, ISBN: 978-989-758-034-5, 49-60
 * Pop D., Echeverria A., Petcu D., Conesa G., Enabling Open and Collaborative Public Service Advertising through Cloud Technologies, In book: Cloud Computing Technologies for Connected Government, Edition: 1, Chapter: 11, Publisher: IGI Global, Editors: Zaigham Mahmood, 268-290
 		  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 29: Line 10:
 * Aisenberg, J., Bonet, M.L., Buss, S., Crăciun, A., Istrate, G. Short Proofs of the Kneser-Lovász Coloring Principle. ''Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) '', Lecture Notes in Computer Science vol. 9135, pp. 44-55. 2015.
 * Casale G., Ardagna D., Artac M., Barbier F., Di Nitto E., Henry A., Iuhasz G., Joubert C., Merseguer J., Munteanu V. I., Perez J. F., Petcu D., Rossi M. , Sheridan C., Spais I., Vladusic D., DICE: Quality-Driven Development of Data-Intensive Cloud Applications, Proceedings of the 7th International Workshop on Modeling in Software Engineering (MiSE 2015), 16-17 May 2015, Florence, Italy.
 * Dogaru, R., Micota, F., Zaharie, D., Searching for Taxonomy-based Similarity Measures for Medical Data, In ''Proceedings of the 7th Balkan Conference on Informatics (BCI 2015)'', art. nr. 27, ACM Press.
 * Istrate, G., Bonchiş, C. Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process. ''Proceedings of the 26th Annual Symposium on Combinatorial Pattern Matching (CPM 2015)'', Lecture Notes in Computer Science 9133, pp. 261-271. Springer Verlag, 2015.		  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 34: Line 17:
---- /!\ '''Edit conflict - other version:''' ---- == 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 36: Line 27:
---- /!\ '''Edit conflict - your version:''' ----
 * Muscalagiu, I., Popa, H.E., Negru, V., Improving the performances of asynchronous search algorithms in scale-free networks using the nogood processor technique, Computing and Informatics, 34 (1), pp. 254-274, 2015		 === 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 39: Line 31:
---- /!\ '''End of edit conflict''' ----
 * Onchiş, D.M., Goţia, S.L., Enhancing dental radiographic images in spline-type spaces, ''Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014'', 7034730, pp. 559-564, 2015
 * Onchiş, D.M., Frunzăverde, D., Găianu, M., Ciubotariu, R., Multi-phase identification in microstructures images using a GPU accelerated fuzzy C-Means segmentation, ''Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014'', 7034736, pp. 602-607, 2015
 * Tirea, M., Negru, V., Intelligent stock market analysis system - A fundamental and macro-economical analysis approach, ''Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014'', 7034725, pp. 519-526, 2015		 === 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)