Synthesis of list algorithms by mechanical proving I Drămnesc, T Jebelean Journal of Symbolic Computation 69, 61-92, 2015 | 24 | 2015 |
Proof techniques for synthesis of sorting algorithms I Dramnesc, T Jebelean 2011 13th International Symposium on Symbolic and Numeric Algorithms for …, 2011 | 19 | 2011 |
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 | 16 | 2019 |
Automated synthesis of some algorithms on finite sets I Dramnesc, T Jebelean 2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012 | 14 | 2012 |
Theory exploration of binary trees I Drâmnesc, T Jebelean, S Stratulat 2015 IEEE 13th International Symposium on Intelligent Systems and …, 2015 | 11 | 2015 |
Theory exploration in theorema: Case study on lists I Drămnesc, T Jebelean 2012 7th IEEE International Symposium on Applied Computational Intelligence …, 2012 | 10 | 2012 |
Proof-based synthesis of sorting algorithms using multisets in Theorema I Drămnesc, T Jebelean arXiv preprint arXiv:1909.01747, 2019 | 8 | 2019 |
Theory exploration of sets represented as monotone lists I Dămnesc, T Jebelean 2014 IEEE 12th International Symposium on Intelligent Systems and …, 2014 | 8 | 2014 |
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 | 7 | 2016 |
Proof based synthesis of sorting algorithms I Dramnesc, T Jebelean RISC Report Series, 2010 | 7 | 2010 |
Synthesis of sorting algorithms using multisets in Theorema I Drămnesc, T Jebelean Journal of Logical and Algebraic Methods in Programming 119, 100635, 2021 | 6 | 2021 |
Deductive Synthesis of Bubble–Sort Using Multisets I Drămnesc, T Jebelean 2020 IEEE 18th World Symposium on Applied Machine Intelligence and …, 2020 | 6 | 2020 |
Synthesis of some algorithms for trees: experiments in Theorema I Dramnesc, T Jebelean, S Stratulat Technical Report 15–04, RISC Report Series, 2015 | 6 | 2015 |
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 | 6 | 2012 |
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 | 5 | 2015 |
A case study in systematic exploration of tuple theory I Dramnesc, T Jebelean, A Craciun SCSS 2010 Symbolic Computation in Software Science, 82, 2010 | 5 | 2010 |
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 | 4 | 2019 |
Semi-automatic synthesis of some sorting programs in Theorema I Dramnesc, T Jebelean RISC Report Series, 2012 | 4 | 2012 |
Systematic exploration of the theory of lists in Theorema I Dramnesc, T Jebelean RISC Report Series, 2012 | 4 | 2012 |
Automated Reasoning on Tuples-Case Studies in Proof Based Synthesis I Dramnesc, T Jebelean RISC Report Series, 2011 | 4 | 2011 |