welcome: please sign in
location: Diff for "Publications"
Differences between revisions 58 and 154 (spanning 96 versions)
⇤ ← Revision 58 as of 2017-05-12 10:55:38 →
Size: 11769
Editor: DanielaZaharie
Comment:
← Revision 154 as of 2021-05-14 14:22:54 → ⇥
Size: 9844
Editor: GabrielIstrate
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]] || 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 4: Line 7:
== Recent Publications ==

== 2021 ==
Line 6: Line 11:
 * 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

==== 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		  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 18: Line 19:
 * 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		  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).

== 2020 ==
==== Journal papers ====
 1. Turcu, F., Bonchiș C., Najim M. Vector partitions, multi-dimensional Faà di Bruno formulae and generating algorithms. Discrete Applied Mathematics, vol 272(2020), pp. 90-99, Elsevier.
 1. Balogh, J., Bonchiş C., Diniş D., Istrate G., Todinca I. On the heapability of finite partial orders. Discrete Mathematics and Theoretical Computer Science, vol 22, no 1 (2020), paper #17.
 1. R Garrappa, E Kaslik. Stability of fractional-order systems with Prabhakar derivatives. Nonlinear Dynamics, 1-12.
 1. CA Popa, E Kaslik. Finite-Time Mittag–Leffler Synchronization of Neutral-Type Fractional-Order Neural Networks with Leakage Delay and Time-Varying Delays. Mathematics 8 (7), 1146.
 1. R Garrappa, E Kaslik. On initial conditions for fractional delay differential equations. Communications in Nonlinear Science and Numerical Simulation, 105359.
 1. E Kaslik, M Neamţu. Dynamics of a tourism sustainability model with distributed delay. Chaos, Solitons & Fractals 133, 109610.
 1. M Reja, C Pungila, V Negru. Towards real-time DNA biometrics using GPU-accelerated processing. Logic Journal of the IGPL. Advanced Article jzaa034, https://doi.org/10.1093/jigpal/jzaa034
 1. D.Onchis, C. Istin, C. Tudoran, M. Tudoran, P. Real. Timely-automatic procedure for estimating the endocardial limits of the left ventricle assessed echocardiographically in clinical practice. Diagnostics 10 (1), 40
 1. Pungila, C., Negru, V., Improving Blockchain Security Validation and Transaction Processing Through Heterogeneous Computing, Advances in Intelligent Systems and Computing, 2020, 951, pp. 132–140
 1. Bogdan, V., Bonchiş, C., Orhei, C., Custom dilated edge detection filters, Journal of WSCG, 2020, 2020(2020), pp. 161–168
 1. SPĂTARU, A., DECENTRALIZED AND FAULT TOLERANT CLOUD SERVICE ORCHESTRATION, Scalable Computing, 2020, 21(4), pp. 709–725
 1. Balint, A.M., Balint, S., Tanasie, L., Mathematical description of the bulk gas flow and that of the content impurity dispersion, which use temporal Caputo or Riemann-Liouville fractional order partial derivatives is nonobjective, Mathematics in Engineering, Science and Aerospace, 2020, 11(3), pp. 699–712

