Mathias Soeken
发表
Mathias Soeken,
Pascal Raiola,
Baruch Sterin,
2016,
Haifa Verification Conference.
Robert K. Brayton,
Giovanni De Micheli,
Mathias Soeken,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giovanni De Micheli,
Mathias Soeken,
Martin Rötteler,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Giovanni De Micheli,
Mathias Soeken,
Fereshte Mozafari,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2018,
2018 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giovanni De Micheli,
Martin Roetteler,
Mathias Soeken,
2019,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Rolf Drechsler,
Mathias Soeken,
Arun Chandrasekharan,
2016,
2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Robert K. Brayton,
Mathias Soeken,
Alan Mishchenko,
2018,
DAC.
Rolf Drechsler,
Mathias Soeken,
Nabila Abdessaied,
2016,
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL).
Rolf Drechsler,
Mathias Soeken,
Oliver Keszöcze,
2018,
Inf. Process. Lett..
Rolf Drechsler,
Mathias Soeken,
Amr A. R. Sayed-Ahmed,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Rolf Drechsler,
Mathias Soeken,
Nabila Abdessaied,
2014,
Inf. Process. Lett..
Giovanni De Micheli,
Mathias Soeken,
Martin Rötteler,
2017,
ArXiv.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).
Rolf Drechsler,
Mathias Soeken,
Pierre-Emmanuel Gaillardon,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2014,
Integr..
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,
2017,
ACM Great Lakes Symposium on VLSI.
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giovanni De Micheli,
Mathias Soeken,
Luca Gaetano Amarù,
2016,
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Mathias Soeken,
Martha Johanna Sepúlveda,
Guy Gogniat,
2016,
2016 IEEE 7th Latin American Symposium on Circuits & Systems (LASCAS).
Rolf Drechsler,
Mathias Soeken,
Nabila Abdessaied,
2015,
RC.
Mathias Soeken,
Alan Mishchenko,
Heinz Riener,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giovanni De Micheli,
Mathias Soeken,
Paolo Ienne,
2016,
2016 26th International Conference on Field Programmable Logic and Applications (FPL).
Rolf Drechsler,
Mathias Soeken,
Ulrich Kühne,
2016,
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Rolf Drechsler,
Mathias Soeken,
Ian G. Harris,
2014,
Proceedings of the 2014 Forum on Specification and Design Languages (FDL).
Rolf Drechsler,
Mathias Soeken,
D. Michael Miller,
2013,
ArXiv.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2011,
2011 41st IEEE International Symposium on Multiple-Valued Logic.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2014,
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Mathias Soeken,
Winston Haaswijk,
Eleonora Testa,
2019,
IEEE Transactions on Computers.
Mathias Soeken,
D. Michael Miller,
D. M. Miller,
2020,
J. Multiple Valued Log. Soft Comput..
Rolf Drechsler,
Mathias Soeken,
D. Michael Miller,
2014,
RC.
Rolf Drechsler,
Mathias Soeken,
Daniel Große,
2016,
GECCO.
Rolf Drechsler,
Mathias Soeken,
Hoang Minh Le,
2014,
2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI).
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2018,
Inf. Process. Lett..
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
RC.
Rolf Drechsler,
Mathias Soeken,
2015
.
Mathias Soeken,
Martin Roetteler,
Thomas Häner,
2020,
Proc. ACM Program. Lang..
Rolf Drechsler,
Mathias Soeken,
Pierre-Emmanuel Gaillardon,
2017
.
Mathias Soeken,
Alan Mishchenko,
Antun Domic,
2018,
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Giovanni De Micheli,
Mathias Soeken,
Pierre-Emmanuel Gaillardon,
2017
.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Rolf Drechsler,
Mathias Soeken,
Daniel Große,
2013,
2013 8th International Workshop on Automation of Software Test (AST).
Giovanni De Micheli,
Mathias Soeken,
Sabine Süsstrunk,
2018,
2018 IEEE International Symposium on Circuits and Systems (ISCAS).
Rolf Drechsler,
Mathias Soeken,
Arun Chandrasekharan,
2016,
2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC).
Mathias Soeken,
Robin Kaarsgaard,
Michael Kirkedal Thomsen,
2015,
RC.
Mathias Soeken,
Michael Kirkedal Thomsen,
Mathias Soeken,
2013,
RC.
Mathias Soeken,
Eleonora Testa,
Alan Mishchenko,
2020,
IEEE Access.
Martin Roetteler,
Mathias Soeken,
Matthias Troyer,
2020,
Nature Reviews Physics.
Martin Gogolla,
Mirco Kuhlmann,
Robert Wille,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Rolf Drechsler,
Mathias Soeken,
2015
.
Mathias Soeken,
Michael Kirkedal Thomsen,
2019,
Lecture Notes in Computer Science.
Giovanni De Micheli,
Martin Roetteler,
Mathias Soeken,
2019
.
Rolf Drechsler,
Mathias Soeken,
Saeideh Shirinzadeh,
2016,
2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2010,
2010 5th International Design and Test Workshop.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2011,
TAP@TOOLS.
Giovanni De Micheli,
Mathias Soeken,
Alan Mishchenko,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Rolf Drechsler,
Mathias Soeken,
Arun Chandrasekharan,
2016,
MBMV.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012
.
Mathias Soeken,
Sandip Ray,
Goerschwin Fey,
2016,
ICCAD.
Rolf Drechsler,
Klaus-Dieter Thoben,
Mathias Soeken,
2014,
APMS.
Gerhard W. Dueck,
Mathias Soeken,
D. Michael Miller,
2016,
RC.
Mathias Soeken,
Anupam Chattopadhyay,
2015,
2015 IEEE International Symposium on Multiple-Valued Logic.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2018,
ArXiv.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
FDL 2012.
Giovanni De Micheli,
Mathias Soeken,
Patrick Vuillod,
2018,
2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
2013 IEEE 43rd International Symposium on Multiple-Valued Logic.
Rolf Drechsler,
Mathias Soeken,
Pierre-Emmanuel Gaillardon,
2016,
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert K. Brayton,
Giovanni De Micheli,
Mathias Soeken,
2017,
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2016
.
Mathias Soeken,
Thomas Häner,
2020,
ArXiv.
Wouter Castryck,
Mathias Soeken,
Oliver Keszöcze,
2015,
2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL).
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2018,
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Rolf Drechsler,
Giovanni De Micheli,
Mathias Soeken,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Martin Roetteler,
Mathias Soeken,
Thomas Haener,
2018,
RC.
Giovanni De Micheli,
Mathias Soeken,
Bruno Schmitt,
2020,
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL).
Rolf Drechsler,
Giovanni De Micheli,
Mathias Soeken,
2016,
2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Robert K. Brayton,
Giovanni De Micheli,
Mathias Soeken,
2016,
SAT.
Martin Gogolla,
Mirco Kuhlmann,
Robert Wille,
2010,
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
Esther Guerra,
Mathias Soeken,
E. Guerra,
2015,
Software & Systems Modeling.
Rolf Drechsler,
Mathias Soeken,
Baruch Sterin,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Mathias Soeken,
Winston Haaswijk,
Alan Mishchenko,
2018,
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Robert Wille,
Rolf Drechsler,
Gerhard W. Dueck,
2010,
13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems.
Martin Roetteler,
Mathias Soeken,
M. Soeken,
2020,
2020 IEEE International Conference on Quantum Computing and Engineering (QCE).
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Rolf Drechsler,
Mathias Soeken,
Saeideh Shirinzadeh,
2015,
GECCO.
Rolf Drechsler,
Mathias Soeken,
Nabila Abdessaied,
2016,
Theor. Comput. Sci..
Giovanni De Micheli,
Mathias Soeken,
Giulia Meuli,
2018,
RC.
Mathias Soeken,
Eleonora Testa,
Giovanni De Micheli,
2019,
Proceedings of the IEEE.
Mathias Soeken,
Martin Rötteler,
Thomas Häner,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2016,
IET Cyper-Phys. Syst.: Theory & Appl..
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
Proceeding of the 2012 Forum on Specification and Design Languages.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
GI-Jahrestagung.
Rolf Drechsler,
Mathias Soeken,
R. Drechsler,
2013,
2013 8th IEEE Design and Test Symposium.
Mathias Soeken,
Giovanni De Micheli,
Fereshte Mozafari,
2019,
Philosophical Transactions of the Royal Society A.
Rolf Drechsler,
Mathias Soeken,
Arman Allahyari-Abhari,
2015,
2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems.
Rolf Drechsler,
Mathias Soeken,
Reinhard X. Fischer,
2015
.
Giovanni De Micheli,
Mathias Soeken,
Nabila Abdessaied,
2016,
RC.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
RC.
Rolf Drechsler,
Mathias Soeken,
Görschwin Fey,
2014,
Proceedings of the 2014 Forum on Specification and Design Languages (FDL).
Rolf Drechsler,
Mathias Soeken,
Arun Chandrasekharan,
2016,
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Giovanni De Micheli,
Mathias Soeken,
Martin Roetteler,
2020,
ISCAS.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
2012 IEEE 42nd International Symposium on Multiple-Valued Logic.
Mathias Soeken,
2020,
IACR Cryptol. ePrint Arch..
Rolf Drechsler,
Mathias Soeken,
Daniel Große,
2012,
2012 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Rolf Drechsler,
Mathias Soeken,
Nabila Abdessaied,
2014,
RC.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
17th Asia and South Pacific Design Automation Conference.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
TOOLS.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2011,
MoDeVVa.
Rudy Lauwereins,
Giovanni De Micheli,
Mathias Soeken,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Giovanni De Micheli,
Mathias Soeken,
Pierre-Emmanuel Gaillardon,
2017,
2017 IEEE International Symposium on Circuits and Systems (ISCAS).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
FDL.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2011,
2011 Design, Automation & Test in Europe.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2019,
2019 IEEE International Symposium on Circuits and Systems (ISCAS).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
ICGT.
Stefan Frehse,
Rolf Drechsler,
Mathias Soeken,
2016,
International Journal on Software Tools for Technology Transfer.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Rolf Drechsler,
Gerhard W. Dueck,
Mathias Soeken,
2015,
2015 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC).
Giovanni De Micheli,
Mathias Soeken,
Nikolaj Bjørner,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2021,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
RC.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2014,
ACM J. Emerg. Technol. Comput. Syst..
Giovanni De Micheli,
Mathias Soeken,
Yinshui Xia,
2018,
2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC).
Rolf Drechsler,
Mathias Soeken,
Fritjof Bornebusch,
2014,
SemEval@COLING.
Giovanni De Micheli,
Mathias Soeken,
Alan Mishchenko,
2019,
2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL).
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2018,
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Rolf Drechsler,
Giovanni De Micheli,
Mathias Soeken,
2017,
Computer.
Giovanni De Micheli,
Mathias Soeken,
Martin Rötteler,
2018,
2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
2012 IEEE 42nd International Symposium on Multiple-Valued Logic.
Giovanni De Micheli,
Mathias Soeken,
Patrick Vuillod,
2017,
2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).
Mathias Soeken,
Luca Gaetano Amarù,
Giovanni De Micheli,
2017,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Rolf Drechsler,
Mathias Soeken,
2015
.
Rolf Drechsler,
Mathias Soeken,
Ulrich Kühne,
2014,
TAP@STAF.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2008,
2008 IEEE Computer Society Annual Symposium on VLSI.
Giovanni De Micheli,
Mathias Soeken,
Patrick Vuillod,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Mathias Soeken,
2011
.
Mathias Soeken,
Eleonora Testa,
D. Michael Miller,
2019,
2019 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2016,
Integr..
Robert K. Brayton,
Giovanni De Micheli,
Mathias Soeken,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giovanni De Micheli,
Mathias Soeken,
Luca Gaetano Amarù,
2016,
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL).
Rolf Drechsler,
Mathias Soeken,
Daniel Große,
2018,
IPSJ Trans. Syst. LSI Des. Methodol..
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,
2019,
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Mathias Soeken,
2013,
Ausgezeichnete Informatikdissertationen.
Rolf Drechsler,
Mathias Soeken,
2013
.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2019,
MBMV.
Mathias Soeken,
Thomas Häner,
Martin Rötteler,
2020,
ArXiv.
Rolf Drechsler,
Mathias Soeken,
Julia Seiter,
2015,
TAP@STAF.
Gerhard W. Dueck,
Mathias Soeken,
D. Michael Miller,
2015,
ArXiv.
Mathias Soeken,
Yinshui Xia,
Giovanni De Micheli,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Giovanni De Micheli,
Francky Catthoor,
Mathias Soeken,
2017
.
Rolf Drechsler,
Mathias Soeken,
Nabila Abdessaied,
2014,
ArXiv.
Giovanni De Micheli,
Mathias Soeken,
Fereshte Mozafari,
2020,
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL).
Rolf Drechsler,
Mathias Soeken,
R. Drechsler,
2013,
DDECS.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
2012 IEEE 42nd International Symposium on Multiple-Valued Logic.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2016
.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
MBMV.
Gerhard W. Dueck,
Mathias Soeken,
D. Michael Miller,
2016,
2016 IEEE International Symposium on Circuits and Systems (ISCAS).
Rolf Drechsler,
Mathias Soeken,
Görschwin Fey,
2011,
14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2010,
Design Automation Conference.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2013,
J. Multiple Valued Log. Soft Comput..
Robert K. Brayton,
Giovanni De Micheli,
Mathias Soeken,
2018
.
Rolf Drechsler,
Robert K. Brayton,
Mathias Soeken,
2015,
FMCAD.
Rolf Drechsler,
Mathias Soeken,
Daniel Große,
2017,
GECCO.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2015,
MoDeVVa@MoDELS.
Rolf Drechsler,
Gerhard W. Dueck,
Mathias Soeken,
2016,
J. Symb. Comput..
Giovanni De Micheli,
Mathias Soeken,
Eleonora Testa,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2017,
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL).
Giovanni De Micheli,
Mathias Soeken,
Yinshui Xia,
2019,
ASP-DAC.
Gerhard W. Dueck,
Mathias Soeken,
Md. Mazder Rahman,
2015,
2015 IEEE International Symposium on Multiple-Valued Logic.
Giovanni De Micheli,
Mathias Soeken,
Martin Rötteler,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Stefan Frehse,
Robert Wille,
Rolf Drechsler,
2011,
RC.
Robert K. Brayton,
Giovanni De Micheli,
Mathias Soeken,
2016,
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Stefan Frehse,
Robert Wille,
Rolf Drechsler,
2012,
J. Multiple Valued Log. Soft Comput..
Mathias Soeken,
2019,
QPL.
Rolf Drechsler,
Mathias Soeken,
Max Nitze,
2014,
MBMV.
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012,
2012 IEEE Computer Society Annual Symposium on VLSI.
Giovanni De Micheli,
Mathias Soeken,
Winston Haaswijk,
2017,
2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).
Rudy Lauwereins,
Giovanni De Micheli,
Mathias Soeken,
2017,
2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
Rudy Lauwereins,
Giovanni De Micheli,
Mathias Soeken,
2016,
2016 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH).
Mathias Soeken,
Winston Haaswijk,
Alan Mishchenko,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Mathias Soeken,
Anupam Chattopadhyay,
A. Chattopadhyay,
2016,
2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Rolf Drechsler,
Mathias Soeken,
Oliver Keszocze,
2013,
2013 1st International Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE).
Rolf Drechsler,
Mathias Soeken,
Shin-ichi Minato,
2013,
2013 IEEE 43rd International Symposium on Multiple-Valued Logic.
Mathias Soeken,
Michael Naehrig,
Samuel Jaques,
2020,
IACR Cryptol. ePrint Arch..
Mathias Soeken,
Vadym Kliuchnikov,
Mariia Mykhailova,
2021,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Mathias Soeken,
Mariia Mykhailova,
M. Soeken,
2021,
Q-SET@QCE.
Mathias Soeken,
Thomas Haner,
2022
.
Mathias Soeken,
D. M. Miller,
M. Soeken,
2019,
Advanced Boolean Techniques.
Mathias Soeken,
Ian G. Harris,
Goerschwin Fey,
2016,
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Robert Wille,
Rolf Drechsler,
Mathias Soeken,
2012
.
Rolf Drechsler,
Mathias Soeken,
Reinhard X. Fischer,
2013
.