welcome: please sign in
location: Diff for "Publications"
Differences between revisions 66 and 156 (spanning 90 versions)
Revision 66 as of 2017-05-27 04:06:12
Size: 9161
Comment:
Revision 156 as of 2021-05-17 04:14:10
Size: 2894
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 ====

 * E. Absalom, N. Okoroafor, S. Buhari, M. Frincu, S. Junaidu, 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

 * 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
 
 * M. Frincu, I. Giurginca, Astronomical Alignments of Paleo-Christian Basilicas in Romania, Journal of Sociology and Anthropology, vol. 5(5), pp. 412-419, 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
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 28: Line 7:
==== Book chapters ====
Line 30: Line 8:
 * 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
Line 32: Line 9:
 * 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
 
 
== 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 36: Line 19:

 * 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
 
 * M. Frincu, I. Giurginca, Revisiting the Neolithic Sanctuary at Parta Romania: New and Old Arhcaeoastronomical Considerations, Procs. of SEAC conference, 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

 * 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

 * 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
 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).
 1. Isabela Drămnesc, Tudor Jebelean. Synthesis of Merging algorithms on binary trees using multisets in Theorema. SACI'2021.
 1. Alexandra Fortiș, Florin Fortiș. Cloud computing projects: a bibliometric overview. AINA'2021, CCPI Workshop.

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).
  4. Isabela Drămnesc, Tudor Jebelean. Synthesis of Merging algorithms on binary trees using multisets in Theorema. SACI'2021.
  5. Alexandra Fortiș, Florin Fortiș. Cloud computing projects: a bibliometric overview. AINA'2021, CCPI Workshop.

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