==== Conference papers ====
 1. Istrate G., Bonchiș C., Gatina C. It's not whom you know, it's what you (or your friends) can do: Coalitional Frameworks for Network Centralities. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'2020, pp. 566-574. IFAAMAS and ACM Press.
 1. Besik Dundua, Temur Kutsia, Mircea Marin and Cleopatra Pau. Constraint Solving over Multiple Similarity Relations. In Proceedings of 5-th International Conference on Formal Structures for Computation and Deduction (FSCD 2020).
 1. Mircea Marin, Besik Dundua and Temur Kutsia. A Rule-based System for Computation and Deduction in Mathematica. In Proceedings of 13-th International Workshop on Rewriting Logic And Its Applications (WRA 2020).
 1. B. Dundua, T. Kutsia, M. Marin, C. Pau. Extending the \rho Log calculus with proximity relations. In Proceedings of the Fourth International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE 2019), Springer Proceedings in Mathematics & Statistics.
 1. B. Dundua, T. Kutsia, M. Marin, and M. Rukhaia. Specification and Analysis of ABAC Policies in a Rule-Based Framework. In Proceedings of the Fourth International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE 2019), Springer Proceedings in Mathematics & Statistics.
 1. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. The Maximum Binary Tree Problem. In Proceedings of the 28th European Symposium on Algorithms (ESA'2020), Leibniz Institute Proceedings in Computer Science (LIPICS), vol. 173, paper #30.
 1. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. Fixed-Parameter Algorithms for Longest Heapable Subsequence and Maximum Binary Tree. In Proceedings of the 15th International Symposium on Parameterized and Exact Computation (IPEC’2020), Leibniz Institute Proceedings in Computer Science (LIPICS), vol. 180, to appear.
 1. V. Kashansky, D. Kimovski, R. Prodan, P. Agrawal, F. Marozzo G. Iuhasz, M. Justyna, J. Garcia-Blas. M3AT: Monitoring Agents Assignment Model for Data-Intensive Applications. 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP).
 1. Isabela Drămnesc, Tudor Jebelean. Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema. 2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI).
 1. Isabela Drămnesc, Tudor Jebelean. Deductive Synthesis of Bubble–Sort Using Multisets. 2020 IEEE 18th World Symposium on Applied Machine Intelligence and Informatics (SAMI) 1.Drămnesc, I., Jebelean, T., Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11989 LNCS, pp. 153–168
 1. Doan, D.N., Zaharie, D., Petcu, D., Auto-scaling for a Streaming Architecture with Fuzzy Deep Reinforcement Learning, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11997 LNCS, pp. 476–488
 1. Muresan, R., Zaharia, C., Zaharie, D., Using additive Bayesian networks and association rules in antimicrobial resistance analysis, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 09280255
 1. Rotovei, D., Zaharie, D., Negru, V., Pop, D., A decision support system for B2B CRM Systems using belief rules, Proceedings - 2020 IEEE 16th International Conference on Intelligent Computer Communication and Processing, ICCP 2020, 2020, pp. 131–138, 9266259
 1. Lungeanu, D., Dragan, I., Muntean, C., Timar, B., Harnessing information technology while teaching in distress: The pandemic toll vs: The opportunity of long-awaited paradigm shift, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 9280122
 1. Talia, D., Trunfio, P., Marozzo, F., ...Spătaru, A., Justyna, M., A Novel Data-Centric Programming Model for Large-Scale Parallel Systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11997 LNCS, pp. 452–463
 1. Cincar, K., Hospital management and scheduling with multi-agents approach, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 9280281
 1. Cincar, K., Sima, I., Machine Learning algorithms approach for Gastrointestinal Polyps classification INISTA 2020 - 2020 International Conference on INnovations in Intelligent SysTems and Applications, Proceedings, 2020, 9194659
 1. Codreanu, I.-A., Cincar, K., Towards improving crowdsourcing learning for students by using artificial intelligence, eLearning and Software for Education Conference, 2020, pp. 76–83

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).

2020

Journal papers

  1. Turcu, F., Bonchiș C., Najim M. Vector partitions, multi-dimensional Faà di Bruno formulae and generating algorithms. Discrete Applied Mathematics, vol 272(2020), pp. 90-99, Elsevier.
  2. Balogh, J., Bonchiş C., Diniş D., Istrate G., Todinca I. On the heapability of finite partial orders. Discrete Mathematics and Theoretical Computer Science, vol 22, no 1 (2020), paper #17.
  3. R Garrappa, E Kaslik. Stability of fractional-order systems with Prabhakar derivatives. Nonlinear Dynamics, 1-12.
  4. CA Popa, E Kaslik. Finite-Time Mittag–Leffler Synchronization of Neutral-Type Fractional-Order Neural Networks with Leakage Delay and Time-Varying Delays. Mathematics 8 (7), 1146.
  5. R Garrappa, E Kaslik. On initial conditions for fractional delay differential equations. Communications in Nonlinear Science and Numerical Simulation, 105359.

  6. E Kaslik, M Neamţu. Dynamics of a tourism sustainability model with distributed delay. Chaos, Solitons & Fractals 133, 109610.

  7. M Reja, C Pungila, V Negru. Towards real-time DNA biometrics using GPU-accelerated processing. Logic Journal of the IGPL. Advanced Article jzaa034, https://doi.org/10.1093/jigpal/jzaa034

  8. D.Onchis, C. Istin, C. Tudoran, M. Tudoran, P. Real. Timely-automatic procedure for estimating the endocardial limits of the left ventricle assessed echocardiographically in clinical practice. Diagnostics 10 (1), 40
  9. Pungila, C., Negru, V., Improving Blockchain Security Validation and Transaction Processing Through Heterogeneous Computing, Advances in Intelligent Systems and Computing, 2020, 951, pp. 132–140
  10. Bogdan, V., Bonchiş, C., Orhei, C., Custom dilated edge detection filters, Journal of WSCG, 2020, 2020(2020), pp. 161–168
  11. SPĂTARU, A., DECENTRALIZED AND FAULT TOLERANT CLOUD SERVICE ORCHESTRATION, Scalable Computing, 2020, 21(4), pp. 709–725
  12. Balint, A.M., Balint, S., Tanasie, L., Mathematical description of the bulk gas flow and that of the content impurity dispersion, which use temporal Caputo or Riemann-Liouville fractional order partial derivatives is nonobjective, Mathematics in Engineering, Science and Aerospace, 2020, 11(3), pp. 699–712

