Alex Kondratyev

	2012
68		Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe: Exploiting area/delay tradeoffs in high-level synthesis. DATE 2012: 1024-1029
	2011
67		Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe: Realistic performance-constrained pipelining in high-level synthesis. DATE 2011: 1382-1387
	2010
66		Luciano Lavagno, Alex Kondratyev, Yosinori Watanabe, Qiang Zhu, Mototsugu Fujii, Mitsuru Tatesawa, Noriyasu Nakayama: Incremental high-level synthesis. ASP-DAC 2010: 701-706
65		Gianpiero Cabodi, Luciano Lavagno, Marco Murciano, Alex Kondratyev, Yosinori Watanabe: Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques. ACM Trans. Design Autom. Electr. Syst. 15(2): (2010)
	2008
64		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
63		Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli: Schedulability Analysis of Petri Nets Based on Structural Properties. Fundam. Inform. 86(3): 325-341 (2008)
	2007
62		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)
	2006
61		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
60		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)
59		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
58		Yinghua Li, Alex Kondratyev, Robert K. Brayton: Gaining Predictability and Noise Immunity in Global Interconnects. ACSD 2005: 176-185
57		Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR 2005: 338-352
56		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
55		Yinghua Li, Alex Kondratyev, Robert K. Brayton: Synthesis methodology for built-in at-speed testing. ICCAD 2005: 183-188
54		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)
53		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)
52		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
51		Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: Handshake Protocols for De-Synchronization. ASYNC 2004: 149-158
50		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
49		Yajun Ran, Alex Kondratyev, Yosinori Watanabe, Malgorzata Marek-Sadowska: Eliminating False Positives in Crosstalk Noise Analysis. DATE 2004: 1192-1197
48		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: From Synchronous to Asynchronous: An Automatic Approach. DATE 2004: 1368-1369
47		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou: Coping with The Variability of Combinational Logic Delays. ICCD 2004: 505-508
46		Peter A. Beerel, Jordi Cortadella, Alex Kondratyev: Bridging the Gap between Asynchronous Design and Designers. VLSI Design 2004: 18-20
45		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe: Quasi-static Scheduling for Concurrent Architectures. Fundam. Inform. 62(2): 171-196 (2004)
	2003
44		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: Quasi-Static Scheduling for Concurrent Architectures. ACSD 2003: 29-40
43		Bo Hu, Yosinori Watanabe, Alex Kondratyev, Malgorzata Marek-Sadowska: Gain-based technology mapping for discrete-size cell libraries. DAC 2003: 574-579
42		Donald Chai, Alex Kondratyev, Yajun Ran, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska: Temporofunctional crosstalk noise analysis. DAC 2003: 860-863
41		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
40		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): 623-638 (2003)
	2002
39		Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl Fant, Alexander Taubin: Checking Delay-Insensitivity: 104 Gates and Beyond. ASYNC 2002: 149-157
38		Amy Streich, Alex Kondratyev, Lief Sorensen: Testing of Asynchronous Designs by "Inappropriate" Means: Synchronous Approach. ASYNC 2002: 171-180
37		Alex Kondratyev, Kelvin Lwin: Design of asynchronous circuits by synchronous CAD tools. DAC 2002: 411-414
36		Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN 2002: 80-100
35		Hiroshi Saito, Alex Kondratyev, Takashi Nanya: Design of Asynchronous Controllers with Delay Insensitive Interface. VLSI Design 2002: 93-98
34		Alex Kondratyev, Kelvin Lwin: Design of Asynchronous Circuits Using Synchronous CAD Tools. IEEE Design & Test of Computers 19(4): 107-117 (2002)
33		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
32		Michiel M. Ligthart, Karl Fant, Ross Smith, Alexander Taubin, Alex Kondratyev: Asynchronous Design Using Commercial HDL Synthesis Tools. ASYNC 2000: 114-
31		Marco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev: Formal Verification of Safety Properties in Timed Circuits. ASYNC 2000: 2-11
30		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
29		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN 2000: 1-15
	1999
