| 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 | 689 | 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 | 295 | 1998 |
| Logic Synthesis for Asynchronous Controllers and Interfaces J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev Springer, 2002 | 278* | 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 | 237 | 2006 |
| Petri net analysis using boolean manipulation E Pastor, O Roig, J Cortadella, RM Badia International Conference on Application and Theory of Petri Nets, 416-435, 1994 | 224 | 1994 |
| 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 | 181 | 1998 |
| Synthesis of synchronous elastic architectures J Cortadella, M Kishinevsky, B Grundmann 2006 43rd ACM/IEEE Design Automation Conference, 657-662, 2006 | 166 | 2006 |
| 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 | 146 | 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 | 133 | 2004 |
| Verification of asynchronous circuits by BDD-based model checking of Petri nets O Roig, J Cortadella, E Pastor International Conference on Application and Theory of Petri Nets, 374-391, 1995 | 125 | 1995 |
| Elastic circuits J Carmona, J Cortadella, M Kishinevsky, A Taubin IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009 | 121 | 2009 |
| A region-based algorithm for discovering Petri nets from event logs J Carmona, J Cortadella, M Kishinevsky International Conference on Business Process Management, 358-373, 2008 | 116 | 2008 |
| 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 | 116 | 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 | 115 | 1997 |
| Exploiting the locality of memory references to reduce the address bus energy E Musoll, T Lang, J Cortadella Proceedings of 1997 International Symposium on Low Power Electronics and …, 1997 | 112 | 1997 |
| The octahedron abstract domain R Clarisó, J Cortadella International Static Analysis Symposium, 312-327, 2004 | 94 | 2004 |
| Symbolic analysis of bounded Petri nets E Pastor, J Cortadella, O Roig IEEE Transactions on Computers 50 (5), 432-448, 2001 | 89 | 2001 |
| Scheduling and resource binding for low power E Musoll, J Cortadella Proceedings of the 8th international symposium on System synthesis, 104-109, 1995 | 86 | 1995 |
| Task generation and compile-time scheduling for mixed data-control embedded software J Cortadella, A Kondratyev, L Lavagno, M Massot, S Moral Boadas, ... | 85 | 1999 |
| Evaluation of A+B=K conditions without carry propagation J Cortadella, JM Llaberia Computers, IEEE Transactions on 41 (11), 1484-1488, 1992 | 81* | 1992 |
Luciano LavagnoPolitecnico di TorinoEmail verificata su polito.it
