dblp.uni-trier.dewww.uni-trier.de

Tudor Jebelean Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
25 Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie: 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
2006
24EELaura Ruff, Tudor Jebelean: Functional-Based Synthesis of a Systolic Array for GCD Computation. IFL 2006: 37-54
23EELaura Kovács, Nikolaj Popov, Tudor Jebelean: Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA 2006: 67-74
22EEBruno 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)
2005
21EELaura Ildikó Kovács, Tudor Jebelean: An Algorithm for Automated Generation of Invariants for Loops with Conditionals. SYNASC 2005: 245-249
20EETudor Jebelean, Laura Szakacs: Functional-Based Synthesis of Systolic Online Multipliers. SYNASC 2005: 267-275
2004
19 Tudor Jebelean, Laura Kovács, Nikolaj Popov: Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) 2004: 92-99
2001
18 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
17EEBogdan Matasaru, Tudor Jebelean: FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers. FPL 2000: 810-813
1999
16EEAlessandro Armando, Tudor Jebelean: Preface. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
1997
15EETudor Jebelean: Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division. Euro-Par 1997: 1169-1172
14 Tudor Jebelean: Auto-configurable array for GCD computation. FPL 1997: 457-461
13 Tudor Jebelean: Practical Integer Division with Karatsuba Complexity. ISSAC 1997: 339-341
12 Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru: A Survey of the Theorema Project. ISSAC 1997: 384-391
1996
11EETudor Jebelean: Integer and Rational Arithmetic on MasPar. DISCO 1996: 162-173
10 Werner Krandick, Tudor Jebelean: Bidirectional Exact Integer Division. J. Symb. Comput. 21(4): 441-455 (1996)
1995
9EETudor Jebelean: Design of a systolic coprocessor for rational addition. ASAP 1995: 282-289
8 Tudor Jebelean: FPGA Implementation of a Rational Adder. FPL 1995: 251-260
7 Tudor Jebelean: A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers. J. Symb. Comput. 19(1-3): 145-157 (1995)
1994
6EETudor Jebelean: Systolic Algorithms for Long Integer GCD Computation. CONPAR 1994: 241-252
5 Tudor Jebelean: Implementing GCD Systolic Arrays on FPGA. FPL 1994: 132-134
1993
4EETudor Jebelean: Improving the Multiprecision Euclidian Algorithm. DISCO 1993: 45-58
3EETudor Jebelean: Comparing several GCD algorithms. IEEE Symposium on Computer Arithmetic 1993: 180-185
2EETudor Jebelean: A Generalization of the Binary GCD Algorithm. ISSAC 1993: 111-116
1 Tudor Jebelean: An Algorithm for Exact Division. J. Symb. Comput. 15(2): 169-180 (1993)

Coauthor Index

1Alessandro Armando [16] [18]
2Bruno Buchberger [12] [22]
3Adrian Craciun [22]
4Laura Kovács (Laura Ildikó Kovács) [19] [21] [22] [23]
5Werner Krandick [10]
6Franz Kriftner [12]
7Temur Kutsia [22]
8Mircea Marin [12]
9Bogdan Matasaru [17]
10Koji Nakagawa [22]
11Viorel Negru [25]
12Dana Petcu [25]
13Florina Piroi [22]
14Nikolaj Popov [19] [22] [23]
15Judit Robu [22]
16Markus Rosenkranz [22]
17Laura Ruff [24]
18Laura Szakacs [20]
19Elena Tomuta [12]
20Daniela Vasaru [12]
21Daniela Zaharie [25]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)