Description
- Algorithms and Computational Complexity
- Agent-based models, game theory and complex networks
- Symbolic computation
- Unification and matching
- Constraint logic programming
- Proof-based algorithm synthesis
- (TCS Research Group)
Researchers
Gabriel Istrate
Combinatorical and game-theoretic models in theoretical computer science; Computational complexity; Combinatorial models of complex systems
Mădălina Erașcu
Distributed (Cloud) Computing, Formal Verification, Automated Theorem Proving, Symbolic Computation (Computer Algebra)
Dissemination
-
Bogdan, Victor;Bonchiş, Cosmin;Orhei, Ciprian: An Image Sharpening Technique Based on Dilated Filters and 2D-DWT Image Fusion. Proceedings of the International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 591 (2024)
Affiliated authors: Bonchiş, Cosmin
-
Istrate, Gabriel;Bonchiş, Cosmin: A parametric worst-case approach to fairness in cooperative games with transferable utility. Theoretical Computer Science, 189 (2023)
Affiliated authors: Bonchiş, Cosmin
-
Rochian, Vlad;Bonchiş, Cosmin;Tepeneu, Ionut: Worker-to-Task Skill-Based Assignment. Lecture Notes in Networks and Systems, 157 (2023)
Affiliated authors: Bonchiş, Cosmin
-
Orhei, Ciprian;Bogdan, Victor;Bonchiş, Cosmin;Vasiu, Radu: Dilated filters for edge-detection algorithms. Applied Sciences (Switzerland), 0 (2021)
Affiliated authors: Bonchiş, Cosmin
-
Istrate, Gabriel;Bonchiş, Cosmin;Crǎciun, Adrian: Kernelization, proof complexity and social choice. Leibniz International Proceedings in Informatics, LIPIcs, 0 (2021)
Affiliated authors: Bonchiş, Cosmin;Crǎciun, Adrian
-
Spătaru, Adrian;Aperribay, Julen: CONFIGURATION OF CONTAINER DEPLOYMENTS ON THE COMPUTE CONTINUUM USING ALIEN4CLOUD. Scalable Computing, 607 (2024)
Affiliated authors: Spătaru, Adrian
-
Chondrogiannis, Efthymios;Karanastasis, Efstathios;Andronikou, Vassiliki;Spătaru, Adrian;Nanos, Anastassios;Kretsis, Aristotelis;Kokkinos, Panagiotis: Intent-Based AI-Enhanced Service Orchestration for Application Deployment and Execution in the Cloud Continuum. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 251 (2023)
Affiliated authors: Spătaru, Adrian
-
Frincu, Marc;Penteliuc, Marius E.;Spătaru, Adrian: A Solar Radiation Forecast Platform Spanning over the Edge-Cloud Continuum. Electronics (Switzerland), 0 (2022)
Affiliated authors: Frincu, Marc;Spătaru, Adrian
-
Spătaru, Adrian;Iuhasz, Gabriel;Panica, Silviu: TUFA: A TOSCA extension for the specification of accelerator-aware applications in the Cloud Continuum. Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022, 1178 (2022)
Affiliated authors: Spătaru, Adrian;Iuhasz, Gabriel
-
Spătaru, Adrian: A REVIEW OF BLOCKCHAIN-ENABLED FOG COMPUTING IN THE CLOUD CONTINUUM CONTEXT. Scalable Computing, 463 (2021)
Affiliated authors: Spătaru, Adrian
-
Maghiar, Octavian;Selea, Teodora;Copie, Adrian;Micota, Flavia;Marin, Mircea: Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly Scheduling. Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, 615 (2023)
Affiliated authors: Selea, Teodora;Micota, Flavia;Marin, Mircea
-
Marin, Mircea;Kutsia, Temur;Pau, Cleo;Rukhaia, Mikheil: Enumerating All Maximal Clique-Partitions of an Undirected Graph. Electronic Proceedings in Theoretical Computer Science, EPTCS, 65 (2023)
Affiliated authors: Marin, Mircea
-
Camino, Carlos;Diekert, Volker;Dundua, Besik;Marin, Mircea;Senizergues, Geraud: REGULAR MATCHING PROBLEMS FOR INFINITE TREES. Logical Methods in Computer Science, 0 (2022)
Affiliated authors: Marin, Mircea
-
Dundua, Besik;Kutsia, Temur;Marin, Mircea: Variadic equational matching in associative and commutative theories. Journal of Symbolic Computation, 78 (2021)
Affiliated authors: Marin, Mircea
-
Dundua, Besik;Kutsia, Temur;Marin, Mircea;Pau, Cleo: Extending the ρ Log Calculus with Proximity Relations. Springer Proceedings in Mathematics and Statistics, 83 (2020)
Affiliated authors: Marin, Mircea
-
Dramnesc, Isabela;Jebelean, Tudor: Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema. SISY 2023 - IEEE 21st International Symposium on Intelligent Systems and Informatics, Proceedings, 55 (2023)
Affiliated authors: Dramnesc, Isabela
-
Dramnesc, Isabela;Ábrahám, Erika;Jebelean, Tudor;Kusper, Gábor;Stratulat, Sorin: Experiments with Automated Reasoning in the Class. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 287 (2022)
Affiliated authors: Dramnesc, Isabela
-
Dramnesc, Isabela;Jebelean, Tudor: Synthesis of sorting algorithms using multisets in Theorema. Journal of Logical and Algebraic Methods in Programming, 0 (2021)
Affiliated authors: Dramnesc, Isabela
-
Dramnesc, Isabela;Jebelean, Tudor: AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 314 (2021)
Affiliated authors: Dramnesc, Isabela
-
Dramnesc, Isabela;Jebelean, Tudor: Synthesis of Merging algorithms on binary trees using multisets in Theorema. SACI 2021 - IEEE 15th International Symposium on Applied Computational Intelligence and Informatics, Proceedings, 497 (2021)
Affiliated authors: Dramnesc, Isabela
-
David, Bogdan;Eraşcu, Madalina: Benchmarking Optimization Solvers and Symmetry Breakers for the Automated Deployment of Component-based Applications in the Cloud. CEUR Workshop Proceedings, 37 (2023)
Affiliated authors: Eraşcu, Madalina
-
Postovan, Andreea;Eraşcu, Madalina: Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition. Electronic Proceedings in Theoretical Computer Science, EPTCS, 120 (2023)
Affiliated authors: Eraşcu, Madalina
-
Postovan, Andreea;Eraşcu, Madalina: Architecturing Binarized Neural Networks for Traffic Sign Recognition. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 87 (2023)
Affiliated authors: Eraşcu, Madalina
-
Luca, Vlad Ioan;Eraşcu, Madalina: SAGE - A Tool for Optimal Deployments in Kubernetes Clusters. Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom, 10 (2023)
Affiliated authors: Eraşcu, Madalina
-
Eraşcu, Madalina;Mladenovici, Velibor: Transferring Learning into the Workplace: Evaluating a Student-centered Learning Approach through Computer Science Students’ Lens. International Conference on Computer Supported Education, CSEDU - Proceedings, 442 (2022)
Affiliated authors: Eraşcu, Madalina
-
Maghiar, Octavian;Selea, Teodora;Copie, Adrian;Micota, Flavia;Marin, Mircea: Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly Scheduling. Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, 615 (2023)
Affiliated authors: Selea, Teodora;Micota, Flavia;Marin, Mircea
-
Marin, Mircea;Kutsia, Temur;Pau, Cleo;Rukhaia, Mikheil: Enumerating All Maximal Clique-Partitions of an Undirected Graph. Electronic Proceedings in Theoretical Computer Science, EPTCS, 65 (2023)
Affiliated authors: Marin, Mircea
-
Camino, Carlos;Diekert, Volker;Dundua, Besik;Marin, Mircea;Senizergues, Geraud: REGULAR MATCHING PROBLEMS FOR INFINITE TREES. Logical Methods in Computer Science, 0 (2022)
Affiliated authors: Marin, Mircea
-
Dundua, Besik;Kutsia, Temur;Marin, Mircea: Variadic equational matching in associative and commutative theories. Journal of Symbolic Computation, 78 (2021)
Affiliated authors: Marin, Mircea
-
Dundua, Besik;Kutsia, Temur;Marin, Mircea;Pau, Cleo: Extending the ρ Log Calculus with Proximity Relations. Springer Proceedings in Mathematics and Statistics, 83 (2020)
Affiliated authors: Marin, Mircea
-
Popovici, Adriana;Popovici, Dan: Dilatability to quantum linear cellular automata. Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, 355 (2010)
Affiliated authors: Popovici, Adriana
-
Popovici, Adriana: A code classification for semitotalistic cellular automata. AIP Conference Proceedings, 428 (2007)
Affiliated authors: Popovici, Adriana
-
Popovici, Adriana;Popovici, Dan: A generalization of the cellular automata rule-30 cryptoscheme. Proceedings - Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2005, 158 (2005)
Affiliated authors: Popovici, Adriana
-
Popovici, Adriana;Popovici, Dan: δ-uniformly decidable sets and turing machines. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 433 (1999)
Affiliated authors: Popovici, Adriana
-
Iuhasz, Gabriel;Panica, Silviu;Fortis, Florin;Duma, Alecsandru: A Distributed Platform for Cycle Detection and Analysis in Cyber-Physical Systems. Lecture Notes on Data Engineering and Communications Technologies, 437 (2024)
Affiliated authors: Iuhasz, Gabriel;Fortis, Florin
-
Munteanu, Alexandru;Panica, Silviu;Iuhasz, Gabriel: On the Performance of STAC-FastAPI and PgSTAC Using a Cloud-Native Deployment. Lecture Notes on Data Engineering and Communications Technologies, 191 (2024)
Affiliated authors: Munteanu, Alexandru;Iuhasz, Gabriel
-
Cerdà-Alabern, Llorenç;Iuhasz, Gabriel: Dataset for anomaly detection in a production wireless mesh community network. Data in Brief, 0 (2023)
Affiliated authors: Iuhasz, Gabriel
-
Iuhasz, Gabriel;Panica, Silviu;Duma, Alecsandru: Cycle Detection and Clustering for Cyber Physical Systems. Lecture Notes in Networks and Systems, 100 (2023)
Affiliated authors: Iuhasz, Gabriel
-
Cerdà-Alabern, Llorenç;Iuhasz, Gabriel;Gemmi, Gabriele: Anomaly detection for fault detection in wireless community networks using machine learning. Computer Communications, 191 (2023)
Affiliated authors: Iuhasz, Gabriel