welcome: please sign in
location: Diff for "Publications"
Differences between revisions 103 and 155 (spanning 52 versions)
⇤ ← Revision 103 as of 2019-10-16 11:28:49 →
Size: 13117
Editor: DanielaZaharie
Comment:
← Revision 155 as of 2021-05-14 14:28:00 → ⇥
Size: 2647
Editor: GabrielIstrate
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||<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]]|| 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 5: Line 8:
== 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. 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ă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
 1. Deep learning for fault diagnosis and prognosis in manufacturing systems Yan, R., Chen, X., Wang, P., Onchis, D.M. 2019 Computers in Industry
110, pp. 1-2
 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
== 2021 ==
==== Journal papers ====
 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. 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. 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. 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 (to appear, 2021). Journal version of paper in Proceedings of the 28th European Symposium on Algorithms (ESA'2020).
Line 21: Line 19:
 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. 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 (in print), 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. 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
  

== 2018 ==
==== Book chapters ====
 1. I Dragan, TF Fortiș, M Neagul, D Petcu, T Selea, A Spataru, Application Blueprints and Service Description, in Heterogeneity, High Performance Computing, Self-Organization and the Cloud, 89-117, 2018
 1. M Frincu, B Irimie, T Selea, A Spataru, A Vulpe, Evaluating Distributed Systems and Applications Through Accurate Models and Simulations, Modeling and Simulation in HPC and Cloud Systems, 1-18, 2018

==== Journal papers ====
 1. 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.
 1. Argyros, I.K., Măruşter, S., Predetermining the number of periodic steps in multi-step Newton-like methods for solving equations and systems of equations, Applied Mathematics and Computation, 329, pp. 420-431, 2018
 1. Artinescu, I.M., Mafteiu-Scai, L.O., A Scratch Covering Algorithm Using Affine Projection Method, Mathematics in Computer Science, 12(2), pp. 235-246, 2018
 1. Balint, A.M., Balint, S., A 2D description of the single crystal thin plate growth from the melt by micro- Pulling- down method. Part 2, INCAS Bulletin 10(3), pp. 53-64, 2018
 1. 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
 1. Carretero, J., Garcia-Blas, J., Antoniu, G., Petcu, D., New directions in mobile, hybrid, and heterogeneous clouds for cyberinfrastructures, Future Generation Computer Systems, 87, pp. 615-617, 2018
 1. Dăianu, D.M., Mîndruţă, C., Arithmetically homogeneous functions: characterizations, stability and hyperstability, Aequationes Mathematicae
92(6), pp. 1061-1077, 2018
 1. 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
 1. I Drămnesc, T Jebelean, S Stratulat, Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques, Journal of Symbolic Computation, 90, 3-41, available online 2018
 1. M. Frincu, Was the Parta Neolithic Sanctuary Astronomically Aligned? Mediterranean Archaeology and Archaeometry 18 (4), 43-51, 2018
 1. 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
 1. Kaslik, E., Neamtu, M., Stability and Hopf bifurcation analysis for the hypothalamic-pituitary-adrenal axis model with memory, Mathematical Medicine and Biology, 35(1), pp. 49-78, 2018
 1. Kaslik, E., Neamţu, M., Stability and Hopf bifurcation analysis of a 4-dimensional hypothalamic-pituitary-adrenal axis model with distributed delays, Mathematical Methods in the Applied Sciences, article in press, 2018
 1. 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
 1. Măruşter, Ş., Măruşter, L., On the problem of starting points for iterative methods, Numerical Algorithms, article in press, 2018
 1. 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
 1. Onchis, D., Zappalà, S., Stability of spline-type systems in the Abelian case, Symmetry 10(1),7, 2017
 1. 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
 1. 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
 1. S Panica, B Irimie, D Petcu, Enabling and monitoring platform for cloud-based applications, International Journal of High Performance Computing and Networking, 12(4), 328-338, 2018
 1. L.M. Mafteiu-Scai, E. Mafteiu-Scai, R. Mafteiu-Scai, Solving Equations Systems Using Artificial Intelligence - a Survey, International Journal of New Computer Architectures and their Applications (IJNCAA), 8(3), 102-118, 2018
 1. F. Turcu, C. Bonchis, M. Najim, Vector partitions, multi-dimensional Faà di Bruno formulae and generating algorithms, Discrete Applied Mathematics, Available online 24 October 2018

==== Conference papers ====
 1. Al Asaad, B., Erascu, M., A tool for fake news detection, Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, 8750741, pp. 379-386, 2018
 1. Artinescu, I.M., Boldea, C.R., An image inpainting technique based on parallel projection methods, Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, 8750744, pp. 95-98, 2018
 1. 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
 1. Butunoi, B.-P., Frincu, M., Shapelet based classification of customer consumption patterns, 2017 IEEE PES Innovative Smart Grid Technologies Conference Europe, ISGT-Europe 2017 - Proceedings 2018-January, pp. 1-6, 2018
 1. Dinis, A., Ivascu, T., Negru, V., A self developing system for medical data analysisProceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, 8750731, pp. 335-339, 2018
 1. M. Erascu, F. Micota and D. Zaharie - Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection, LPAR-22 Workshop and Short Paper Proceedings, Kalpa Publications in Computing, vol. 9, 2018, pages 1-14.
 1. Erascu, M., Iuhasz, G., Micota, F. , An architecture for a management agency for cloud resources, Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, 8750721, pp. 288-295, 2018
 1. 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
 1. Ivaşcu, T., Diniş, A., Cincar, K., A disease-driven nutrition recommender system based on a multi-agent architecture, ACM International Conference Proceeding Series, 2018
 1. F Micota, M Eraşcu, D Zaharie, Constraint Satisfaction Approaches in Cloud Resource Selection for Component Based Applications, 2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP), 443-450, 2018
 1. Miok, K, Estimation of prediction intervals in neural network-based regression models, Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, 8750721, pp. 463-468, 2018
 1. D. M. Onchis, S. Zappalà, P. Real, C. Istin, Numerical stability of spline-based Gabor-like systems, 2018 26th European Signal Processing Conference (EUSIPCO), 2018
 1. Pungila, C., Galis, D., Negru, V., Optimizing pattern-matching for memory-efficient heterogeneous DNA processing in bioinformatics, SACI 2018 - IEEE 12th International Symposium on Applied Computational Intelligence and Informatics, Proceedings, 8441000, pp. 455-460, 2018
 1. Pungila, C., Galis, D., Negru, V., Survey on feasibility of pattern matching techniques in heterogeneous architectures for bioinformatics, Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, 8750725, pp. 368-375, 2018
 1. C. Pungila, v. Negru, Accelerating DNA Biometrics in Criminal Investigations Through GPU-Based Pattern Matching, The 13th International Conference on Soft Computing Models in Industrial and Environmental Applications, 459-468, 2018
 1. Selea, T., Vulpe, A., Brandibur, O., Erascu M., Zaharie, D., Frincu, M., Benchmarking numerical libraries for flight software prequalification: Extended abstract, AIP Conference Proceedings 1978,470073, 2018
 1. Schuszter I.C., A Comparative Study of Machine Learning Methods for Traffic Sign Recognition, Proc. SYNASC 2017, pp 389-392, 2018.
 1. Spataru, A., Frincu, M., Using cluster information to predict individual customer consumption, 2017 IEEE PES Innovative Smart Grid Technologies Conference Europe, ISGT-Europe 2017 - Proceedings 2018-January, pp. 1-6, 2018
 
 		  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 (to appear).
 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, to appear).

Previous years (20xx):

20

19

18

17

16

15

14

13

12

11

10

09

08

07

06

2021

Journal papers

  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
  2. 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
  3. 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
  4. 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
  5. Onchis, D.M., Gillich, G.-R., Stable and explainable deep learning damage prediction for prismatic cantilever steel beam, Computers in Industry, 2021, 125, 103359
  6. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. The Maximum Binary Tree Problem. Algorithmica (to appear, 2021). Journal version of paper in Proceedings of the 28th European Symposium on Algorithms (ESA'2020).

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 (to appear).
  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, to appear).

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