welcome: please sign in
location: Diff for "Publications"
Differences between revisions 27 and 58 (spanning 31 versions)
⇤ ← Revision 27 as of 2014-12-09 09:27:14 →
Size: 8688
Editor: DanielaZaharie
Comment:
← Revision 58 as of 2017-05-12 10:55:38 → ⇥
Size: 11769
Editor: DanielaZaharie
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/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 5:
==== Journal papers ====
 * Artinescu, I.M., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84959321967&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=257&citeCnt=0&searchTerm=|A note of the strong convergence of the Mann iteration for demicontractive mappings]], [[https://www.scopus.com/source/sourceInfo.uri?sourceId=25166&origin=resultslist|Applied Mathematical Sciences,]]10 (5-8), pp. 255-261, 2016
 * Drăgan, I., Fortiş, T.F., Neagul, M[[https://www.scopus.com/authid/detail.uri?origin=resultslist&authorId=35148079900&zone=|.]], [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84992723975&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=278&citeCnt=0&searchTerm=|Exposing HPC services in the cloud: The CloudLightning approach]], [[https://www.scopus.com/source/sourceInfo.uri?sourceId=21100208072&origin=resultslist|Scalable Computing,]]17 (4), pp. 323-330, 2016
 * Dundua, B., Florido, M., Kutsia, T., Marin, M., CLP (H): Constraint logic programming for hedges, Theory and Practice of Logic Programming 16 (02), 141-162, 2016
 * Eraşcu, M., Hong, H., Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation), Journal of Symbolic Computation 75, pp. 110-126, 2016
 * Iuhasz, G., Pop, D., Drăgan, I., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84992690876&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=293&citeCnt=0&searchTerm=|Architecture of a scalable platform for monitoring multiple big data frameworks]], Scalable Computing, 17 (4), pp. 313-321, 2016
 * Petcu D., Iuhasz, G., Pop D., Talia D., Carretero J., Prodan R., Fahringer T. et al., On Processing Extreme Data, Scalable Computing: Practice and Experience 16 (4), 467-490, 2016
 * Pop, D., Iuhasz, G., Petcu, D., Distributed Platforms and Cloud Services: Enabling Machine Learning for Big Data, Data Science and Big Data Computing, 139-159, 2016
Line 5: Line 14:

==== Books/Chapter in books ====

 * M.E. Frincu, D. Petcu, Resource Management for HPC on the Cloud, In Emmanuel Jeannot, Julius Zilinskas (eds.): High-Performance Computing on Complex Environments, ISBN: 978-1-118-71205-4, June 2014, 303-323


==== Journal papers ====

  * Bonchiş, C., Istrate, G., Improved approximation algorithms for low-density instances of the Minimum Entropy Set Cover Problem, Source of the Document Information Processing Letters, 114 (7), pp. 360-364, 2014

  * Frîncu, M.E., Scheduling highly available applications on cloud environments, Future Generation Computer Systems, 32 (1), pp. 138-153, 2014

  * Frincu, M.E., Genaud, S., Gossa, J., On the efficiency of several VM provisioning strategies for workflows with multi-threaded tasks on clouds, Computing, article in press, 2014

  * Pungilǎ, C.-P., Reja, M., Negru, V., Efficient parallel automata construction for hybrid resource-impelled data-matching, Future Generation Computer Systems 36, pp. 31-41, 2014

  * Iuhasz, G., Negru, V., Zaharie, D., Neuroevolution based multi-agent system with ontology based template creation for micromanagement in real-time strategy games, Information Technology and Control, 43 (1), pp. 98-109, 2014

  * Kutsia, T., Marin, M., Regular expression order-sorted unification and matching, Journal of Symbolic Computation, article in press, 2014

  * Munteanu, V.I., Fortiş, T.-F., Copie, A., Supporting cloud governance through technologies and standards, Studies in Computational Intelligence 511, pp. 271-280, 2014
  
  * Muscalagiu, I., Popa, H.E., Negru, V., The impact of the "nogood processor" technique in scale-free networks, Studies in Computational Intelligence 511, pp. 163-173, 2014

  * Iuhasz, G., Munteanu, V.I., Negru, V., A survey of adaptive game AI: Considerations for cloud deployment, Studies in Computational Intelligence 511, pp. 309-315, 2014
  
  * D. Petcu, A.V. Vasilakos Portability in clouds: approaches and research opportunities, Scalable Computing: Practice and Experience, Volume 15, Issue 3, Sept 2014, 251-270
    
  * V.I. Munteanu, C. Sandru, D. Petcu, Multi-cloud resource management: cloud service interfacing, Journal of Cloud Computing: Advances, Systems and Applications. 2014, 3:3, ISSN: 2192-113X, on-line May 2014

  * A. Agathos, J. Li, D. Petcu, and A. Plaza Multi-GPU Implementation of the Minimum Volume Simplex Analysis Algorithm for Hyperspectral Unmixing, IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, Vol 7, Issue 6, 2014, 2281-2296
  
  * D. Petcu, Consuming Resources and Services from Multiple Clouds. From Terminology to Cloudware Support . Journal of Grid Computing,vol. 12, issue 2, 321-345, doi: 10.1007/s10723-013-9290-3

  * J. Juzna, P. Cesarek, D. Petcu and V. Stankovski, Solving Solid and Fluid Mechanics Problems in the Cloud with mOSAIC, Computing in Science and Engineering, Vol 16, issue 4, 68-77, doi: 10.1109/MCSE.2013.135

  * V. Stankovski, D. Petcu, Developing a Model Driven Approach for engineering applications based on mOSAIC, Journal of Cluster Computing, Springer, on-line April 2013, vol. 17, issues 1, 2014, 101-110, doi: 10.1007/s10586-013-0263-x

  * R.D. Moleriu, D. Zaharie, L.C. Moatar-Moleriu, A.T. Gruia, A.A. Mic, F.A. Mic - Insights into the mechanisms of thymus involution and regeneration by modeling the glucocorticoid-induced perturbation of thymocyte populations dynamics , Journal of Theoretical Biology, Volume 348, Pages 80-99, 2014.
==== Book chapters ====
 * Pop, D.,Echeverria, A., Petcu, D., Conesa, G., Enabling Open and Collaborative Public Service Advertising through Cloud Technologies, in Cloud Computing Technologies for Connected Government, DOI: 10.4018/978-1-4666-8629-8.ch011, 2016
Line 47: Line 18:

  * Agathos, A., Li, J., Bioucas-Dias, J.M., Plaza, A., Robust minimum volume simplex analysis for hyperspectral unmixing, European Signal Processing Conference 6952576, pp. 1582-1586, 2014
 
  * Dramnesc, I., Jebelean, T., Theory exploration of sets represented as monotone lists, SISY 2014 - IEEE 12th International Symposium on Intelligent Systems and Informatics, Proceedings 6923579, pp. 163-168, 2014

  * Erascu, M., Semi-automatic analysis of algorithm complexity (Case study: Square-root computation), SISY 2014 - IEEE 12th International Symposium on Intelligent Systems and Informatics, Proceedings 6923559, pp. 67-72, 2014
 
  * Fortis, T.F., Fortis, A.E., Balint, S., A multi-agent system for the flight quality analysis, Source of the Document Proceedings - 2014 8th International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2014 6915556, pp. 457-462, 2014

  * Fortiş, A.E., Balint, S., Fortiş, T.-F., Dependence of the oscillatory movements of an unmanned aerial vehicle on the forward velocity, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013 6821140, pp. 119-125, 2014

  * Istrate, G., Crãciun, A., Proof complexity and the Kneser-Lovász theorem, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8561 LNCS, pp. 138-153, 2014
 
  * Manate, B., Munteanu, V.I., Fortis, T.F., Moore, P.T., An intelligent context-aware decision-support system oriented towards healthcare support, Proceedings - 2014 8th International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2014 6915544, pp. 386-391, 2014
  
  * Marin, M., Istrate, G., Learning Cover Context-Free Grammars from Structural Data, Proc. ICTAC 2014, LNCS 8687, 241-258, 2014

  * Dundua, B., Florido, M., Kutsia, T., Marin, M., Constraint logic programming for hedges: A semantic reconstruction, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8475 LNCS, pp. 285-301, 2014
 
  * Iuhasz, G., Munteanu, V.I., Negru, V., Evolutionary approach to negotiation in game AI, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, 6821163, pp. 296-302, 2014

  * Manate, B., Munteanu, V.I., Fortis, T.F., Proceedings - 2014 8th International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2014 6915578, pp. 582-587, 2014

  * Panica, S., Petcu, D., Distributed resource identification service for cloud environments, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013 6821182, pp. 448-453, 2014
 
  * D. Petcu, SLA-based Cloud Security Monitoring: Challenges, Barriers, Models and Methods, in L. Lopes et al. (Eds.), Euro-Par 2014 Workshops, Part I, LNCS 8805, 359-370, 2014

  * D. Petcu, A Taxonomy for SLA-based Monitoring of Cloud Security, 2014 IEEE 38th Annual Computer Software and Applications Conference (COMPSAC), July 2014, Vasteras, Sweden, 640-641

  * D. Petcu, H. Gonzalez-Velez, B. Nicolae, J.M. Garia-Gomez, E. Fuster-Garcia, C. Sheridan, Next Generation HPC Clouds: A View for Large-Scale Scientific and Data-Intensive Applications, in L. Lopes et al. (Eds.), Euro-Par 2014 Workshops, Part II, LNCS 8806, 26-37, 2014

  * D. Petcu, E. Di Nitto, D. Ardagna, A. Solberg, G. Casale, Towards Multi-Clouds Engineering, 2014 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 1-6, 2014

  * D. Petcu, C. Craciun, Towards a Security SLA-based Cloud Monitoring Service. In Proceedings CLOSER 2014, 4th International Conference on Cloud Computing and Services Science, 598-603.

  * D. Petcu, On the Management of Cloud Services in Multi-Clouds for Scientific Applications. In Ivan Lirkov et al (eds.): LSSC2013, LNCS 8353, pp. 501-509, 2014

  * L. Moatar-Moleriu, V. Negru, D. Zaharie - Evolutionary Estimation of Parameters in Computational Models of Thymocyte Dynamics, LSSC'13, June, Sozopol, Springer LNCS 8353, pg. 264-271, 2014.

  * Pop, D., Bogdǎnescu, C., Ontology-based recommender for distributed machine learning environment, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013 6821193, pp. 537-542, 2014

  * Tirea, M., Negru, V., Managing risk behavior on an evolutionary market - A risk limits and value-at-risk measures approach, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013 6821194, pp. 543-550, 2014
  		  * DiNitto E., Casale G., Petcu D., On MODAClouds’ Toolkit Support for DevOps, Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers, vol 567, pp.430, 2016
 * Drămnesc, I., Jebelean, T., Stratulat, S., Proof–based synthesis of sorting algorithms for trees, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9618, pp. 562-575, 2016
 * Drămnesc, I., Jebelean, T., Stratulat, S., A case study on algorithm discovery from proofs: The insert function on binary trees, 2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI), 231-236, 2016
 * Dramnesc, I., Jebelean, T., Stratulat, S., Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015,7426074, pp. 137-144, 2016
 * Eraşcu, M., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84988354998&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=297&citeCnt=0&searchTerm=|Efficient simplification techniques for special real quantifier elimination with applications]], Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9890 LNCS, pp. 193-211, 2016
 * Fortis, A.E., Balint, S., Numerical Investigations of Equilibriums in a Flight with High Angle of Attack,Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426066, pp. 85-89, 2016
 * Irimie, B.-C., Petcu, D., Scalable and Fault Tolerant Monitoring of Security Parameters in the Cloud, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426097, pp. 289-295, 2016
 * Istrate, G., Bonchiş, C., Dinu, L.P., The minimum entropy submodular set cover problem, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)9618, pp. 295-306, 2016
 * Istrate, G., Bonchis, C., Heapability, Interactive Particle Systems, Partial Orders: Results and Open Problems, International Workshop on Descriptional Complexity of Formal Systems, pp 18-28, 2016
 * Ivascu, T., An Energy Efficient Intelligent Wireless Body Area Network for Real-Time Vital Signs Monitoring, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426094, pp. 265-270, 2016
 * Ivascu, T., Manate, B., Negru, V., A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426113, pp. 423-430, 2016
 * Ivascu, T., Frincu, M., Negru, V., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84992151534&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=42&citeCnt=0&searchTerm=|Energy efficient sensors data stream model for real-Time and continuous vital signs monitoring]], Proceedings of the 2016 International Symposium on INnovations in Intelligent SysTems and Applications, INISTA 2016, 7571830, 2016
 * Marin, M., Kutsia, T., Dundua, B., A Rewrite-based Computational Model for Functional Logic Programming, Procs. of SCSS, 95-106, 2016
 * Panica S., Petcu D., Unattended Deployment of Enabling Platforms for Cloud-Based Applications, 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 144-149, 2016
 * Petcu, D., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84979021765&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=254&citeCnt=0&searchTerm=|Service quality assurance in multi-clouds]], [[https://www.scopus.com/source/sourceInfo.uri?sourceId=25674&origin=resultslist|Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)]] 9512, pp. 81-97, 2016
 * Petcu, D., Fazio, M., Prodan, R., Zhao, Z., Rak, M., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84979752573&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=328&citeCnt=0&searchTerm=|On the next generations of infrastructure-as-a-services]], CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science, 1, pp. 320-326, 2016
 * Pop, D., Iuhasz, G., Craciun, C., Panica, S., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84991684381&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=40&citeCnt=0&searchTerm=|Support services for applications execution in multi-clouds environments]], Proceedings - 2016 IEEE International Conference on Autonomic Computing, ICAC 2016 7573162, pp. 343-348, 2016
 * Radoaca, A., Simple Venn Diagrams for Multisets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426080, pp. 181-184, 2016
 * Radoaca, A., Properties of Multisets Compared to Sets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426081, pp. 187-188
 * Radoaca, A., Properties of Multiset Orders by Minimal and Maximal Submultisets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426075, pp. 145-152
 * Selea, T., Spataru, A., Frincu, M., Reusing Resource Coalitions for Efficient Scheduling on the Intercloud, Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016, 7515748, pp. 621-626, 2016
 * Stopar, M., Modic, J., Petcu, D., Rak, M., [[https://www.scopus.com/record/display.uri?eid=2-s2.0-84979582909&origin=resultslist&sort=plf-f&src=s&nlo=1&nlr=20&nls=&affilName=west+university+of+timisoara&sid=BAF82407BF064A29D2268F1DC33B484E.wsnAw8kcdt7IPYLO0V48gA:170&sot=afnl&sdt=cl&cluster=scopubyr,"2017",t,"2016",t&sl=56&s=(AF-ID("Universitatea+de+Vest+din+Timisoara"+60000434)+)&relpos=321&citeCnt=0&searchTerm=|Towards a proof-based SLA management framework the SPECS approach]], CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science 2, pp. 240-24, 2016, CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science, 1, pp. 320-326, 2016
 * Tirea, M., Negru, V., Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426109, pp. 391-398, 2016
 * Tirea, M., Negru, V., Stock Market Trading Strategies Applying Risk and Decision Analysis Models for Detecting Financial Turbulence, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426086, pp. 216-223, 2016
 * Vulpe, A., Frincu, M., Exploring Scalability in Pattern Finding in Galactic Structure Using MapReduce, Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016, 7515748, pp. 621-626, 2016

Previous years:

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Recent Publications

Journal papers

Book chapters

  • Pop, D.,Echeverria, A., Petcu, D., Conesa, G., Enabling Open and Collaborative Public Service Advertising through Cloud Technologies, in Cloud Computing Technologies for Connected Government, DOI: 10.4018/978-1-4666-8629-8.ch011, 2016

Conference papers

  • DiNitto E., Casale G., Petcu D., On MODAClouds’ Toolkit Support for DevOps, Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers, vol 567, pp.430, 2016

  • Drămnesc, I., Jebelean, T., Stratulat, S., Proof–based synthesis of sorting algorithms for trees, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9618, pp. 562-575, 2016
  • Drămnesc, I., Jebelean, T., Stratulat, S., A case study on algorithm discovery from proofs: The insert function on binary trees, 2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI), 231-236, 2016
  • Dramnesc, I., Jebelean, T., Stratulat, S., Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015,7426074, pp. 137-144, 2016

  • Eraşcu, M., Efficient simplification techniques for special real quantifier elimination with applications, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9890 LNCS, pp. 193-211, 2016

  • Fortis, A.E., Balint, S., Numerical Investigations of Equilibriums in a Flight with High Angle of Attack,Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426066, pp. 85-89, 2016
  • Irimie, B.-C., Petcu, D., Scalable and Fault Tolerant Monitoring of Security Parameters in the Cloud, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426097, pp. 289-295, 2016
  • Istrate, G., Bonchiş, C., Dinu, L.P., The minimum entropy submodular set cover problem, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)9618, pp. 295-306, 2016
  • Istrate, G., Bonchis, C., Heapability, Interactive Particle Systems, Partial Orders: Results and Open Problems, International Workshop on Descriptional Complexity of Formal Systems, pp 18-28, 2016
  • Ivascu, T., An Energy Efficient Intelligent Wireless Body Area Network for Real-Time Vital Signs Monitoring, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426094, pp. 265-270, 2016
  • Ivascu, T., Manate, B., Negru, V., A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426113, pp. 423-430, 2016

  • Ivascu, T., Frincu, M., Negru, V., Energy efficient sensors data stream model for real-Time and continuous vital signs monitoring, Proceedings of the 2016 International Symposium on INnovations in Intelligent SysTems and Applications, INISTA 2016, 7571830, 2016

  • Marin, M., Kutsia, T., Dundua, B., A Rewrite-based Computational Model for Functional Logic Programming, Procs. of SCSS, 95-106, 2016
  • Panica S., Petcu D., Unattended Deployment of Enabling Platforms for Cloud-Based Applications, 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 144-149, 2016

  • Petcu, D., Service quality assurance in multi-clouds, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9512, pp. 81-97, 2016

  • Petcu, D., Fazio, M., Prodan, R., Zhao, Z., Rak, M., On the next generations of infrastructure-as-a-services, CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science, 1, pp. 320-326, 2016

  • Pop, D., Iuhasz, G., Craciun, C., Panica, S., Support services for applications execution in multi-clouds environments, Proceedings - 2016 IEEE International Conference on Autonomic Computing, ICAC 2016 7573162, pp. 343-348, 2016

  • Radoaca, A., Simple Venn Diagrams for Multisets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426080, pp. 181-184, 2016
  • Radoaca, A., Properties of Multisets Compared to Sets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426081, pp. 187-188
  • Radoaca, A., Properties of Multiset Orders by Minimal and Maximal Submultisets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426075, pp. 145-152
  • Selea, T., Spataru, A., Frincu, M., Reusing Resource Coalitions for Efficient Scheduling on the Intercloud, Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016, 7515748, pp. 621-626, 2016

  • Stopar, M., Modic, J., Petcu, D., Rak, M., Towards a proof-based SLA management framework the SPECS approach, CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science 2, pp. 240-24, 2016, CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science, 1, pp. 320-326, 2016

  • Tirea, M., Negru, V., Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426109, pp. 391-398, 2016
  • Tirea, M., Negru, V., Stock Market Trading Strategies Applying Risk and Decision Analysis Models for Detecting Financial Turbulence, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426086, pp. 216-223, 2016

  • Vulpe, A., Frincu, M., Exploring Scalability in Pattern Finding in Galactic Structure Using MapReduce, Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016, 7515748, pp. 621-626, 2016

Publications (last edited 2024-02-24 11:37:59 by DanielaZaharie)