Isabela Dramnesc

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 13

Top Topics

Sorting Algorithms

Theorem Proving

Top Venues

J. Symb. Comput.

LPAR Complementary Volume

Publications

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
Certification of Tail Recursive Bubble-Sort in Theorema and Coq. LPAR Complementary Volume (2024)
Isabela Dramnesc, Tudor Jebelean
Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema. SISY (2023)
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat
Experiments with Automated Reasoning in the Class. CICM (2022)
Isabela Dramnesc, Tudor Jebelean
Synthesis of Merging algorithms on binary trees using multisets in Theorema. SACI (2021)
Isabela Dramnesc, Tudor Jebelean
. J. Log. Algebraic Methods Program. 119 (2021)
Isabela Dramnesc, Tudor Jebelean
AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. ICTAC (2021)
Isabela Dramnesc, Tudor Jebelean
Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema. SACI (2020)
Isabela Dramnesc, Tudor Jebelean
Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets. SISY (2019)
Isabela Dramnesc, Tudor Jebelean
Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema. MACIS (2019)
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. J. Symb. Comput. 90 (2019)
Isabela Dramnesc, Tudor Jebelean
Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema. FROM (2019)
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
A case study on algorithm discovery from proofs: The insert function on binary trees. SACI (2016)
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
Proof-Based Synthesis of Sorting Algorithms for Trees. LATA (2016)
Isabela Dramnesc, Tudor Jebelean
A case study in proof based synthesis of algorithms on monotone lists. SACI (2015)
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. SYNASC (2015)
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
Theory exploration of binary trees. SISY (2015)
Isabela Dramnesc, Tudor Jebelean
Synthesis of list algorithms by mechanical proving. J. Symb. Comput. 69 (2015)
Isabela Dramnesc, Tudor Jebelean
Theory exploration of sets represented as monotone lists. SISY (2014)
Isabela Dramnesc, Tudor Jebelean
Theory Exploration in Theorema: Case Study on Lists. SACI (2012)
Isabela Dramnesc, Tudor Jebelean
Automated Synthesis of Some Algorithms on Finite Sets. SYNASC (2012)
Isabela Dramnesc, Tudor Jebelean
Discovery of inductive algorithms through automated reasoning: A case study on sorting. SISY (2012)
Isabela Dramnesc, Tudor Jebelean
Proof Techniques for Synthesis of Sorting Algorithms. SYNASC (2011)