Signal Graphs: A Model for Designing Concurrent Logic. - Alex Kondratyev; Leonid Ya. Rosenblum; Alexandre Yakovlev (ICPP (1), 1988)

Formal method for self-timed design. - Michael Kishinevsky; Alex Kondratyev; Alexander Taubin (EURO-DAC, 1991)

Analysis and Identification of Self-Timed Circuits. - Michael Kishinevsky; Alex Kondratyev; Alexander Taubin; Victor Varshavsky (Designing Correct Circuits, 1992)

OR Causality: Modelling and Hardware Implementation. - Alexandre Yakovlev; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno (Application and Theory of Petri Nets, 1994)

Verification of the speed-independent circuits by STG unfoldings. - Alex Kondratyev; Alexander Taubin (ASYNC, 1994)

Basic Gate Implementation of Speed-Independent Circuits. - Alex Kondratyev; Michael Kishinevsky; Bill Lin 001; Peter Vanbekbergen; Alexandre Yakovlev (DAC, 1994)

Change Diagram : A behavioural model for very speed VLSI circuit/highly parallel systems. - Alex Kondratyev; Alexander Taubin; Victor Varshavsky; Michael Kishinevsky; Edwige E. Pissaloux (PDP, 1994)

Analysis and Identification of Speed-Independent Circuits on an Event Model. - Michael Kishinevsky; Alex Kondratyev; Alexander Taubin; Victor Varshavsky (Formal Methods Syst. Des., 1994)

Specification and analysis of self-timed circuits. - Michael Kishinevsky; Alex Kondratyev; Alexander Taubin (J. VLSI Signal Process., 1994)

Checking signal transition graph implementability by symbolic BDD traversal. - Alex Kondratyev; Jordi Cortadella; Michael Kishinevsky; Enric Pastor; Oriol Roig; Alexandre Yakovlev (ED&TC, 1995)

A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. - Alex Kondratyev; Michael Kishinevsky; Alexander Taubin; Sergei Ten (Application and Theory of Petri Nets, 1996)

Complete state encoding based on the theory of regions. - Jordi Cortadella; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Alex Yakovlev (ASYNC, 1996)

Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. - Jordi Cortadella; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Alexandre Yakovlev (DAC, 1996)

On the Models for Asynchronous Circuit Behaviour with OR Causality. - Alexandre Yakovlev; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Marta Pietkiewicz-Koutny (Formal Methods Syst. Des., 1996)

Coupling Asynchrony and Interrupts: Place Chart Nets. - Michael Kishinevsky; Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Alexander Taubin; Alexandre Yakovlev (ICATPN, 1997)

Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. - Alex Kondratyev; Michael Kishinevsky; Jordi Cortadella; Luciano Lavagno; Alexandre Yakovlev (ASYNC, 1997)

Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. - Jordi Cortadella; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Alexandre Yakovlev (ED&TC, 1997)

A region-based theory for state assignment in speed-independent circuits. - Jordi Cortadella; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Alexandre Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)

Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. - Alex Kondratyev; Jordi Cortadella; Michael Kishinevsky; Luciano Lavagno; Alexander Taubin; Alexandre Yakovlev (ACSD, 1998)

Asynchronous Interface Specification, Analysis and Synthesis. - Michael Kishinevsky; Jordi Cortadella; Alex Kondratyev (DAC, 1998)

Lazy transition systems: application to timing optimization of asynchronous circuits. - Jordi Cortadella; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Alexander Taubin; Alexandre Yakovlev (ICCAD, 1998)

Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. - Alex Kondratyev; Michael Kishinevsky; Alexander Taubin; Sergei Ten (Formal Methods Syst. Des., 1998)

The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems. - Alex Kondratyev; Michael Kishinevsky; Alexander Taubin; Jordi Cortadella; Luciano Lavagno (J. Circuits Syst. Comput., 1998)

