M. Kishinevsky
发表
Luciano Lavagno,
Alexandre Yakovlev,
Jordi Cortadella,
1998,
Proceedings 1998 International Conference on Application of Concurrency to System Design.
Jordi Cortadella,
Michael Kishinevsky,
Alex Kondratyev,
1996
.
Sachin S. Sapatnekar,
Jordi Cortadella,
Michael Kishinevsky,
2007,
ICCAD 2007.
J. Cortadella,
A. Kondratyev,
M. Kishinevsky,
1999
.
J. Cortadella,
A. Kondratyev,
M. Kishinevsky,
1998
.
A. Yakovlev,
A. Kondratyev,
M. Kishinevsky,
1995,
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
J. Staunstrup,
M. Kishinevsky,
1994
.
Luciano Lavagno,
Alexandre Yakovlev,
Jordi Cortadella,
1995,
ICCAD.
A. Yakovlev,
A. Kondratyev,
M. Kishinevsky,
1998
.
Ümit Y. Ogras,
Michael Kishinevsky,
Raid Ayoub,
2018,
DAC.
Susmit Jha,
Michael Kishinevsky,
Gokhan Memik,
2014,
2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).
Michael Kishinevsky,
Alex Kondratyev,
Alexander Taubin,
1992,
Designing Correct Circuits.
T. Mudge,
R. Marculescu,
M. Kishinevsky,
2022,
ACM Transactions on Embedded Computing Systems.
Natalie D. Enright Jerger,
Hannu Tenhunen,
Meikang Qiu,
2012,
NOCS.
Luciano Lavagno,
Michael Kishinevsky,
Peter Vanbekbergen,
1995
.
Luciano Lavagno,
Alex Yakovlev,
Jordi Cortadella,
1997
.
Alexander Saldanha,
Luciano Lavagno,
Michael Kishinevsky,
1997,
International Conference on Computer Aided Design.
Paul Gratz,
Jiang Hu,
Paul V. Gratz,
2020,
2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA).
Umit Y. Ogras,
Michael Kishinevsky,
Sudeep Pasricha,
2020,
IEEE Design & Test.
Partha Pratim Pande,
Ümit Y. Ogras,
Janardhan Rao Doppa,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Ümit Y. Ogras,
Michael Kishinevsky,
Satrajit Chatterjee,
2010,
2010 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Philip Brisk,
Michael Kishinevsky,
Emily Shriver,
2019,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
T. Mudge,
R. Marculescu,
M. Kishinevsky,
2022,
ACM Trans. Embed. Comput. Syst..
Umit Y. Ogras,
Ümit Y. Ogras,
Michael Kishinevsky,
2018,
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Michael Kishinevsky,
Gokhan Memik,
Begum Egilmez,
2017,
ACM Trans. Embed. Comput. Syst..
Michael Kishinevsky,
Timothy Kam,
Steve Haynal,
2008,
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
Josep Carmona,
Jordi Cortadella,
Michael Kishinevsky,
2009,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Josep Carmona,
Alexander Taubin,
Jordi Cortadella,
2009
.
Sachin S. Sapatnekar,
Jordi Cortadella,
Michael Kishinevsky,
2015,
Proceedings of the IEEE.
Sachin S. Sapatnekar,
Jordi Cortadella,
Michael Kishinevsky,
2015
.
Michael Kishinevsky,
Christos Kozyrakis,
Ramesh Illikkal,
2021,
IEEE Computer Architecture Letters.
Luciano Lavagno,
Alexandre Yakovlev,
Jordi Cortadella,
2000,
ICATPN.
Jordi Cortadella,
Michael Kishinevsky,
Alex Kondratyev,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Luciano Lavagno,
Alexandre Yakovlev,
Jordi Cortadella,
1998,
IEEE Trans. Computers.
Luciano Lavagno,
Josep Carmona,
Alexandre Yakovlev,
2008,
Petri Nets.
Josep Carmona,
Jordi Cortadella,
Michael Kishinevsky,
2010,
IEEE Transactions on Computers.
Josep Carmona,
Jordi Cortadella,
Michael Kishinevsky,
2009,
BPM.
Josep Carmona,
Jordi Cortadella,
Michael Kishinevsky,
2008,
BPM.
Michael Kishinevsky,
Gérard Berry,
Laurent Arditi,
2004,
FMCAD.
Xi Chen,
Jiang Hu,
Ümit Y. Ogras,
2012,
2012 IEEE/ACM Sixth International Symposium on Networks-on-Chip.
Sanjit A. Seshia,
Daniel E. Holcomb,
Michael Kishinevsky,
2012,
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012).
Josep Carmona,
Jordi Cortadella,
Michael Kishinevsky,
2009,
2009 Ninth International Conference on Application of Concurrency to System Design.
Jordi Cortadella,
Michael Kishinevsky,
Josep Carmona Vargas,
2009
.
A. Nicolau,
Rajesh K. Gupta,
T. Kam,
2002,
Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
Paul V. Gratz,
Erick Carvajal Barboza,
M. Ketkar,
2023,
ArXiv.
Luciano Lavagno,
Jordi Cortadella,
Michael Kishinevsky,
1998,
J. Circuits Syst. Comput..
Luciano Lavagno,
Alexandre Yakovlev,
Alex Kondratyev,
1997
.
Luciano Lavagno,
Alex Yakovlev,
Jordi Cortadella,
1995,
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Alexandre Yakovlev,
Bill Lin,
Michael Kishinevsky,
1994,
31st Design Automation Conference.
David Bañeres,
Jordi Cortadella,
Michael Kishinevsky,
2006,
GLSVLSI '06.
Jordi Cortadella,
Michael Kishinevsky,
Marc Galceran Oms,
2010,
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Ümit Y. Ogras,
Michael Kishinevsky,
Raid Ayoub,
2019,
ACM Trans. Embed. Comput. Syst..
Philip Brisk,
Michael Kishinevsky,
Kenneth O'Neal,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Xi Chen,
Jiang Hu,
Ümit Y. Ogras,
2013,
2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).
Josep Carmona,
Jordi Cortadella,
Michael Kishinevsky,
2008,
Trans. Petri Nets Other Model. Concurr..
Josep Carmona,
Jordi Cortadella,
Michael Kishinevsky,
2011,
Fundam. Informaticae.
P. Pande,
M. Kishinevsky,
R. Ayoub,
2023,
2023 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED).
P. Pande,
M. Kishinevsky,
Aryan Deshwal,
2023,
ACM Trans. Design Autom. Electr. Syst..
Jordi Cortadella,
Michael Kishinevsky,
Marc Galceran Oms,
2011,
JETC.
Jordi Cortadella,
Michael Kishinevsky,
Marc Galceran Oms,
2010,
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
Marc Galceran Oms,
T. Kam,
J. Cortadella,
2008,
2008 IEEE/ACM International Conference on Computer-Aided Design.
Jordi Cortadella,
Michael Kishinevsky,
Bill Grundmann,
2006,
2006 43rd ACM/IEEE Design Automation Conference.
Michael Kishinevsky,
Alex Kondratyev,
Alexander Taubin,
1994,
Formal Methods Syst. Des..
J. Cortadella,
M. Kishinevsky,
Luciano Lavagno,
1998,
IEEE Trans. Computers.
Michael Kishinevsky,
Alex Kondratyev,
Alexander Taubin,
1994,
J. VLSI Signal Process..
Michael Kishinevsky,
Charlie Tai,
Pietro Mercati,
2021,
2021 IFIP/IEEE International Symposium on Integrated Network Management (IM).
Umit Y. Ogras,
Michael Kishinevsky,
Suat Gumussoy,
2018,
IEEE Transactions on Computers.
Jordi Cortadella,
Michael Kishinevsky,
Marc Galceran Oms,
2009,
2009 46th ACM/IEEE Design Automation Conference.
Josep Carmona,
Jordi Cortadella,
Michael Kishinevsky,
2009,
2009 Ninth International Conference on Application of Concurrency to System Design.
Jordi Cortadella,
Michael Kishinevsky,
J. Cortadella,
2008,
2008 8th International Conference on Application of Concurrency to System Design.
Jordi Cortadella,
Michael Kishinevsky,
Marc Galceran Oms,
2009,
2009 46th ACM/IEEE Design Automation Conference.
Jordi Cortadella,
Michael Kishinevsky,
J. Cortadella,
2007,
2007 44th ACM/IEEE Design Automation Conference.