welcome: please sign in
location: Diff for "Publications"
Differences between revisions 13 and 157 (spanning 144 versions)
⇤ ← Revision 13 as of 2012-01-21 10:40:35 →
Size: 9115
Editor: anonymous
Comment:
← Revision 157 as of 2021-06-01 16:30:11 → ⇥
Size: 2925
Editor: GabrielIstrate
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||Previous years: ||[[Publications/2009|2009]]||[[Publications/2008|2008]]||[[Publications/2007|2007]]||[[Publications/2006|2006]]||[[Publications/2005|2005]]||
== Recent Publications ==

==== Journal Publications ====

* Aritoni O, Negru V; A multi-agent recommendation system for energy efficiency improvement, Communications in Computer and Information Science 171 CCIS, pp. 156-170, 2011

* S. Balint, S. Epure, T. Duffar, L. Braescu, “Dewetted Bridgman crystal growth: practical stability over a bounded time period in a forced regime,” Journal of Engineering Mathematics, published online, Nov. 2011, DOI 10.1007/s10665-011-9515-z

* A.M.Balint and S.Balint – Pulling rate, thermal and capillary conditions setting for rod growth –Applied Mathematics and Computation, 218(5)pp. 1634-1649 (2011) doi: 10.1016/j.amc.2011.06.043

* S.Balint, S.Epure - Non Lyapunov type stability in a model of the dewetted Bridgman crystal growth under zero gravity conditions – Microgravity Science and Technology 23(Suppl.1) (2011) 49-58 DOI 10.1007/s12217-011-9270-9

* E.J. Brambley, S. Balint, A.M. Balint and M. Darau – Comments on ”linear stability analysis of a non-slipping mean flow in a 2D-straight lined duct with respect to modes type initial(instantaneous) perturbations’’, by Balint, Balint and Darau - Applied Mathematical Modelling 35 (9), pp. 4550-4553 (2011) doi:10.1016/j.apm.2011.03.017

* St.Balint, A.M.Balint and M.Darau - Linear stability analysis of of a non slipping mean flow in a 2D straight lined duct with respect to modes type

* A. Carstea, M. Frincu, G. Macariu and D. Petcu, Validation of SymGrid-services framework through event-based simulation Int. J. Grid and Utility Computing, Vol. 2, No. 1, 2011

* E. Kaslik, S. Sivasundaram. Multistability in impulsive hybrid Hopfield neural networks with distributed delays. Nonlinear Analysis: Real World Applications, 12(3): 1640-1649, 2011.

* E. Kaslik, S. Sivasundaram. Impulsive hybrid discrete-time Hopfield neural networks with delays and multistability analysis. Neural Networks, 24(4): 370-377, 2011.

* E. Kaslik, S. Sivasundaram. Multiple periodic solutions in impulsive hybrid neural networks with delays. Applied Mathematics and Computation, 217(10): 4890-4899, 2011.

* E. Kaslik, S. Balint. Existence of heteroclinic orbits in simplified longitudinal flight dynamics. Journal of Mathematical Analysis and Applications, 373(1): 94-101, 2011.

* S. Maris, L. Braescu, “Numerical study on the fluid flow and interface deflection in the case of crystals grown by Bridgman technique,” International Journal of Mathematical Models and Methods in Applied Sciences, Vol. 5/1, pp. 142-149 (2011).

* D. Petcu, S. Panica, M. Frincu, M. Neagul, D. Zaharie, G. Macariu, Dorian Gorgan, T. Stefanut, Experiences in building a Grid-based platform to serve Earth observation training activities, Computers Standards and Interfaces, Elsevier, doi:10.1016/j.csi.2011.10.010, 2011 		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 33: Line 7:
==== Conference Publications ====
Line 35: Line 8:
* O. Aritoni, V. Negru; Human behavior analysis in ubiquitous environments for energy efficiency improvement, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7040 LNCS , pp. 222-227, 2011
Line 37: Line 9:
* O. Aritoni, V. Negru; Multi-threading system for human behavior simulation based on constraints propagation, 15th International Conference on System Theory, Control and Computing, ICSTCC 2011 , art. no. 6085679, 2011 == 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 https://doi.org/10.1007/s00453-021-00836-5, 2021. Journal version of paper in Proceedings of the 28th European Symposium on Algorithms (ESA'2020).
Line 39: Line 18:
* L. Braescu, “The effect of stable menisci shapes on the zinc distribution in CdZnTe crystals grown by dewetted Bridgman technique,” in SPIE-Optics and Photonics 2011, (San Diego, California, USA, 2011), Proceedings of the Society of Photo-Optical Instrumentation Engineers 8120, pp. 81200E-1-9,2011

* M. Frincu, N. Villegas, D. Petcu, H.A. Mueller, R. Rouvoy, Self-Healing Distributed Scheduling Platform Procs. 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'11), IEEE Computer Press, 225 - 234

* E. Kaslik, S. Sivasundaram. Projective synchronization of different chaotic discrete-time neural networks with delays, based on impulsive controllers. Proceedings of 4th Chaotic Modeling and Simulation International Conference, Agios Nikolaos, Greece, May 31-June 3, 2011, in press.

