Jordi Cortadella

	2012
130		Nikita Nikitin, Jordi Cortadella: Static Task Mapping for Tiled Chip Multiprocessors with Multiple Voltage Islands. ARCS 2012: 50-62
129		Javier de San Pedro, Josep Carmona, Jordi Cortadella, Jordi Petit: Integrating formal verification in an online judge for e-Learning logic circuit design. SIGCSE 2012: 451-456
	2011
128		Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky: A Scheduling Strategy for Synchronous Elastic Designs. Fundam. Inform. 108(1-2): 1-21 (2011)
127		Marc Galceran Oms, Alexander Gotmanov, Jordi Cortadella, Michael Kishinevsky: Microarchitectural Transformations Using Elasticity. JETC 7(4): 18 (2011)
	2010
126		Marc Galceran Oms, Jordi Cortadella, Dmitry Bufistov, Michael Kishinevsky: Automatic microarchitectural pipelining. DATE 2010: 961-964
125		Josep Carmona, Jordi Cortadella: Process Mining Meets Abstract Interpretation. ECML/PKDD (1) 2010: 184-199
124		Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky: Symbolic performance analysis of elastic systems. ICCAD 2010: 778-785
123		Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky: Elastic systems. MEMOCODE 2010: 149-158
122		Nikita Nikitin, Satrajit Chatterjee, Jordi Cortadella, Michael Kishinevsky, Ümit Y. Ogras: Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing. NOCS 2010: 125-134
121		Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky: On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics. Discrete Event Dynamic Systems 20(3): 377-407 (2010)
120		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: New Region-Based Algorithms for Deriving Bounded Petri Nets. IEEE Trans. Computers 59(3): 371-384 (2010)
	2009
119		David Bañeres, Jordi Cortadella, Michael Kishinevsky: Timing-driven N-way decomposition. ACM Great Lakes Symposium on VLSI 2009: 363-368
118		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: Genet: A Tool for the Synthesis and Mining of Petri Nets. ACSD 2009: 181-185
117		Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky: Scheduling Synchronous Elastic Designs. ACSD 2009: 52-59
116		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: Divide-and-Conquer Strategies for Process Mining. BPM 2009: 327-343
115		Dmitry Bufistov, Jordi Cortadella, Marc Galceran Oms, Jorge Júlvez, Michael Kishinevsky: Retiming and recycling for elastic systems with early evaluation. DAC 2009: 288-291
114		Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky: Speculation in elastic systems. DAC 2009: 292-295
113		Emre Tuncer, Jordi Cortadella, Luciano Lavagno: Enabling adaptability through elastic clocks. DAC 2009: 8-10
112		David Bañeres, Jordi Cortadella, Michael Kishinevsky: Variable-latency design by function speculation. DATE 2009: 1704-1709
111		Jonas Casanova, Jordi Cortadella: Multi-level clustering for clock skew optimization. ICCAD 2009: 547-554
110		Nikita Nikitin, Jordi Cortadella: A performance analytical model for Network-on-Chip with constant service time routers. ICCAD 2009: 571-578
109		David Bañeres, Jordi Cortadella, Michael Kishinevsky: A Recursive Paradigm to Solve Boolean Relations. IEEE Trans. Computers 58(4): 512-527 (2009)
108		Jordi Cortadella, Alexander Taubin: Guest Editorial: Special Section on Asynchronous Circuits and Systems. IEEE Trans. VLSI Syst. 17(7): 853-854 (2009)
107		Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alexander Taubin: Elastic Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 28(10): 1437-1455 (2009)
	2008
106		Michael Kishinevsky, Jordi Cortadella: Time elastic digital systems and Petri Nets. ACSD 2008: 1-2
105		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: A Region-Based Algorithm for Discovering Petri Nets from Event Logs. BPM 2008: 358-373
104		Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms: Correct-by-construction microarchitectural pipelining. ICCAD 2008: 434-441
103		Dmitry Bufistov, Jorge Júlvez, Jordi Cortadella: Performance optimization of elastic systems using buffer resizing and buffer insertion. ICCAD 2008: 442-448
102		Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets 2008: 92-111
101		Kyller Costa Gorgônio, Jordi Cortadella: Hardware Synthesis for Asynchronous Communications Mechanisms. SCCC 2008: 135-143
100		Josep Carmona, Jordi Cortadella: Encoding Large Asynchronous Controllers With ILP Techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 27(1): 20-33 (2008)
99		Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper: Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. JETC 4(2): (2008)
98		Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez: Elasticity and Petri Nets. T. Petri Nets and Other Models of Concurrency 1: 221-249 (2008)
	2007
