Isabela Dramnesc

27 papers C 3Misc 13Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
A Web-Controlled, Modular 3D-Printed Exoskeleton for Upper Limb Stroke Recovery.
ICINCO (2)
Crina Barbieru, Isabela Dramnesc
2025 — conf
Improving Assistive Technologies Using EEG Headsets.
ICINCO (1)
David Ivascu, Isabela Dramnesc
2024 — conf
A Case Study in Building 2D Maps with Robots.
ICINCO (2)
Theodor-Radu Grumeza, Thomas-Andrei Lazar, Isabela Dramnesc, Gábor Kusper, Konstantinos Papadopoulos, Nikolaos Fachantidis, Ioannis Lefkos
2024 — conf
A European Project on AI-based Robotics.
TALE
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Nikolaos Fachantidis, Gábor Kusper, Sorin Stratulat
2024 — conf
Certification of Sorting Algorithms Using Theorema and Coq.
SCSS
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2024 — conf
Certification of Tail Recursive Bubble-Sort in Theorema and Coq.
LPAR Complementary Volume
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2023 Misc conf
Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema.
SISY
Isabela Dramnesc, Tudor Jebelean
2022 C conf
Experiments with Automated Reasoning in the Class.
CICM
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat
2021 C conf
AlCons : Deductive Synthesis of Sorting Algorithms in Theorema.
ICTAC
Isabela Dramnesc, Tudor Jebelean
2021 Misc conf
Synthesis of Merging algorithms on binary trees using multisets in Theorema.
SACI
Isabela Dramnesc, Tudor Jebelean
2021 J jnl
Synthesis of sorting algorithms using multisets in
J. Log. Algebraic Methods Program.
Isabela Dramnesc, Tudor Jebelean
2020 Misc conf
Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema.
SACI
Isabela Dramnesc, Tudor Jebelean
2019 — conf
Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema.
MACIS
Isabela Dramnesc, Tudor Jebelean
2019 Misc conf
Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets.
SISY
Isabela Dramnesc, Tudor Jebelean
2019 J jnl
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques.
J. Symb. Comput.
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2019 — conf
Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema.
FROM
Isabela Dramnesc, Tudor Jebelean
2016 Misc conf
A case study on algorithm discovery from proofs: The insert function on binary trees.
SACI
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2016 C conf
Proof-Based Synthesis of Sorting Algorithms for Trees.
LATA
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2015 Misc conf
A case study in proof based synthesis of algorithms on monotone lists.
SACI
Isabela Dramnesc, Tudor Jebelean
2015 Misc conf
Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms.
SYNASC
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2015 J jnl
Synthesis of list algorithms by mechanical proving.
J. Symb. Comput.
Isabela Dramnesc, Tudor Jebelean
2015 Misc conf
Theory exploration of binary trees.
SISY
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2014 Misc conf
Theory exploration of sets represented as monotone lists.
SISY
Isabela Dramnesc, Tudor Jebelean
2012 Misc conf
Automated Synthesis of Some Algorithms on Finite Sets.
SYNASC
Isabela Dramnesc, Tudor Jebelean
2012 Misc conf
Discovery of inductive algorithms through automated reasoning: A case study on sorting.
SISY
Isabela Dramnesc, Tudor Jebelean
2012 Misc conf
Theory Exploration in Theorema: Case Study on Lists.
SACI
Isabela Dramnesc, Tudor Jebelean
2011 Misc conf
Proof Techniques for Synthesis of Sorting Algorithms.
SYNASC
Isabela Dramnesc, Tudor Jebelean