Partial-scan delay fault testing of asynchronous circuits. - Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Alexander Saldanha; Alexander Taubin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Hazard-free implementation of speed-independent circuits. - Alex Kondratyev; Michael Kishinevsky; Alexandre Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Structural methods for the synthesis of speed-independent circuits. - Enric Pastor; Jordi Cortadella; Alex Kondratyev; Oriol Roig (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. - Alexander Taubin; Alex Kondratyev; Jordi Cortadella; Luciano Lavagno (ASYNC, 1999)

Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. - Alex Kondratyev; Jordi Cortadella; Michael Kishinevsky; Luciano Lavagno; Alexandre Yakovlev (DAC, 1999)

What is the cost of delay insensitivity? - Hiroshi Saito; Alex Kondratyev; Jordi Cortadella; Luciano Lavagno; Alexandre Yakovlev (ICCAD, 1999)

Logic decomposition of speed-independent circuits. - Alex Kondratyev; Jordi Cortadella; Michael Kishinevsky; Luciano Lavagno; Alexandre Yakovlev (Proc. IEEE, 1999)

Decomposition and technology mapping of speed-independent circuits using Boolean relations. - Jordi Cortadella; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Enric Pastor; Alexandre Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Hardware and Petri Nets: Application to Asynchronous Circuit Design. - Jordi Cortadella; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Alexandre Yakovlev (ICATPN, 2000)

Asynchronous Design Using Commercial HDL Synthesis Tools. - Michiel M. Ligthart; Karl Fant; Ross Smith 003; Alexander Taubin; Alex Kondratyev (ASYNC, 2000)

Formal Verification of Safety Properties in Timed Circuits. - Marco A. Peña; Jordi Cortadella; Enric Pastor; Alex Kondratyev (ASYNC, 2000)

Task generation and compile-time scheduling for mixed data-control embedded software. - Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Marc Massot; Sandra Moral; Claudio Passerone; Yosinori Watanabe; Alberto L. Sangiovanni-Vincentelli (DAC, 2000)

Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. - Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Claudio Passerone; Yosinori Watanabe (ICATPN, 2002)

Checking Delay-Insensitivity: 104 Gates and Beyond. - Alex Kondratyev; Oriol Roig; Lawrence Neukom; Karl Fant; Alexander Taubin (ASYNC, 2002)

Testing of Asynchronous Designs by "Inappropriate" Means: Synchronous Approach. - Amy Streich; Alex Kondratyev; Lief Sorensen (ASYNC, 2002)

Design of asynchronous circuits by synchronous CAD tools. - Alex Kondratyev; Kelvin Lwin (DAC, 2002)

Design of Asynchronous Controllers with Delay Insensitive Interface. - Hiroshi Saito; Alex Kondratyev; Takashi Nanya (ASP-DAC/VLSI Design, 2002)

Design of Asynchronous Circuits Using Synchronous CAD Tools. - Alex Kondratyev; Kelvin Lwin (IEEE Des. Test Comput., 2002)

Design of Asynchronous Controllers with Delay Insensitive Interface. - Hiroshi Saito; Alex Kondratyev; Jordi Cortadella; Luciano Lavagno; Alex Yakovlev; Takashi Nanya (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions. - Jordi Cortadella; Michael Kishinevsky; Steven M. Burns; Alex Kondratyev; Luciano Lavagno; Ken S. Stevens; Alexander Taubin; Alexandre Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002)

State Space Compression in History Driven Quasi-Static Scheduling. - Antonio G. Lomeña; Marisa López-Vallejo; Yosinori Watanabe; Alex Kondratyev (Embedded Software for SoC, 2003)

Quasi-Static Scheduling for Concurrent Architectures. - Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Yosinori Watanabe (ACSD, 2003)

Temporofunctional crosstalk noise analysis. - Donald Chai; Alex Kondratyev; Yajun Ran; Kenneth H. Tseng; Yosinori Watanabe; Malgorzata Marek-Sadowska (DAC, 2003)

Gain-based technology mapping for discrete-size cell libraries. - Bo Hu 006; Yosinori Watanabe; Alex Kondratyev; Malgorzata Marek-Sadowska (DAC, 2003)

An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling. - Antonio G. Lomeña; Marisa Luisa López-Vallejo; Yosinori Watanabe; Alex Kondratyev (DATE, 2003)

A BMC-formulation for the scheduling problem in highly constrained hardware Systems. - Gianpiero Cabodi; Sergio Nocco; Stefano Quer; Alex Kondratyev; Luciano Lavagno; Yosinori Watanabe (BMC@CAV, 2003)

Handshake Protocols for De-Synchronization. - Ivan Blunno; Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Kelvin Lwin; Christos P. Sotiriou (ASYNC, 2004)

The best of both worlds: the efficient asynchronous implementation of synchronous specifications. - Abhijit Davare; Kelvin Lwin; Alex Kondratyev; Alberto L. Sangiovanni-Vincentelli (DAC, 2004)

From Synchronous to Asynchronous: An Automatic Approach. - Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Kelvin Lwin; Christos P. Sotiriou (DATE, 2004)

Eliminating False Positives in Crosstalk Noise Analysis. - Yajun Ran; Alex Kondratyev; Yosinori Watanabe; Malgorzata Marek-Sadowska (DATE, 2004)

Coping with The Variability of Combinational Logic Delays. - Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Christos P. Sotiriou (ICCD, 2004)

Bridging the Gap between Asynchronous Design and Designers. - Peter A. Beerel; Jordi Cortadella; Alex Kondratyev (VLSI Design, 2004)

Quasi-static Scheduling for Concurrent Architectures. - Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Alexander Taubin; Yosinori Watanabe (Fundam. Informaticae, 2004)

Gaining Predictability and Noise Immunity in Global Interconnects. - Yinghua Li; Alex Kondratyev; Robert K. Brayton (ACSD, 2005)

A structural approach to quasi-static schedulability analysis of communicating concurrent programs. - Cong Liu 013; Alex Kondratyev; Yosinori Watanabe; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2005)