28		Alexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno: Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC 1999: 36-
27		Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC 1999: 110-115
26		Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: What is the cost of delay insensitivity? ICCAD 1999: 316-323
25		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
24		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
23		Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev: Asynchronous Interface Specification, Analysis and Synthesis. DAC 1998: 2-7
22		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
21		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)
20		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)
19		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)
18		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)
17		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
16		Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC 1997: 240-253
15		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
14		Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN 1997: 328-347
13		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
12		Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin: Partial scan delay fault testing of asynchronous circuits. ICCAD 1997: 728-735
11		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
10		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
9		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC 1996: 63-66
8		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
7		Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev: On hazard-free implementation of speed-independent circuits. ASP-DAC 1995
	1994
6		Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno: OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets 1994: 568-587
5		Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexandre Yakovlev: Basic Gate Implementation of Speed-Independent Circuits. DAC 1994: 56-62
4		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)
3		Michael Kishinevsky, Alex Kondratyev, Alexander Taubin: Specification and analysis of self-timed circuits. VLSI Signal Processing 7(1-2): 117-135 (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	[46]
2	Ivan Blunno	[51]
3	Robert K. Brayton	[55] [58]
4	Steven M. Burns	[33]
5	Gianpiero Cabodi	[40] [52] [65]
6	Josep Carmona	[64]
7	Donald Chai	[42]
8	Jordi Cortadella	[9] [11] [13] [14] [15] [16] [17] [20] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [33] [36] [44] [45] [46] [47] [48] [51] [54] [59] [62] [64]
9	Abhijit Davare	[50]
10	Jörg Desel	[61] [63]
11	Karl Fant	[32] [39]
12	Mototsugu Fujii	[66]
13	Bo Hu	[43]
14	Victor Khomenko	[57] [60]
15	Michael Kishinevsky	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25] [27] [29] [33] [64]
16	Maciej Koutny	[57] [60]
17	Luciano Lavagno	[6] [8] [9] [11] [12] [13] [14] [15] [16] [17] [19] [22] [24] [25] [26] [27] [28] [29] [30] [33] [36] [40] [44] [45] [47] [48] [51] [52] [54] [59] [62] [64] [65] [66] [67] [68]
18	Yinghua Li	[55] [58]
19	Michiel M. Ligthart	[32]
20	Bill Lin	[5]
21	Cong Liu	[56] [61] [63]
22	Antonio G. Lomeña	[41]
23	Marisa López-Vallejo (Marisa Luisa López-Vallejo)	[41]
24	Kelvin Lwin	[34] [37] [48] [50] [51]
25	Malgorzata Marek-Sadowska	[42] [43] [49] [53]
26	Marc Massot	[30]
27	Mike Meyer	[67] [68]
28	Sandra Moral	[30]
29	Marco Murciano	[65]
30	Noriyasu Nakayama	[66]
31	Takashi Nanya	[35]
32	Lawrence Neukom	[39]
33	Sergio Nocco	[40] [52]
34	Claudio Passerone	[30] [36] [54]
35	Enric Pastor	[13] [20] [25] [31]
36	Ad M. G. Peeters	[62]
37	Marco A. Peña	[31]
38	Marta Pietkiewicz-Koutny	[8]
39	Stefano Quer	[40] [52]
40	Yajun Ran	[42] [49] [53]
41	Oriol Roig	[20] [39]
42	Leonid Ya. Rosenblum	[1]
43	Hiroshi Saito	[26] [35]
44	Alexander Saldanha	[12] [19]
45	Alberto L. Sangiovanni-Vincentelli	[30] [50] [56] [61] [63]
46	Ross Smith	[32]
47	Lief Sorensen	[38]
48	Christos P. Sotiriou	[47] [48] [51] [59]
49	Kenneth S. Stevens (Ken S. Stevens)	[33]
50	Amy Streich	[38]
51	Mitsuru Tatesawa	[66]
52	Alexander Taubin	[2] [3] [4] [10] [12] [14] [17] [19] [21] [22] [24] [28] [32] [33] [39] [45] [62]
53	Sergei Ten	[10] [21]
54	Kenneth H. Tseng	[42] [53]
55	Peter Vanbekbergen	[5]
56	Victor Varshavsky	[2] [4]
57	Walter Vogler	[57] [60]
58	Yosinori Watanabe	[30] [36] [40] [41] [42] [43] [44] [45] [49] [52] [53] [54] [56] [61] [63] [65] [66] [67] [68]
59	Alexandre Yakovlev (Alex Yakovlev)	[1] [5] [6] [7] [8] [9] [11] [13] [14] [15] [16] [18] [22] [24] [25] [26] [27] [29] [33] [64]
60	Qiang Zhu	[66]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page