 | 2011 |
|---|
| 37 |       | Dongming Wang,
Viorel Negru,
Tetsuo Ida,
Tudor Jebelean,
Dana Petcu,
Stephen M. Watt,
Daniela Zaharie:
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011
IEEE Computer Society 2011 |
| 36 | | Isabela Dramnesc,
Tudor Jebelean:
Proof Techniques for Synthesis of Sorting Algorithms.
SYNASC 2011: 101-109 |
| 2010 |
|---|
| 35 |  | Tetsuo Ida,
Viorel Negru,
Tudor Jebelean,
Dana Petcu,
Stephen M. Watt,
Daniela Zaharie:
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010
IEEE Computer Society 2010 |
| 34 | | Madalina Erascu,
Tudor Jebelean:
A Purely Logical Approach to the Termination of Imperative Loops.
SYNASC 2010: 142-149 |
| 33 | | Nikolaj Popov,
Tudor Jebelean:
Proving Partial Correctness and Termination of Mutually Recursive Programs.
SYNASC 2010: 153-156 |
| 2009 |
|---|
| 32 | | Stephen M. Watt,
Viorel Negru,
Tetsuo Ida,
Tudor Jebelean,
Dana Petcu,
Daniela Zaharie:
11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009
IEEE Computer Society 2009 |
| 31 | | Madalina Erascu,
Tudor Jebelean:
A Calculus for Imperative Programs: Formalization and Implementation.
SYNASC 2009: 77-84 |
| 30 | | Nikolaj Popov,
Tudor Jebelean:
Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs.
Mathematics and Computers in Simulation 79(8): 2302-2309 (2009) |
| 29 | | Robert Vajda,
Tudor Jebelean,
Bruno Buchberger:
Combining logical and algebraic techniques for natural style proving in elementary analysis.
Mathematics and Computers in Simulation 79(8): 2310-2316 (2009) |
| 2008 |
|---|
| 28 | | Viorel Negru,
Tudor Jebelean,
Dana Petcu,
Daniela Zaharie:
SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008
IEEE Computer Society 2008 |
| 27 | | Tudor Jebelean,
Gábor Kusper:
Multi-Domain Logic and its Applications to SAT.
SYNASC 2008: 3-8 |
| 2007 |
|---|
| 26 | | 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 |
|---|
| 25 | | Laura Ruff,
Tudor Jebelean:
Functional-Based Synthesis of a Systolic Array for GCD Computation.
IFL 2006: 37-54 |
| 24 | | Laura Kovács,
Nikolaj Popov,
Tudor Jebelean:
Combining Logic and Algebraic Techniques for Program Verification in Theorema.
ISoLA 2006: 67-74 |
| 23 | | 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.
J. Applied Logic 4(4): 470-504 (2006) |
| 2005 |
|---|
| 22 | | Daniela Zaharie,
Dana Petcu,
Viorel Negru,
Tudor Jebelean,
Gabriel Ciobanu,
Alexandru Cicortas,
Ajith Abraham,
Marcin Paprzycki:
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania
IEEE Computer Society 2005 |
| 21 | | Laura Ildikó Kovács,
Tudor Jebelean:
An Algorithm for Automated Generation of Invariants for Loops with Conditionals.
SYNASC 2005: 245-249 |
| 20 | | Tudor 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 |
|---|
| 17 | | Bogdan Matasaru,
Tudor Jebelean:
FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers.
FPL 2000: 810-813 |
| 1999 |
|---|
| 16 | | Alessandro Armando,
Tudor Jebelean:
Preface.
Electr. Notes Theor. Comput. Sci. 23(3): 319-320 (1999) |
| 1997 |
|---|
| 15 | | Tudor 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 |
|---|
| 11 | | Tudor 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 |
|---|
| 9 | | Tudor 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 |
|---|
| 6 | | Tudor 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 |
|---|
| 4 | | Tudor Jebelean:
Improving the Multiprecision Euclidian Algorithm.
DISCO 1993: 45-58 |
| 3 | | Tudor Jebelean:
Comparing several GCD algorithms.
IEEE Symposium on Computer Arithmetic 1993: 180-185 |
| 2 | | Tudor 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page