97		Jordi Cortadella, Michael Kishinevsky: Synchronous Elastic Circuits with Early Evaluation and Token Counterflow. DAC 2007: 416-419
96		David Bañeres, Jordi Cortadella, Michael Kishinevsky: Layout-aware gate duplication and buffer insertion. DATE 2007: 1367-1372
95		Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia: A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms. ICATPN 2007: 144-163
94		Dmitry Bufistov, Jordi Cortadella, Michael Kishinevsky, Sachin S. Sapatnekar: A general model for performance optimization of sequential systems. ICCAD 2007: 362-369
93		Alexander Taubin, Jordi Cortadella, Luciano Lavagno, Alex Kondratyev, Ad M. G. Peeters: Design Automation of Real-Life Asynchronous Devices and Systems. Foundations and Trends in Electronic Design Automation 2(1): 1-133 (2007)
92		Robert Clarisó, Jordi Cortadella: Verification of Concurrent Systems with Parametric Delays Using Octahedra. Fundam. Inform. 78(1): 1-33 (2007)
91		Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev: Automating Synthesis of Asynchronous Communication Mechanisms. Fundam. Inform. 78(1): 75-100 (2007)
90		Robert Clarisó, Jordi Cortadella: The octahedron abstract domain. Sci. Comput. Program. 64(1): 115-139 (2007)
	2006
89		David Bañeres, Jordi Cortadella, Michael Kishinevsky: Dominator-based partitioning for delay optimization. ACM Great Lakes Symposium on VLSI 2006: 67-72
88		Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary: Synchronous Elastic Circuits. CSR 2006: 3-5
87		Jordi Cortadella, Michael Kishinevsky, Bill Grundmann: Synthesis of synchronous elastic architectures. DAC 2006: 657-662
86		Josep Carmona, Jordi Cortadella: State encoding of large asynchronous controllers. DAC 2006: 939-944
85		Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary: Synchronous Elastic Networks. FMCAD 2006: 19-30
84		Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky: Performance analysis of concurrent systems with early evaluation. ICCAD 2006: 448-455
83		Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper: From molecular interactions to gates: a systematic approach. ICCAD 2006: 891-898
82		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou: Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 1904-1921 (2006)
81		Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés: Synthesis of asynchronous controllers using integer linear programming. IEEE Trans. on CAD of Integrated Circuits and Systems 25(9): 1637-1651 (2006)
	2005
80		Robert Clarisó, Jordi Cortadella: Verification of Concurrent Systems with Parametric Delays Using Octahedra. ACSD 2005: 122-131
79		Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev: Automating Synthesis of Asynchronous Communication Mechanisms. ACSD 2005: 166-175
78		Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella: Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. ICATPN 2005: 188-207
77		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-static scheduling of independent tasks for reactive systems. IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1492-1514 (2005)
	2004
76		Jordi Cortadella, Wolfgang Reisig: Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings Springer 2004
75		Robert Clarisó, Jordi Cortadella: Verification of timed circuits with symbolic delays. ASP-DAC 2004: 628-633
74		Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: Handshake Protocols for De-Synchronization. ASYNC 2004: 149-158
73		David Bañeres, Jordi Cortadella, Michael Kishinevsky: A recursive paradigm to solve Boolean relations. DAC 2004: 416-421
72		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: From Synchronous to Asynchronous: An Automatic Approach. DATE 2004: 1368-1369
71		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou: Coping with The Variability of Combinational Logic Delays. ICCD 2004: 505-508
70		Robert Clarisó, Jordi Cortadella: The Octahedron Abstract Domain. SAS 2004: 312-327
69		Peter A. Beerel, Jordi Cortadella, Alex Kondratyev: Bridging the Gap between Asynchronous Design and Designers. VLSI Design 2004: 18-20
68		Nilesh Modi, Jordi Cortadella: Boolean Decomposition Using Two-literal Divisors. VLSI Design 2004: 765-768
67		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe: Quasi-static Scheduling for Concurrent Architectures. Fundam. Inform. 62(2): 171-196 (2004)
	2003
