Oriol Roig - RankMe

12 papers A* 1A 1Journal 3Unranked 7

Year	Rank	Type	Title / Venue / Authors
2002	—	`conf`	Checking Delay-Insensitivity: 10 ASYNC Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl Fant, Alexander Taubin
2001	J	`jnl`	Symbolic Analysis of Bounded Petri Nets. IEEE Trans. Computers Enric Pastor, Jordi Cortadella, Oriol Roig
1998	J	`jnl`	Structural methods for the synthesis of speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig
1997	A*	`conf`	Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits. DAC Oriol Roig, Jordi Cortadella, Marco A. Peña, Enric Pastor
1996	J	`jnl`	Review of General and Toeplitz Vector Bidiagonal Solvers. Parallel Comput. Josep Lluís Larriba-Pey, Juan J. Navarro, Angel Jorba, Oriol Roig
1996	—	`conf`	Structural Methods for the Synthesis of Speed-Independent Circuits. ED&TC Enric Pastor, Oriol Roig, Jordi Cortadella, Alex Kondratyev
1995	—	`conf`	A new look at the conditions for the synthesis of speed-independent circuits. Great Lakes Symposium on VLSI Enric Pastor, Jordi Cortadella, Oriol Roig
1995	—	`conf`	Checking signal transition graph implementability by symbolic BDD traversal. ED&TC Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev
1995	—	`conf`	Hierarchical gate-level verification of speed-independent circuits. ASYNC Oriol Roig, Jordi Cortadella, Enric Pastor
1995	—	`conf`	Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. Application and Theory of Petri Nets Oriol Roig, Jordi Cortadella, Enric Pastor
1994	A	`conf`	A generalized vision of some parallel bidiagonal systems solvers. International Conference on Supercomputing Josep Lluís Larriba-Pey, Juan J. Navarro, Oriol Roig, Angel Jorba
1994	—	`conf`	Petri Net Analysis Using Boolean Manipulation. Application and Theory of Petri Nets Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz

Matti Schulze, Thorsten Holz, Felix C. Freiling