VLDB 2026 Research / reviewers in the wild / expert
Isabela Dramnesc
dblp:63/11103
· DBLP profile ↗
9ranked-venue papers
6as first author
6since 2021 · last 2025
0000-0003-4686-2864ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 5 first-author · 2 since 2021Artificial intelligence and machine learning · 4 · 1 first-author · 4 since 2021Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | A Web-Controlled, Modular 3D-Printed Exoskeleton for Upper Limb Stroke Recovery
Crina Barbieru, Isabela Dramnesc |
ICINCO (2) | 2 |
| 2025 | Improving Assistive Technologies Using EEG Headsets
David Ivascu, Isabela Dramnesc |
ICINCO (1) | 2 |
| 2024 | A Case Study in Building 2D Maps with Robots
Theodor-Radu Grumeza, Thomas-Andrei Lazar, Isabela Dramnesc, Gábor Kusper, Konstantinos Papadopoulos 0001, Nikolaos Fachantidis, Ioannis Lefkos |
ICINCO (2) | 3 |
| 2022 | Experiments with Automated Reasoning in the Class
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat |
CICM | 1 |
| 2021 | AlCons : Deductive Synthesis of Sorting Algorithms in Theorema
Isabela Dramnesc, Tudor Jebelean |
ICTAC | 1 |
| 2021 | Synthesis of sorting algorithms using multisets in Theorema
Isabela Dramnesc, Tudor Jebelean |
J. Log. Algebraic Methods Program. | 1 |
| 2019 | Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
J. Symb. Comput. | 1 |
| 2016 | Proof-Based Synthesis of Sorting Algorithms for Trees
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
LATA | 1 |
| 2015 | Synthesis of list algorithms by mechanical proving
Isabela Dramnesc, Tudor Jebelean |
J. Symb. Comput. | 1 |