66		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: Quasi-Static Scheduling for Concurrent Architectures. ACSD 2003: 29-40
65		Josep Carmona, Jordi Cortadella: ILP Models for the Synthesis of Asynchronous Control Circuits. ICCAD 2003: 818-826
64		Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev: Synthesis of Asynchronous Hardware from Petri Nets. Lectures on Concurrency and Petri Nets 2003: 345-401
63		Jordi Cortadella: Timing-driven logic bi-decomposition. IEEE Trans. on CAD of Integrated Circuits and Systems 22(6): 675-685 (2003)
	2002
62		Jordi Cortadella, Alexandre Yakovlev, Grzegorz Rozenberg: Concurrency and Hardware Design, Advances in Petri Nets Springer 2002
61		Josep Carmona, Jordi Cortadella, Enric Pastor: Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. Concurrency and Hardware Design 2002: 108-151
60		Marco A. Peña, Jordi Cortadella, Alexander B. Smirnov, Enric Pastor: A Case Study for the Verification of Complex Timed Circuits: IPCMOS. DATE 2002: 44-51
59		Josep Carmona, Jordi Cortadella: Input/Output Compatibility of Reactive Systems. FMCAD 2002: 360-377
58		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN 2002: 80-100
57		Jordi Cortadella: Bi-Decomposition and Tree-Height Reduction for Timing Optimization. IWLS 2002: 233-238
56		Jordi Cortadella, Alexandre Yakovlev, Jim D. Garside: Logic Design of Asynchronous Circuits (Tutorial Abstract). VLSI Design 2002: 26-
55		Josep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. Fundam. Inform. 50(2): 135-154 (2002)
54		Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev: Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions. IEEE Trans. on CAD of Integrated Circuits and Systems 21(2): 109-130 (2002)
	2001
53		Josep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. ACSD 2001: 157-166
52		Gianluca Cornetta, Jordi Cortadella: A Multi-Radix Approach to Asynchronous Division. ASYNC 2001: 25-
51		Enric Pastor, Jordi Cortadella, Oriol Roig: Symbolic Analysis of Bounded Petri Nets. IEEE Trans. Computers 50(5): 432-448 (2001)
	2000
50		Marco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev: Formal Verification of Safety Properties in Timed Circuits. ASYNC 2000: 2-11
49		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: Task generation and compile-time scheduling for mixed data-control embedded software. DAC 2000: 489-494
48		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN 2000: 1-15
47		Jordi Cortadella, Gabriel Valiente: A Relational View of Subgraph Isomorphism. RelMiCS 2000: 45-54
	1999
46		Alexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno: Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC 1999: 36-
45		Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC 1999: 110-115
44		Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella, Ran Ginosar, Michael Kishinevsky, Marly Roncken: CAD Directions for High Performance Asynchronous Circuits. DAC 1999: 116-121
43		Gianluca Cornetta, Jordi Cortadella: A Radix-16 SRT Division Unit with Speculation of the Quotient Digits. Great Lakes Symposium on VLSI 1999: 74-77
42		Enric Pastor, Jordi Cortadella, Marco A. Peña: Structural Methods to Improve the Symbolic Analysis of Petri Nets. ICATPN 1999: 26-45
41		Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: What is the cost of delay insensitivity? ICCAD 1999: 316-323
40		Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens: Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. ICCAD 1999: 324-331
39		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev: Decomposition and technology mapping of speed-independent circuits using Boolean relations. IEEE Trans. on CAD of Integrated Circuits and Systems 18(9): 1221-1236 (1999)
38		Fermín Sánchez, Jordi Cortadella, Rosa M. Badia: Optimal exploration of the unrolling degree for software pipelining. Journal of Systems Architecture 45(6-7): 505-517 (1999)
	1998
