Checking Delay-Insensitivity: 10\(^4\) Gates and Beyond - Alex Kondratyev; Oriol Roig; Lawrence Neukom; Karl Fant; Alexander Taubin (8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 9-11 April 2002, Manchester, UK, 2002)

Symbolic Analysis of Bounded Petri Nets - Enric Pastor; Jordi Cortadella; Oriol Roig (IEEE Trans. Computers, 2001)

Structural methods for the synthesis of speed-independent circuits - Enric Pastor; Jordi Cortadella; Alex Kondratyev; Oriol Roig (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits - Oriol Roig; Jordi Cortadella; Marco A. Peña; Enric Pastor (Proceedings of the 34st Conference on Design Automation, Anaheim, California, USA, Anaheim Convention Center, June 9-13, 1997, 1997)

Review of General and Toeplitz Vector Bidiagonal Solvers - Josep Lluís Larriba-Pey; Juan J. Navarro; Angel Jorba; Oriol Roig (Parallel Comput., 1996)

Structural Methods for the Synthesis of Speed-Independent Circuits - Enric Pastor; Oriol Roig; Jordi Cortadella; Alex Kondratyev (1996 European Design and Test Conference, ED&TC 1996, Paris, France, March 11-14, 1996, 1996)

Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets - Oriol Roig; Jordi Cortadella; Enric Pastor (Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, 1995)

Hierarchical gate-level verification of speed-independent circuits - Oriol Roig; Jordi Cortadella; Enric Pastor (Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK, 1995)

Checking signal transition graph implementability by symbolic BDD traversal - Alex Kondratyev; Jordi Cortadella; Michael Kishinevsky; Enric Pastor; Oriol Roig; Alexandre Yakovlev (1995 European Design and Test Conference, ED&TC 1995, Paris, France, March 6-9, 1995, 1995)

A new look at the conditions for the synthesis of speed-independent circuits - Enric Pastor; Jordi Cortadella; Oriol Roig (5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, 1995)

Petri Net Analysis Using Boolean Manipulation - Enric Pastor; Oriol Roig; Jordi Cortadella; Rosa M. Badia (Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, 1994)

A generalized vision of some parallel bidiagonal systems solvers - Josep Lluís Larriba-Pey; Juan J. Navarro; Oriol Roig; Angel Jorba (Proceedings of the 8th international conference on Supercomputing, ICS 1994, Manchester, UK, July 11-15, 1994, 1994)