Jordi Cortadella

Dikutip oleh

	Semua	Sejak 2020
Kutipan	8719	1265
indeks-h	45	17
indeks-i10	152	39

420

210

105

315

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202546 102 136 202 195 206 204 289 267 327 262 286 370 390 388 408 412 381 363 323 310 355 306 358 314 228 299 260 260 198 20

Akses publik

Lihat semua

40 artikel

1 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

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

Ikuti

Jordi Cortadella

Universitat Politècnica de Catalunya

Email yang diverifikasi di upc.edu - Beranda

Electronic Design Automation Concurrency Asynchronous Circuits Formal Methods Computer Arithmetic


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	798	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	352	1998
Logic Synthesis for Asynchronous Controllers and Interfaces J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev Springer, 2002	327*	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	292	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	250	1994
Synthesis of synchronous elastic architectures J Cortadella, M Kishinevsky, B Grundmann Proceedings of the 43rd Annual Design Automation Conference, 657-662, 2006	212	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	188	1998
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	169	2008
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	165	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	148	2004
Elastic circuits J Carmona, J Cortadella, M Kishinevsky, A Taubin IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009	141	2009
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	135	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	130	1995
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	124	1997
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	123	1997
The octahedron abstract domain R Clarisó, J Cortadella Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy …, 2004	107	2004
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	99	2004
Symbolic analysis of bounded Petri nets E Pastor, J Cortadella, O Roig IEEE Transactions on Computers 50 (5), 432-448, 2001	99	2001
Scheduling and resource binding for low power E Musoll, J Cortadella Proceedings of the 8th international symposium on System synthesis, 104-109, 1995	99	1995
Timing-driven logic bi-decomposition J Cortadella IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2003	95	2003

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama