Size: 5312
Comment:
|
Size: 6218
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 5: | Line 5: |
1. Flavius Turcu, Cosmin Bonchiș, Mohamed Najim. Vector partitions, multi-dimensional Faà di Bruno formulae and generating algorithms. Discrete Applied Mathematics, vol 272(2020), pp. 90-99, Elsevier. | 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, 2020, in print. |
Line 10: | Line 11: |
1. Gabriel Istrate, Cosmin Bonchiș, Claudiu Gatina. It's not whom you know, it's what you (or your friends) can do: Coalitional Frameworks for Network Centralities. To appear in the Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'2020, Auckland, New Zealand. ACM Press. | 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. |
Line 18: | Line 21: |
1. Brandibur, O., Kaslik, E., Stability Analysis of Two-Dimensional Incommensurate Systems of Fractional-Order Differential Equations, Trends in Mathematics, pp. 77-92, 2019 1. Drăgan, I., Iuhasz, G., Petcu, D., A Scalable Platform for Monitoring Data Intensive Applications, Journal of Grid Computing (in print), 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 |
Line 23: | Line 25: |
=== Papers in Books === |
|
Line 24: | Line 29: |
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 26: | Line 32: |
1. Drămnesc, I., Jebelean, T., Proof–based synthesis of sorting algorithms using multisets in Theorema, Electronic Proceedings in Theoretical Computer Science, EPTCS, 303, pp. 76-91, 2019 | 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. |
Line 28: | Line 36: |
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. Onchis, D.M., Istin, C., Real, P., Refined Deep Learning for Digital Objects Recognition via Betti Invariants, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11678 LNCS, 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11382 LNCS, 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11524 LNCS, pp. 292-301, 2019. 1. Adrian Crăciun, Georgiana Șurlea. Grobner Bases with Reduction Machines. In Proceedings of FROM 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS) vol. 303, pp. 61-75, 2019. 1. B Dundua, T Kutsia, M Marin. 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. M Marin, T Kutsia, B Dundua. 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. 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. |
2020
Journal papers
- 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.
- Balogh, J., Bonchiş C., Diniş D., Istrate G., Todinca I. On the heapability of finite partial orders. Discrete Mathematics and Theoretical Computer Science, 2020, in print.
Conference papers
- 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.
- 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.
- 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.
2019
Journal papers
- 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
- 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
- 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
- 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
- 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
- Dăianu, D.M., Mîndruţă, C., Polynomials of Arithmetically Homogeneous Functions: Stability and Hyperstability, Results in Mathematics,74(1),59, 2019
- 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
- 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
- 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
- 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.
- 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.
- 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.
- 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
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.
- 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.
- 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.
- 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
- 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
- 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.
- 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.