Certification of Tail Recursive Bubble-Sort in Theorema and Coq I Dramnesc, T Jebelean, S Stratulat LPAR 2024 Complementary Volume 18, 53--68, 2024 | | 2024 |
Mechanical certification of FOLID cyclic proofs S Stratulat Annals of Mathematics and Artificial Intelligence 91 (5), 651-673, 2023 | | 2023 |
ARC: An Educational Project on Automated Reasoning in the Class I Dramnesc, T Jebelean, E Ábrahám, G Kusper, S Stratulat EdMedia+ Innovate Learning, 934-943, 2022 | | 2022 |
Experiments with Automated Reasoning in the Class I Drămnesc, E Ábrahám, T Jebelean, G Kusper, S Stratulat International Conference on Intelligent Computer Mathematics, 287-304, 2022 | | 2022 |
Automated Reasoning in the Class I Drǎmnesc, E Ábrahám, T Jebelean, G Kusper, S Stratulat Gesellschaft für Informatik eV, Fachgruppe Computeralgebra, 2022 | | 2022 |
Automated reasoning in the class I Drămnesc, E Ábrahám, T Jebelean, G Kusper, S Stratulat Computer-Algebra-Rundbrief, 21-26, 2022 | 1 | 2022 |
Récurrence noethérienne pour le raisonnement de premier ordre S Stratulat 1024: Bulletin de la Société Informatique de France, 157-169, 2022 | | 2022 |
E-Cyclist: Implementation of an efficient validation of FOLID cyclic induction reasoning S Stratulat arXiv preprint arXiv:2109.03235, 2021 | 5 | 2021 |
Noetherian Induction for Computer-Assisted First-Order Reasoning S Stratulat Université de Lorraine, 2021 | | 2021 |
E-Cyclist: Implementation of an Efficient Validation of FOL ID Cyclic Induction Reasoning (Tool Description) S Stratulat | | 2021 |
SPIKE, an automatic theorem prover—revisited S Stratulat 2020 22nd International Symposium on Symbolic and Numeric Algorithms for …, 2020 | 7 | 2020 |
E-Cyclist: Implementation of an Efficient Validation of FOL ID Cyclic Induction Reasoning (System Description) S Stratulat | | 2020 |
Efficient Validation of FOL ID Cyclic Induction Reasoning S Stratulat | 1 | 2019 |
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 |
Validating back-links of FOLID cyclic pre-proofs S Stratulat arXiv preprint arXiv:1810.07374, 2018 | 11 | 2018 |
Cyclic proofs with ordering constraints S Stratulat International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 16 | 2017 |
Mechanically certifying formula-based Noetherian induction reasoning S Stratulat Journal of Symbolic Computation 80, 209-249, 2017 | 21 | 2017 |
Structural vs. cyclic induction: a report on some experiments with Coq S Stratulat 2016 18th International Symposium on Symbolic and Numeric Algorithms for …, 2016 | 8 | 2016 |
A case study on algorithm discovery from proofs: The insert function on binary trees I Drămnesc, T Jebelean, S Stratulat 2016 IEEE 11th International Symposium on Applied Computational Intelligence …, 2016 | 2 | 2016 |
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 |