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)

Verification of the speed-independent circuits by STG unfoldings. - Alex Kondratyev; Alexander Taubin (ASYNC, 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)

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)

Coupling Asynchrony and Interrupts: Place Chart Nets. - Michael Kishinevsky; Jordi Cortadella; Alex Kondratyev; Luciano Lavagno; Alexander Taubin; Alexandre Yakovlev (ICATPN, 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)

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)

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

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

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

Design of Delay-Insensitive Three Dimension Pipeline Array Multiplier for Image Processing. - Alexander Taubin; Karl Fant; John McCardle (ICCD, 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)

Differential Fault Analysis Attack Resistant Architectures for the Advanced Encryption Standard. - Mark G. Karpovsky; Konrad J. Kulikowski; Alexander Taubin (CARDIS, 2004)

Robust Protection against Fault-Injection Attacks on Smart Cards Implementing the Advanced Encryption Standard. - Mark G. Karpovsky; Konrad J. Kulikowski; Alexander Taubin (DSN, 2004)

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

New Class of Nonlinear Systematic Error Detecting Codes. - Mark G. Karpovsky; Alexander Taubin (IEEE Trans. Inf. Theory, 2004)

An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library. - Alexander B. Smirnov; Alexander Taubin; Ming Su; Mark G. Karpovsky (ACSD, 2005)

Delay Insensitive Encoding and Power Analysis: A Balancing Act. - Konrad J. Kulikowski; Ming Su; Alexander B. Smirnov; Alexander Taubin; Mark G. Karpovsky; Daniel MacDonald (ASYNC, 2005)

Automated Design of Cryptographic Devices Resistant to Multiple Side-Channel Attacks. - Konrad J. Kulikowski; Alexander B. Smirnov; Alexander Taubin (CHES, 2006)

Fault Attack Resistant Cryptographic Hardware with Uniform Error Detection. - Konrad J. Kulikowski; Mark G. Karpovsky; Alexander Taubin (FDTC, 2006)

DPA on Faulty Cryptographic Hardware and Countermeasures. - Konrad J. Kulikowski; Mark G. Karpovsky; Alexander Taubin (FDTC, 2006)

Power Attacks on Secure Hardware Based on Early Propagation of Data. - Konrad J. Kulikowski; Mark G. Karpovsky; Alexander Taubin (IOLTS, 2006)

A Highly Scalable GALS Crossbar Using Token Ring Arbitration. - Tejpal Singh; Alexander Taubin (IEEE Des. Test Comput., 2007)

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)

Robust codes and robust, fault-tolerant architectures of the Advanced Encryption Standard. - Konrad J. Kulikowski; Mark G. Karpovsky; Alexander Taubin (J. Syst. Archit., 2007)

Power Balanced Gates Insensitive to Routing Capacitance Mismatch. - Konrad J. Kulikowski; Vyas Venkataraman; Zhen Wang 001; Alexander Taubin (DATE, 2008)

Asynchronous balanced gates tolerant to interconnect variability. - Konrad J. Kulikowski; Vyas Venkataraman; Zhen Wang 001; Alexander Taubin; Mark G. Karpovsky (ISCAS, 2008)

Heuristic Based throughput Analysis and Optimization of Asynchronous Pipelines. - Alexander B. Smirnov; Alexander Taubin (ASYNC, 2009)

Elastic Circuits. - Josep Carmona 001; Jordi Cortadella; Michael Kishinevsky; Alexander Taubin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)

Guest Editorial: Special Section on Asynchronous Circuits and Systems. - Jordi Cortadella; Alexander Taubin (IEEE Trans. Very Large Scale Integr. Syst., 2009)