A. Mishchenko

发表

R. Brayton, N. Eén, A. Mishchenko, 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.
R. Brayton, A. Mishchenko, S. Chatterjee, 2005 .
R. Brayton, A. Mishchenko, J. H. Jiang, 2007 .
Alan Mishchenko, A. Mishchenko, J. Jacob, 2001 .
R. Brayton, A. Mishchenko, D. Chai, 2003 .
R. Brayton, A. Mishchenko, T. Villa, 2022 .
R. Brayton, A. Mishchenko, S. Chatterjee, 2004 .
Robert K. Brayton, Alan Mishchenko, Aaron P. Hurst, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
R. Brayton, N. Eén, A. Mishchenko, 2012 .
R. Brayton, N. Eén, A. Mishchenko, 2011 .
R. Brayton, K. Chung, A. Mishchenko, 2009 .
Alan Mishchenko, Robert Brayton, R. Brayton, 2007 .
Anas N. Al-Rabadi, Svetlana Yanushkevich, Xiaoyu Song, 2001 .
Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Marek Perkowski, 2004 .
Mathias Soeken, Winston Haaswijk, Alan Mishchenko, 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
R. Brayton, G. Micheli, A. Mishchenko, 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Alan Mishchenko, Marek Perkowski, Bernd Steinbach, 2001 .
A. Mishchenko, M. Perkowski, C. Files, 2000 .
A. Mishchenko, M. Perkowski, C. Files, 2000 .
Michael L. Case, R. Brayton, A. Mishchenko, 2008 .
Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Jerry R. Burch, 2005 .
Robert K. Brayton, David Berthelot, Alan Mishchenko, 2010, Formal Methods in Computer Aided Design.
R. Brayton, A. Mishchenko, H. Savoj, 2022 .
R. Brayton, A. Mishchenko, 2016 .
R. Brayton, A. Mishchenko, M. Soeken, 2017 .
Alan Mishchenko, Marek Perkowski, A. Mishchenko, 2002 .
P. Ienne, A. Mishchenko, D. Novo, 2013 .
Robert K. Brayton, Alan Mishchenko, Giovanni De Micheli, 2021, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
R. Brayton, A. Mishchenko, Cong Liu, 2004 .
R. Brayton, A. Mishchenko, S. Chatterjee, 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.
J. T. Butler, S. Nagayama, A. Mishchenko, 2005 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .
R. Brayton, A. Mishchenko, J. H. Jiang, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Michael L. Case, R. Brayton, S. Seshia, 2008 .
R. Brayton, A. Mishchenko, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).
Azadeh Davoodi, Zhiru Zhang, Sergio Bampi, 2020, 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Alan Mishchenko, Renato P. Ribas, Jody Maick Matos, 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Alan Mishchenko, Renato P. Ribas, André Inácio Reis, 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Giovanni De Micheli, Mathias Soeken, Alan Mishchenko, 2019, 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL).
Alan Mishchenko, A. Mishchenko, 2000 .
Alan Mishchenko, Nina Amla, Niklas Eén, 2010, Formal Methods in Computer Aided Design.
Giovanni De Micheli, Mathias Soeken, Eleonora Testa, 2021, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Giovanni De Micheli, Mathias Soeken, Winston Haaswijk, 2019, 2019 56th ACM/IEEE Design Automation Conference (DAC).
Robert K. Brayton, Alan Mishchenko, Satrajit Chatterjee, 2006, 2006 43rd ACM/IEEE Design Automation Conference.
A. N. Chebotarev, A. Mishchenko, M. Perkowski, 1999, Proceedings of the First NASA/DoD Workshop on Evolvable Hardware.
A. Mishchenko, M. Perkowski, S. Grygiel, 1999, Proceedings - Design Automation Conference.
Tsutomu Sasao, Alan Mishchenko, A. Mishchenko, 2002, IWLS.
Alan Mishchenko, Timothy Kam, Xinning Wang, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
A. A. Mishchenko, A. T. Mishchenko, A. Mishchenko, 2000 .
Robert K. Brayton, Alan Mishchenko, R. Brayton, 2010, CAV.
Giovanni De Micheli, Mathias Soeken, Alan Mishchenko, 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Robert K. Brayton, Sungmin Cho, Alan Mishchenko, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.
Giovanni De Micheli, Mathias Soeken, Paolo Ienne, 2016, 2016 26th International Conference on Field Programmable Logic and Applications (FPL).
Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2016, SAT.
Jie-Hong Roland Jiang, Alan Mishchenko, Chih-Chun Lee, 2010, IEEE Transactions on Computers.
A. Mishchenko, Chih-Chun Lee, J. H. Jiang, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton, Alan Mishchenko, Niklas Eén, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
Michael L. Case, R. Brayton, A. Mishchenko, 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.
Lingli Wang, Alan Mishchenko, Wenlong Yang, 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
R. Brayton, A. Mishchenko, J. H. Jiang, 2011, TRETS.
Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Marek A. Perkowski, 2002, VLSI Design.
Dmitri B. Strukov, Alan Mishchenko, D. Strukov, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
Robert K. Brayton, Jie-Hong Roland Jiang, Alan Mishchenko, 2016, SAT.
Alan Mishchenko, Cunxi Yu, Maciej Ciesielski, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Joao Marques-Silva, Alan Mishchenko, Huan Chen, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Alan Mishchenko, Martin Zwick, A. Mishchenko, 2006 .
Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2018 .
Andrew A. Kennings, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, 2003, IEEE Trans. Very Large Scale Integr. Syst..
R. Brayton, A. Mishchenko, J. H. Jiang, 2007 .
Robert K. Brayton, Giovanni De Micheli, Mathias Soeken, 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Zheng Huang, Lingli Wang, Alan Mishchenko, 2013, 2013 International Conference on Field-Programmable Technology (FPT).
A. T. Mishchenko, A. Mishchenko, 1967 .
A. T. Mishchenko, A. Mishchenko, 1968 .
Alan Mishchenko, Niklas Sörensson, Niklas Eén, 2007, SAT.
Bernd Steinbach, Alan Mishchenko, A. Mishchenko, 2001 .
Alan Mishchenko, Marek A. Perkowski, A. Mishchenko, 2002, IWLS.
David Novo, Paolo Ienne, Alan Mishchenko, 2015, 2015 International Conference on Field Programmable Technology (FPT).
Alan Mishchenko, Wenyi Feng, Jonathan W. Greene, 2018, FPGA.
Alan Mishchenko, Stephen Jang, Kevin Chung, 2009, TRETS.
Robert K. Brayton, Jie-Hong Roland Jiang, Alan Mishchenko, 2009, FPGA '09.
Alan Mishchenko, Stephen Jang, Kevin Chung, 2008, FPGA '08.
Robert K. Brayton, Alan Mishchenko, Timothy Kam, 2006, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
Robert K. Brayton, Alan Mishchenko, Satrajit Chatterjee, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert K. Brayton, Sayak Ray, Pierluigi Nuzzo, 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).