The SCEAS System
| |||||||

## Search the dblp DataBase
Tudor Jebelean:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Tudor Jebelean
**Design of a systolic coprocessor for rational addition.**[Citation Graph (0, 0)][DBLP] ASAP, 1995, pp:282-289 [Conf] - Tudor Jebelean
**Systolic Algorithms for Long Integer GCD Computation.**[Citation Graph (0, 0)][DBLP] CONPAR, 1994, pp:241-252 [Conf] - Tudor Jebelean
**Improving the Multiprecision Euclidian Algorithm.**[Citation Graph (0, 0)][DBLP] DISCO, 1993, pp:45-58 [Conf] - Tudor Jebelean
**Integer and Rational Arithmetic on MasPar.**[Citation Graph (0, 0)][DBLP] DISCO, 1996, pp:162-173 [Conf] - 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] - Tudor Jebelean
**Implementing GCD Systolic Arrays on FPGA.**[Citation Graph (0, 0)][DBLP] FPL, 1994, pp:132-134 [Conf] - Tudor Jebelean
**FPGA Implementation of a Rational Adder.**[Citation Graph (0, 0)][DBLP] FPL, 1995, pp:251-260 [Conf] - Tudor Jebelean
**Auto-configurable array for GCD computation.**[Citation Graph (0, 0)][DBLP] FPL, 1997, pp:457-461 [Conf] - 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] - 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] - Tudor Jebelean
**A Generalization of the Binary GCD Algorithm.**[Citation Graph (0, 0)][DBLP] ISSAC, 1993, pp:111-116 [Conf] - Tudor Jebelean
**Practical Integer Division with Karatsuba Complexity.**[Citation Graph (0, 0)][DBLP] ISSAC, 1997, pp:339-341 [Conf] - 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] - Tudor Jebelean, Laura Szakacs
**Functional-Based Synthesis of Systolic Online Multipliers.**[Citation Graph (0, 0)][DBLP] SYNASC, 2005, pp:267-275 [Conf] - Alessandro Armando, Tudor Jebelean
**Preface.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal] - 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] - 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] - Tudor Jebelean
**An Algorithm for Exact Division.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1993, v:15, n:2, pp:169-180 [Journal] - 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] - 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] - 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] **Comparing several GCD algorithms.**[Citation Graph (, )][DBLP]**Experimental Program Verification in the Theorema System.**[Citation Graph (, )][DBLP]**Combining Logic and Algebraic Techniques for Program Verification in Theorema.**[Citation Graph (, )][DBLP]**Multi-Domain Logic and its Applications to SAT.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |