Tudor Jebelean
Johannes Kepler Universität Linz
H-index: 19
Europe-Austria
Top articles of Tudor Jebelean
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema | Isabela Drămnesc Tudor Jebelean | 2023/9/21 | |
ARC: An Educational Project on Automated Reasoning in the Class | Isabela Dramnesc Tudor Jebelean Erika Ábrahám Gábor Kusper Sorin Stratulat | 2022/11/1 | |
Experiments with Automated Reasoning in the Class | Isabela Drămnesc Erika Ábrahám Tudor Jebelean Gábor Kusper Sorin Stratulat | 2022/9/17 | |
Automated Reasoning in the Class | Computer-Algebra-Rundbrief | Isabela Drămnesc Erika Ábrahám Tudor Jebelean Gábor Kusper Sorin Stratulat | 2022 |
AUTOMATED REASONING IN THE CLASS: AN EDUCATIONAL PROJECT FOR SOFTWARE ENGINEERS | I Dramnesc T Jebelean | 2022 | |
AlCons : Deductive Synthesis of Sorting Algorithms in Theorema | Isabela Drămnesc Tudor Jebelean | 2021/8/20 | |
A Heuristic Prover for Elementary Analysis in Theorema | Tudor Jebelean | 2021/7/20 | |
Synthesis of merging algorithms on binary trees using multisets in Theorema | Isabela Drămnesc Tudor Jebelean | 2021/5/19 | |
Synthesis of sorting algorithms using multisets in Theorema | Journal of Logical and Algebraic Methods in Programming | Isabela Drămnesc Tudor Jebelean | 2021/2/1 |
Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema | Isabela Drămnesc Tudor Jebelean | 2020/5/21 | |
Implementation of Deletion Algorithms on Lists and Binary Trees in Theorema | Isabela Dramnesc Tudor Jebelean JKU RISC-Linz | 2020/4 | |
Deductive Synthesis of Bubble–Sort Using Multisets | Isabela Drămnesc Tudor Jebelean | 2020/1/23 | |
Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema | Isabela Drămnesc Tudor Jebelean | 2020 | |
Synthesis of Delete on Lists and Binary Trees Using Multisets in Theorema | Isabela Dramnesc Tudor Jebelean | 2020/9 |