M. Soeken
发表
Giovanni De Micheli,
Mathias Soeken,
Luca Gaetano Amarù,
2016,
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL).
Giovanni De Micheli,
Mathias Soeken,
Sabine Süsstrunk,
2018,
2018 IEEE International Symposium on Circuits and Systems (ISCAS).
F. Kaplan,
Edo Collins,
S. Süsstrunk,
2017
.
R. Drechsler,
L. Mädler,
M. Soeken,
2016
.
Liana Musat,
Andi Buzo,
G. Pelz,
2014
.
N. Bjørner,
G. Micheli,
M. Soeken,
2019
.
G. Micheli,
Miguel Couceiro,
L. Amarù,
2018
.
Mathias Soeken,
Winston Haaswijk,
Alan Mishchenko,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
G. Micheli,
M. Soeken,
Winston Haaswijk,
2019
.
G. Micheli,
M. Soeken,
Eleonora Testa,
2019
.
R. Brayton,
G. Micheli,
A. Mishchenko,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
R. Brayton,
A. Mishchenko,
M. Soeken,
2017
.
M. Rötteler,
M. Soeken,
M. Roetteler,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Miguel Couceiro,
M. Soeken,
Erkko Lehtonen,
2018
.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2017,
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL).
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2018,
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Kaitlin N. Smith,
G. De Micheli,
M. Soeken,
2022,
IEEE Journal on Emerging and Selected Topics in Circuits and Systems.
T. Hoefler,
Prakash Murali,
M. Troyer,
2022,
ArXiv.
Mathias Soeken,
D. Michael Miller,
D. M. Miller,
2020,
J. Multiple Valued Log. Soft Comput..
M. Soeken,
Vadym Kliuchnikov,
Martin Roetteler,
2022,
2211.01133.
Rudy Lauwereins,
Giovanni De Micheli,
Mathias Soeken,
2016,
2016 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH).
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2016
.
Giovanni De Micheli,
Mathias Soeken,
Nabila Abdessaied,
2016,
RC.
Giovanni De Micheli,
Mathias Soeken,
Fereshte Mozafari,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Mathias Soeken,
Martin Rötteler,
Thomas Häner,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Mathias Soeken,
Michael Naehrig,
Samuel Jaques,
2020,
IACR Cryptol. ePrint Arch..
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
RC.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).
M. Soeken,
G. Meuli,
G. De Micheli,
2022,
npj Quantum Information.
M. Rötteler,
M. Soeken,
G. Meuli,
2020,
Proc. ACM Program. Lang..
Mathias Soeken,
Thomas Häner,
Martin Rötteler,
2020,
ArXiv.
M. Soeken,
Thomas Häner,
Mathias Soeken,
2022,
ACM Transactions on Quantum Computing.
Martin Roetteler,
Mathias Soeken,
Matthias Troyer,
2020,
Nature Reviews Physics.
Giovanni De Micheli,
Mathias Soeken,
Nikolaj Bjørner,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Martin Roetteler,
Mathias Soeken,
Thomas Haener,
2018,
RC.
Mathias Soeken,
Giovanni De Micheli,
Fereshte Mozafari,
2019,
Philosophical Transactions of the Royal Society A.
M. Soeken,
Vadym Kliuchnikov,
Martin Roetteler,
2022,
2210.03680.
Giovanni De Micheli,
Mathias Soeken,
Alan Mishchenko,
2019,
2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL).
Wouter Castryck,
Mathias Soeken,
Oliver Keszöcze,
2015,
2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL).
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).
Mathias Soeken,
Eleonora Testa,
Giovanni De Micheli,
2019,
Proceedings of the IEEE.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2018,
ArXiv.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
TOOLS.
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2018,
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Mathias Soeken,
Winston Haaswijk,
Eleonora Testa,
2019,
IEEE Transactions on Computers.
Rudy Lauwereins,
Giovanni De Micheli,
Mathias Soeken,
2017,
2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
Mathias Soeken,
Luca Gaetano Amarù,
Giovanni De Micheli,
2017,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Giovanni De Micheli,
Mathias Soeken,
Alan Mishchenko,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Martin Gogolla,
Mirco Kuhlmann,
Robert Wille,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2011,
TAP@TOOLS.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2010,
Design Automation Conference.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2017,
2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).
G. De Micheli,
M. Soeken,
Heinz Riener,
2021,
IEEE Transactions on Quantum Engineering.
Rolf Drechsler,
Mathias Soeken,
Daniel Große,
2018,
IPSJ Trans. Syst. LSI Des. Methodol..
Rolf Drechsler,
Mathias Soeken,
Ulrich Kühne,
2014,
TAP@STAF.
Rolf Drechsler,
Mathias Soeken,
Daniel Große,
2013,
2013 8th International Workshop on Automation of Software Test (AST).
Rolf Drechsler,
Mathias Soeken,
Daniel Große,
2012,
2012 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2016,
IET Cyper-Phys. Syst.: Theory & Appl..
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Rolf Drechsler,
Mathias Soeken,
Baruch Sterin,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Giovanni De Micheli,
Mathias Soeken,
Giulia Meuli,
2018,
RC.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Mathias Soeken,
Eleonora Testa,
D. Michael Miller,
2019,
2019 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM).
Mathias Soeken,
D. Michael Miller,
D. M. Miller,
2018,
2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL).
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.
Mathias Soeken,
D. M. Miller,
M. Soeken,
2019,
Advanced Boolean Techniques.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012
.
Mathias Soeken,
Anupam Chattopadhyay,
A. Chattopadhyay,
2016,
2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2014,
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
ICGT.
Martin Roetteler,
Mathias Soeken,
M. Soeken,
2020,
2020 IEEE International Conference on Quantum Computing and Engineering (QCE).
Rolf Drechsler,
Mathias Soeken,
R. Drechsler,
2013,
DDECS.
Giovanni De Micheli,
Martin Roetteler,
Mathias Soeken,
2019,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Mathias Soeken,
Yinshui Xia,
Giovanni De Micheli,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Giovanni De Micheli,
Mathias Soeken,
Fereshte Mozafari,
2020,
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL).
Giovanni De Micheli,
Mathias Soeken,
Anupam Chattopadhyay,
2019,
2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL).
Giovanni De Micheli,
Mathias Soeken,
Martin Rötteler,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Giovanni De Micheli,
Mathias Soeken,
Martin Rötteler,
2017,
ArXiv.
Gerhard W. Dueck,
Mathias Soeken,
D. Michael Miller,
2016,
2016 IEEE International Symposium on Circuits and Systems (ISCAS).
Rolf Drechsler,
Mathias Soeken,
Nabila Abdessaied,
2016,
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL).
Rolf Drechsler,
Mathias Soeken,
Nabila Abdessaied,
2016,
Theor. Comput. Sci..
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2016,
Integr..
Rolf Drechsler,
Mathias Soeken,
Nabila Abdessaied,
2015,
RC.
Gerhard W. Dueck,
Mathias Soeken,
Md. Mazder Rahman,
2015,
2015 IEEE International Symposium on Multiple-Valued Logic.
Rolf Drechsler,
Mathias Soeken,
D. Michael Miller,
2014,
RC.
Rolf Drechsler,
Mathias Soeken,
Nabila Abdessaied,
2014,
RC.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2014,
Integr..
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
17th Asia and South Pacific Design Automation Conference.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
2013 IEEE 43rd International Symposium on Multiple-Valued Logic.
Mathias Soeken,
Mariia Mykhailova,
M. Soeken,
2021,
Q-SET@QCE.