Proof Techniques for Synthesis of Sorting Algorithms. - Isabela Dramnesc; Tudor Jebelean (SYNASC, 2011)

Theory Exploration in Theorema: Case Study on Lists. - Isabela Dramnesc; Tudor Jebelean (SACI, 2012)

Discovery of inductive algorithms through automated reasoning: A case study on sorting. - Isabela Dramnesc; Tudor Jebelean (SISY, 2012)

Automated Synthesis of Some Algorithms on Finite Sets. - Isabela Dramnesc; Tudor Jebelean (SYNASC, 2012)

Theory exploration of sets represented as monotone lists. - Isabela Dramnesc; Tudor Jebelean (SISY, 2014)

A case study in proof based synthesis of algorithms on monotone lists. - Isabela Dramnesc; Tudor Jebelean (SACI, 2015)

Theory exploration of binary trees. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (SISY, 2015)

Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (SYNASC, 2015)

Synthesis of list algorithms by mechanical proving. - Isabela Dramnesc; Tudor Jebelean (J. Symb. Comput., 2015)

Proof-Based Synthesis of Sorting Algorithms for Trees. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (LATA, 2016)

A case study on algorithm discovery from proofs: The insert function on binary trees. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (SACI, 2016)

Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema. - Isabela Dramnesc; Tudor Jebelean (MACIS, 2019)

Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets. - Isabela Dramnesc; Tudor Jebelean (SISY, 2019)

Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema. - Isabela Dramnesc; Tudor Jebelean (FROM, 2019)

Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (J. Symb. Comput., 2019)

Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema. - Isabela Dramnesc; Tudor Jebelean (SACI, 2020)

AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. - Isabela Dramnesc; Tudor Jebelean (ICTAC, 2021)

Synthesis of Merging algorithms on binary trees using multisets in Theorema. - Isabela Dramnesc; Tudor Jebelean (SACI, 2021)

Synthesis of sorting algorithms using multisets in Theorema. - Isabela Dramnesc; Tudor Jebelean (J. Log. Algebraic Methods Program., 2021)

Experiments with Automated Reasoning in the Class. - Isabela Dramnesc; Erika Ábrahám; Tudor Jebelean; Gábor Kusper; Sorin Stratulat (CICM, 2022)

Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema. - Isabela Dramnesc; Tudor Jebelean (SISY, 2023)

A Case Study in Building 2D Maps with Robots. - Theodor-Radu Grumeza; Thomas-Andrei Lazar; Isabela Dramnesc; Gábor Kusper; Konstantinos Papadopoulos 001; Nikolaos Fachantidis; Ioannis Lefkos (ICINCO (2), 2024)

Certification of Tail Recursive Bubble-Sort in Theorema and Coq. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (LPAR Complementary Volume, 2024)

Certification of Sorting Algorithms Using Theorema and Coq. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (SCSS, 2024)

A European Project on AI-based Robotics. - Isabela Dramnesc; Erika Ábrahám; Tudor Jebelean; Nikolaos Fachantidis; Gábor Kusper; Sorin Stratulat (TALE, 2024)