BetterScholar BetterScholar

J. Cortadella

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Trans. Computers, Application and Theory of Petri Nets, IEEE Transactions on Very Large Scale Integration Systems, 43rd ACM IEEE Design Automation Conference, Science of Computer Programming, International Conference on Business Process Management, International Symposium on Low Power Electronics and Design Show more
11
Role
Title
Level Year L/R
🐬 Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers (Special Issue on Asynchronous Circuit and System Design)
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev 		9 1997
9
🐬
🦁 Deriving Petri Nets for Finite Transition Systems
J. Cortadella, M. Kishinevsky, Luciano Lavagno, Alexandre Yakovlev 		7 1998
7
🦁
🐬 Petri Net Analysis Using Boolean Manipulation
E. Pastor, Oriol Roig, J. Cortadella, Rosa M. Badia 		7 1994
7
🐬
🦁 Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications
J. Cortadella, A. Kondratyev, L. Lavagno, C. Sotiriou 		7 2006
7
🦁
🐢 Working-zone encoding for reducing the energy in microprocessor address buses
E. Musoll, T. Lang, J. Cortadella 		7 1998
7
🐢
🦁 Synthesis of synchronous elastic architectures
J. Cortadella, M. Kishinevsky, B. Grundmann 		7 2006
7
🦁
🐬 Logic Synthesis for Asynchronous Controllers and Interfaces
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev 		7 2002
7
🐬
🐢 The octahedron abstract domain
R. Clarisó, J. Cortadella 		7 2004
7
🐢
🐬 A Region-Based Algorithm for Discovering Petri Nets from Event Logs
J. Carmona, J. Cortadella, M. Kishinevsky 		6 2008
6
🐬
🐬 Elastic Circuits
J. Carmona, J. Cortadella, M. Kishinevsky, A. Taubin 		6 2009
6
🐬
🐢 High-level synthesis techniques for reducing the activity of functional units
E. Musoll, J. Cortadella 		6 1995
6
🐢