Tudor Jebelean

79 papers B 7C 6Misc 32Journal 13Unranked 18

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	A European Project on AI-based Robotics. TALE Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Nikolaos Fachantidis, Gábor Kusper, Sorin Stratulat
2024	—	`conf`	A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation. LPAR Complementary Volume Tudor Jebelean
2024	—	`conf`	Certification of Sorting Algorithms Using Theorema and Coq. SCSS Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2024	—	`conf`	Certification of Tail Recursive Bubble-Sort in Theorema and Coq. LPAR Complementary Volume Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2023	Misc	`conf`	Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema. SISY Isabela Dramnesc, Tudor Jebelean
2022	C	`conf`	Experiments with Automated Reasoning in the Class. CICM Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat
2021	C	`conf`	A Heuristic Prover for Elementary Analysis in Theorema. CICM Tudor Jebelean
2021	C	`conf`	AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. ICTAC Isabela Dramnesc, Tudor Jebelean
2021	Misc	`conf`	Synthesis of Merging algorithms on binary trees using multisets in Theorema. SACI Isabela Dramnesc, Tudor Jebelean
2021	J	`jnl`	Synthesis of sorting algorithms using multisets in J. Log. Algebraic Methods Program. Isabela Dramnesc, Tudor Jebelean
2020	Misc	`conf`	Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema. SACI Isabela Dramnesc, Tudor Jebelean
2019	—	`conf`	Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema. MACIS Isabela Dramnesc, Tudor Jebelean
2019	Misc	`conf`	Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets. SISY Isabela Dramnesc, Tudor Jebelean
2019	J	`jnl`	Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. J. Symb. Comput. Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2019	—	`conf`	Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema. FROM Isabela Dramnesc, Tudor Jebelean
2018	—	`conf`	Techniques for Natural-style Proofs in Elementary Analysis. SC-Square@FLOC Tudor Jebelean
2018	J	`jnl`	Techniques for natural-style proofs in elementary analysis. ACM Commun. Comput. Algebra Tudor Jebelean
2017	Misc	`ed.`	19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017 SYNASC Tudor Jebelean, Viorel Negru, Dana Petcu, Daniela Zaharie, Tetsuo Ida, Stephen M. Watt
2017	J	`jnl`	Special Issue on Program Verification, Automated Debugging and Symbolic Computation. J. Symb. Comput. Tudor Jebelean, Wei Li, Dongming Wang
2016	Misc	`ed.`	18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016 SYNASC James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2016	Misc	`conf`	A case study on algorithm discovery from proofs: The insert function on binary trees. SACI Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2016	C	`conf`	Proof-Based Synthesis of Sorting Algorithms for Trees. LATA Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2016	J	`jnl`	Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
2015	Misc	`ed.`	17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015 SYNASC Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2015	Misc	`conf`	A case study in proof based synthesis of algorithms on monotone lists. SACI Isabela Dramnesc, Tudor Jebelean
2015	Misc	`conf`	Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. SYNASC Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2015	J	`jnl`	Synthesis of list algorithms by mechanical proving. J. Symb. Comput. Isabela Dramnesc, Tudor Jebelean
2015	Misc	`conf`	Theory exploration of binary trees. SISY Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
2014	Misc	`ed.`	16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014 SYNASC Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2014	Misc	`conf`	Theory exploration of sets represented as monotone lists. SISY Isabela Dramnesc, Tudor Jebelean
2013	Misc	`ed.`	15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013 SYNASC Nikolaj S. Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2012	Misc	`ed.`	14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012 SYNASC Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2012	Misc	`conf`	Automated Synthesis of Some Algorithms on Finite Sets. SYNASC Isabela Dramnesc, Tudor Jebelean
2012	Misc	`conf`	Discovery of inductive algorithms through automated reasoning: A case study on sorting. SISY Isabela Dramnesc, Tudor Jebelean
2012	Misc	`conf`	Soundness of a Logic-Based Verification Method for Imperative Loops. SYNASC Madalina Erascu, Tudor Jebelean
2012	Misc	`conf`	Theory Exploration in Theorema: Case Study on Lists. SACI Isabela Dramnesc, Tudor Jebelean
2011	Misc	`ed.`	13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011 SYNASC Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2011	Misc	`conf`	Proof Techniques for Synthesis of Sorting Algorithms. SYNASC Isabela Dramnesc, Tudor Jebelean
2010	Misc	`ed.`	12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010 SYNASC Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2010	Misc	`conf`	A Purely Logical Approach to the Termination of Imperative Loops. SYNASC Madalina Erascu, Tudor Jebelean
2010	Misc	`conf`	Proving Partial Correctness and Termination of Mutually Recursive Programs. SYNASC Nikolaj Popov, Tudor Jebelean
2009	Misc	`ed.`	11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009 SYNASC Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie
2009	Misc	`conf`	A Calculus for Imperative Programs: Formalization and Implementation. SYNASC Madalina Erascu, Tudor Jebelean
2009	—	`ch.`	Automated Reasoning. Hagenberg Research Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger
2009	J	`jnl`	Combining logical and algebraic techniques for natural style proving in elementary analysis. Math. Comput. Simul. Róbert Vajda, Tudor Jebelean, Bruno Buchberger
2009	—	`book`	Hagenberg Research Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich-Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland R. Wagner, Gerhard Weiß, Wolfgang Windsteiger
2009	J	`jnl`	Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs. Math. Comput. Simul. Nikolaj Popov, Tudor Jebelean
2008	Misc	`conf`	Multi-Domain Logic and its Applications to SAT. SYNASC Tudor Jebelean, Gábor Kusper
2008	Misc	`ed.`	SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008 SYNASC Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie
2007	Misc	`ed.`	Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007 SYNASC Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie
2006	C	`conf`	Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA Laura Kovács, Nikolaj Popov, Tudor Jebelean
2006	—	`conf`	Functional-Based Synthesis of a Systolic Array for GCD Computation. IFL Laura Ruff, Tudor Jebelean
2006	J	`jnl`	Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
2005	Misc	`conf`	An Algorithm for Automated Generation of Invariants for Loops with Conditionals. SYNASC Laura Ildikó Kovács, Tudor Jebelean
2005	Misc	`conf`	Functional-Based Synthesis of Systolic Online Multipliers. SYNASC Tudor Jebelean, Laura Szakacs
2005	Misc	`ed.`	Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania SYNASC Daniela Zaharie, Dana Petcu, Viorel Negru, Tudor Jebelean, Gabriel Ciobanu, Alexandru Cicortas, Ajith Abraham, Marcin Paprzycki
2004	—	`conf`	Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) Tudor Jebelean, Laura Kovács, Nikolaj Popov
2001	J	`jnl`	Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors. J. Symb. Comput. Alessandro Armando, Tudor Jebelean
2000	B	`conf`	FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers. FPL Bogdan Matasaru, Tudor Jebelean
1999	—	`conf`	Preface. Calculemus Alessandro Armando, Tudor Jebelean
1999	—	`ed.`	Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999 Calculemus Alessandro Armando, Tudor Jebelean
1997	B	`conf`	A Survey of the Theorema Project. ISSAC Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru
1997	B	`conf`	Auto-configurable array for GCD computation. FPL Tudor Jebelean
1997	B	`conf`	Practical Integer Division with Karatsuba Complexity. ISSAC Tudor Jebelean
1997	—	`conf`	Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division. Euro-Par Tudor Jebelean
1996	J	`jnl`	Bidirectional Exact Integer Division. J. Symb. Comput. Werner Krandick, Tudor Jebelean
1996	—	`conf`	Integer and Rational Arithmetic on MasPar. DISCO Tudor Jebelean
1995	J	`jnl`	A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers. J. Symb. Comput. Tudor Jebelean
1995	—	`conf`	Design of a systolic coprocessor for rational addition. ASAP Tudor Jebelean
1995	B	`conf`	FPGA Implementation of a Rational Adder. FPL Tudor Jebelean
1994	—	`conf`	Bidirectional Exact Integer Division. PASCO Werner Krandick, Tudor Jebelean
1994	—	`conf`	Designing systolic arrays for integer GCD computation. ASAP Tudor Jebelean
1994	B	`conf`	Implementing GCD Systolic Arrays on FPGA. FPL Tudor Jebelean
1994	—	`conf`	Systolic Algorithms for Long Integer GCD Computation. CONPAR Tudor Jebelean
1993	B	`conf`	A Generalization of the Binary GCD Algorithm. ISSAC Tudor Jebelean
1993	J	`jnl`	An Algorithm for Exact Division. J. Symb. Comput. Tudor Jebelean
1993	C	`conf`	Comparing several GCD algorithms. IEEE Symposium on Computer Arithmetic Tudor Jebelean
1993	—	`conf`	Improving the Multiprecision Euclidian Algorithm. DISCO Tudor Jebelean
1993	—	`conf`	Systolic normalization of rational numbers. ASAP Tudor Jebelean