| 2025 | ICINCO | A Web-Controlled, Modular 3D-Printed Exoskeleton for Upper Limb Stroke Recovery. | Crina Barbieru, Isabela Dramnesc |
| 2025 | ICINCO | Improving Assistive Technologies Using EEG Headsets. | David Ivascu, Isabela Dramnesc |
| 2024 | ICINCO | A Case Study in Building 2D Maps with Robots. | Theodor-Radu Grumeza, Thomas-Andrei Lazar, Isabela Dramnesc, Gbor Kusper, Konstantinos Papadopoulos, Nikolaos Fachantidis, Ioannis Lefkos |
| 2024 | LPAR | Certification of Tail Recursive Bubble-Sort in Theorema and Coq. | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
| 2023 | SISY | Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema. | Isabela Dramnesc, Tudor Jebelean |
| 2021 | ICTAC | AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. | Isabela Dramnesc, Tudor Jebelean |
| 2021 | SACI | Synthesis of Merging algorithms on binary trees using multisets in Theorema. | Isabela Dramnesc, Tudor Jebelean |
| 2020 | SACI | Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema. | Isabela Dramnesc, Tudor Jebelean |
| 2019 | SISY | Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets. | Isabela Dramnesc, Tudor Jebelean |
| 2016 | LATA | Proof-Based Synthesis of Sorting Algorithms for Trees. | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
| 2016 | SACI | A case study on algorithm discovery from proofs: The insert function on binary trees. | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
| 2015 | SACI | A case study in proof based synthesis of algorithms on monotone lists. | Isabela Dramnesc, Tudor Jebelean |
| 2015 | SISY | Theory exploration of binary trees. | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
| 2015 | SYNASC | Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
| 2014 | SISY | Theory exploration of sets represented as monotone lists. | Isabela Dramnesc, Tudor Jebelean |
| 2012 | SACI | Theory Exploration in Theorema: Case Study on Lists. | Isabela Dramnesc, Tudor Jebelean |
| 2012 | SISY | Discovery of inductive algorithms through automated reasoning: A case study on sorting. | Isabela Dramnesc, Tudor Jebelean |
| 2012 | SYNASC | Automated Synthesis of Some Algorithms on Finite Sets. | Isabela Dramnesc, Tudor Jebelean |
| 2011 | SYNASC | Proof Techniques for Synthesis of Sorting Algorithms. | Isabela Dramnesc, Tudor Jebelean |