| Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev IEICE Transactions on information and Systems 80 (3), 315-325, 1997 | 768 | 1997 |
| Deriving Petri nets from finite transition systems J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev IEEE transactions on computers 47 (8), 859-882, 1998 | 332 | 1998 |
| Logic Synthesis for Asynchronous Controllers and Interfaces J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev Springer, 2002 | 317* | 2002 |
| Desynchronization: Synthesis of asynchronous circuits from synchronous specifications J Cortadella, A Kondratyev, L Lavagno, CP Sotiriou IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006 | 271 | 2006 |
| Petri net analysis using boolean manipulation E Pastor, O Roig, J Cortadella, RM Badia Application and Theory of Petri Nets 1994: 15th International Conference …, 1994 | 241 | 1994 |
| Synthesis of synchronous elastic architectures J Cortadella, M Kishinevsky, B Grundmann Proceedings of the 43rd Annual Design Automation Conference, 657-662, 2006 | 190 | 2006 |
| Working-zone encoding for reducing the energy in microprocessor address buses E Musoll, T Lang, J Cortadella IEEE Transactions on Very Large Scale Integration (VLSI) Systems 6 (4), 568-572, 1998 | 184 | 1998 |
| High-level synthesis techniques for reducing the activity of functional units E Musoll, J Cortadella Proceedings of the 1995 international symposium on Low power design, 99-104, 1995 | 155 | 1995 |
| Handshake protocols for de-synchronization I Blunno, J Cortadella, A Kondratyev, L Lavagno, K Lwin, C Sotiriou 10th International Symposium on Asynchronous Circuits and Systems, 2004 …, 2004 | 141 | 2004 |
| A region-based algorithm for discovering Petri nets from event logs J Carmona, J Cortadella, M Kishinevsky Business Process Management: 6th International Conference, BPM 2008, Milan …, 2008 | 137 | 2008 |
| Elastic circuits J Carmona, J Cortadella, M Kishinevsky, A Taubin IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009 | 134 | 2009 |
| Verification of asynchronous circuits by BDD-based model checking of Petri nets O Roig, J Cortadella, E Pastor Application and Theory of Petri Nets 1995: 16th International Conference …, 1995 | 134 | 1995 |
| Synthesizing Petri nets from state-based models J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995 | 124 | 1995 |
| Individual flip-flops with gated clocks for low power datapaths T Lang, E Musoll, J Cortadella IEEE Transactions on Circuits and Systems II: Analog and Digital Signal …, 1997 | 121 | 1997 |
| Exploiting the locality of memory references to reduce the address bus energy E Musoll, T Lang, J Cortadella Proceedings of the 1997 international symposium on Low power electronics and …, 1997 | 118 | 1997 |
| The octahedron abstract domain R Clarisó, J Cortadella Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy …, 2004 | 107 | 2004 |
| Symbolic analysis of bounded Petri nets E Pastor, J Cortadella, O Roig IEEE Transactions on Computers 50 (5), 432-448, 2001 | 95 | 2001 |
| Scheduling and resource binding for low power E Musoll, J Cortadella Proceedings of the 8th international symposium on System synthesis, 104-109, 1995 | 95 | 1995 |
| Coping with the variability of combinational logic delays J Cortadella, A Kondratyev, L Lavagno, C Sotiriou IEEE International Conference on Computer Design: VLSI in Computers and …, 2004 | 94 | 2004 |
| Task generation and compile-time scheduling for mixed data-control embedded software J Cortadella, A Kondratyev, L Lavagno, M Massot, S Moral Boadas, ... | 93 | 1999 |
Luciano LavagnoPolitecnico di TorinoVerified email at polito.it
