Search the dblp DataBase

Publications of Author

1. Tudor Jebelean
   Design of a systolic coprocessor for rational addition. [Citation Graph (0, 0)][DBLP]
   ASAP, 1995, pp:282-289 [Conf]
   
2. Tudor Jebelean
   Systolic Algorithms for Long Integer GCD Computation. [Citation Graph (0, 0)][DBLP]
   CONPAR, 1994, pp:241-252 [Conf]
   
3. Tudor Jebelean
   Improving the Multiprecision Euclidian Algorithm. [Citation Graph (0, 0)][DBLP]
   DISCO, 1993, pp:45-58 [Conf]
   
4. Tudor Jebelean
   Integer and Rational Arithmetic on MasPar. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:162-173 [Conf]
   
5. Tudor Jebelean
   Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1997, pp:1169-1172 [Conf]
   
6. Tudor Jebelean
   Implementing GCD Systolic Arrays on FPGA. [Citation Graph (0, 0)][DBLP]
   FPL, 1994, pp:132-134 [Conf]
   
7. Tudor Jebelean
   FPGA Implementation of a Rational Adder. [Citation Graph (0, 0)][DBLP]
   FPL, 1995, pp:251-260 [Conf]
   
8. Tudor Jebelean
   Auto-configurable array for GCD computation. [Citation Graph (0, 0)][DBLP]
   FPL, 1997, pp:457-461 [Conf]
   
9. Bogdan Matasaru, Tudor Jebelean
   FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers. [Citation Graph (0, 0)][DBLP]
   FPL, 2000, pp:810-813 [Conf]
   
10. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru
    A Survey of the Theorema Project. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1997, pp:384-391 [Conf]
    
11. Tudor Jebelean
    A Generalization of the Binary GCD Algorithm. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:111-116 [Conf]
    
12. Tudor Jebelean
    Practical Integer Division with Karatsuba Complexity. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1997, pp:339-341 [Conf]
    
13. Laura Ildikó Kovács, Tudor Jebelean
    An Algorithm for Automated Generation of Invariants for Loops with Conditionals. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2005, pp:245-249 [Conf]
    
14. Tudor Jebelean, Laura Szakacs
    Functional-Based Synthesis of Systolic Online Multipliers. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2005, pp:267-275 [Conf]
    
15. Alessandro Armando, Tudor Jebelean
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
    
16. 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. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:470-504 [Journal]
    
17. Alessandro Armando, Tudor Jebelean
    Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:4, pp:303-304 [Journal]
    
18. Tudor Jebelean
    An Algorithm for Exact Division. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:2, pp:169-180 [Journal]
    
19. Tudor Jebelean
    A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:145-157 [Journal]
    
20. Werner Krandick, Tudor Jebelean
    Bidirectional Exact Integer Division. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:441-455 [Journal]
    
21. Laura Ruff, Tudor Jebelean
    Functional-Based Synthesis of a Systolic Array for GCD Computation. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:37-54 [Conf]
    
22. 
    Comparing several GCD algorithms. [Citation Graph (, )][DBLP]
    
    
23. 
    Experimental Program Verification in the Theorema System. [Citation Graph (, )][DBLP]
    
    
24. 
    Combining Logic and Algebraic Techniques for Program Verification in Theorema. [Citation Graph (, )][DBLP]
    
    
25. 
    Multi-Domain Logic and its Applications to SAT. [Citation Graph (, )][DBLP]