Jordi Cortadella
FC Barcelona(ES)Universitat Politècnica de Catalunya(ES)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Formal Methods in Verification, Low-power high-performance VLSI design, Petri Nets in System Modeling, Parallel Computing and Optimization Techniques
Most-Cited Works
- Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers(1996)
- → Deriving Petri nets from finite transition systems(1998)234 cited
- → Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications(2006)177 cited
- → Petri net analysis using boolean manipulation(1994)162 cited
- → Synthesis of synchronous elastic architectures(2006)161 cited
- → Logic Synthesis for Asynchronous Controllers and Interfaces(2002)161 cited
- → Working-zone encoding for reducing the energy in microprocessor address buses(1998)156 cited