Tudor Jebelean - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

A Purely Logical Approach to the Termination of Imperative LoopsMadalina Erascu, Tudor Jebelean. synasc 2010: 142-149 [doi]

12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, IEEE Computer Society, 2010.

Proving Partial Correctness and Termination of Mutually Recursive ProgramsNikolaj Popov, Tudor Jebelean. synasc 2010: 153-156 [doi]

2009

Using Computer Algebra techniques for the specification, verification and synthesis of recursive programsNikolaj Popov, Tudor Jebelean. mcs, 79(8):2302-2309, 2009. [doi]

Combining logical and algebraic techniques for natural style proving in elementary analysisRobert Vajda, Tudor Jebelean, Bruno Buchberger. mcs, 79(8):2310-2316, 2009. [doi]

2008

Multi-Domain Logic and its Applications to SATTudor Jebelean, GÃ¡bor Kusper. synasc 2008: 3-8 [doi]

SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, IEEE Computer Society, 2008.

2007

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, IEEE Computer Society, 2007.

2006

2005

Functional-Based Synthesis of Systolic Online MultipliersTudor Jebelean, Laura Szakacs. synasc 2005: 267-275 [doi]

An Algorithm for Automated Generation of Invariants for Loops with ConditionalsLaura Ildikó Kovács, Tudor Jebelean. synasc 2005: 245-249 [doi]

2004

Experimental Program Verification in the Theorema SystemTudor Jebelean, Laura Kovács, Nikolaj Popov. isola 2004: 92-99

2001

Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest EditorsAlessandro Armando, Tudor Jebelean. JSC, 32(4):303-304, 2001.

2000

FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational NumbersBogdan Matasaru, Tudor Jebelean. fpl 2000: 810-813 [doi]

1999

PrefaceAlessandro Armando, Tudor Jebelean. ENTCS, 23(3), 1999. [doi]

1997

A Survey of the Theorema ProjectBruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru. issac 1997: 384-391

Practical Integer Division with Karatsuba ComplexityTudor Jebelean. issac 1997: 339-341

Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and DivisionTudor Jebelean. europar 1997: 1169-1172

Auto-configurable array for GCD computationTudor Jebelean. fpl 1997: 457-461

1996

Integer and Rational Arithmetic on MasParTudor Jebelean. disco 1996: 162-173

Bidirectional Exact Integer DivisionWerner Krandick, Tudor Jebelean. JSC, 21(4):441-455, 1996.

1995

FPGA Implementation of a Rational AdderTudor Jebelean. fpl 1995: 251-260

A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long IntegersTudor Jebelean. JSC, 19(1-3):145-157, 1995.

Design of a systolic coprocessor for rational additionTudor Jebelean. asap 1995: 282-289 [doi]

1994

Systolic Algorithms for Long Integer GCD ComputationTudor Jebelean. conpar 1994: 241-252

Implementing GCD Systolic Arrays on FPGATudor Jebelean. fpl 1994: 132-134

1993

A Generalization of the Binary GCD AlgorithmTudor Jebelean. issac 1993: 111-116 [doi]

Comparing several GCD algorithmsTudor Jebelean. arith 1993: 180-185 [doi]

Improving the Multiprecision Euclidian AlgorithmTudor Jebelean. disco 1993: 45-58

An Algorithm for Exact DivisionTudor Jebelean. JSC, 15(2):169-180, 1993.