| 2002 |
|---|
| 10 | EE | Alex Kondratyev,
Oriol Roig,
Lawrence Neukom,
Karl Fant,
Alexander Taubin:
Checking Delay-Insensitivity: 104 Gates and Beyond.
ASYNC 2002: 149- |
| 2001 |
|---|
| 9 | EE | Enric Pastor,
Jordi Cortadella,
Oriol Roig:
Symbolic Analysis of Bounded Petri Nets.
IEEE Trans. Computers 50(5): 432-448 (2001) |
| 1998 |
|---|
| 8 | EE | Enric Pastor,
Jordi Cortadella,
Alex Kondratyev,
Oriol Roig:
Structural methods for the synthesis of speed-independent circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems 17(11): 1108-1129 (1998) |
| 1997 |
|---|
| 7 | EE | Oriol Roig,
Jordi Cortadella,
Marco A. Peña,
Enric Pastor:
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits.
DAC 1997: 620-625 |
| 1996 |
|---|
| 6 | | Josep-Lluis Larriba-Pey,
Juan J. Navarro,
Angel Jorba,
Oriol Roig:
Review of General and Toeplitz Vector Bidiagonal Solvers.
Parallel Computing 22(8): 1091-1126 (1996) |
| 1995 |
|---|
| 5 | EE | Oriol Roig,
Jordi Cortadella,
Enric Pastor:
Hierarchical gate-level verification of speed-independent circuits.
ASYNC 1995: 128-137 |
| 4 | | Oriol Roig,
Jordi Cortadella,
Enric Pastor:
Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets.
Application and Theory of Petri Nets 1995: 374-391 |
| 3 | EE | Enric Pastor,
Jordi Cortadella,
Oriol Roig:
A new look at the conditions for the synthesis of speed-independent circuits.
Great Lakes Symposium on VLSI 1995: 230- |
| 1994 |
|---|
| 2 | | Enric Pastor,
Oriol Roig,
Jordi Cortadella,
Rosa M. Badia:
Petri Net Analysis Using Boolean Manipulation.
Application and Theory of Petri Nets 1994: 416-435 |
| 1 | EE | Josep-Lluis Larriba-Pey,
Juan J. Navarro,
Oriol Roig,
Angel Jorba:
A generalized vision of some parallel bidiagonal systems solvers.
International Conference on Supercomputing 1994: 404-411 |