Synthesis methodology for built-in at-speed testing. - Yinghua Li; Alex Kondratyev; Robert K. Brayton (ICCAD, 2005)

A BMC-based formulation for the scheduling problem of hardware systems. - Gianpiero Cabodi; Alex Kondratyev; Luciano Lavagno; Sergio Nocco; Stefano Quer; Yosinori Watanabe (Int. J. Softw. Tools Technol. Transf., 2005)

Quasi-static scheduling of independent tasks for reactive systems. - Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Claudio Passerone; Yosinori Watanabe (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Eliminating false positives in crosstalk noise analysis. - Yajun Ran; Alex Kondratyev; Kenneth H. Tseng; Yosinori Watanabe; Malgorzata Marek-Sadowska (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Quasi-Static Scheduling of Concurrent Specifications. - Luciano Lavagno; Claudio Passerone; Alex Kondratyev; Yosinori Watanabe (Embedded Systems Handbook, 2005)

Merged processes: a new condensed representation of Petri net behaviour. - Victor Khomenko; Alex Kondratyev; Maciej Koutny; Walter Vogler (Acta Informatica, 2006)

Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications. - Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Christos P. Sotiriou (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Design Automation of Real-Life Asynchronous Devices and Systems. - Alexander Taubin; Jordi Cortadella; Luciano Lavagno; Alex Kondratyev; Ad M. G. Peeters (Found. Trends Electron. Des. Autom., 2007)

A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. - Josep Carmona 001; Jordi Cortadella; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Alexandre Yakovlev (Petri Nets, 2008)

Schedulability Analysis of Petri Nets Based on Structural Properties. - Cong Liu 013; Alex Kondratyev; Yosinori Watanabe; Jörg Desel; Alberto L. Sangiovanni-Vincentelli (Fundam. Informaticae, 2008)

Incremental high-level synthesis. - Luciano Lavagno; Alex Kondratyev; Yosinori Watanabe; Qiang Zhu 005; Mototsugu Fujii; Mitsuru Tatesawa; Noriyasu Nakayama (ASP-DAC, 2010)

Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques. - Gianpiero Cabodi; Luciano Lavagno; Marco Murciano; Alex Kondratyev; Yosinori Watanabe (ACM Trans. Design Autom. Electr. Syst., 2010)

Realistic performance-constrained pipelining in high-level synthesis. - Alex Kondratyev; Luciano Lavagno; Mike Meyer; Yosinori Watanabe (DATE, 2011)

Exploiting area/delay tradeoffs in high-level synthesis. - Alex Kondratyev; Luciano Lavagno; Mike Meyer; Yosinori Watanabe (DATE, 2012)

Share with care: a quantitative evaluation of sharing approaches in high-level synthesis. - Alex Kondratyev; Luciano Lavagno; Mike Meyer; Yosinori Watanabe (DATE, 2013)