% csauthors.net - beta - BibTeX bibliography of Mathias Soeken
@inproceedings{conf/isvlsi/WilleGSD08,
title = {Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability.},
year = {2008},
booktitle = {ISVLSI},
author = {{Robert Wille} and {Daniel Große} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, 7-9 April 2008, Montpellier, France}
}
@inproceedings{conf/dac/WilleSD10,
title = {Reducing the number of lines in reversible circuits.},
year = {2010},
booktitle = {DAC},
author = {{Robert Wille} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {ACM},
booktitle = {Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010}
}
@inproceedings{conf/date/SoekenWKGD10,
title = {Verifying UML/OCL models using Boolean satisfiability.},
year = {2010},
booktitle = {DATE},
author = {{Mathias Soeken} and {Robert Wille} and {Mirco Kuhlmann} and {Martin Gogolla} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010}
}
@inproceedings{conf/ddecs/SoekenWDD10,
title = {Window optimization of reversible and quantum circuits.},
year = {2010},
booktitle = {DDECS},
author = {{Mathias Soeken} and {Robert Wille} and {Gerhard W. Dueck} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2010, Vienna, Austria, April 14-16, 2010}
}
@inproceedings{conf/idt/SoekenWD10,
title = {Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition.},
year = {2010},
booktitle = {IDT},
author = {{Mathias Soeken} and {Robert Wille} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {5th International Design and Test Workshop, IDT 2010, Abu Dhabi, UAE, 14-15 December 2010}
}
@inproceedings{conf/date/SoekenWD11,
title = {Verifying dynamic aspects of UML models.},
year = {2011},
booktitle = {DATE},
author = {{Mathias Soeken} and {Robert Wille} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011}
}
@inproceedings{conf/ddecs/SoekenKFFD11,
title = {Automatic property generation for the formal verification of bus bridges.},
year = {2011},
booktitle = {DDECS},
author = {{Mathias Soeken} and {Ulrich Kühne} and {Martin Freibothe} and {Görschwin Fey} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2011, Cottbus, Germany, April 13-15, 2011}
}
@inproceedings{conf/mbmv/SoekenKFFD11,
title = {Towards Automatic Property Generation for the Formal Verification of Bus Bridges.},
year = {2011},
booktitle = {MBMV},
author = {{Mathias Soeken} and {Ulrich Kühne} and {Martin Freibothe} and {Görschwin Fey} and {Rolf Drechsler}},
publisher = {OFFIS-Institut für Informatik},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011}
}
@inproceedings{conf/mbmv/WilleSGSD11,
title = {Designing a RISC CPU in Reversible Logic.},
year = {2011},
booktitle = {MBMV},
author = {{Robert Wille} and {Mathias Soeken} and {Daniel Große} and {Eleonora Schönborn} and {Rolf Drechsler}},
publisher = {OFFIS-Institut für Informatik},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011}
}
@inproceedings{conf/models/SoekenWD11,
title = {Towards automatic determination of problem bounds for object instantiation in static model verification.},
year = {2011},
booktitle = {MoDeVVa@MoDELS},
author = {{Mathias Soeken} and {Robert Wille} and {Rolf Drechsler}},
publisher = {ACM},
booktitle = {Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011}
}
@inproceedings{conf/rc/SoekenFWD11,
title = {RevKit: An Open Source Toolkit for the Design of Reversible Circuits.},
year = {2011},
booktitle = {RC},
author = {{Mathias Soeken} and {Stefan Frehse} and {Robert Wille} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Reversible Computation - Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers}
}
@inproceedings{conf/tap/SoekenWD11,
title = {Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models.},
year = {2011},
booktitle = {TAP@TOOLS},
author = {{Mathias Soeken} and {Robert Wille} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings}
}
@inproceedings{conf/aspdac/SoekenWHPD12,
title = {Synthesis of reversible circuits with minimal lines for large functions.},
year = {2012},
booktitle = {ASP-DAC},
author = {{Mathias Soeken} and {Robert Wille} and {Christoph Hilken} and {Nils Przigoda} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {Proceedings of the 17th Asia and South Pacific Design Automation Conference, ASP-DAC 2012, Sydney, Australia, January 30 - February 2, 2012}
}
@inproceedings{conf/date/SoekenWD12,
title = {Eliminating invariants in UML/OCL models.},
year = {2012},
booktitle = {DATE},
author = {{Mathias Soeken} and {Robert Wille} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012}
}
@inproceedings{conf/date/WilleSD12,
title = {Debugging of inconsistent UML/OCL models.},
year = {2012},
booktitle = {DATE},
author = {{Robert Wille} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012}
}
@inproceedings{conf/fdl/DrechslerSW12,
title = {Formal Specification Level: Towards verification-driven design based on natural language processing.},
year = {2012},
booktitle = {FDL},
author = {{Rolf Drechsler} and {Mathias Soeken} and {Robert Wille}},
publisher = {IEEE},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012}
}
@inproceedings{conf/fdl/DrechslerSW12a,
title = {Formal Specification Level.},
year = {2012},
booktitle = {FDL (Selected Papers)},
author = {{Rolf Drechsler} and {Mathias Soeken} and {Robert Wille}},
publisher = {Springer},
booktitle = {Models, Methods, and Tools for Complex Chip Design - Selected Contributions from FDL 2012}
}
@inproceedings{conf/gg/DrechslerDGKLSSW12,
title = {Completeness-Driven Development.},
year = {2012},
booktitle = {ICGT},
author = {{Rolf Drechsler} and {Melanie Diepenbeck} and {Daniel Große} and {Ulrich Kühne} and {Hoang Minh Le 001} and {Julia Seiter 002} and {Mathias Soeken} and {Robert Wille}},
publisher = {Springer},
booktitle = {Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings}
}
@inproceedings{conf/hldvt/DiepenbeckSGD12,
title = {Behavior Driven Development for circuit design and verification.},
year = {2012},
booktitle = {HLDVT},
author = {{Melanie Diepenbeck} and {Mathias Soeken} and {Daniel Große} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, USA, November 9-10, 2012}
}
@inproceedings{conf/ismvl/SoekenSWMD12,
title = {Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits.},
year = {2012},
booktitle = {ISMVL},
author = {{Mathias Soeken} and {Zahra Sasanian} and {Robert Wille} and {D. Michael Miller} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012}
}
@inproceedings{conf/ismvl/SoekenWOD12,
title = {A Synthesis Flow for Sequential Reversible Circuits.},
year = {2012},
booktitle = {ISMVL},
author = {{Mathias Soeken} and {Robert Wille} and {Christian Otterstedt} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012}
}
@inproceedings{conf/ismvl/WilleSPD12,
title = {Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines.},
year = {2012},
booktitle = {ISMVL},
author = {{Robert Wille} and {Mathias Soeken} and {Nils Przigoda} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012}
}
@inproceedings{conf/isvlsi/WilleSSD12,
title = {Circuit Line Minimization in the HDL-Based Synthesis of Reversible Logic.},
year = {2012},
booktitle = {ISVLSI},
author = {{Robert Wille} and {Mathias Soeken} and {Eleonora Schönborn} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2012, Amherst, MA, USA, August 19-21, 2012}
}
@inproceedings{conf/rc/SeiterSWD12,
title = {Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams.},
year = {2012},
booktitle = {RC},
author = {{Julia Seiter 002} and {Mathias Soeken} and {Robert Wille} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers}
}
@inproceedings{conf/rc/SoekenWMD12,
title = {Using πDDs in the Design of Reversible Circuits.},
year = {2012},
booktitle = {RC},
author = {{Mathias Soeken} and {Robert Wille} and {Shin-ichi Minato} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers}
}
@inproceedings{conf/tools/SoekenWD12,
title = {Assisted Behavior Driven Development Using Natural Language Processing.},
year = {2012},
booktitle = {TOOLS (50)},
author = {{Mathias Soeken} and {Robert Wille} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings}
}
@article{journals/mvl/SoekenFWD12,
title = {RevKit: A Toolkit for Reversible Circuit Design.},
year = {2012},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Mathias Soeken} and {Stefan Frehse} and {Robert Wille} and {Rolf Drechsler}}
}
@inproceedings{conf/aspdac/WilleSOD13,
title = {Improving the mapping of reversible circuits to quantum circuits using multiple target lines.},
year = {2013},
booktitle = {ASP-DAC},
author = {{Robert Wille} and {Mathias Soeken} and {Christian Otterstedt} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013}
}
@inproceedings{conf/date/SeiterWSD13,
title = {Determining relevant model elements for the verification of UML/OCL specifications.},
year = {2013},
booktitle = {DATE},
author = {{Julia Seiter 002} and {Robert Wille} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {EDA Consortium San Jose, CA, USA / ACM DL},
booktitle = {Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013}
}
@inproceedings{conf/date/WilleGSKD13,
title = {Towards a generic verification methodology for system models.},
year = {2013},
booktitle = {DATE},
author = {{Robert Wille} and {Martin Gogolla} and {Mathias Soeken} and {Mirco Kuhlmann} and {Rolf Drechsler}},
publisher = {EDA Consortium San Jose, CA, USA / ACM DL},
booktitle = {Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013}
}
@inproceedings{conf/ddecs/DrechslerS13,
title = {Hardware-Software Co-Visualization: Developing systems in the holodeck.},
year = {2013},
booktitle = {DDECS},
author = {{Rolf Drechsler} and {Mathias Soeken}},
publisher = {IEEE Computer Society},
booktitle = {16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2013, Karlovy Vary, Czech Republic, April 8-10, 2013}
}
@inproceedings{conf/gi/DrechslerW13,
title = {Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung.},
year = {2013},
booktitle = {GI-Jahrestagung},
author = {{Rolf Drechsler} and {Mathias Soeken} and {Robert Wille}},
publisher = {GI},
booktitle = {43. Jahrestagung der Gesellschaft für Informatik, Informatik angepasst an Mensch, Organisation und Umwelt, INFORMATIK 2013, Koblenz, Germany, September 16-20, 2013}
}
@incollection{conf/gi/Soeken13,
title = {Formale Spezifikationsebene.},
year = {2013},
booktitle = {Ausgezeichnete Informatikdissertationen},
author = {{Mathias Soeken}},
publisher = {GI},
booktitle = {Ausgezeichnete Informatikdissertationen 2013}
}
@inproceedings{conf/icse/DiepenbeckSGD13,
title = {Towards automatic scenario generation from coverage information.},
year = {2013},
booktitle = {AST},
author = {{Melanie Diepenbeck} and {Mathias Soeken} and {Daniel Große} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013}
}
@inproceedings{conf/idt/SoekenD13,
title = {Grammar-based program generation based on model finding.},
year = {2013},
booktitle = {IDT},
author = {{Mathias Soeken} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {8th International Design and Test Symposium, IDT 2013, Marrakesh, Morocco, 16-18 December, 2013}
}
@inproceedings{conf/ismvl/AbdessaiedSWD13,
title = {Exact Template Matching Using Boolean Satisfiability.},
year = {2013},
booktitle = {ISMVL},
author = {{Nabila Abdessaied} and {Mathias Soeken} and {Robert Wille} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013}
}
@inproceedings{conf/ismvl/TagueSMD13,
title = {Debugging of Reversible Circuits Using pDDs.},
year = {2013},
booktitle = {ISMVL},
author = {{Laura Tague} and {Mathias Soeken} and {Shin-ichi Minato} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013}
}
@inproceedings{conf/mbmv/SoekenWKD13,
title = {Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen.},
year = {2013},
booktitle = {MBMV},
author = {{Mathias Soeken} and {Robert Wille} and {Eugen Kuksa} and {Rolf Drechsler}},
publisher = {Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013.}
}
@inproceedings{conf/rc/AbdessaiedWSD13,
title = {Reducing the Depth of Quantum Circuits Using Additional Circuit Lines.},
year = {2013},
booktitle = {RC},
author = {{Nabila Abdessaied} and {Robert Wille} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings}
}
@inproceedings{conf/rc/SoekenT13,
title = {White Dots do Matter: Rewriting Reversible Logic Circuits.},
year = {2013},
booktitle = {RC},
author = {{Mathias Soeken} and {Michael Kirkedal Thomsen}},
publisher = {Springer},
booktitle = {Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings}
}
@article{journals/corr/SoekenMD13,
title = {On quantum circuits employing roots of the Pauli matrices.},
year = {2013},
journal = {CoRR},
author = {{Mathias Soeken} and {D. Michael Miller} and {Rolf Drechsler}}
}
@article{journals/mvl/WilleSPD13,
title = {Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits.},
year = {2013},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{Robert Wille} and {Mathias Soeken} and {Nils Przigoda} and {Rolf Drechsler}}
}
@phdthesis{phd/dnb/Soeken13,
title = {Formal specification level: concepts, methods, and algorithms.},
year = {2013},
author = {{Mathias Soeken}}
}
@inproceedings{conf/fdl/RienerSWFD14,
title = {MetaSMT: a unified interface to SMT-LIB2.},
year = {2014},
booktitle = {FDL},
author = {{Heinz Riener} and {Mathias Soeken} and {Clemens Werther} and {Görschwin Fey} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014}
}
@inproceedings{conf/fdl/SoekenHAHD14,
title = {Automating the translation of assertions using natural language processing techniques.},
year = {2014},
booktitle = {FDL},
author = {{Mathias Soeken} and {Christopher B. Harris} and {Nabila Abdessaied} and {Ian G. Harris} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014}
}
@inproceedings{conf/iccad/DrechslerSW14,
title = {Automated and quality-driven requirements engineering.},
year = {2014},
booktitle = {ICCAD},
author = {{Rolf Drechsler} and {Mathias Soeken} and {Robert Wille}},
publisher = {IEEE},
booktitle = {The IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014, San Jose, CA, USA, November 3-6, 2014}
}
@inproceedings{conf/ifip5-7/WiesnerGSTD14,
title = {Requirements Engineering for Cyber-Physical Systems - Challenges in the Context of "Industrie 4.0".},
year = {2014},
booktitle = {APMS (1)},
author = {{Stefan A. Wiesner} and {Christian Gorldt} and {Mathias Soeken} and {Klaus-Dieter Thoben} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World - IFIP WG 5.7 International Conference, APMS 2014, Ajaccio, France, September 20-24, 2014, Proceedings, Part I}
}
@inproceedings{conf/mbmv/SoekenND14,
title = {Formale Methoden für Alle.},
year = {2014},
booktitle = {MBMV},
author = {{Mathias Soeken} and {Max Nitze} and {Rolf Drechsler}},
publisher = {Cuvillier},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany}
}
@inproceedings{conf/rc/AbdessaiedSD14,
title = {Quantum Circuit Optimization by Hadamard Gate Reduction.},
year = {2014},
booktitle = {RC},
author = {{Nabila Abdessaied} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings}
}
@inproceedings{conf/rc/MillerSD14,
title = {Mapping NCV Circuits to Optimized Clifford+T Circuits.},
year = {2014},
booktitle = {RC},
author = {{D. Michael Miller} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings}
}
@inproceedings{conf/sbcci/DrechslerLS14,
title = {Self-Verification as the Key Technology for Next Generation Electronic Systems.},
year = {2014},
booktitle = {SBCCI},
author = {{Rolf Drechsler} and {Hoang Minh Le 001} and {Mathias Soeken}},
publisher = {ACM},
booktitle = {Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, Aracaju, Brazil, September 1-5, 2014}
}
@inproceedings{conf/semeval/BornebuschCDDDF14,
title = {iTac: Aspect Based Sentiment Analysis using Sentiment Trees and Dictionaries.},
year = {2014},
booktitle = {SemEval@COLING},
author = {{Fritjof Bornebusch} and {Glaucia Cancino} and {Melanie Diepenbeck} and {Rolf Drechsler} and {Smith Djomkam} and {Alvine Nzeungang Fanseu} and {Maryam Jalali} and {Marc Michael} and {Jamal Mohsen} and {Max Nitze} and {Christina Plump} and {Mathias Soeken} and {Hubert Fred Tchambo} and {Toni} and {Henning Ziegler}},
publisher = {The Association for Computer Linguistics},
booktitle = {Proceedings of the 8th International Workshop on Semantic Evaluation, SemEval@COLING 2014, Dublin, Ireland, August 23-24, 2014.}
}
@inproceedings{conf/tap/DiepenbeckKSD14,
title = {Behaviour Driven Development for Tests and Verification.},
year = {2014},
booktitle = {TAP@STAF},
author = {{Melanie Diepenbeck} and {Ulrich Kühne} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings}
}
@article{journals/corr/SoekenAD14,
title = {A framework for reversible circuit complexity.},
year = {2014},
journal = {CoRR},
author = {{Mathias Soeken} and {Nabila Abdessaied} and {Rolf Drechsler}}
}
@article{journals/integration/WilleSMD14,
title = {Trading off circuit lines and gate costs in the synthesis of reversible logic.},
year = {2014},
journal = {Integr.},
author = {{Robert Wille} and {Mathias Soeken} and {D. Michael Miller} and {Rolf Drechsler}}
}
@article{journals/ipl/AbdessaiedSTD14,
title = {Upper bounds for reversible circuits based on Young subgroups.},
year = {2014},
journal = {Inf. Process. Lett.},
author = {{Nabila Abdessaied} and {Mathias Soeken} and {Michael Kirkedal Thomsen} and {Rolf Drechsler}}
}
@book{books/daglib/0035594,
title = {Formal Specification Level - Concepts, Methods, and Algorithms.},
year = {2015},
isbn = {978-3-319-08698-9},
publisher = {Springer},
author = {{Mathias Soeken} and {Rolf Drechsler}}
}
@inproceedings{conf/ddecs/Allahyari-Abhari15,
title = {Requirement Phrasing Assistance Using Automatic Quality Assessment.},
year = {2015},
booktitle = {DDECS},
author = {{Arman Allahyari-Abhari} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015, Belgrade, Serbia, April 22-24, 2015}
}
@inproceedings{conf/fmcad/SoekenSDB15,
title = {Simulation Graphs for Reverse Engineering.},
year = {2015},
booktitle = {FMCAD},
author = {{Mathias Soeken} and {Baruch Sterin} and {Rolf Drechsler} and {Robert K. Brayton}},
publisher = {IEEE},
booktitle = {Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015.}
}
@inproceedings{conf/gecco/ShirinzadehSD15,
title = {Multi-Objective BDD Optimization with Evolutionary Algorithms.},
year = {2015},
booktitle = {GECCO},
author = {{Saeideh Shirinzadeh} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {ACM},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015}
}
@inproceedings{conf/ismvl/RahmanSD15,
title = {Dynamic Template Matching with Mixed-Polarity Toffoli Gates.},
year = {2015},
booktitle = {ISMVL},
author = {{Md. Mazder Rahman} and {Mathias Soeken} and {Gerhard W. Dueck}},
publisher = {IEEE Computer Society},
booktitle = {2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015}
}
@inproceedings{conf/ismvl/SoekenC15,
title = {Fredkin-Enabled Transformation-Based Reversible Logic Synthesis.},
year = {2015},
booktitle = {ISMVL},
author = {{Mathias Soeken} and {Anupam Chattopadhyay}},
publisher = {IEEE Computer Society},
booktitle = {2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015}
}
@inproceedings{conf/models/PrzigodaPSWD15,
title = {Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses.},
year = {2015},
booktitle = {MoDeVVa@MoDELS},
author = {{Nils Przigoda} and {Judith Peters} and {Mathias Soeken} and {Robert Wille} and {Rolf Drechsler}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015.}
}
@inproceedings{conf/rc/AbdessaiedSD15,
title = {Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition.},
year = {2015},
booktitle = {RC},
author = {{Nabila Abdessaied} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings}
}
@inproceedings{conf/rc/ThomsenKS15,
title = {Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics.},
year = {2015},
booktitle = {RC},
author = {{Michael Kirkedal Thomsen} and {Robin Kaarsgaard} and {Mathias Soeken}},
publisher = {Springer},
booktitle = {Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings}
}
@inproceedings{conf/tap/SoekenSD15,
title = {Coverage of OCL Operation Specifications and Invariants.},
year = {2015},
booktitle = {TAP@STAF},
author = {{Mathias Soeken} and {Julia Seiter 002} and {Rolf Drechsler}},
publisher = {Springer},
booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings}
}
@inproceedings{conf/vlsi/AbdessaiedSDD15,
title = {Reversible circuit rewriting with simulated annealing.},
year = {2015},
booktitle = {VLSI-SoC},
author = {{Nabila Abdessaied} and {Mathias Soeken} and {Gerhard W. Dueck} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {2015 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, South Korea, October 5-7, 2015}
}
@article{journals/corr/SoekenTDM15,
title = {Self-Inverse Functions and Palindromic Circuits.},
year = {2015},
journal = {CoRR},
author = {{Mathias Soeken} and {Michael Kirkedal Thomsen} and {Gerhard W. Dueck} and {D. Michael Miller}}
}
@article{journals/sosym/GuerraS15,
title = {Specification-driven model transformation testing.},
year = {2015},
journal = {Softw. Syst. Model.},
author = {{Esther Guerra} and {Mathias Soeken}}
}
@inproceedings{conf/aspdac/SoekenGCD16,
title = {BDD minimization for approximate computing.},
year = {2016},
booktitle = {ASP-DAC},
author = {{Mathias Soeken} and {Daniel Große} and {Arun Chandrasekharan} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {21st Asia and South Pacific Design Automation Conference, ASP-DAC 2016, Macao, Macao, January 25-28, 2016}
}
@inproceedings{conf/dac/Chandrasekharan16,
title = {Precise error determination of approximated components in sequential circuits with model checking.},
year = {2016},
booktitle = {DAC},
author = {{Arun Chandrasekharan} and {Mathias Soeken} and {Daniel Große} and {Rolf Drechsler}},
publisher = {ACM},
booktitle = {Proceedings of the 53rd Annual Design Automation Conference, DAC 2016, Austin, TX, USA, June 5-9, 2016}
}
@inproceedings{conf/dac/SoekenC16,
title = {Unlocking efficiency and scalability of reversible logic synthesis using conventional logic synthesis.},
year = {2016},
booktitle = {DAC},
author = {{Mathias Soeken} and {Anupam Chattopadhyay}},
publisher = {ACM},
booktitle = {Proceedings of the 53rd Annual Design Automation Conference, DAC 2016, Austin, TX, USA, June 5-9, 2016}
}
@inproceedings{conf/dac/SoekenSGADM16,
title = {An MIG-based compiler for programmable logic-in-memory architectures.},
year = {2016},
booktitle = {DAC},
author = {{Mathias Soeken} and {Saeideh Shirinzadeh} and {Pierre-Emmanuel Gaillardon} and {Luca Gaetano Amarù} and {Rolf Drechsler} and {Giovanni De Micheli}},
publisher = {ACM},
booktitle = {Proceedings of the 53rd Annual Design Automation Conference, DAC 2016, Austin, TX, USA, June 5-9, 2016}
}
@inproceedings{conf/date/Sayed-AhmedGKSD16,
title = {Formal verification of integer multipliers by combining Gröbner basis with logic reduction.},
year = {2016},
booktitle = {DATE},
author = {{Amr A. R. Sayed-Ahmed} and {Daniel Große} and {Ulrich Kühne} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016}
}
@inproceedings{conf/date/ShirinzadehSGD16,
title = {Fast logic synthesis for RRAM-based in-memory computing using Majority-Inverter Graphs.},
year = {2016},
booktitle = {DATE},
author = {{Saeideh Shirinzadeh} and {Mathias Soeken} and {Pierre-Emmanuel Gaillardon} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016}
}
@inproceedings{conf/date/SoekenAGM16,
title = {Optimizing Majority-Inverter Graphs with functional hashing.},
year = {2016},
booktitle = {DATE},
author = {{Mathias Soeken} and {Luca Gaetano Amarù} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016}
}
@inproceedings{conf/ddecs/ShirinzadehSD16,
title = {Multi-objective BDD optimization for RRAM based circuit design.},
year = {2016},
booktitle = {DDECS},
author = {{Saeideh Shirinzadeh} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), Kosice, Slovakia, April 20-22, 2016}
}
@inproceedings{conf/fmcad/Sayed-AhmedGSD16,
title = {Equivalence checking using Gröbner bases.},
year = {2016},
booktitle = {FMCAD},
author = {{Amr A. R. Sayed-Ahmed} and {Daniel Große} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016}
}
@inproceedings{conf/fpl/PetkovskaSMIM16,
title = {Fast hierarchical NPN classification.},
year = {2016},
booktitle = {FPL},
author = {{Ana Petkovska} and {Mathias Soeken} and {Giovanni De Micheli} and {Paolo Ienne} and {Alan Mishchenko}},
publisher = {IEEE},
booktitle = {26th International Conference on Field Programmable Logic and Applications, FPL 2016, Lausanne, Switzerland, August 29 - September 2, 2016}
}
@inproceedings{conf/gecco/ShirinzadehSGD16,
title = {Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm.},
year = {2016},
booktitle = {GECCO (Companion)},
author = {{Saeideh Shirinzadeh} and {Mathias Soeken} and {Daniel Große} and {Rolf Drechsler}},
publisher = {ACM},
booktitle = {Genetic and Evolutionary Computation Conference, GECCO 2016, Denver, CO, USA, July 20-24, 2016, Companion Material Proceedings}
}
@inproceedings{conf/hvc/SoekenRSBMS16,
title = {SAT-Based Combinational and Sequential Dependency Computation.},
year = {2016},
booktitle = {Haifa Verification Conference},
author = {{Mathias Soeken} and {Pascal Raiola} and {Baruch Sterin} and {Bernd Becker 001} and {Giovanni De Micheli} and {Matthias Sauer 002}},
booktitle = {Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings}
}
@inproceedings{conf/iccad/Chandrasekharan16,
title = {Approximation-aware rewriting of AIGs for error tolerant applications.},
year = {2016},
booktitle = {ICCAD},
author = {{Arun Chandrasekharan} and {Mathias Soeken} and {Daniel Große} and {Rolf Drechsler}},
publisher = {ACM},
booktitle = {Proceedings of the 35th International Conference on Computer-Aided Design, ICCAD 2016, Austin, TX, USA, November 7-10, 2016}
}
@inproceedings{conf/iccad/PetkovskaMSMBI16,
title = {Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications.},
year = {2016},
booktitle = {ICCAD},
author = {{Ana Petkovska} and {Alan Mishchenko} and {Mathias Soeken} and {Giovanni De Micheli} and {Robert K. Brayton} and {Paolo Ienne}},
publisher = {ACM},
booktitle = {Proceedings of the 35th International Conference on Computer-Aided Design, ICCAD 2016, Austin, TX, USA, November 7-10, 2016}
}
@inproceedings{conf/iccad/RayHFS16,
title = {Multilevel design understanding: from specification to logic (invited paper).},
year = {2016},
booktitle = {ICCAD},
author = {{Sandip Ray} and {Ian G. Harris} and {Görschwin Fey} and {Mathias Soeken}},
publisher = {ACM},
booktitle = {Proceedings of the 35th International Conference on Computer-Aided Design, ICCAD 2016, Austin, TX, USA, November 7-10, 2016}
}
@inproceedings{conf/iscas/SoekenDRM16,
title = {An extension of transformation-based reversible and quantum circuit synthesis.},
year = {2016},
booktitle = {ISCAS},
author = {{Mathias Soeken} and {Gerhard W. Dueck} and {Md. Mazder Rahman} and {D. Michael Miller}},
publisher = {IEEE},
booktitle = {IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016}
}
@inproceedings{conf/ismvl/AbdessaiedASD16,
title = {Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits.},
year = {2016},
booktitle = {ISMVL},
author = {{Nabila Abdessaied} and {Matthew Amy} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {IEEE Computer Society},
booktitle = {46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016}
}
@inproceedings{conf/ismvl/ChattopadhyayAS16,
title = {Notes on Majority Boolean Algebra.},
year = {2016},
booktitle = {ISMVL},
author = {{Anupam Chattopadhyay} and {Luca Gaetano Amarù} and {Mathias Soeken} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli}},
publisher = {IEEE Computer Society},
booktitle = {46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016}
}
@inproceedings{conf/lascas/SepulvedaFSDG16,
title = {Dynamic NoC buffer allocation for MPSoC timing side channel attack protection.},
year = {2016},
booktitle = {LASCAS},
author = {{Johanna Sepúlveda} and {Daniel Florez} and {Mathias Soeken} and {Jean-Philippe Diguet} and {Guy Gogniat}},
publisher = {IEEE},
booktitle = {IEEE 7th Latin American Symposium on Circuits & Systems, LASCAS 2016, Florianopolis, Brazil, February 28 - March 2, 2016}
}
@inproceedings{conf/mbmv/Chandrasekharan16,
title = {Symbolic Error Metric Determination for Approximate Computing.},
year = {2016},
booktitle = {MBMV},
author = {{Arun Chandrasekharan} and {Daniel Große} and {Mathias Soeken} and {Rolf Drechsler}},
publisher = {Albert-Ludwigs-Universität Freiburg},
booktitle = {19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016.}
}
@inproceedings{conf/nanoarch/TestaSZARLGM16,
title = {Inversion optimization in Majority-Inverter Graphs.},
year = {2016},
booktitle = {NANOARCH},
author = {{Eleonora Testa} and {Mathias Soeken} and {Odysseas Zografos} and {Luca Gaetano Amarù} and {Praveen Raghavan} and {Rudy Lauwereins} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli}},
publisher = {ACM},
booktitle = {IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2016, Beijing, China, July 18-20, 2016}
}
@inproceedings{conf/rc/SoekenAM16,
title = {Enumeration of Reversible Functions and Its Application to Circuit Complexity.},
year = {2016},
booktitle = {RC},
author = {{Mathias Soeken} and {Nabila Abdessaied} and {Giovanni De Micheli}},
publisher = {Springer},
booktitle = {Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings}
}
@inproceedings{conf/rc/SoekenDM16,
title = {A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis.},
year = {2016},
booktitle = {RC},
author = {{Mathias Soeken} and {Gerhard W. Dueck} and {D. Michael Miller}},
publisher = {Springer},
booktitle = {Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings}
}
@inproceedings{conf/sat/SoekenMPSIBM16,
title = {Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT.},
year = {2016},
booktitle = {SAT},
author = {{Mathias Soeken} and {Alan Mishchenko} and {Ana Petkovska} and {Baruch Sterin} and {Paolo Ienne} and {Robert K. Brayton} and {Giovanni De Micheli}},
publisher = {Springer},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings}
}
@article{journals/iet-cps/PrzigodaSWD16,
title = {Verifying the structure and behavior in UML/OCL models using satisfiability solvers.},
year = {2016},
journal = {IET Cyper-Phys. Syst.: Theory & Appl.},
author = {{Nils Przigoda} and {Mathias Soeken} and {Robert Wille} and {Rolf Drechsler}}
}
@article{journals/integration/WilleSSD16,
title = {SyReC: A hardware description language for the specification and synthesis of reversible circuits.},
year = {2016},
journal = {Integr.},
author = {{Robert Wille} and {Eleonora Schönborn} and {Mathias Soeken} and {Rolf Drechsler}}
}
@article{journals/jetc/SoekenWKMD16,
title = {Embedding of Large Boolean Functions for Reversible Logic.},
year = {2016},
journal = {ACM J. Emerg. Technol. Comput. Syst.},
author = {{Mathias Soeken} and {Robert Wille} and {Oliver Keszöcze} and {D. Michael Miller} and {Rolf Drechsler}}
}
@article{journals/jsc/SoekenTDD16,
title = {Ancilla-free synthesis of large reversible functions using binary decision diagrams.},
year = {2016},
journal = {J. Symb. Comput.},
author = {{Mathias Soeken} and {Laura Tague} and {Gerhard W. Dueck} and {Rolf Drechsler}}
}
@article{journals/tcs/AbdessaiedADS16,
title = {Complexity of reversible circuits and their quantum implementations.},
year = {2016},
journal = {Theor. Comput. Sci.},
author = {{Nabila Abdessaied} and {Matthew Amy} and {Rolf Drechsler} and {Mathias Soeken}}
}
@inproceedings{conf/aspdac/AmaruSHTVLGM17,
title = {Multi-level logic benchmarks: An exactness study.},
year = {2017},
booktitle = {ASP-DAC},
author = {{Luca Gaetano Amarù} and {Mathias Soeken} and {Winston Haaswijk} and {Eleonora Testa} and {Patrick Vuillod} and {Jiong Luo} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017}
}
@inproceedings{conf/aspdac/HaaswijkSAGM17,
title = {A novel basis for logic rewriting.},
year = {2017},
booktitle = {ASP-DAC},
author = {{Winston Haaswijk} and {Mathias Soeken} and {Luca Gaetano Amarù} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017}
}
@inproceedings{conf/dac/SoekenRWM17,
title = {Hierarchical Reversible Logic Synthesis Using LUTs.},
year = {2017},
booktitle = {DAC},
author = {{Mathias Soeken} and {Martin Roetteler} and {Nathan Wiebe} and {Giovanni De Micheli}},
publisher = {ACM},
booktitle = {Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017}
}
@inproceedings{conf/date/ShirinzadehSGMD17,
title = {Endurance management for resistive Logic-In-Memory computing architectures.},
year = {2017},
booktitle = {DATE},
author = {{Saeideh Shirinzadeh} and {Mathias Soeken} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli} and {Rolf Drechsler}},
publisher = {IEEE},
booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017}
}
@inproceedings{conf/date/SoekenMM17,
title = {Busy man's synthesis: Combinational delay optimization with SAT.},
year = {2017},
booktitle = {DATE},
author = {{Mathias Soeken} and {Giovanni De Micheli} and {Alan Mishchenko}},
publisher = {IEEE},
booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017}
}
@inproceedings{conf/date/SoekenRWM17,
title = {Design automation and design space exploration for quantum computers.},
year = {2017},
booktitle = {DATE},
author = {{Mathias Soeken} and {Martin Roetteler} and {Nathan Wiebe} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017}
}
@inproceedings{conf/date/ZografosMTSGMAR17,
title = {Wave pipelining for majority-based beyond-CMOS technologies.},
year = {2017},
booktitle = {DATE},
author = {{Odysseas Zografos} and {A. De Meester} and {Eleonora Testa} and {Mathias Soeken} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli} and {Luca Gaetano Amarù} and {Praveen Raghavan} and {Francky Catthoor} and {Rudy Lauwereins}},
publisher = {IEEE},
booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017}
}
@inproceedings{conf/gecco/ShirinzadehSGD17,
title = {An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization.},
year = {2017},
booktitle = {GECCO},
author = {{Saeideh Shirinzadeh} and {Mathias Soeken} and {Daniel Große} and {Rolf Drechsler}},
publisher = {ACM},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2017, Berlin, Germany, July 15-19, 2017}
}
@inproceedings{conf/glvlsi/ChuTSPZAXIMG17,
title = {Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains.},
year = {2017},
booktitle = {ACM Great Lakes Symposium on VLSI},
author = {{Zhufei Chu} and {Xifan Tang} and {Mathias Soeken} and {Ana Petkovska} and {Grace Zgheib} and {Luca Gaetano Amarù} and {Yinshui Xia} and {Paolo Ienne} and {Giovanni De Micheli} and {Pierre-Emmanuel Gaillardon}},
publisher = {ACM},
booktitle = {Proceedings of the on Great Lakes Symposium on VLSI 2017, Banff, AB, Canada, May 10-12, 2017}
}
@inproceedings{conf/iccad/AmaruSVLMGOBM17,
title = {Enabling exact delay synthesis.},
year = {2017},
booktitle = {ICCAD},
author = {{Luca Gaetano Amarù} and {Mathias Soeken} and {Patrick Vuillod} and {Jiong Luo} and {Alan Mishchenko} and {Pierre-Emmanuel Gaillardon} and {Janet Olson} and {Robert K. Brayton} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017, Irvine, CA, USA, November 13-16, 2017}
}
@inproceedings{conf/iscas/SoekenGM17,
title = {RM3 based logic synthesis (Special session paper).},
year = {2017},
booktitle = {ISCAS},
author = {{Mathias Soeken} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {IEEE International Symposium on Circuits and Systems, ISCAS 2017, Baltimore, MD, USA, May 28-31, 2017}
}
@inproceedings{conf/ismvl/HaaswijkTSM17,
title = {Classifying Functions with Exact Synthesis.},
year = {2017},
booktitle = {ISMVL},
author = {{Winston Haaswijk} and {Eleonora Testa} and {Mathias Soeken} and {Giovanni De Micheli}},
publisher = {IEEE Computer Society},
booktitle = {47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017}
}
@inproceedings{conf/isvlsi/TestaZSVMLM17,
title = {Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies.},
year = {2017},
booktitle = {ISVLSI},
author = {{Eleonora Testa} and {Odysseas Zografos} and {Mathias Soeken} and {Adrien Vaysset} and {Mauricio Manfrini} and {Rudy Lauwereins} and {Giovanni De Micheli}},
publisher = {IEEE Computer Society},
booktitle = {2017 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2017, Bochum, Germany, July 3-5, 2017}
}
@article{journals/computer/SoekenGSDM17,
title = {A PLiM Computer for the Internet of Things.},
year = {2017},
journal = {Computer},
author = {{Mathias Soeken} and {Pierre-Emmanuel Gaillardon} and {Saeideh Shirinzadeh} and {Rolf Drechsler} and {Giovanni De Micheli}}
}
@article{journals/corr/SoekenRWM17,
title = {Logic Synthesis for Quantum Computing.},
year = {2017},
journal = {CoRR},
author = {{Mathias Soeken} and {Martin Roetteler} and {Nathan Wiebe} and {Giovanni De Micheli}}
}
@article{journals/sttt/RienerHFSGDF17,
title = {metaSMT: focus on your application and not on solver integration.},
year = {2017},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Heinz Riener} and {Finn Haedicke} and {Stefan Frehse} and {Mathias Soeken} and {Daniel Große} and {Rolf Drechsler} and {Görschwin Fey}}
}
@article{journals/tcad/SoekenAGM17,
title = {Exact Synthesis of Majority-Inverter Graphs and Its Applications.},
year = {2017},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
author = {{Mathias Soeken} and {Luca Gaetano Amarù} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli}}
}
@inproceedings{conf/aspdac/ChuSXM18,
title = {Functional decomposition using majority.},
year = {2018},
booktitle = {ASP-DAC},
author = {{Zhufei Chu} and {Mathias Soeken} and {Yinshui Xia} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {23rd Asia and South Pacific Design Automation Conference, ASP-DAC 2018, Jeju, Korea (South), January 22-25, 2018}
}
@inproceedings{conf/aspdac/MeuliSRWM18,
title = {A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis.},
year = {2018},
booktitle = {ASP-DAC},
author = {{Giulia Meuli} and {Mathias Soeken} and {Martin Roetteler} and {Nathan Wiebe} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {23rd Asia and South Pacific Design Automation Conference, ASP-DAC 2018, Jeju, Korea (South), January 22-25, 2018}
}
@inproceedings{conf/dac/HaaswijkMSM18,
title = {SAT based exact synthesis using DAG topology families.},
year = {2018},
booktitle = {DAC},
author = {{Winston Haaswijk} and {Alan Mishchenko} and {Mathias Soeken} and {Giovanni De Micheli}},
publisher = {ACM},
booktitle = {Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018}
}
@inproceedings{conf/dac/MishchenkoBPSAD18,
title = {Canonical computation without canonical representation.},
year = {2018},
booktitle = {DAC},
author = {{Alan Mishchenko} and {Robert K. Brayton} and {Ana Petkovska} and {Mathias Soeken} and {Luca G. Amarù} and {Antun Domic}},
publisher = {ACM},
booktitle = {Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018}
}
@inproceedings{conf/date/AmaruSVLMOBM18,
title = {Improvements to boolean resynthesis.},
year = {2018},
booktitle = {DATE},
author = {{Luca Gaetano Amarù} and {Mathias Soeken} and {Patrick Vuillod} and {Jiong Luo} and {Alan Mishchenko} and {Janet Olson} and {Robert K. Brayton} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018}
}
@inproceedings{conf/date/SoekenHR18,
title = {Programming quantum computers using design automation.},
year = {2018},
booktitle = {DATE},
author = {{Mathias Soeken} and {Thomas Häner} and {Martin Roetteler}},
publisher = {IEEE},
booktitle = {2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018}
}
@inproceedings{conf/date/SoekenHTMABM18,
title = {Practical exact synthesis.},
year = {2018},
booktitle = {DATE},
author = {{Mathias Soeken} and {Winston Haaswijk} and {Eleonora Testa} and {Alan Mishchenko} and {Luca Gaetano Amarù} and {Robert K. Brayton} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018}
}
@inproceedings{conf/iccad/AmaruTCZMS18,
title = {Majority logic synthesis.},
year = {2018},
booktitle = {ICCAD},
author = {{Luca G. Amarù} and {Eleonora Testa} and {Miguel Couceiro} and {Odysseas Zografos} and {Giovanni De Micheli} and {Mathias Soeken}},
publisher = {ACM},
booktitle = {Proceedings of the International Conference on Computer-Aided Design, ICCAD 2018, San Diego, CA, USA, November 05-08, 2018}
}
@inproceedings{conf/icecsys/HaaswijkAVLSM18,
title = {Integrated ESOP Refactoring for Industrial Designs.},
year = {2018},
booktitle = {ICECS},
author = {{Winston Haaswijk} and {Luca Gaetano Amarù} and {Patrick Vuillod} and {Jiong Luo} and {Mathias Soeken} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {25th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2018, Bordeaux, France, December 9-12, 2018}
}
@inproceedings{conf/iscas/HaaswijkCSSKSM18,
title = {Deep Learning for Logic Optimization Algorithms.},
year = {2018},
booktitle = {ISCAS},
author = {{Winston Haaswijk} and {Edo Collins} and {Benoit Seguin} and {Mathias Soeken} and {Frédéric Kaplan} and {Sabine Süsstrunk} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {IEEE International Symposium on Circuits and Systems, ISCAS 2018, 27-30 May 2018, Florence, Italy}
}
@inproceedings{conf/ismvl/CastryckDVKS18,
title = {Translating Between the Roots of the Identity in Quantum Computers.},
year = {2018},
booktitle = {ISMVL},
author = {{Wouter Castryck} and {Jeroen Demeyer} and {Alexis De Vos} and {Oliver Keszöcze} and {Mathias Soeken}},
publisher = {IEEE Computer Society},
booktitle = {48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018}
}
@inproceedings{conf/ismvl/MillerS18,
title = {A Spectral Algorithm for Ternary Function Classification.},
year = {2018},
booktitle = {ISMVL},
author = {{D. Michael Miller} and {Mathias Soeken}},
publisher = {IEEE Computer Society},
booktitle = {48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018}
}
@inproceedings{conf/nanoarch/RienerTASM18,
title = {Size Optimization of MIGs with an Application to QCA and STMG Technologies.},
year = {2018},
booktitle = {NANOARCH},
author = {{Heinz Riener} and {Eleonora Testa} and {Luca G. Amarù} and {Mathias Soeken} and {Giovanni De Micheli}},
publisher = {ACM},
booktitle = {Proceedings of the 14th IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2018, Athens, Greece, July 17-19, 2018}
}
@inproceedings{conf/rc/HanerSRS18,
title = {Quantum Circuits for Floating-Point Arithmetic.},
year = {2018},
booktitle = {RC},
author = {{Thomas Häner} and {Mathias Soeken} and {Martin Roetteler} and {Krysta M. Svore}},
publisher = {Springer},
booktitle = {Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings}
}
@inproceedings{conf/rc/MeuliSM18,
title = {SAT-based \{CNOT, T\} Quantum Circuit Synthesis.},
year = {2018},
booktitle = {RC},
author = {{Giulia Meuli} and {Mathias Soeken} and {Giovanni De Micheli}},
publisher = {Springer},
booktitle = {Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings}
}
@article{journals/corr/abs-1805-05121,
title = {The EPFL Logic Synthesis Libraries.},
year = {2018},
journal = {CoRR},
author = {{Mathias Soeken} and {Heinz Riener} and {Winston Haaswijk} and {Giovanni De Micheli}}
}
@article{journals/ipl/KeszoczeSD18,
title = {The complexity of error metrics.},
year = {2018},
journal = {Inf. Process. Lett.},
author = {{Oliver Keszöcze} and {Mathias Soeken} and {Rolf Drechsler}}
}
@article{journals/ipl/SoekenTMM18,
title = {Pairs of majority-decomposing functions.},
year = {2018},
journal = {Inf. Process. Lett.},
author = {{Mathias Soeken} and {Eleonora Testa} and {Alan Mishchenko} and {Giovanni De Micheli}}
}
@article{journals/ipsj/DiepenbeckKSGD18,
title = {Behaviour Driven Development for Hardware Design.},
year = {2018},
journal = {IPSJ Trans. Syst. LSI Des. Methodol.},
author = {{Melanie Diepenbeck} and {Ulrich Kühne} and {Mathias Soeken} and {Daniel Große} and {Rolf Drechsler}}
}
@article{journals/tcad/ShirinzadehSGD18,
title = {Logic Synthesis for RRAM-Based In-Memory Computing.},
year = {2018},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
author = {{Saeideh Shirinzadeh} and {Mathias Soeken} and {Pierre-Emmanuel Gaillardon} and {Rolf Drechsler}}
}
@inproceedings{conf/aspdac/ChuSXWM19,
title = {Structural rewriting in XOR-majority graphs.},
year = {2019},
booktitle = {ASP-DAC},
author = {{Zhufei Chu} and {Mathias Soeken} and {Yinshui Xia} and {Lun-Yao Wang} and {Giovanni De Micheli}},
publisher = {ACM},
booktitle = {Proceedings of the 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, Japan, January 21-24, 2019}
}
@inproceedings{conf/dac/RienerTHMAMS19,
title = {Scalable Generic Logic Synthesis: One Approach to Rule Them All.},
year = {2019},
booktitle = {DAC},
author = {{Heinz Riener} and {Eleonora Testa} and {Winston Haaswijk} and {Alan Mishchenko} and {Luca G. Amarù} and {Giovanni De Micheli} and {Mathias Soeken}},
publisher = {ACM},
booktitle = {Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019}
}
@inproceedings{conf/dac/TestaSAM19,
title = {Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications.},
year = {2019},
booktitle = {DAC},
author = {{Eleonora Testa} and {Mathias Soeken} and {Luca G. Amarù} and {Giovanni De Micheli}},
publisher = {ACM},
booktitle = {Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019}
}
@inproceedings{conf/date/MeuliSRBM19,
title = {Reversible Pebbling Game for Quantum Memory Management.},
year = {2019},
booktitle = {DATE},
author = {{Giulia Meuli} and {Mathias Soeken} and {Martin Roetteler} and {Nikolaj S. Bjørner} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019}
}
@inproceedings{conf/date/RienerHMMS19,
title = {On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis.},
year = {2019},
booktitle = {DATE},
author = {{Heinz Riener} and {Winston Haaswijk} and {Alan Mishchenko} and {Giovanni De Micheli} and {Mathias Soeken}},
publisher = {IEEE},
booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019}
}
@inproceedings{conf/date/SoekenMSM19,
title = {Compiling Permutations for Superconducting QPUs.},
year = {2019},
booktitle = {DATE},
author = {{Mathias Soeken} and {Fereshte Mozafari} and {Bruno Schmitt} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019}
}
@inproceedings{conf/date/TestaASMVLCGM19,
title = {Scalable Boolean Methods in a Modern Synthesis Flow.},
year = {2019},
booktitle = {DATE},
author = {{Eleonora Testa} and {Luca G. Amarù} and {Mathias Soeken} and {Alan Mishchenko} and {Patrick Vuillod} and {Jiong Luo} and {Christopher Casares} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019}
}
@inproceedings{conf/iccad/MeuliSCRM19,
title = {The Role of Multiplicative Complexity in Compiling Low \$T\$-count Oracle Circuits.},
year = {2019},
booktitle = {ICCAD},
author = {{Giulia Meuli} and {Mathias Soeken} and {Earl T. Campbell} and {Martin Roetteler} and {Giovanni De Micheli}},
publisher = {ACM},
booktitle = {Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019}
}
@inproceedings{conf/iscas/ChuHSXWM19,
title = {Exact Synthesis of Boolean Functions in Majority-of-Five Forms.},
year = {2019},
booktitle = {ISCAS},
author = {{Zhufei Chu} and {Winston Haaswijk} and {Mathias Soeken} and {Yinshui Xia} and {Lun-Yao Wang} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {IEEE International Symposium on Circuits and Systems, ISCAS 2019, Sapporo, Japan, May 26-29, 2019}
}
@inproceedings{conf/ismvl/BhattacharjeeSD19,
title = {Reversible Pebble Games for Reducing Qubits in Hierarchical Quantum Circuit Synthesis.},
year = {2019},
booktitle = {ISMVL},
author = {{Debjyoti Bhattacharjee} and {Mathias Soeken} and {Srijit Dutta} and {Anupam Chattopadhyay} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019}
}
@inproceedings{conf/ismvl/SchmittSMM19,
title = {Scaling-up ESOP Synthesis for Quantum Compilation.},
year = {2019},
booktitle = {ISMVL},
author = {{Bruno Schmitt} and {Mathias Soeken} and {Giovanni De Micheli} and {Alan Mishchenko}},
publisher = {IEEE},
booktitle = {2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019}
}
@inproceedings{conf/mbmv/RienerTHMAMS19,
title = {Logic Optimization of Majority-Inverter Graphs.},
year = {2019},
booktitle = {MBMV},
author = {{Heinz Riener} and {Eleonora Testa} and {Winston Haaswijk} and {Alan Mishchenko} and {Luca G. Amarù} and {Giovanni De Micheli} and {Mathias Soeken}},
publisher = {VDE Verlag},
booktitle = {22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019.}
}
@inproceedings{conf/pacrim/SoekenTM19,
title = {A Hybrid Method for Spectral Translation Equivalent Boolean Functions.},
year = {2019},
booktitle = {PACRIM},
author = {{Mathias Soeken} and {Eleonora Testa} and {D. Michael Miller}},
publisher = {IEEE},
booktitle = {IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, PACRIM 2019, Victoria, BC, Canada, August 21-23, 2019}
}
@inproceedings{journals/corr/abs-1901-02406,
title = {Using ZDDs in the mapping of quantum circuits.},
year = {2019},
booktitle = {QPL},
author = {{Mathias Soeken}},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019.}
}
@inproceedings{journals/corr/abs-2005-00211,
title = {ROS: Resource-constrained Oracle Synthesis for Quantum Computers.},
year = {2019},
booktitle = {QPL},
author = {{Giulia Meuli} and {Mathias Soeken} and {Martin Roetteler} and {Giovanni De Micheli}},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019.}
}
@article{journals/pieee/TestaSAM19,
title = {Logic Synthesis for Established and Emerging Computing.},
year = {2019},
journal = {Proc. IEEE},
author = {{Eleonora Testa} and {Mathias Soeken} and {Luca Gaetano Amarù} and {Giovanni De Micheli}}
}
@article{journals/tc/TestaSAHM19,
title = {Mapping Monotone Boolean Functions into Majority.},
year = {2019},
journal = {IEEE Trans. Computers},
author = {{Eleonora Testa} and {Mathias Soeken} and {Luca Gaetano Amarù} and {Winston Haaswijk} and {Giovanni De Micheli}}
}
@article{journals/tcad/SoekenRWM19,
title = {LUT-Based Hierarchical Reversible Logic Synthesis.},
year = {2019},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
author = {{Mathias Soeken} and {Martin Roetteler} and {Nathan Wiebe} and {Giovanni De Micheli}}
}
@inproceedings{conf/date/RienerMS20,
title = {Exact DAG-Aware Rewriting.},
year = {2020},
booktitle = {DATE},
author = {{Heinz Riener} and {Alan Mishchenko} and {Mathias Soeken}},
publisher = {IEEE},
booktitle = {2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020}
}
@inproceedings{conf/date/TestaNZSCNM20,
title = {Multiplier Architectures: Challenges and Opportunities with Plasmonic-based Logic : (Special Session Paper).},
year = {2020},
booktitle = {DATE},
author = {{Eleonora Testa} and {Samantha Lubaba Noor} and {Odysseas Zografos} and {Mathias Soeken} and {Francky Catthoor} and {Azad Naeemi} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020}
}
@inproceedings{conf/iscas/MeuliSRM20,
title = {Enumerating Optimal Quantum Circuits using Spectral Classification.},
year = {2020},
booktitle = {ISCAS},
author = {{Giulia Meuli} and {Mathias Soeken} and {Martin Roetteler} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {IEEE International Symposium on Circuits and Systems, ISCAS 2020, Sevilla, Spain, October 10-21, 2020}
}
@inproceedings{conf/ismvl/MozafariSRM20,
title = {Automatic Uniform Quantum State Preparation Using Decision Diagrams.},
year = {2020},
booktitle = {ISMVL},
author = {{Fereshte Mozafari} and {Mathias Soeken} and {Heinz Riener} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020}
}
@inproceedings{conf/ismvl/SchmittSM20,
title = {Symbolic Algorithms for Token Swapping.},
year = {2020},
booktitle = {ISMVL},
author = {{Bruno Schmitt} and {Mathias Soeken} and {Giovanni De Micheli}},
publisher = {IEEE},
booktitle = {50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020}
}
@inproceedings{conf/qce/SoekenR20,
title = {Quantum Circuits for Functionally Controlled NOT Gates.},
year = {2020},
booktitle = {QCE},
author = {{Mathias Soeken} and {Martin Roetteler}},
publisher = {IEEE},
booktitle = {IEEE International Conference on Quantum Computing and Engineering, QCE 2020, Denver, CO, USA, October 12-16, 2020}
}
@article{journals/access/TestaASMVGM20,
title = {Extending Boolean Methods for Scalable Logic Synthesis.},
year = {2020},
journal = {IEEE Access},
author = {{Eleonora Testa} and {Luca G. Amarù} and {Mathias Soeken} and {Alan Mishchenko} and {Patrick Vuillod} and {Pierre-Emmanuel Gaillardon} and {Giovanni De Micheli}}
}
@article{journals/corr/abs-2003-08408,
title = {Automatic accuracy management of quantum programs via (near-)symbolic resource estimation.},
year = {2020},
journal = {CoRR},
author = {{Giulia Meuli} and {Mathias Soeken} and {Martin Roetteler} and {Thomas Häner}}
}
@article{journals/corr/abs-2006-03845,
title = {Lowering the T-depth of Quantum Circuits By Reducing the Multiplicative Depth Of Logic Networks.},
year = {2020},
journal = {CoRR},
author = {{Thomas Häner} and {Mathias Soeken}}
}
@article{journals/iacr/HanerJNRS20,
title = {Improved Quantum Circuits for Elliptic Curve Discrete Logarithms.},
year = {2020},
journal = {IACR Cryptol. ePrint Arch.},
author = {{Thomas Häner} and {Samuel Jaques} and {Michael Naehrig} and {Martin Roetteler} and {Mathias Soeken}}
}
@article{journals/iacr/Soeken20,
title = {Determining the Multiplicative Complexity of Boolean Functions using SAT.},
year = {2020},
journal = {IACR Cryptol. ePrint Arch.},
author = {{Mathias Soeken}}
}
@article{journals/iacr/TestaSRAM20,
title = {A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks.},
year = {2020},
journal = {IACR Cryptol. ePrint Arch.},
author = {{Eleonora Testa} and {Mathias Soeken} and {Heinz Riener} and {Luca G. Amarù} and {Giovanni De Micheli}}
}
@article{journals/mvl/MillerS20,
title = {A Spectral Algorithm for 3-valued Function Equivalence Classification.},
year = {2020},
journal = {J. Multiple Valued Log. Soft Comput.},
author = {{D. Michael Miller} and {Mathias Soeken}}
}
@article{journals/pacmpl/MeuliSRH20,
title = {Enabling accuracy-aware Quantum compilers using symbolic resource estimation.},
year = {2020},
journal = {Proc. ACM Program. Lang.},
author = {{Giulia Meuli} and {Mathias Soeken} and {Martin Roetteler} and {Thomas Häner}}
}
@article{journals/tcad/ChuSXWM20,
title = {Advanced Functional Decomposition Using Majority and Its Applications.},
year = {2020},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
author = {{Zhufei Chu} and {Mathias Soeken} and {Yinshui Xia} and {Lun-Yao Wang} and {Giovanni De Micheli}}
}
@article{journals/tcad/HaaswijkSMM20,
title = {SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism.},
year = {2020},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
author = {{Winston Haaswijk} and {Mathias Soeken} and {Alan Mishchenko} and {Giovanni De Micheli}}
}
@inproceedings{conf/date/SoekenMKGV21,
title = {A Resource Estimation and Verification Workflow in Q# Special session paper.},
year = {2021},
booktitle = {DATE},
author = {{Mathias Soeken} and {Mariia Mykhailova} and {Vadym Kliuchnikov} and {Christopher E. Granade} and {Alexander Vaschillo}},
publisher = {IEEE},
booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021}
}
@inproceedings{conf/qce/MykhailovaS21,
title = {Testing Quantum Programs using Q# and Microsoft Quantum Development Kit.},
year = {2021},
booktitle = {Q-SET@QCE},
author = {{Mariia Mykhailova} and {Mathias Soeken}},
publisher = {CEUR-WS.org},
booktitle = {Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2021), Virtual Conference, October 19, 2021.}
}
@article{journals/tcad/MarakkalageTRMS21,
title = {Three-Input Gates for Logic Synthesis.},
year = {2021},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
author = {{Dewmini Sudara Marakkalage} and {Eleonora Testa} and {Heinz Riener} and {Alan Mishchenko} and {Mathias Soeken} and {Giovanni De Micheli}}
}
@inproceedings{conf/dac/SoekenM22,
title = {Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes.},
year = {2022},
booktitle = {DAC},
author = {{Mathias Soeken} and {Mariia Mykhailova}},
publisher = {ACM},
booktitle = {DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022}
}
@article{journals/corr/abs-2210-11786,
title = {A Q# Implementation of a Quantum Lookup Table for Quantum Arithmetic Functions.},
year = {2022},
journal = {CoRR},
author = {{Rajiv Krishnakumar} and {Mathias Soeken} and {Martin Roetteler} and {William J. Zeng}}
}
@article{journals/corr/abs-2211-07629,
title = {Assessing requirements to scale to practical quantum advantage.},
year = {2022},
journal = {CoRR},
author = {{Michael E. Beverland} and {Prakash Murali} and {Matthias Troyer} and {Krysta M. Svore} and {Torsten Hoefler} and {Vadym Kliuchnikov} and {Guang Hao Low} and {Mathias Soeken} and {Aarthi Sundaram} and {Alexander Vaschillo}}
}
@article{journals/esticas/JiangMSS22,
title = {Design and Automation for Quantum Computation and Quantum Technologies.},
year = {2022},
journal = {IEEE J. Emerg. Sel. Topics Circuits Syst.},
author = {{Jie-Hong R. Jiang} and {Giovanni De Micheli} and {Kaitlin N. Smith} and {Mathias Soeken}}
}
@article{journals/esticas/MicheliJRSS22,
title = {Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective.},
year = {2022},
journal = {IEEE J. Emerg. Sel. Topics Circuits Syst.},
author = {{Giovanni De Micheli} and {Jie-Hong R. Jiang} and {Robert Rand 001} and {Kaitlin N. Smith} and {Mathias Soeken}}
}
@article{journals/iacr/HanerS22,
title = {The multiplicative complexity of interval checking.},
year = {2022},
journal = {IACR Cryptol. ePrint Arch.},
author = {{Thomas Häner} and {Mathias Soeken}}
}
@inproceedings{conf/sc/DamMS23,
title = {Using Azure Quantum Resource Estimator for Assessing Performance of Fault Tolerant Quantum Computation.},
year = {2023},
booktitle = {SC Workshops},
author = {{Wim van Dam} and {Mariia Mykhailova} and {Mathias Soeken}},
publisher = {ACM},
booktitle = {Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023}
}