The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jordi Cortadella" ( http://dblp.L3S.de/Authors/Jordi_Cortadella )

URL (Homepage):  https://www.cs.upc.edu/~jordicf/  Author page on DBLP  Author page in RDF  Community of Jordi Cortadella in ASPL-2

Publication years (Num. hits)
1992-1995 (19) 1996-1997 (15) 1998-1999 (21) 2000-2002 (16) 2003-2005 (18) 2006-2007 (17) 2008-2009 (22) 2010-2013 (17) 2014-2016 (15) 2017-2019 (14)
Publication types (Num. hits)
article(47) incollection(1) inproceedings(124) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 124 occurrences of 76 keywords

Results
Found 175 publication records. Showing 174 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jordi Petit, Salvador Roura, Josep Carmona, Jordi Cortadella, Jordi Duch, Omer Giménez, Anaga Mani, Jan Mas, Enric Rodríguez-Carbonell, Enric Rubio, Enric de San Pedro, Divya Venkataramani Corrections to "Jutge.org: Characteristics and Experiences". Search on Bibsonomy TLT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella From Nets to Circuits and from Circuits to Nets. Search on Bibsonomy Carl Adam Petri: Ideas, Personality, Impact The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alex Vidal-Obiols, Jordi Cortadella, Jordi Petit, Marc Galceran Oms, Ferran Martorell RTL-Aware Dataflow-Driven Macro Placement. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Junnan Shan, Mario R. Casu, Jordi Cortadella, Luciano Lavagno, Mihai T. Lazarescu Exact and Heuristic Allocation of Multi-kernel Applications to Multi-FPGA Platforms. Search on Bibsonomy DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alberto Moreno, Jordi Cortadella State-Based Encoding of Large Asynchronous Controllers. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jordi Petit, Salvador Roura, Josep Carmona, Jordi Cortadella, Jordi Duch, Omer Giménez, Anaga Mani, Jan Mas, Enric Rodríguez-Carbonell, Enric Rubio, Enric de San Pedro, Divya Venkataramani Jutge.org: Characteristics and Experiences. Search on Bibsonomy TLT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Moreno, Jordi Cortadella State Encoding of Asynchronous Controllers Using Pseudo-Boolean Optimization. Search on Bibsonomy ASYNC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Jordi Petit A hierarchical mathematical model for automatic pipelining and allocation using elastic systems. Search on Bibsonomy ACSSC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alex Vidal-Obiols, Jordi Cortadella, Jordi Petit Under-the-Cell Routing to Improve Manufacturability. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lucas Machado, Jordi Cortadella Boolean Decomposition for AIG Optimization. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lucas Machado, Antoni Roca Perez, Jordi Cortadella Voltage Noise Analysis with Ring Oscillator Clocks. Search on Bibsonomy ISVLSI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alberto Moreno, Jordi Cortadella Synthesis of All-Digital Delay Lines. Search on Bibsonomy ASYNC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Alberto Moreno, Danil Sokolov, Alex Yakovlev, David Lloyd Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours. Search on Bibsonomy ASYNC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrey Mokhov, Jordi Cortadella, Alessandro de Gennaro Process Windows. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Palkesh Jain, Jordi Cortadella, Sachin S. Sapatnekar A Fast and Retargetable Framework for Logic-IP-Internal Electromigration Assessment Comprehending Advanced Waveform Effects. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier de San Pedro, Jordi Cortadella Mining structured petri nets for the visualization of process behavior. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier de San Pedro, Jordi Cortadella Discovering Duplicate Tasks in Transition Systems for the Simplification of Process Models. Search on Bibsonomy BPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Marc Lupon, Alberto Moreno, Antoni Roca 0001, Sachin S. Sapatnekar Ring Oscillator Clocks and Margins. Search on Bibsonomy ASYNC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier de San Pedro, Thomas Bourgeat, Jordi Cortadella Specification Mining for Asynchronous Controllers. Search on Bibsonomy ASYNC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Cannizzaro, Salomon Beer, Jordi Cortadella, Ran Ginosar, Luciano Lavagno SafeRazor: Metastability-Robust Adaptive Clocking in Resilient Circuits. Search on Bibsonomy IEEE Trans. on Circuits and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky, Sachin S. Sapatnekar RTL Synthesis: From Logic Synthesis to Automatic Pipelining. Search on Bibsonomy Proceedings of the IEEE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Palkesh Jain, Sachin S. Sapatnekar, Jordi Cortadella A retargetable and accurate methodology for logic-IP-internal electromigration assessment. Search on Bibsonomy ASP-DAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Palkesh Jain, Sachin S. Sapatnekar, Jordi Cortadella Stochastic and topologically aware electromigration analysis for clock skew. Search on Bibsonomy IRPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Javier de San Pedro, Josep Carmona, Jordi Cortadella Log-Based Simplification of Process Models. Search on Bibsonomy BPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Luciano Lavagno, Pedro Lopez, Marc Lupon, Alberto Moreno, Antoni Roca 0001, Sachin S. Sapatnekar Reactive clocks with variability-tracking jitter. Search on Bibsonomy ICCD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jordi Cortadella Process Discovery Algorithms Using Numerical Abstract Domains. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Jordi Petit, Sergio Gómez, Francesc Moll A Boolean Rule-Based Approach for Manufacturability-Aware Cell Routing. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier de San Pedro, Jordi Cortadella, Antoni Roca 0001 A hierarchical approach for generating regular floorplans. Search on Bibsonomy ICCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Salomon Beer, Marco Cannizzaro, Jordi Cortadella, Ran Ginosar, Luciano Lavagno Metastability in Better-Than-Worst-Case Designs. Search on Bibsonomy ASYNC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ferdinand Peper, Jia Lee, Josep Carmona, Jordi Cortadella, Kenichi Morita Brownian Circuits: Fundamentals. Search on Bibsonomy JETC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nikita Nikitin, Javier de San Pedro, Jordi Cortadella Architectural Exploration of Large-Scale Hierarchical Chip Multiprocessors. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella Area-Optimal Transistor Folding for 1-D Gridded Cell Design. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Javier de San Pedro, Nikita Nikitin, Jordi Cortadella, Jordi Petit Physical planning for the architectural exploration of large-scale chip multiprocessors. Search on Bibsonomy NOCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Javier de San Pedro, Nikita Nikitin, Jordi Petit Physical-aware system-level design for tiled hierarchical chip multiprocessors. Search on Bibsonomy ISPD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nikita Nikitin, Javier de San Pedro, Josep Carmona, Jordi Cortadella Analytical Performance Modeling of Hierarchical Interconnect Fabrics. Search on Bibsonomy NOCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nikita Nikitin, Jordi Cortadella Static Task Mapping for Tiled Chip Multiprocessors with Multiple Voltage Islands. Search on Bibsonomy ARCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Javier de San Pedro, Josep Carmona, Jordi Cortadella, Jordi Petit Integrating formal verification in an online judge for e-Learning logic circuit design. Search on Bibsonomy SIGCSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marc Galceran Oms, Alexander Gotmanov, Jordi Cortadella, Michael Kishinevsky Microarchitectural Transformations Using Elasticity. Search on Bibsonomy JETC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky A Scheduling Strategy for Synchronous Elastic Designs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jordi Cortadella, Michael Kishinevsky New Region-Based Algorithms for Deriving Bounded Petri Nets. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Petri nets, synthesis, bisimulation, process mining, transition systems, theory of regions
1Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nikita Nikitin, Satrajit Chatterjee, Jordi Cortadella, Michael Kishinevsky, Ümit Y. Ogras Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing. Search on Bibsonomy NOCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jordi Cortadella Process Mining Meets Abstract Interpretation. Search on Bibsonomy ECML/PKDD (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marc Galceran Oms, Jordi Cortadella, Dmitry Bufistov, Michael Kishinevsky Automatic microarchitectural pipelining. Search on Bibsonomy DATE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky Symbolic performance analysis of elastic systems. Search on Bibsonomy ICCAD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky Elastic systems. Search on Bibsonomy MEMOCODE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Alexander Taubin Guest Editorial: Special Section on Asynchronous Circuits and Systems. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Bañeres, Jordi Cortadella, Michael Kishinevsky A Recursive Paradigm to Solve Boolean Relations. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alexander Taubin Elastic Circuits. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Bañeres, Jordi Cortadella, Michael Kishinevsky Timing-driven N-way decomposition. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF logic design, decomposition, timing optimization
1David Bañeres, Jordi Cortadella, Michael Kishinevsky Variable-latency design by function speculation. Search on Bibsonomy DATE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky Speculation in elastic systems. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF elastic designs, protocols, synthesis, speculation
1Emre Tuncer, Jordi Cortadella, Luciano Lavagno Enabling adaptability through elastic clocks. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF low power design, GALS, desynchronization, adaptive voltage scaling
1Dmitry Bufistov, Jordi Cortadella, Marc Galceran Oms, Jorge Júlvez, Michael Kishinevsky Retiming and recycling for elastic systems with early evaluation. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF early evaluation, elastic systems, optimization
1Nikita Nikitin, Jordi Cortadella A performance analytical model for Network-on-Chip with constant service time routers. Search on Bibsonomy ICCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jonas Casanova, Jordi Cortadella Multi-level clustering for clock skew optimization. Search on Bibsonomy ICCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jordi Cortadella, Michael Kishinevsky Divide-and-Conquer Strategies for Process Mining. Search on Bibsonomy BPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky Scheduling Synchronous Elastic Designs. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Elastic systems, scheduling, optimization
1Josep Carmona, Jordi Cortadella, Michael Kishinevsky Genet: A Tool for the Synthesis and Mining of Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Synthesis, Mining, Theory of Regions
1Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez Elasticity and Petri Nets. Search on Bibsonomy Trans. Petri Nets and Other Models of Concurrency The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. Search on Bibsonomy JETC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, cellular array, Nanocomputing, symbolic techniques
1Josep Carmona, Jordi Cortadella Encoding Large Asynchronous Controllers With ILP Techniques. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dmitry Bufistov, Jorge Júlvez, Jordi Cortadella Performance optimization of elastic systems using buffer resizing and buffer insertion. Search on Bibsonomy ICCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms Correct-by-construction microarchitectural pipelining. Search on Bibsonomy ICCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jordi Cortadella, Michael Kishinevsky A Region-Based Algorithm for Discovering Petri Nets from Event Logs. Search on Bibsonomy BPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kyller Costa Gorgônio, Jordi Cortadella Hardware Synthesis for Asynchronous Communications Mechanisms. Search on Bibsonomy SCCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Kishinevsky, Jordi Cortadella Time elastic digital systems and Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alexander Taubin, Jordi Cortadella, Luciano Lavagno, Alex Kondratyev, Ad M. G. Peeters Design Automation of Real-Life Asynchronous Devices and Systems. Search on Bibsonomy Foundations and Trends in Electronic Design Automation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robert Clarisó, Jordi Cortadella The octahedron abstract domain. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robert Clarisó, Jordi Cortadella Verification of Concurrent Systems with Parametric Delays Using Octahedra. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev Automating Synthesis of Asynchronous Communication Mechanisms. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1David Bañeres, Jordi Cortadella, Michael Kishinevsky Layout-aware gate duplication and buffer insertion. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems
1Jordi Cortadella, Michael Kishinevsky Synchronous Elastic Circuits with Early Evaluation and Token Counterflow. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dmitry Bufistov, Jordi Cortadella, Michael Kishinevsky, Sachin S. Sapatnekar A general model for performance optimization of sequential systems. Search on Bibsonomy ICCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés Synthesis of asynchronous controllers using integer linear programming. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary Synchronous Elastic Circuits. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary Synchronous Elastic Networks. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David Bañeres, Jordi Cortadella, Michael Kishinevsky Dominator-based partitioning for delay optimization. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logic design, timing optimization, logic partitioning
1Josep Carmona, Jordi Cortadella State encoding of large asynchronous controllers. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF petri nets, asynchronous circuits, state encoding
1Jordi Cortadella, Michael Kishinevsky, Bill Grundmann Synthesis of synchronous elastic architectures. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF protocols, synthesis, latency-tolerance, latency-insensitive design
1Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky Performance analysis of concurrent systems with early evaluation. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper From molecular interactions to gates: a systematic approach. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF nanocascades, formal methods, nanocomputing
1Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe Quasi-static scheduling of independent tasks for reactive systems. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev Automating Synthesis of Asynchronous Communication Mechanisms. Search on Bibsonomy ACSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Robert Clarisó, Jordi Cortadella Verification of Concurrent Systems with Parametric Delays Using Octahedra. Search on Bibsonomy ACSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe Quasi-static Scheduling for Concurrent Architectures. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Peter A. Beerel, Jordi Cortadella, Alex Kondratyev Bridging the Gap between Asynchronous Design and Designers. Search on Bibsonomy VLSI Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nilesh Modi, Jordi Cortadella Boolean Decomposition Using Two-literal Divisors. Search on Bibsonomy VLSI Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robert Clarisó, Jordi Cortadella The Octahedron Abstract Domain. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robert Clarisó, Jordi Cortadella Verification of timed circuits with symbolic delays. Search on Bibsonomy ASP-DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou From Synchronous to Asynchronous: An Automatic Approach. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Wolfgang Reisig (eds.) Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Bañeres, Jordi Cortadella, Michael Kishinevsky A recursive paradigm to solve Boolean relations. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF logic design, decomposition, Boolean relations
1Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou Handshake Protocols for De-Synchronization. Search on Bibsonomy ASYNC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou Coping with The Variability of Combinational Logic Delays. Search on Bibsonomy ICCD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jordi Cortadella Timing-driven logic bi-decomposition. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 174 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license