Conference papers

  1. Istrate G., Bonchiș C., Gatina C. It's not whom you know, it's what you (or your friends) can do: Coalitional Frameworks for Network Centralities. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'2020, pp. 566-574. IFAAMAS and ACM Press.
  2. Besik Dundua, Temur Kutsia, Mircea Marin and Cleopatra Pau. Constraint Solving over Multiple Similarity Relations. In Proceedings of 5-th International Conference on Formal Structures for Computation and Deduction (FSCD 2020).
  3. Mircea Marin, Besik Dundua and Temur Kutsia. A Rule-based System for Computation and Deduction in Mathematica. In Proceedings of 13-th International Workshop on Rewriting Logic And Its Applications (WRA 2020).

  4. B. Dundua, T. Kutsia, M. Marin, C. Pau. Extending the \rho Log calculus with proximity relations. In Proceedings of the Fourth International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE 2019), Springer Proceedings in Mathematics & Statistics.

  5. B. Dundua, T. Kutsia, M. Marin, and M. Rukhaia. Specification and Analysis of ABAC Policies in a Rule-Based Framework. In Proceedings of the Fourth International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE 2019), Springer Proceedings in Mathematics & Statistics.

  6. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. The Maximum Binary Tree Problem. In Proceedings of the 28th European Symposium on Algorithms (ESA'2020), Leibniz Institute Proceedings in Computer Science (LIPICS), vol. 173, paper #30.
  7. Karthekeyan Chandrasekaran, Elena Grigorescu, Gabriel Istrate, Shubhang Kulkarni, Young-San Lin, Minshen Zhu. Fixed-Parameter Algorithms for Longest Heapable Subsequence and Maximum Binary Tree. In Proceedings of the 15th International Symposium on Parameterized and Exact Computation (IPEC’2020), Leibniz Institute Proceedings in Computer Science (LIPICS), vol. 180, to appear.
  8. V. Kashansky, D. Kimovski, R. Prodan, P. Agrawal, F. Marozzo G. Iuhasz, M. Justyna, J. Garcia-Blas. M3AT: Monitoring Agents Assignment Model for Data-Intensive Applications. 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP).
  9. Isabela Drămnesc, Tudor Jebelean. Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema. 2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI).
  10. Isabela Drămnesc, Tudor Jebelean. Deductive Synthesis of Bubble–Sort Using Multisets. 2020 IEEE 18th World Symposium on Applied Machine Intelligence and Informatics (SAMI) 1.Drămnesc, I., Jebelean, T., Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11989 LNCS, pp. 153–168
  11. Doan, D.N., Zaharie, D., Petcu, D., Auto-scaling for a Streaming Architecture with Fuzzy Deep Reinforcement Learning, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11997 LNCS, pp. 476–488
  12. Muresan, R., Zaharia, C., Zaharie, D., Using additive Bayesian networks and association rules in antimicrobial resistance analysis, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 09280255
  13. Rotovei, D., Zaharie, D., Negru, V., Pop, D., A decision support system for B2B CRM Systems using belief rules, Proceedings - 2020 IEEE 16th International Conference on Intelligent Computer Communication and Processing, ICCP 2020, 2020, pp. 131–138, 9266259
  14. Lungeanu, D., Dragan, I., Muntean, C., Timar, B., Harnessing information technology while teaching in distress: The pandemic toll vs: The opportunity of long-awaited paradigm shift, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 9280122
  15. Talia, D., Trunfio, P., Marozzo, F., ...Spătaru, A., Justyna, M., A Novel Data-Centric Programming Model for Large-Scale Parallel Systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11997 LNCS, pp. 452–463
  16. Cincar, K., Hospital management and scheduling with multi-agents approach, 2020 8th E-Health and Bioengineering Conference, EHB 2020, 2020, 9280281

  17. Cincar, K., Sima, I., Machine Learning algorithms approach for Gastrointestinal Polyps classification INISTA 2020 - 2020 International Conference on INnovations in Intelligent SysTems and Applications, Proceedings, 2020, 9194659

  18. Codreanu, I.-A., Cincar, K., Towards improving crowdsourcing learning for students by using artificial intelligence, eLearning and Software for Education Conference, 2020, pp. 76–83

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