37		Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. ACSD 1998: 152-163
36		Jordi Cortadella: Combining Structural and Symbolic Methods for the Verification of Concurrent Systems. ACSD 1998: 2-7
35		Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev: Asynchronous Interface Specification, Analysis and Synthesis. DAC 1998: 2-7
34		Enric Pastor, Jordi Cortadella: Efficient Encoding Schemes for Symbolic Analysis of Petri Nets. DATE 1998: 790-795
33		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Lazy transition systems: application to timing optimization of asynchronous circuits. ICCAD 1998: 324-331
32		Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers 47(8): 859-882 (1998)
31		Enric Musoll, Tomás Lang, Jordi Cortadella: Working-zone encoding for reducing the energy in microprocessor address buses. IEEE Trans. VLSI Syst. 6(4): 568-572 (1998)
30		Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig: Structural methods for the synthesis of speed-independent circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 17(11): 1108-1129 (1998)
29		Fermín Sánchez, Jordi Cortadella: Reducing Register Pressure in Software Pipelining. J. Inf. Sci. Eng. 14(1): 265-279 (1998)
28		Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Jordi Cortadella, Luciano Lavagno: The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems. Journal of Circuits, Systems, and Computers 8(1): 67-118 (1998)
	1997
27		Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC 1997: 240-253
26		Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno: Partial order based approach to synthesis of speed-independent circuits. ASYNC 1997: 254-
25		Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella: Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. DAC 1997: 16-21
24		Oriol Roig, Jordi Cortadella, Marco A. Peña, Enric Pastor: Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits. DAC 1997: 620-625
23		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. ED&TC 1997: 98-105
22		Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN 1997: 328-347
21		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev: Decomposition and technology mapping of speed-independent circuits using Boolean relations. ICCAD 1997: 220-227
20		Enric Musoll, Tomás Lang, Jordi Cortadella: Exploiting the locality of memory references to reduce the address bus energy. ISLPED 1997: 202-207
19		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: A region-based theory for state assignment in speed-independent circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 16(8): 793-812 (1997)
	1996
18		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC 1996: 63-66
17		Fermín Sánchez, Jordi Cortadella: RESIS: A New Methodology for Register Optimization in Software Pipelining. Euro-Par, Vol. II 1996: 824-832
	1995
16		Oriol Roig, Jordi Cortadella, Enric Pastor: Hierarchical gate-level verification of speed-independent circuits. ASYNC 1995: 128-137
15		Oriol Roig, Jordi Cortadella, Enric Pastor: Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. Application and Theory of Petri Nets 1995: 374-391
14		Enric Pastor, Jordi Cortadella, Oriol Roig: A new look at the conditions for the synthesis of speed-independent circuits. Great Lakes Symposium on VLSI 1995: 230-
13		Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Synthesizing Petri nets from state-based models. ICCAD 1995: 164-171
12		Enric Musoll, Jordi Cortadella: High-level synthesis techniques for reducing the activity of functional units. ISLPD 1995: 99-104
11		Enric Musoll, Jordi Cortadella: Scheduling and resource binding for low power. ISSS 1995: 104-109
	1994
10		Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia: Petri Net Analysis Using Boolean Manipulation. Application and Theory of Petri Nets 1994: 416-435
9		Jordi Cortadella, José A. B. Fortes, Edward A. Lee: Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction. HICSS (1) 1994: 56-57
8		Jordi Cortadella, Tomás Lang: High-Radix Division and Square-Root with Speculation. IEEE Trans. Computers 43(8): 919-931 (1994)
	1993
7		Enric Pastor, Jordi Cortadella: Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs. ICCAD 1993: 250-254
6		Enric Pastor, Jordi Cortadella: An Efficient Unique State Coding Algorithm for Signal Transition Graphs. ICCD 1993: 174-177
5		Jordi Cortadella, Tomás Lang: Division with speculation of quotient digits. IEEE Symposium on Computer Arithmetic 1993: 87-94
4		Mateo Valero, Jordi Cortadella, Antonio González: Chairmen's introduction. Microprocessing and Microprogramming 38(1-5): (1993)
3		Jordi Cortadella: Session B2: Processor Architecture II. Microprocessing and Microprogramming 38(1-5): 131 (1993)
2		Fermín Sánchez, Jordi Cortadella: Resource-constrained pipelining based on loop transformations. Microprocessing and Microprogramming 38(1-5): 429-436 (1993)
	1992
1		Jordi Cortadella, José M. Llabería: Evaluation of A + B = K Conditions Without Carry Propagation. IEEE Trans. Computers 41(11): 1484-1488 (1992)

Coauthor Index

