Jordi Cortadella - Google Académico

Citado por

	Todos	Desde 2015
Citações	7170	1695
Índice h	40	20
Índice i10	140	49

400

200

100

300

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202023 19 49 87 117 209 198 184 188 282 237 307 244 276 359 381 374 375 397 359 332 328 286 361 292 337 292 127

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
David Bañeres BesoraLecturer, Universitat Oberta de CatalunyaEmail confirmado em uoc.edu
Nikita NikitinMentor GraphicsEmail confirmado em mentor.com
Jorge JulvezUniversity of ZaragozaEmail confirmado em unizar.es
Jordi PetitUniversitat Politècnica de CatalunyaEmail confirmado em cs.upc.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	680	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	290	1998
Logic Synthesis for Asynchronous Controllers and Interfaces J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev Springer, 2002	274*	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	230	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	223	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	178	1998
Synthesis of synchronous elastic architectures J Cortadella, M Kishinevsky, B Grundmann 2006 43rd ACM/IEEE Design Automation Conference, 657-662, 2006	165	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	128	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	120	2009
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	115	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	114	1997
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	112	2008
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	111	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	87	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, ...	84	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

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