Tudor Jebelean

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 19

Top Topics

Program Synthesis

Top Venues

J. Symb. Comput.

LPAR Complementary Volume

Publications

Tudor Jebelean
A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation. LPAR Complementary Volume (2024)
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)
Tudor Jebelean
A Heuristic Prover for Elementary Analysis in Theorema. CICM (2021)
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)
Tudor Jebelean
Techniques for natural-style proofs in elementary analysis. ACM Commun. Comput. Algebra 52 (3) (2018)
Tudor Jebelean
Techniques for Natural-style Proofs in Elementary Analysis. SC-Square@FLOC (2018)
Tudor Jebelean, Wei Li, Dongming Wang
Special Issue on Program Verification, Automated Debugging and Symbolic Computation. J. Symb. Comput. 80 (2017)
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
A case study on algorithm discovery from proofs: The insert function on binary trees. SACI (2016)
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. 9 (1) (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)
Madalina Erascu, Tudor Jebelean
Soundness of a Logic-Based Verification Method for Imperative Loops. SYNASC (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)
Nikolaj Popov, Tudor Jebelean
Proving Partial Correctness and Termination of Mutually Recursive Programs. SYNASC (2010)
Madalina Erascu, Tudor Jebelean
A Purely Logical Approach to the Termination of Imperative Loops. SYNASC (2010)
Nikolaj Popov, Tudor Jebelean
Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs. Math. Comput. Simul. 79 (8) (2009)
Róbert Vajda, Tudor Jebelean, Bruno Buchberger
Combining logical and algebraic techniques for natural style proving in elementary analysis. Math. Comput. Simul. 79 (8) (2009)
Madalina Erascu, Tudor Jebelean
A Calculus for Imperative Programs: Formalization and Implementation. SYNASC (2009)
Tudor Jebelean, Gábor Kusper
Multi-Domain Logic and its Applications to SAT. SYNASC (2008)
Laura Kovács, Nikolaj Popov, Tudor Jebelean
Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA (2006)
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4 (4) (2006)
Laura Ruff, Tudor Jebelean
Functional-Based Synthesis of a Systolic Array for GCD Computation. IFL (2006)
Tudor Jebelean, Laura Szakacs
Functional-Based Synthesis of Systolic Online Multipliers. SYNASC (2005)
Laura Ildikó Kovács, Tudor Jebelean
An Algorithm for Automated Generation of Invariants for Loops with Conditionals. SYNASC (2005)
Tudor Jebelean, Laura Kovács, Nikolaj Popov
Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) (2004)
Alessandro Armando, Tudor Jebelean
Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors. J. Symb. Comput. 32 (4) (2001)
Bogdan Matasaru, Tudor Jebelean
FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers. FPL (2000)
Alessandro Armando, Tudor Jebelean
Preface. Calculemus (1999)
Tudor Jebelean
Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division. Euro-Par (1997)
Tudor Jebelean
Practical Integer Division with Karatsuba Complexity. ISSAC (1997)
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru
A Survey of the Theorema Project. ISSAC (1997)
Tudor Jebelean
Auto-configurable array for GCD computation. FPL (1997)
Werner Krandick, Tudor Jebelean
Bidirectional Exact Integer Division. J. Symb. Comput. 21 (4) (1996)
Tudor Jebelean
Integer and Rational Arithmetic on MasPar. DISCO (1996)
Tudor Jebelean
FPGA Implementation of a Rational Adder. FPL (1995)
Tudor Jebelean
Design of a systolic coprocessor for rational addition. ASAP (1995)
Tudor Jebelean
A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers. J. Symb. Comput. 19 (1-3) (1995)
Tudor Jebelean
Implementing GCD Systolic Arrays on FPGA. FPL (1994)
Werner Krandick, Tudor Jebelean
Bidirectional Exact Integer Division. PASCO (1994)
Tudor Jebelean
Systolic Algorithms for Long Integer GCD Computation. CONPAR (1994)
Tudor Jebelean
Designing systolic arrays for integer GCD computation. ASAP (1994)
Tudor Jebelean
An Algorithm for Exact Division. J. Symb. Comput. 15 (2) (1993)
Tudor Jebelean
A Generalization of the Binary GCD Algorithm. ISSAC (1993)
Tudor Jebelean
Systolic normalization of rational numbers. ASAP (1993)
Tudor Jebelean
Comparing several GCD algorithms. IEEE Symposium on Computer Arithmetic (1993)
Tudor Jebelean
Improving the Multiprecision Euclidian Algorithm. DISCO (1993)