Alex Kondratyev

2007
61	EE	Alexander Taubin, Jordi Cortadella, Luciano Lavagno, 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)
2006
60	EE	Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel: Schedulability Analysis of Petri Nets Based on Structural Properties. ACSD 2006: 69-78
59	EE	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged processes: a new condensed representation of Petri net behaviour. Acta Inf. 43(5): 307-330 (2006)
58	EE	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)
2005
57	EE	Yinghua Li, Alex Kondratyev, Robert K. Brayton: Gaining Predictability and Noise Immunity in Global Interconnects. ACSD 2005: 176-185
56	EE	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR 2005: 338-352
55	EE	Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: A structural approach to quasi-static schedulability analysis of communicating concurrent programs. EMSOFT 2005: 10-16
54		Yinghua Li, Alex Kondratyev, Robert K. Brayton: Synthesis methodology for built-in at-speed testing. ICCAD 2005: 183-188
53	EE	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)
52	EE	Yajun Ran, Alex Kondratyev, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska: Eliminating false positives in crosstalk noise analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 24(9): 1406-1419 (2005)
51	EE	Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe: A BMC-based formulation for the scheduling problem of hardware systems. STTT 7(2): 102-117 (2005)
2004
50	EE	Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: Handshake Protocols for De-Synchronization. ASYNC 2004: 149-158
49	EE	Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli: The best of both worlds: the efficient asynchronous implementation of synchronous specifications. DAC 2004: 588-591
48	EE	Yajun Ran, Alex Kondratyev, Yosinori Watanabe, Malgorzata Marek-Sadowska: Eliminating False Positives in Crosstalk Noise Analysis. DATE 2004: 1192-1197
47	EE	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: From Synchronous to Asynchronous: An Automatic Approach. DATE 2004: 1368-1369
46	EE	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou: Coping with The Variability of Combinational Logic Delays. ICCD 2004: 505-508
45	EE	Peter A. Beerel, Jordi Cortadella, Alex Kondratyev: Bridging the Gap between Asynchronous Design and Designers. VLSI Design 2004: 18-20
44	EE	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe: Quasi-static Scheduling for Concurrent Architectures. Fundam. Inform. 62(2): 171-196 (2004)
2003
43	EE	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: Quasi-Static Scheduling for Concurrent Architectures. ACSD 2003: 29-40
42	EE	Bo Hu, Yosinori Watanabe, Alex Kondratyev, Malgorzata Marek-Sadowska: Gain-based technology mapping for discrete-size cell libraries. DAC 2003: 574-579
41	EE	Donald Chai, Alex Kondratyev, Yajun Ran, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska: Temporofunctional crosstalk noise analysis. DAC 2003: 860-863
40	EE	Antonio G. Lomeña, Marisa Luisa López-Vallejo, Yosinori Watanabe, Alex Kondratyev: An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling. DATE 2003: 10428-10435
39	EE	Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: A BMC-formulation for the scheduling problem in highly constrained hardware Systems. Electr. Notes Theor. Comput. Sci. 89(4): (2003)
2002
38	EE	Hiroshi Saito, Takashi Nanya, Alex Kondratyev: Design of Asynchronous Controllers with Delay Insensitive Interface. ASP-DAC 2002: 93-98
37	EE	Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl Fant, Alexander Taubin: Checking Delay-Insensitivity: 104 Gates and Beyond. ASYNC 2002: 149-
36	EE	Amy Streich, Alex Kondratyev, Lief Sorensen: Testing of Asynchronous Designs by "Inappropriate" Means: Synchronous Approach. ASYNC 2002: 171-180
35	EE	Alex Kondratyev, Kelvin Lwin: Design of asynchronous circuits by synchronous CAD tools. DAC 2002: 411-414
34	EE	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN 2002: 80-100
33	EE	Hiroshi Saito, Alex Kondratyev, Takashi Nanya: Design of Asynchronous Controllers with Delay Insensitive Interface. VLSI Design 2002: 93-98
32	EE	Alex Kondratyev, Kelvin Lwin: Design of Asynchronous Circuits Using Synchronous CAD Tools. IEEE Design & Test of Computers 19(4): 107-117 (2002)
31	EE	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)
2000
30		Michiel M. Ligthart, Karl Fant, Ross Smith, Alexander Taubin, Alex Kondratyev: Asynchronous Design Using Commercial HDL Synthesis Tools. ASYNC 2000: 114-
29	EE	Marco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev: Formal Verification of Safety Properties in Timed Circuits. ASYNC 2000: 2-11
28	EE	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
27	EE	Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN 2000: 1-15
1999
26	EE	Alexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno: Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC 1999: 36-
25	EE	Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC 1999: 110-115
24	EE	Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: What is the cost of delay insensitivity? ICCAD 1999: 316-323
23	EE	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)
1998
22	EE	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-
21	EE	Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev: Asynchronous Interface Specification, Analysis and Synthesis. DAC 1998: 2-7
20	EE	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
19		Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten: Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. Formal Methods in System Design 12(1): 5-38 (1998)
18	EE	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)
17	EE	Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin: Partial-scan delay fault testing of asynchronous circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 17(11): 1184-1199 (1998)
16	EE	Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev: Hazard-free implementation of speed-independent circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 17(9): 749-771 (1998)
15	EE	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
14	EE	Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC 1997: 240-253
13		Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN 1997: 328-347
12	EE	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
11	EE	Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin: Partial scan delay fault testing of asynchronous circuits. ICCAD 1997: 728-735
10	EE	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
9		Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten: A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. Application and Theory of Petri Nets 1996: 346-365
8	EE	Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC 1996: 63-66
7		Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny: On the Models for Asynchronous Circuit Behaviour with OR Causality. Formal Methods in System Design 9(3): 189-233 (1996)
1995
6	EE	Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev: On hazard-free implementation of speed-independent circuits. ASP-DAC 1995
1994
5		Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno: OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets 1994: 568-587
4	EE	Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexandre Yakovlev: Basic Gate Implementation of Speed-Independent Circuits. DAC 1994: 56-62
3		Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky: Analysis and Identification of Speed-Independent Circuits on an Event Model. Formal Methods in System Design 4(1): 33-75 (1994)
1992
2		Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky: Analysis and Identification of Self-Timed Circuits. Designing Correct Circuits 1992: 275-287
1988
1		Alex Kondratyev, Leonid Ya. Rosenblum, Alexandre Yakovlev: Signal Graphs: A Model for Designing Concurrent Logic. ICPP (1) 1988: 51-54

