Follow
Isabela Dramnesc
Title
Cited by
Cited by
Year
Synthesis of list algorithms by mechanical proving
I Drămnesc, T Jebelean
Journal of Symbolic Computation 69, 61-92, 2015
242015
Proof techniques for synthesis of sorting algorithms
I Dramnesc, T Jebelean
2011 13th International Symposium on Symbolic and Numeric Algorithms for …, 2011
192011
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
I Drămnesc, T Jebelean, S Stratulat
Journal of Symbolic Computation 90, 3-41, 2019
162019
Automated synthesis of some algorithms on finite sets
I Dramnesc, T Jebelean
2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012
142012
Theory exploration of binary trees
I Drāmnesc, T Jebelean, S Stratulat
2015 IEEE 13th International Symposium on Intelligent Systems and …, 2015
112015
Theory exploration in theorema: Case study on lists
I Drămnesc, T Jebelean
2012 7th IEEE International Symposium on Applied Computational Intelligence …, 2012
102012
Proof-based synthesis of sorting algorithms using multisets in Theorema
I Drămnesc, T Jebelean
arXiv preprint arXiv:1909.01747, 2019
82019
Theory exploration of sets represented as monotone lists
I Dămnesc, T Jebelean
2014 IEEE 12th International Symposium on Intelligent Systems and …, 2014
82014
Proof–based synthesis of sorting algorithms for trees
I Drămnesc, T Jebelean, S Stratulat
Language and Automata Theory and Applications: 10th International Conference …, 2016
72016
Proof based synthesis of sorting algorithms
I Dramnesc, T Jebelean
RISC Report Series, 2010
72010
Synthesis of sorting algorithms using multisets in Theorema
I Drămnesc, T Jebelean
Journal of Logical and Algebraic Methods in Programming 119, 100635, 2021
62021
Deductive Synthesis of Bubble–Sort Using Multisets
I Drămnesc, T Jebelean
2020 IEEE 18th World Symposium on Applied Machine Intelligence and …, 2020
62020
Synthesis of some algorithms for trees: experiments in Theorema
I Dramnesc, T Jebelean, S Stratulat
Technical Report 15–04, RISC Report Series, 2015
62015
Discovery of inductive algorithms through automated reasoning: A case study on sorting
I Drămnesc, T Jebelean
2012 IEEE 10th Jubilee International Symposium on Intelligent Systems and …, 2012
62012
A case study in proof based synthesis of algorithms on monotone lists
I Drămnesc, T Jebelean
2015 IEEE 10th Jubilee International Symposium on Applied Computational …, 2015
52015
A case study in systematic exploration of tuple theory
I Dramnesc, T Jebelean, A Craciun
SCSS 2010 Symbolic Computation in Software Science, 82, 2010
52010
Case studies on algorithm discovery from proofs: the delete function on lists and binary trees using multisets
I Drămnesc, T Jebelean
2019 IEEE 17th International Symposium on Intelligent Systems and …, 2019
42019
Semi-automatic synthesis of some sorting programs in Theorema
I Dramnesc, T Jebelean
RISC Report Series, 2012
42012
Systematic exploration of the theory of lists in Theorema
I Dramnesc, T Jebelean
RISC Report Series, 2012
42012
Automated Reasoning on Tuples-Case Studies in Proof Based Synthesis
I Dramnesc, T Jebelean
RISC Report Series, 2011
42011
The system can't perform the operation now. Try again later.
Articles 1–20