Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Tudor Jebelean
2010 – today
- 2012
[c27]Isabela Dramnesc, Tudor Jebelean: Theory Exploration in Theorema: Case Study on Lists. SACI 2012: 421-426- [c26]Isabela Dramnesc, Tudor Jebelean: Discovery of inductive algorithms through automated reasoning: A case study on sorting. SISY 2012: 293-298
- [c25]Madalina Erascu, Tudor Jebelean: Soundness of a Logic-Based Verification Method for Imperative Loops. SYNASC 2012: 127-134
- [c24]Isabela Dramnesc, Tudor Jebelean: Automated Synthesis of Some Algorithms on Finite Sets. SYNASC 2012: 143-151
- 2011
- [c23]Isabela Dramnesc, Tudor Jebelean: Proof Techniques for Synthesis of Sorting Algorithms. SYNASC 2011: 101-109
- [e6]Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (Eds.): 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011. IEEE Computer Society 2011, ISBN 978-1-4673-0207-4
- 2010
- [c22]Madalina Erascu, Tudor Jebelean: A Purely Logical Approach to the Termination of Imperative Loops. SYNASC 2010: 142-149
- [c21]Nikolaj Popov, Tudor Jebelean: Proving Partial Correctness and Termination of Mutually Recursive Programs. SYNASC 2010: 153-156
- [e5]Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (Eds.): 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4324-6
2000 – 2009
- 2009
- [j8]Nikolaj Popov, Tudor Jebelean: Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs. Mathematics and Computers in Simulation 79(8): 2302-2309 (2009)
- [j7]Robert Vajda, Tudor Jebelean, Bruno Buchberger: Combining logical and algebraic techniques for natural style proving in elementary analysis. Mathematics and Computers in Simulation 79(8): 2310-2316 (2009)
- [c20]Madalina Erascu, Tudor Jebelean: A Calculus for Imperative Programs: Formalization and Implementation. SYNASC 2009: 77-84
- [e4]Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie (Eds.): 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009. IEEE Computer Society 2009, ISBN 978-1-4244-5910-0
- 2008
- [c19]
- [e3]Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie (Eds.): SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3523-4
- 2007
- [e2]Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie (Eds.): Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007. IEEE Computer Society 2007, ISBN 978-0-7695-3078-9
- 2006
- [j6]Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006)
- [c18]Laura Ruff, Tudor Jebelean: Functional-Based Synthesis of a Systolic Array for GCD Computation. IFL 2006: 37-54
- [c17]Laura Kovács, Nikolaj Popov, Tudor Jebelean: Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA 2006: 67-74
- 2005
- [c16]Laura Ildikó Kovács, Tudor Jebelean: An Algorithm for Automated Generation of Invariants for Loops with Conditionals. SYNASC 2005: 245-249
- [c15]Tudor Jebelean, Laura Szakacs: Functional-Based Synthesis of Systolic Online Multipliers. SYNASC 2005: 267-275
- [e1]Daniela Zaharie, Dana Petcu, Viorel Negru, Tudor Jebelean, Gabriel Ciobanu, Alexandru Cicortas, Ajith Abraham, Marcin Paprzycki (Eds.): Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. IEEE Computer Society 2005, ISBN 0-7695-2453-2
- 2004
- [c14]Tudor Jebelean, Laura Kovács, Nikolaj Popov: Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) 2004: 92-99
- 2001
- [j5]Alessandro Armando, Tudor Jebelean: Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors. J. Symb. Comput. 32(4): 303-304 (2001)
- 2000
- [c13]Bogdan Matasaru, Tudor Jebelean: FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers. FPL 2000: 810-813
1990 – 1999
- 1999
- [j4]Alessandro Armando, Tudor Jebelean: Preface. Electr. Notes Theor. Comput. Sci. 23(3): 319-320 (1999)
- 1997
- [c12]Tudor Jebelean: Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division. Euro-Par 1997: 1169-1172
- [c11]
- [c10]
- [c9]Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru: A Survey of the Theorema Project. ISSAC 1997: 384-391
- 1996
- [j3]Werner Krandick, Tudor Jebelean: Bidirectional Exact Integer Division. J. Symb. Comput. 21(4): 441-455 (1996)
- [c8]
- 1995
- [j2]Tudor Jebelean: A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers. J. Symb. Comput. 19(1-3): 145-157 (1995)
- [c7]
- [c6]
- 1994
- [c5]
- [c4]
- 1993
- [j1]
- [c3]Tudor Jebelean: Comparing several GCD algorithms. IEEE Symposium on Computer Arithmetic 1993: 180-185
- [c2]
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-21 22:06 CEST by the dblp team