Coauthor Index

1	Peter A. Beerel	[45]
2	Ivan Blunno	[50]
3	Robert K. Brayton	[54] [57]
4	Steven M. Burns	[31]
5	Gianpiero Cabodi	[39] [51]
6	Donald Chai	[41]
7	Jordi Cortadella	[8] [10] [12] [13] [14] [15] [18] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [31] [34] [43] [44] [45] [46] [47] [50] [53] [58] [61]
8	Abhijit Davare	[49]
9	Jörg Desel	[60]
10	Karl Fant	[30] [37]
11	Bo Hu	[42]
12	Victor Khomenko	[56] [59]
13	Michael Kishinevsky	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [20] [21] [22] [23] [25] [27] [31]
14	Maciej Koutny	[56] [59]
15	Luciano Lavagno	[5] [7] [8] [10] [11] [12] [13] [14] [15] [17] [20] [22] [23] [24] [25] [26] [27] [28] [31] [34] [39] [43] [44] [46] [47] [50] [51] [53] [58] [61]
16	Yinghua Li	[54] [57]
17	Michiel M. Ligthart	[30]
18	Bill Lin	[4]
19	Cong Liu	[55] [60]
20	Antonio G. Lomeña	[40]
21	Marisa Luisa López-Vallejo	[40]
22	Kelvin Lwin	[32] [35] [47] [49] [50]
23	Malgorzata Marek-Sadowska	[41] [42] [48] [52]
24	Marc Massot	[28]
25	Sandra Moral	[28]
26	Takashi Nanya	[33] [38]
27	Lawrence Neukom	[37]
28	Sergio Nocco	[39] [51]
29	Claudio Passerone	[28] [34] [53]
30	Enric Pastor	[12] [18] [23] [29]
31	Ad M. G. Peeters	[61]
32	Marco A. Peña	[29]
33	Marta Pietkiewicz-Koutny	[7]
34	Stefano Quer	[39] [51]
35	Yajun Ran	[41] [48] [52]
36	Oriol Roig	[18] [37]
37	Leonid Ya. Rosenblum	[1]
38	Hiroshi Saito	[24] [33] [38]
39	Alexander Saldanha	[11] [17]
40	Alberto L. Sangiovanni-Vincentelli	[28] [49] [55] [60]
41	Ross Smith	[30]
42	Lief Sorensen	[36]
43	Christos P. Sotiriou	[46] [47] [50] [58]
44	Ken S. Stevens	[31]
45	Amy Streich	[36]
46	Alexander Taubin	[2] [3] [9] [11] [13] [15] [17] [19] [20] [22] [26] [30] [31] [37] [44] [61]
47	Sergei Ten	[9] [19]
48	Kenneth H. Tseng	[41] [52]
49	Peter Vanbekbergen	[4]
50	Victor Varshavsky	[2] [3]
51	Walter Vogler	[56] [59]
52	Yosinori Watanabe	[28] [34] [39] [40] [41] [42] [43] [44] [48] [51] [52] [53] [55] [60]
53	Alexandre Yakovlev	[1] [4] [5] [6] [7] [8] [10] [12] [13] [14] [16] [20] [22] [23] [24] [25] [27] [31]

Colors in the list of coauthors