== 2016 == ==== 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 * Zaharie, D., Moleriu, R.D. , Mic, F.A., Modeling the development of the post-natal mouse thymus in the absence of bone marrow progenitors, Scientific Reports Volume 6, Article number 36159, 2016 ==== 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., [[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