Alex Kondratyev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
10
Active years
1988–2013
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | DATE | Share with care: a quantitative evaluation of sharing approaches in high-level synthesis. | Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2012 | DATE | Exploiting area/delay tradeoffs in high-level synthesis. | Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2011 | DATE | Realistic performance-constrained pipelining in high-level synthesis. | Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2010 | ASPDAC | Incremental high-level synthesis. | Luciano Lavagno, Alex Kondratyev, Yosinori Watanabe, Qiang Zhu, Mototsugu Fujii, Mitsuru Tatesawa, Noriyasu Nakayama |
| 2005 | CONCUR | Merged Processes - A New Condensed Representation of Petri Net Behaviour. | Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler |
| 2005 | EMSOFT | A structural approach to quasi-static schedulability analysis of communicating concurrent programs. | Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli |
| 2005 | ICCAD | Synthesis methodology for built-in at-speed testing. | Yinghua Li, Alex Kondratyev, Robert K. Brayton |
| 2004 | DAC | The best of both worlds: the efficient asynchronous implementation of synchronous specifications. | Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli |
| 2004 | DATE | From Synchronous to Asynchronous: An Automatic Approach. | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou |
| 2004 | DATE | Eliminating False Positives in Crosstalk Noise Analysis. | Yajun Ran, Alex Kondratyev, Yosinori Watanabe, Malgorzata Marek-Sadowska |
| 2004 | ICCD | Coping with The Variability of Combinational Logic Delays. | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou |
| 2004 | VLSID | Bridging the Gap between Asynchronous Design and Designers. | Peter A. Beerel, Jordi Cortadella, Alex Kondratyev |
| 2003 | DAC | Temporofunctional crosstalk noise analysis. | Donald Chai, Alex Kondratyev, Yajun Ran, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska |
| 2003 | DAC | Gain-based technology mapping for discrete-size cell libraries. | Bo Hu, Yosinori Watanabe, Alex Kondratyev, Malgorzata Marek-Sadowska |
| 2003 | DATE | An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling. | Antonio G. Lomea, Marisa Luisa Lpez-Vallejo, Yosinori Watanabe, Alex Kondratyev |
| 2002 | DAC | Design of asynchronous circuits by synchronous CAD tools. | Alex Kondratyev, Kelvin Lwin |
| 2002 | VLSID | Design of Asynchronous Controllers with Delay Insensitive Interface. | Hiroshi Saito, Alex Kondratyev, Takashi Nanya |
| 2000 | DAC | 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 |
| 1999 | DAC | Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. | Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev |
| 1999 | ICCAD | What is the cost of delay insensitivity? | Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev |
| 1998 | DAC | Asynchronous Interface Specification, Analysis and Synthesis. | Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev |
| 1998 | ICCAD | Lazy transition systems: application to timing optimization of asynchronous circuits. | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev |
| 1997 | DATE | Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev |
| 1997 | ICCAD | Decomposition and technology mapping of speed-independent circuits using Boolean relations. | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev |
| 1997 | ICCAD | Partial scan delay fault testing of asynchronous circuits. | Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin |
| 1996 | DAC | Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev |
| 1996 | DATE | Structural Methods for the Synthesis of Speed-Independent Circuits. | Enric Pastor, Oriol Roig, Jordi Cortadella, Alex Kondratyev |
| 1995 | ASPDAC | On hazard-free implementation of speed-independent circuits. | Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev |
| 1995 | DATE | Checking signal transition graph implementability by symbolic BDD traversal. | Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev |
| 1994 | DAC | Basic Gate Implementation of Speed-Independent Circuits. | Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexandre Yakovlev |
| 1994 | PDP | Change Diagram : A behavioural model for very speed VLSI circuit/highly parallel systems. | Alex Kondratyev, Alexander Taubin, Victor Varshavsky, Michael Kishinevsky, Edwige E. Pissaloux |
| 1988 | ICPP | Signal Graphs: A Model for Designing Concurrent Logic. | Alex Kondratyev, Leonid Ya. Rosenblum, Alexandre Yakovlev |