1	Rosa M. Badia	[10] [38]
2	David Bañeres	[73] [89] [96] [109] [112] [119]
3	Peter A. Beerel	[69]
4	Ivan Blunno	[74]
5	Dmitry Bufistov	[94] [98] [103] [115] [126]
6	Steven M. Burns	[40] [44] [54]
7	Josep Carmona	[53] [55] [59] [61] [64] [65] [81] [83] [86] [98] [99] [100] [102] [105] [107] [116] [117] [118] [120] [125] [128] [129]
8	Jonas Casanova	[111]
9	Satrajit Chatterjee	[122]
10	Robert Clarisó	[70] [75] [78] [80] [90] [92]
11	José Manuel Colom	[81]
12	Gianluca Cornetta	[43] [52]
13	José A. B. Fortes	[9]
14	Fernando García-Vallés	[81]
15	Jim D. Garside	[56]
16	Ran Ginosar	[44]
17	Antonio González	[4]
18	Kyller Costa Gorgônio	[79] [91] [95] [101]
19	Alexander Gotmanov	[127]
20	Bill Grundmann	[87] [88]
21	Jorge Júlvez	[84] [98] [103] [115] [117] [121] [128]
22	Timothy Kam	[104]
23	Victor Khomenko	[64]
24	Michael Kishinevsky	[13] [18] [19] [21] [22] [23] [27] [28] [32] [33] [35] [37] [39] [40] [44] [45] [48] [54] [73] [84] [85] [87] [88] [89] [94] [96] [97] [98] [102] [104] [105] [106] [107] [109] [112] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [126] [127] [128]
25	Alex Kondratyev	[18] [19] [21] [22] [23] [27] [28] [30] [33] [35] [37] [39] [41] [45] [46] [48] [49] [50] [54] [58] [66] [67] [69] [71] [72] [74] [77] [82] [93] [102]
26	Sava Krstic	[85] [88]
27	Tomás Lang	[5] [8] [20] [31]
28	Luciano Lavagno	[13] [18] [19] [21] [22] [23] [26] [27] [28] [32] [33] [37] [39] [41] [45] [46] [48] [49] [54] [58] [66] [67] [71] [72] [74] [77] [82] [93] [102] [113]
29	Edward A. Lee	[9]
30	José María Llabería (José M. Llabería)	[1]
31	Kelvin Lwin	[72] [74]
32	Marc Massot	[49]
33	Nilesh Modi	[68]
34	Sandra Moral	[49]
35	Enric Musoll	[11] [12] [20] [31]
36	Nikita Nikitin	[110] [122] [130]
37	John O'Leary	[85] [88]
38	Ümit Y. Ogras	[122]
39	Marc Galceran Oms	[104] [114] [115] [123] [124] [126] [127]
40	Claudio Passerone	[49] [58] [77]
41	Enric Pastor	[6] [7] [10] [14] [15] [16] [21] [24] [25] [26] [30] [34] [39] [42] [50] [51] [53] [55] [60] [61]
42	Javier de San Pedro	[129]
43	Ad M. G. Peeters	[93]
44	Marco A. Peña	[24] [25] [26] [42] [50] [60]
45	Ferdinand Peper	[83] [99]
46	Jordi Petit	[129]
47	Wolfgang Reisig	[76]
48	Enric Rodríguez-Carbonell	[78]
49	Oriol Roig	[10] [14] [15] [16] [24] [30] [51]
50	Marly Roncken	[44]
51	Shai Rotem	[44]
52	Grzegorz Rozenberg	[62]
53	Hiroshi Saito	[41]
54	Fermín Sánchez	[2] [17] [29] [38]
55	Alberto L. Sangiovanni-Vincentelli	[49]
56	Sachin S. Sapatnekar	[94]
57	Alexei L. Semenov	[25] [26]
58	Alexander B. Smirnov	[60]
59	Christos P. Sotiriou	[71] [72] [74] [82]
60	Kenneth S. Stevens (Ken S. Stevens)	[40] [44] [54]
61	Yousuke Takada	[83] [99]
62	Alexander Taubin	[22] [28] [33] [37] [46] [54] [67] [93] [107] [108]
63	Emre Tuncer	[113]
64	Mateo Valero	[4]
65	Gabriel Valiente	[47]
66	Yosinori Watanabe	[49] [58] [66] [67] [77]
67	Fei Xia	[79] [91] [95]
68	Alexandre Yakovlev (Alex Yakovlev)	[13] [18] [19] [21] [22] [23] [25] [26] [27] [32] [33] [37] [39] [41] [45] [48] [54] [56] [62] [64] [79] [91] [102]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page