Jordi Cortadella

Citado por

	Todos	Desde 2016
Citações	7435	1516
Índice h	42	18
Índice i10	139	47

420

210

105

315

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202124 18 48 95 119 208 194 192 186 279 237 318 256 276 368 386 388 386 406 377 337 339 286 361 296 349 295 209 6

Coautores

Luciano LavagnoPolitecnico di TorinoEmail confirmado em polito.it
a yakovlevNewcastle UniversityEmail confirmado em newcastle.ac.uk
Josep CarmonaAssociate Professor, Universitat Politècnica de CatalunyaEmail confirmado em cs.upc.edu
Rosa M. BadiaBarcelona Supercomputing Center (BSC), Universitat Politècnica de Catalunya (UPC)Email confirmado em bsc.es
Emre TuncerHardware Engineer, GoogleEmail confirmado em google.com
Javier de San PedroUPCEmail confirmado em lsi.upc.edu
Sachin SapatnekarUniversity of MinnesotaEmail confirmado em umn.edu
Robert ClarisóAssociate professor, Universitat Oberta de Catalunya (UOC)Email confirmado em uoc.edu
Nikita NikitinMentor GraphicsEmail confirmado em mentor.com
Jordi PetitUniversitat Politècnica de CatalunyaEmail confirmado em cs.upc.edu
Jorge JulvezUniversity of ZaragozaEmail confirmado em unizar.es
David Bañeres BesoraLecturer, Universitat Oberta de CatalunyaEmail confirmado em uoc.edu
Vigyan SinghalOski TechnologyEmail confirmado em oskitech.com
Ken StevensProfessor of electrical and computer engineering, university of utahEmail confirmado em ece.utah.edu
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyEmail confirmado em eecs.berkeley.edu
Sava KrsticResearch Scientist, Intel Corp.Email confirmado em intel.com
John O'LearyIntel CorporationEmail confirmado em intel.com
Ran GinosarProfessor of EE & CS, TechnionEmail confirmado em ee.technion.ac.il
antoni rocaPost-doc Universitat Politècnica de CatalunyaEmail confirmado em lsi.upc.edu
Salomon (Shlomi) BeerPhD, Technion - Israel Institute of TechnologyEmail confirmado em tx.technion.ac.il

Jordi Cortadella

Universitat Politècnica de Catalunya

Email confirmado em upc.edu - Página inicial

Electronic Design Automation Concurrency Asynchronous Circuits Formal Methods Computer Arithmetic


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	715	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	301	1998
Logic Synthesis for Asynchronous Controllers and Interfaces J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev Springer, 2002	289*	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	248	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	226	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	167	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	149	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	138	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	128	1995
Elastic circuits J Carmona, J Cortadella, M Kishinevsky, A Taubin IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009	125	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	118	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	118	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	116	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	110	1997
The octahedron abstract domain R Clarisó, J Cortadella International Static Analysis Symposium, 312-327, 2004	97	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	89	1995
Task generation and compile-time scheduling for mixed data-control embedded software J Cortadella, A Kondratyev, L Lavagno, M Massot, S Moral Boadas, ...	88	1999
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	83	2004

O sistema não pode efectuar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Carregar PDF

Seguir este autor

Citado por

Coautores