* E. Kaslik, S. Sivasundaram. Dynamics of fractional-order neural networks. Proceedings of the 2011 International Joint Conference on Neural Networks, San Jose, California, USA, July 31-August 5, 2011, IEEE Computer Society Press, 2011, 611–618.

* M. Marin, A. Craciun; Type inference for regular expression pattern matching, Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010 , art. no. 5715311 , pp. 366-373, 2011

* B. di Martino, D. Petcu, R. Cossu, P. Goncalves, Tamas Mahr, and M. Loichate, Building a Mosaic of Clouds, EuroPAR 2010 workshops, LNCS 6586, 2011, 529-536

* F. Moscato, R. Aversa, B. Di Martino, F. Fortiş, V. Munteanu; An analysis of mOSAIC ontology for cloud resources annotation, 2011 Federated Conference on Computer Science and Information Systems, FedCSIS 2011 , art. no. 6078209 , pp. 973-980, 2011

* V. Munteanu, C. Mindruta, V. Negru, C. Sandru; Multi-agent architecture for solving nonlinear equations systems in semantic services environment, 2011 Federated Conference on Computer Science and Information Systems, FedCSIS 2011 , art. no. 6078251 , pp. 981-984, 2011

* S. Panica, M. Neagul, C. Craciun, D. Petcu, Serving Legacy Distributed Applications by a Self-configuring Cloud Processing Platform, Procs. of the 6th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS'2011), vol I, 139-145.

* D. Petcu, D. Zaharie, S. Panica, A. S. Hussein, A. Sayed, H. El-Shishiny, Fuzzy Clustering of Large Satellite Images using High Performance Computing, SPIE Volume 8183, no. 818302 (2011), SPIE Remote Sensing Conference: High-Performance Computing in Remote Sensing, 19-22 September 2011, Prague, Doi:10.1117/12.898281 (mentioned also in ISGTW)

* D. Petcu, Portability and Interoperability between Clouds: Challenges and Case Study, (invited talk), W. Abramowicz et al. (Eds.): ServiceWave 2011, LNCS 6994, pp. 62–74, 2011.

* D. Petcu, C. Craciun, M. Neagul, M. Rak, I. Lazcanotegui, Building an Interoperability API for Sky Computing, Procs of the 2011 International Conference on High Performance Computing and Simulation Workshop on Cloud Computing Interoperability and Services (InterCloud 2011), IEEE CS, ISBN 978-1-61284-381-0, 405-412

* D. Petcu, C. Craciun, M. Neagul, S. Panica, B. Di Martino, S. Venticinque, M. Rak, and R. Aversa, Architecturing a Sky Computing Platform, ServiceWave 2010 Workshops, LNCS 6569, 2011, 1-13

* D. Petcu, C. Craciun, M. Rak, Towards a cross platform Cloud API. Components for Cloud Federation, Procs. CLOSER 2011 - 1st International Conference on Cloud Computing and Services Science, Ed. F. Leymann, I. Ivanov, M. van Sinderen and B. Shishkov SciTePress – Science and Technology Publications, Portugal, ISBN: 978-989-8425-52-2, 166-169

* D. Petcu, S. Panica, M. Neagul, From Grid Computing Towards Sky Computing. Case Study for Earth Observation (after the invited talk, of D. Petcu, with the same title), Proceedings Cracow Grid Workshop 2010, Academic Computer Center, Poland, ISBN 978-83-61433-03-3, 11-20

* A. Popovici, D. Popovici; Dilatability to quantum linear cellular automata, Proceedings - 12th
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010 , art. no. 5715309 , pp. 355-361, 2011

* S. Venticinque, R. Aversa, B. Di Martino, D. Petcu, Agent based Cloud provisioning and management. Design and Prototypal Implementation, Procs. CLOSER 2011 - 1st International Conference on Cloud Computing and Services Science, Ed. F. Leymann, I. Ivanov, M. van Sinderen and B. Shishkov SciTePress – Science and Technology Publications, Portugal, ISBN: 978-989-8425-52-2, 184-191

* S. Venticinque, R. Aversa, B. di Martino, M. Rak, D. Petcu, A Cloud Agency for SLA Negotiation and Management, EuroPAR 2010 workshops, LNCS 6586, 2011, 587-594

* D. Zaharie, L. Perian, V. Negru; A View Inside the Classification with Non-Nested Generalized Exemplars, IADIS European Conference on Data Mining, 24-26 iulie 2011, Rome, Italy, IADIS Proceedings, pg 19-26, ISBN: 978-972-8939-53-3

* D. Zaharie, L. Perian, V. Negru, F. Zamfirache; Evolutionary pruning of non-nested generalized exemplars, in Proc.of the 6th IEEE International Symposium on Computational Intelligence and Informatics, Timisoara, 19-21 mai 2011, pg 57-62, 2011.
* F. Zamfirache, M. Frîncu, D. Zaharie; Population-based metaheuristics for tasks scheduling in heterogeneous distributed systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6046 LNCS , pp. 321-328, 2011 		==== 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.
 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 https://doi.org/10.1007/s00453-021-00836-5, 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)