The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tudor Jebelean: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002