www.cda.cit.tum.de
Open in
urlscan Pro
2001:4ca0:800::8af6:e01a
Public Scan
Submitted URL: https://clientesvpn.rwille.de/
Effective URL: https://www.cda.cit.tum.de/team/wille/
Submission: On November 03 via automatic, source certstream-suspicious — Scanned from DE
Effective URL: https://www.cda.cit.tum.de/team/wille/
Submission: On November 03 via automatic, source certstream-suspicious — Scanned from DE
Form analysis 0 forms found in the DOM
Text Content
Chair for Design Automation
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
* Home/News
* Team
* Research
* Publications
* Teaching
* Awards
* Public Outreach
* Videos
* How To Find Us
CONTACT
Technical University of Munich
School of Computation, Information and Technology
Chair for Design Automation
Prof. Dr. Robert Wille
Arcisstrasse 21
80333 Munich | Germany
robert.wille@tum.de
Tel: +49 89 289 23551
How To Find Us
--------------------------------------------------------------------------------
MQSF on October 24-25, 2024
--------------------------------------------------------------------------------
The Chair for Design Automation is supported by the Bavarian State Ministry for
Science and Arts through the Distinguished Professorship Program.
Der Lehrstuhl für Design Automation wird durch das Bayerische Staatsministerium
für Wissenschaft und Kunst im Rahmen des Spitzenprofessurenprogramms gefördert.
Prof. Dr. Robert Wille
Head
Arcisstrasse 21, 3rd floor, room 3936
Phone: +49 (89) 289 - 23551
robert.wille@tum.de
* Bio
* Curriculum Vitae
* Publications
* Professional Service
* Miscellaneous
Robert Wille is a Full and Distinguished Professor at the Technical University
of Munich, Germany, and Chief Scientific Officer at the Software Competence
Center Hagenberg GmbH, Austria.
From 2002 to 2006, Robert Wille studied Computer Science (Diploma) at the
University of Bremen. After successfully completing his doctorate in 2009 (summa
cum laude), he worked as postdoc at the University of Bremen and, since 2013, as
Senior Researcher in the Cyber-Physical Systems department of the German
Research Center for Artificial Intelligence ( DFKI). Besides that, he served as
lecturer at the University of Applied Science Bremen from 2010 to 2012 and was
guest professor at the University of Potsdam in 2012 as well as the Technical
University of Dresden in 2013/2014. From 2015 to 2022, he was Full Professor at
the Johannes Kepler University Linz and head of the Institute for Integrated
Circuits (at the age of 32 and as one of the youngest full professors in the
field). In 2019, he founded the LIT Secure and Correct Systems Lab at JKU and,
in 2020, he additionally became Chief Scientific Officer at the Software
Competence Center Hagenberg GmbH. Since 2022, he works in Munich—appointed
through a “Leuchtturm”-procedure (i.e., direct appointment) and, additionally,
through the “Distinguished Professorship”-program.
Robert Wille’s expertise covers a broad spectrum of topics with a particular
focus on the development of automatic methods for the design, simulation,
verification, and test of complex systems in hard- and software. He considers
conventional technologies (from formal specifications to the realization) as
well as future technologies (including quantum computing, microfluidic biochips,
field-coupled nanotechnologies, optical circuits, memristors, reversible
circuits, and adiabatic circuits). Besides that, he frequently applies his
expertise to complementary fields in cooperation with groups from other areas of
Computer Science (e.g., Machine Learning, Software Development, Theoretical
Computer Science, Database Systems, Operation Systems, and more) as well as
Mechatronics and Electrical Engineering. Furthermore, his work on future
technologies frequently exposes him to topics from physics, biology, chemistry,
and optics. Also projects with legal sciences are within his portfolio.
Since 2007, Robert Wille published more than 400 journal and conference papers
in this area and was repeatedly awarded ( e.g., with Best Paper Awards, e.g., at
TCAD and ICCAD, an ERC Consolidator Grant, a Distinguished Professor
appointment, a Google Research Award, and more). Besides that, he served as
Associate Editor and Guest Editor for various renowned journals such as the IEEE
Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD),
the ACM Journal on Emerging Technologies in Computing Systems (JETC), or
Springer’s Lecture Notes in Computer Science (LNCS). Additionally, he was
General Chair and PC Chair for several conferences, is Executive Committee
Member for DATE and ICCAD, served in numerous Program Committees, and organized
several tutorials, seminars, workshops, and special sessions.
Personal Data
Name: Robert Wille Date of birth: November 11th, 1982 Nationality: German
Highlights
2022 Appointed Full and Distinguished Professor at the Technical University of
Munich, Germany
(appointed through a "Leuchtturm"-procedure, i.e., direct appointment and
supported by the "Distinguished Professorship"-program providing 4.7 million
Euros for five years) 2022 Successful application for a so-called COMET K1
Center for the Software Competence Center Hagenberg GmbH
(supported with 22.7 million Euros for 4 years) 2020 Awarded an ERC Consolidator
Grant "Design Automation for Quantum Computing"
(providing 2 million Euros for five years) 2020 Appointed Chief Scientific
Officer at the Software Competence Center Hagenberg GmbH
(a company for technology transfer between academia and industry with more than
100 employees) 2020 1st place in the "Vote Your Prof"-competition for
exceptional performance in teaching 2019 Founding Head of the LIT Secure and
Correct Systems Lab
(an interdisciplinary research lab composing the expertise of ten institutes at
the Johannes Kepler University; supported by the State of Upper Austria with 2.4
million Euros in its first four years) 2019 Under-40 Innovators Award from the
Design Automation Conference (DAC) 2018 Google Faculty Research Award 2018
Winner of the IBM QISKit Developer Challenge 2015 Appointment to Full Professor
(tenured) at the age of 32 Several awards for scientific works such as Best
Paper Awards (at TCAD, ICCAD, and FDL), 10-year Retrospective Most Influential
Paper Award (at ASP-DAC), Best Research Demo Award (at ISVLSI), a Young
Researchers Award (at ISMVL), as well as numerous further nominations Several
awards won by students such as Best Dissertation Awards, Award of Excellence
from the Austrian Ministry of Education, a KlarText Award from the Klaus Tschira
Foundation, and many more. Numerous collaborations with industrial partners such
as Infineon, IBM, Google, Atos, and many more.
Scientific Career
Since 2022 Full and Distinguished Professor at the Technical University of
Munich, Germany (appointed through a "Leuchtturm"-procedure, i.e., direct
appointment and supported by the "Distinguished Professorship"-program) Since
2020 Chief Scientific Officer at the Software Competence Center Hagenberg GmbH,
Austria 2019-2022 Head of the "LIT Secure and Correct Systems Lab" (composing
the expertise of over nine institutes) at the Johannes Kepler University Linz,
Austria 2015-2022 Full Professor (W3-equivalent) at the Johannes Kepler
University Linz, Austria 2014 HabilitationTitle: "Design of Circuits and
Systems: Today and Tomorrow" (submitted in February 2014; hearing conducted in
July 2014) 2013-2014 Visiting Professor at the Technical University Dresden,
Germany 2013-2022 Senior Researcher at the German Research Center for Artificial
Intelligence (DFKI), Bremen, Germany 2012 Visiting Professor at the University
of Potsdam, Germany 2010-2012 Lecturer at the University of Applied Science,
Bremen, Germany 2009-2015 Postdoc at the University of Bremen, Germany 2009
Dissertation
Title: "Towards a Design Flow for Reversible Logic"
Degree: Dr.-Ing. (Grade: summa cum laude) 2006-2009 Doctoral candidate
(Scholarship Holder) at the "Graduate School Embedded Systems" at the University
of Bremen, Germany 2006 Diploma thesis
Title: "Building Free Binary Decision Diagrams Using SAT Solvers" (German:
"Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern"; Grade: 1,0)
Degree: Diploma (Grade: 1,0) 2002-2006 Studies of computer science (Diploma) at
the University of Bremen, Germany
Education
2014 Habilitation, University of Bremen, Germany Topic: "Design of Circuits and
Systems: Today and Tomorrow" 2009 Dr.-Ing. (summa cum laude), University of
Bremen, Germany Advisor: Prof. Dr. Rolf Drechsler Thesis: "Towards a Design Flow
for Reversible Logic" 2006 Diploma in Computer Science, University of Bremen,
Germany Thesis: "Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern"
("Synthesis of Free Binary Decision Diagrams Using SAT Solvers") 2002-2006
Student of Computer Science, University of Bremen, Germany
Further Work Experience
2006 Student research assistant at the Group of Computer Architecture at the
University of Bremen 2004-2006 Freelancer of Electronic Arts Germany, Cologne
2003-2006 Student assistant at the University of Bremen for exercise courses on
Technical Computer Science and Theoretical Computer Science
* Book »
* Book Chapters »
* Edited Publications »
* Tutorials, Special Sessions, etc. »
* Journals »
* Conferences »
* Peer-reviewed Workshops »
* Miscellaneous »
* Since 2007, more than 350 papers in journals and conference proceedings
(including many papers in the top venues DAC, DATE, FMCAD, ICCAD, ASP-DAC,
Memocode, MODELS, TCAD and JETC)
* Co-author of 7 textbooks and 15 book chapters
* Editor of 12 journal issues, seminar summaries, and technical reports
* Author and co-author of 16 invited papers
--------------------------------------------------------------------------------
BOOKS
1. S. Hillmich and R. Wille. Efficient Implementation of Quantum Circuit
Simulation with Decision Diagrams. Springer, 2023. DOI.
1. M. Walter, R. Wille, F. Sill Torres, and R. Drechsler. Design Automation for
Field-coupled Nanotechnologies. Springer, 2022.
1. K. Verma and R. Wille. High performance simulation for industrial paint shop
applications. Springer, 2021.
1. A. Zulehner and R. Wille. Introducing Design Automation for Quantum
Computing. Springer, 2020.
1. A. Grimmer and R. Wille. Designing Droplet Microfluidic Networks: A Toolbox
for Designers. Springer, 2020.
1. O. Keszocze, R. Wille, and R. Drechsler. Exact Design of Digital
Microfluidic Biochips. Springer, 2019.
1. N. Przigoda, R. Wille, J. Przigoda, and R. Drechsler. Automated Validation &
Verification of UML/OCL Models Using Satisfiability Solvers. Springer, 2018.
1. P. Niemann and R. Wille. Compact Representations for the Design of Quantum
Logic. Springer, 2017.
1. J. Seiter, R. Wille, and R. Drechsler. Automatic Methods for the Refinement
of System Models. Springer, 2017.
1. R. Wille and R. Drechsler. Towards a Design Flow for Reversible Logic.
Springer, 2010.
BOOK CHAPTERS
1. R. Wille, S. Hillmich, and L. Burgholzer. Decision Diagrams for Quantum
Computing. In R. O. Topaloglu, editor, Design Automation of Quantum
Computers. Springer, 2023. arXiv:2302.04687, DOI, PDF.
1. R. Wille, P. Niemann, A. Zulehner, and R. Drechsler. Empowering the Design
of Reversible and Quantum Logic with Decision Diagrams. In M. M. S. Aly and
C. Anupam, editors, Emerging Computing: From Devices to Systems: Looking
Beyond Moore and Von Neumann. Springer, 2023.
1. R. Wille and L. Burgholzer. Verification of Quantum Circuits. In A.
Chattopadhyay, editor, Handbook of Computer Architecture. Springer, 2022.
DOI.
1. O. Keszocze, B. Keiner, M. Richter, G. Antpöhler, and R. Wille.
(Semi)automatic Translation of Legal Regulations to Formal Representations:
Expanding the Horizon of EDA Applications. In M. Soeken and R. Drechsler,
editors, Natural Language Processing for Electronic Design Automation.
Springer, 2020.
1. A. Zulehner and R. Wille. Simulation and Design of Quantum Circuits. In I.
Ulidowski, I. Lanese, U. P. Schultz, and C. Ferreira, editors, Reversible
Computation: Extending Horizons of Computing. Springer, 2020.
1. R. Wille, B. Li, R. Drechsler, and U. Schlichtmann. Automatic Design of
Microfluidic Devices: An Overview of Platforms and Corresponding Design
Tasks. In T. Kazmierski, S. Steinhorst, and D. Große, editors, Languages,
Design Methods, and Tools for Electronic System Design. Springer, 2020.
1. A. Bhattacharjee, C. Bandyopadhyay, B. Mondal, R. Wille, R. Drechsler, and
H. Rahaman. An Efficient Nearest Neighbor Design for 2D Quantum Circuits. In
A. Singh, M. Fujita, and A. Mohan, editors, Design and Testing of Reversible
Logic. Springer, 2020.
1. S. Poddar, R. Wille, H. Rahaman, and B. B. Bhattacharya. Effect of
Volumetric Split-Errors on Reactant-Concentration During Sample Preparation
with Microfluidic Biochips. In R. Chaki, A. Cortesi, K. Saeed, and N. Chaki,
editors, Advanced Computing and Systems for Security. Springer, 2020.
1. R. Wille, K. Chakrabarty, R. Drechsler, and P. Kalla. Emerging Circuit
Technologies: An Overview on the Next Generation of Circuits. In A. Reis and
R. Drechsler, editors, Advanced Logic Synthesis, pages 43–67. Springer,
2018. DOI.
1. O. Keszocze and R. Wille. Exploiting Electronic Design Automation for
Checking Legal Regulations: A Vision. In F. Oppenheimer and J. L. Medina
Pasaje, editors, Languages, Design Methods, and Tools for Electronic System
Design, pages 101–112. Springer, 2016. DOI.
1. R. Wille. Basics, Applications, and Design of Reversible Circuits. In T.
Wojcicki, editor, VLSI: Circuits for Emerging Applications, Devices,
Circuits, and Systems, pages 261–273. CRC Press, 2014.
1. R. Drechsler, M. Soeken, and R. Wille. Formal Specification Level. In J.
Haase, editor, Models, Methods, and Tools for Complex Chip Design: Selected
Contributions from FDL 2012, pages 37–52. Springer, 2014.
1. R. Wille, S. Offermann, and R. Drechsler. SyReC: A Programming Language for
Synthesis of Reversible Circuits. In T. J. Kazmierski and A. Morawiec,
editors, System Specification and Design Languages: Selected Contributions
from FDL 2010, pages 207–222. Springer, 2012.
1. R. Wille, D. Große, F. Haedicke, and R. Drechsler. SMT-based Stimuli
Generation in the SystemC Verification Library. In Dominique Borrione,
editor, Advances in Design Methods from Modeling Languages for Embedded
Systems and SoC’s: Selected Contributions on Specification, Design, and
Verification from FDL 2009, pages 227–244. Springer, 2010.
1. R. Wille. Ein Entwurfsablauf für Reversible Schaltkreise. In S. Hölldobler
et al., editor, Ausgezeichnete Informatikdissertationen 2009, pages 291–300.
GI, 2010.
1. R. Wille and R. Drechsler. Synthesis of Boolean Functions in Reversible
Logic. In T. Sasao, J. T. Butler, and M. Thornton, editors, Progress in
Applications of Boolean Functions (Synthesis Lectures on Digital Circuits
and Systems), pages 75–92. Morgan and Claypool Publishers, 2010.
1. R. Wille, G. Fey, D. Große, S. Eggersglüß, and R. Drechsler. SWORD: A SAT
like Prover Using Word Level Information. In R. Reis, V. Mooney, and P.
Hasler, editors, VLSI-SoC: Advanced Topics on Systems on a Chip: A Selection
of Extended Versions of the Best Papers of the Fourteenth International
Conference on Very Large Scale Integration of System on Chip, pages 175–192.
Springer, 2009.
1. D. Große, R. Wille, R. Siegmund, and R. Drechsler. Debugging Contradictory
Constraints in Constraint-based Random Simulation. In M. Radetzki, editor,
Languages for Embedded Systems and their Applications: Selected
Contributions on Specification, Design, and Verification from FDL'08, pages
273–290. Springer, 2009.
EDITED PUBLICATIONS
1. F. Fummi and R. Wille, editors. Languages, Design Methods, and Tools for
Electronic System Design: Selected Contributions from FDL 2016, Lecture
Notes in Electrical Engineering, Springer, 2018.
1. S. Yamashita, T.-Y. Ho, R. Wille, and K. Chakrabarty, editors. Microfluidic
Biochips: Bridging Biochemistry with Computer Science and Engineering (NII
Shonan Meeting No. 2017-1), NII Shonan Meeting Report, 2017.
1. R. Drechsler and R. Wille, editors. Languages, Design Methods, and Tools for
Electronic System Design: Selected Contributions from FDL 2015, Lecture
Notes in Electrical Engineering, Springer, 2016. DOI.
1. V. C. Gaudet, J. T. Butler, R. Wille, and N. Homma. Special Issue on
Emerging Topics in Multiple-Valued Logic and Its Applications. Journal of
Emerging and Selected Topics in Circuits and Systems (JETCAS), 2016. DOI.
1. R. Wille and R. Drechsler. Special Issue of the 44th IEEE International
Symposium on Multiple-Valued Logic. Multiple-Valued Logic and Soft Computing
(MVLSC), 2016.
1. K. Chakrabarty, T.-Y. Ho, and R. Wille, editors. Design of Microfluidic
Biochips (Dagstuhl Seminar 15352), Dagstuhl Reports, 2015.
1. R. Wille, O. Keszocze, and R. Drechsler, editors. Synthese- und
Optimierungsverfahren für zukünftige Computerparadigmen. Shaker, 2015.
1. R. Wille, R. Drechsler, and M. B. Tahoori, editors. Special Issue on
Reversible Computation, Journal on Emerging Technologies in Computing
Systems (JETC), 2014.
1. R. Drechsler, M. Soeken, and R. Wille, editors. Auf dem Weg zum
Quantencomputer – Entwurf reversibler Logik. Shaker, 2012.
1. K. Morita and R. Wille, editors. Design of Reversible and Quantum Circuits
(Dagstuhl Seminar 11502), Dagstuhl Reports, 2012.
1. A. DeVos and R. Wille, editors. Reversible Computation 2011, Lecture Notes
in Computer Science, 2012.
1. R. Drechsler, I. Ulidowski, and R. Wille, editors. Special Issue on
Reversible Computation, Multiple-Valued Logic and Soft Computing (MVLSC),
2012.
TUTORIALS, SPECIAL SESSIONS, ETC.
1. L. Burgholzer, N. Quetschlich, and R. Wille. Connecting the HPC and the
Quantum Community: A Tutorial on High-Performance Software for Quantum
Computing. In International Conference for High Performance Computing,
Networking, Storage and Analysis (SC). 2024.
1. L. Burgholzer, J. Echavarria, M. Schulz, L. Schulz, and R. Wille. Building
Efficient Software Stacks for Quantum Computers: Experiences from the Munich
Quantum Software Stack. In IEEE International Conference on Quantum
Computing and Engineering (QCE). 2024.
1. K. Mato and R. Wille. Qubits, Qudits, and Beyond: Exploring the Potential of
Mixed-Dimensional Quantum Computing. In IEEE International Conference on
Quantum Computing and Engineering (QCE). 2024.
1. L. Stok, B. Lackey, M. Harrigan, J. Kawa, N. Haider, and R. Wille. Quantum
Computing: Accomplishments, Bottlenecks, and Timelines. In Design Automation
Conference (DAC). 2024.
1. R. Wille. Design Automation for Quantum Computing: Intermediate Stage Report
of the ERC Consolidator Grant “DAQC”. In Design, Automation and Test in
Europe (DATE). 2024. PDF.
1. C. G. Almudever, R. Wille, F. Sebastiano, N. Haider, and E. Alarcon. From
Designing Quantum Processors to Large-Scale Quantum Computing Systems. In
Design, Automation and Test in Europe (DATE). 2024. PDF.
1. R. Wille, M. Schulz, T. Tomesh, M. Sato, and Sebastian Feld. Software Stacks
in Big Quantum Computing Initiatives. In IEEE International Conference on
Quantum Computing and Engineering (QCE). 2023.
1. R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, and T. Peham. The
Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams,
Tensor Networks, and ZX-Calculus. In Design Automation Conference (DAC).
2022. PDF.
1. K. Svore, L. Stok, A. Fowler, and R. Wille. Quantum Computing: An Industrial
Perspective. In Design Automation Conference (DAC). 2021.
1. R. Wille, L. Burgholzer, and M. Artner. Visualizing Decision Diagrams for
Quantum Computing. In Design, Automation and Test in Europe (DATE). 2021.
PDF.
1. R. Wille, S. Hillmich, and L. Burgholzer. JKQ: JKU Tools for Quantum
Computing. In International Conference on Computer Aided Design (ICCAD).
2020. PDF.
1. C. G. Almudever, L. Lao, R. Wille, and G. G. Guerreschi. Realizing Quantum
Algorithms on Real Quantum Computing Devices. In Design, Automation and Test
in Europe (DATE). 2020. PDF.
1. R. Wille, J. Madsen, U. Schlichtmann, and T.-M. Tseng. Design Tools for
Microfluidic Devices. In Conference on Miniaturized Systems for Chemistry
and Life Sciences (MicroTAS). 2019.
1. S. Gosh, A. Chattopadhyay, M. Soeken, and R. Wille. QUEST: Quantum computing
– EDA, Security and Test. In Design Automation Conference (DAC). 2019.
1. W. Haselmayr, M. Hamidović, and R. Wille. Microfluidics Research at JKU. In
Workshop on Molecular Communications. 2019.
1. R. Wille, R. Van Meter, and Y. Naveh. IBM’s Qiskit Tool Chain: Working with
and Developing for Real Quantum Computers. In Design, Automation and Test in
Europe (DATE). 2019. PDF.
1. R. Wille, A. Fowler, and Y. Naveh. Computer-Aided Design for Quantum
Computation. In International Conference on Computer Aided Design (ICCAD).
2018. PDF.
1. R. Wille, B. Li, R. Drechsler, and U. Schlichtmann. Automatic Design of
Microfluidic Devices: An Overview of Platforms and Corresponding Design
Tasks. In Forum on Specification and Design Languages (FDL). 2018. PDF.
1. W. Haselmayr, R. Wille, and A. Grimmer. Networked Labs-on-Chips (NLoCs): A
Passive Droplet Routing Concept for Two-Phase Flow Microfluidics. In
Conference on Miniaturized Systems for Chemistry and Life Sciences
(MicroTAS). 2017.
1. R. Wille and B. Li. Design Automation for Labs-on-Chip: A New Playground for
SoC Designers. In International System-on-Chip Conference (SOCC). 2017.
1. R. Wille, B. Li, U. Schlichtmann, and R. Drechsler. From Biochips to Quantum
Circuits: Computer-Aided Design for Emerging Technologies. In International
Conference on Computer Aided Design (ICCAD). 2016. PDF.
1. R. Wille, K. Chakrabarty, P. Kalla, and R Drechsler. Emerging Technologies.
In International Workshop on Logic Synthesis (IWLS). 2016.
1. M. Alistar, K. Chakrabarty, J. Madsen, T.-Y. Ho, and R. Wille. When Embedded
Systems meet Life Sciences: Microfluidic Biochips for Real-Time Healthcare.
In Embedded Systems Week (ESWEEK). 2016.
1. R. Wille. Reversible Circuits: Design Methods for an Emerging Technology. In
IEEE International Symposium on Circuits and Systems (ISCAS). 2016.
1. R. Wille and R. Drechsler. Formal Methods for Emerging Technologies. In
International Conference on Computer Aided Design (ICCAD). 2015. PDF.
1. U. Schlichtmann, P. Pop, R. Wille, and B. Li. Microfluidics Meets Electronic
Design Automation. In Zuverlässigkeit und Entwurf (ZuE). 2015.
1. R. Drechsler and R. Wille. Formal Methods for Emerging Technologies. In
International Symposium on Design and Diagnostics of Electronic Circuits and
Systems (DDECS). 2015.
1. R. Drechsler, M. Soeken, and R. Wille. Automated and Quality-driven
Requirements Engineering. In International Conference on Computer Aided
Design (ICCAD). 2014. PDF.
1. K. Datta, R. Wille, I. Sengupta, and H. Rahaman. Reversible Circuits –
Design Methods for an Emerging Technology. In International Symposium on
VLSI Design and Test (VDAT). 2014.
1. R. Drechsler, R. Findenig, and R. Wille. The Formal Specification Level:
Bridging the Gap between the Spec and its Implementation. In Asia and South
Pacific Design Automation Conference (ASP-DAC). 2014.
1. R. Drechsler, M. Soeken, and R. Wille. Text statt C++: Automatisierung des
Systementwurfs mit Hilfe natürlicher Sprachverarbeitung. In INFORMATIK 2013
– 43. Jahrestagung der Gesellschaft für Informatik. 2013.
1. R. Drechsler, R. Findenig, I. Harris, R. Wille, and W. Ecker. Design and
Verification of Embedded Systems from Natural Language Descriptions. In
Design, Automation and Test in Europe (DATE). 2013.
1. R. Wille. Reversible Computation. In International Symposium on Electronic
System Design (ISED). 2012.
1. R. Drechsler, I. Harris, and R. Wille. Generating Formal System Models from
Natural Language Descriptions. In International High Level Design Validation
and Test Workshop (HLDVT). 2012.
JOURNALS
1. L. Berent, L. Burgholzer, PJ. Derks, J. Eisert, and R. Wille. Decoding
quantum color codes with MaxSAT. Quantum, 2024. DOI.
1. N. Quetschlich, L. Burgholzer, and R. Wille. MQT Predictor: Automatic Device
Selection with Device-Specific Circuit Compilation for Quantum Computing.
ACM Transactions on Quantum Computing, 2024. DOI, PDF.
1. L. Berent, T. Hillmann, J. Eisert, R. Wille, and J. Roffe. Analog
information decoding of bosonic quantum low-density parity-check codes.
physreviewxq, 2024. arXiv:2311.01328, DOI.
1. L. Schmid, D. Locher, M. Rispler, S. Blatt, J. Zeiher, M. Müller, and R.
Wille. Computational Capabilities and Compiler Development for Neutral Atom
Quantum processors—Connecting Tool Developers and Hardware Experts. Quantum
Science and Technology (QST), 2024. arXiv:2309.08656, PDF.
1. S. S. H. Ng, J. Croshaw, M. Walter, R. Wille, R. Wolkow, and K. Walus.
Simulating Charged Defects in Silicon Dangling Bond Logic Systems to
Evaluate Logic Robustness. IEEE Transactions on Nanotechnology (TNANO),
2024. DOI, PDF.
1. M. Takken and R. Wille. Accelerated Computational Fluid Dynamics Simulations
of Microfluidic Devices by Exploiting Higher Levels of Abstraction. MDPI
Micromachines, 2024. DOI.
1. F. S. Hassani, M. Sadrosadati, N. Rohbani, S. Pointner, R. Wille, and H.
Sarbazi-Azad. An Efficient FPGA Architecture with Turn-Restricted Switch
Boxes. ACM Transactions on Design Automation of Electronic Systems, 2024.
1. S. Hazra, A. Fusco, G. N. Kiprit, T. Stadelmayer, S. Habib, L. Servadei, R.
Wille, R. Weigel, and A. Santra. Robust Radar-based Vital Sensing With
Adaptive Sinc Filtering and Random Body Motion Rejections. IEEE Sensors
Journal, 2023. DOI.
1. S. Moradi, Clemens Spielvogel, Denis Krajnc, C. Brandner, Stefan Hillmich,
Robert Wille, T. Traub-Weidinger, X. Li, M. Hacker, W. Drexler, and L. Papp.
Error mitigation enables PET radiomic cancer characterization on quantum
computers. European Journal of Nuclear Medicine and Molecular Imaging
(EJNM), 2023. DOI.
1. N. Quetschlich, L. Burgholzer, and R. Wille. MQT Bench: Benchmarking
Software and Design Automation Tools for Quantum Computing. Quantum, 2023.
arXiv:2204.13719, DOI, PDF.
1. I. O’Connor, R. Wille, A.D. Pimentel, and V. Bertacco. Postpandemic
conferences: the DATE 2023 experience. IEEE Design & Test, 2023. DOI.
1. T. Peham, L. Burgholzer, and R. Wille. On Optimal Subarchitectures for
Quantum Circuit Mapping. ACM Transactions on Quantum Computing, 2023. DOI,
PDF.
1. G. Mauro, I. Martinez-Rodriguez, J. Ott, L. Servadei, R. Wille, M. P.
Cuellar, and D. P. Morales-Santos. Context-adaptable radar-based people
counting via few-shot learning. Applied Intelligence, 2023.
1. C. Piazza, R. Romanello, and R. Wille. An ASP Approach for the Synthesis of
CNOT Minimal Quantum Circuits. CEUR Workshop Proceedings, 2023.
1. A. Bhattacharjee, C. Bandyopadhyay, A. Mukherjee, R. Wille, R. Drechsler,
and H. Rahaman. An ant colony based mapping of quantum circuits to nearest
neighbor architectures. INTEGRATION, the VLSI Journal, 2023.
1. C. Bandyopadhyay, A. Bhattacharjee, R. Wille, R. Drechsler, and H. Rahaman.
Improving the Designs of Nearest Neighbour Quantum Circuits for 1D and 2D
Architectures. IETE Journal of Research, 2023.
1. S. Adarsh, L. Burgholzer, T. Manjunath, and R. Wille. SyReC Synthesizer: An
MQT tool for synthesis of reversible circuits. Software Impacts, 2022. DOI.
1. G. Fink, F. Costamoling, and R. Wille. MMFT Droplet Simulator: Efficient
Simulation of Droplet-based Microfluidic Devices. Software Impacts, 2022.
DOI.
1. T. Peham, L. Burgholzer, and R. Wille. Equivalence Checking of Quantum
Circuits with the ZX-Calculus. Journal of Emerging and Selected Topics in
Circuits and Systems (JETCAS), 2022. PDF.
1. L. Burgholzer, A. Ploier, and R. Wille. Simulation Paths for Quantum Circuit
Simulation with Decision Diagrams: What to Learn from Tensor Networks, and
What Not. IEEE Transactions on Computer Aided Design of Integrated Circuits
and Systems (TCAD), 2022. PDF.
1. M. Takken and R. Wille. Simulation of Pressure-Driven and Channel-Based
Microfluidics on Different Abstract Levels: A Case Study. MDPI Sensors,
2022. DOI.
1. M. D. Vieira, S. S. H. Ng, M. Walter, R. Wille, K. Walus, R. S. Ferreira, O.
P. Vilela Neto, and J. A. M. Nacif. Three-Input NPN Class Gate Library for
Atomic Silicon Quantum Dots. IEEE Design & Test, 2022. PDF.
1. D. S. Lopera, L. Servadei, G. N. Kiprit, R. Wille, and W. Ecker. A
Comprehensive Survey on Electronic Design Automation and Graph Neural
Networks: Theory and Applications. Transactions on Design Automation of
Electronic Systems (TODAES), 2022. DOI.
1. P. Ebner, G. Fink, and R. Wille. Channel Routing for Microfluidic Devices: A
Comprehensive and Accessible Design Tool. IEEE Transactions on Computer
Aided Design of Integrated Circuits and Systems (TCAD), 2022. PDF.
1. T. Grurl, J. Fuß, and R. Wille. Noise-aware Quantum Circuit Simulation With
Decision Diagrams. IEEE Transactions on Computer Aided Design of Integrated
Circuits and Systems (TCAD), 2022. PDF.
1. S. Hillmich, A. Zulehner, R. Kueng, I. L. Markov, and R. Wille.
Approximating Decision Diagrams for Quantum Circuit Simulation. ACM
Transactions on Quantum Computing, 2022. DOI.
1. X. Huang, Y. Pan, Z. Chen, W. Guo, L. Wang, Q. Li, R. Wille, T.-Y. Ho, and
U. Schlichtmann. Design Automation for Continuous-Flow Lab-on-a-Chip
Systems: A One-Pass Paradigm. IEEE Transactions on Computer Aided Design of
Integrated Circuits and Systems (TCAD), 2022. PDF.
1. L. Burgholzer, R. Wille, and R. Kueng. Characteristics of Reversible
Circuits for Error Detection. Array, 2022. PDF.
1. A. Mashkoor, A. Egyed, R. Wille, and S. Stock. Model-Driven Engineering of
Safety and Security Software Systems: A Systematic Mapping Study and Future
Research Directions. Journal of Software: Evolution and Process, 2022. PDF.
1. G. Fink, T. Mitteramskogler, M. A. Hintermüller, B. Jakoby, and R. Wille.
Automatic Design of Microfluidic Gradient Generators. IEEE Access, 2022.
PDF.
1. S. Moradi, C. Brandner, C. Spielvogel, D. Krajnc, S. Hillmich, R. Wille, W.
Drexler, and L. Papp. Clinical data classification with noisy intermediate
scale quantum computers. Scientific Reports, 2022. PDF.
1. L. Servadei, J. H. Lee, J. A. A. Medina, M. Werner, S. Hochreiter, W. Ecker,
and R. Wille. Deep Reinforcement Learning for Optimization at Early Design
Stages. IEEE Design & Test, 2022. PDF.
1. S. A. Schober, Y. Bahri, C. Carbonelli, and R. Wille. Neural Network
Robustness Analysis Using Sensor Simulations for a Graphene-Based
Semiconductor Gas Sensor. Chemosensors, 2022. PDF.
1. S. Poddar, G. Fink, W. Haselmayr, and R. Wille. A Generic Sample Preparation
Approach for Different Microfluidic Labs-on-Chips. IEEE Transactions on
Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022. PDF.
1. R. Wille, S. Hillmich, and L. Burgholzer. Tools for Quantum Computing Based
on Decision Diagrams. ACM Transactions on Quantum Computing, 2021. DOI.
1. S. A. Schober, C. Carbonelli, A. Roth, A. Zoepfl, C. Travan, and R. Wille.
Toward a Stochastic Drift Simulation Model for Graphene-Based Gas Sensors.
In IEEE Sensors Journal. 2021.
1. F. Gemeinhardt, R. Wille, and M. Wimmer. Quantum k-community detection:
Algorithm proposals and cross-architectural evaluation. Quantum Information
Processing, 2021. PDF.
1. R. Elnaggar, L. Servadei, S. Mathur, R. Wille, W. Ecker, and K Chakrabarty.
Accurate and Robust Malware Detection: Running XGBoost on Run-Time Data from
Performance Counters. IEEE Transactions on Computer Aided Design of
Integrated Circuits and Systems (TCAD), 2021.
1. L. Burgholzer and R. Wille. QCEC: A JKQ Tool for Quantum Circuit Equivalence
Checking. Software Impacts, 2021. DOI.
1. N. Mohammadzadeh, R. Wille, and O. Keszocze. Efficient One-Pass Synthesis
for Digital Microfluidic Biochips. Transactions on Design Automation of
Electronic Systems (TODAES), 2021.
1. L. Burgholzer and R. Wille. Advanced Equivalence Checking for Quantum
Circuits. IEEE Transactions on Computer Aided Design of Integrated Circuits
and Systems (TCAD), 2021. PDF.
1. A. Deb, G. W. Dueck, and R. Wille. Exploring the Potential Benefits of
Alternative Quantum Computing Architectures. IEEE Transactions on Computer
Aided Design of Integrated Circuits and Systems (TCAD), 2021. PDF.
1. A. Paler, A. Zulehner, and R. Wille. NISQ circuit compilation is the
travelling salesman problem on a torus. Quantum Science and Technology
(QST), 2021. DOI.
1. P. Niemann, R. Wille, and R. Drechsler. Advanced Exact Synthesis of
Clifford+T Circuits. Quantum Information Processing, 2020. PDF.
1. S. Poddar, T. Banerjee, R. Wille, and B. B. Bhattacharya. Robust
Multi-Target Sample Preparation on MEDA Biochips Obviating Waste Production.
Transactions on Design Automation of Electronic Systems (TODAES), 2020.
1. G. Fink, M. Hamidović, W. Haselmayr, and R. Wille. Automatic Design of
Droplet-Based Microfluidic Ring Networks. IEEE Transactions on Computer
Aided Design of Integrated Circuits and Systems (TCAD), 2020. PDF.
1. F. Sill Torres, P. A. Silva, G. Fontes, M. Walter, J. A. M. Nacif, R. S.
Ferreira, O. P. V. Neto, J. F. Chaves, R. Wille, P. Niemann, D. Große, and
R. Drechsler. On the Impact of the Synchronization Constraint and
Interconnections in Quantum-dot Cellular Automata. Microprocessors and
Microsystems (MICPRO), 2020. PDF.
1. M. Shayan, S. Bhattacharjee, R. Wille, K. Chakrabarty, and R. Karri. How
Secure are Checkpoint-based Defenses in Digital Microfluidic Biochips? IEEE
Transactions on Computer Aided Design of Integrated Circuits and Systems
(TCAD), 2020. PDF.
1. G. Fink, M. Hamidović, R. Wille, and W. Haselmayr. Passive Droplet Control
in Two-Dimensional Microfluidic Networks. IEEE Transactions on Molecular,
Biological, and Multi-Scale Communications (T-MBMC), 2020. PDF.
1. G. Fink, M. Hamidović, A. Springer, R. Wille, and W. Haselmayr. Design and
realization of flexible droplet-based lab-on-a-chip devices: From theory to
practice. e & i Elektrotechnik und Informationstechnik, 2020. PDF.
1. P. Niemann, A. Zulehner, R. Drechsler, and R. Wille. Overcoming the
Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum
Computation. IEEE Transactions on Computer Aided Design of Integrated
Circuits and Systems (TCAD), 2020. PDF.
1. M. Hamidović, U. Marta, H. Bridle, D. Hamidović, G. Fink, R. Wille, A.
Springer, and W. Haselmayr. Off-chip-Controlled Droplet-on-Demand Method for
Precise Sample Handling. ACS Omega, 17(5):9684–9689, 2020. DOI.
1. K. Verma, H. Cao, P. Mandapalli, and R. Wille. Modeling and Simulation of
Electrophoretic Deposition Coatings. Journal of Computational Science,
41(3):, 2020. PDF.
1. L. Servadei, E. Mosca, E. Zennaro, K. Devarajegowda, M. Werner, W. Ecker,
and R. Wille. Accurate Cost Estimation of Memory Systems Utilizing Machine
Learning and Solutions from Computer Vision for Design Automation. IEEE
Transactions on Computers (TC), 69(6):856–867, 2020. PDF.
1. K. Verma, C. McCabe, C. Peng, and R. Wille. A PCISPH implementation using
distributed multi-GPU acceleration for simulating industrial engineering
applications. International Journal of High Performance Computing
Applications (IJHPCA), 34(4):450–464, 2020.
1. G. Fink, A. Grimmer, M. Hamidović, W. Haselmayr, and R. Wille. Robustness
Analysis for Droplet-Based Microfluidic Networks. IEEE Transactions on
Computer Aided Design of Integrated Circuits and Systems (TCAD), 2020. PDF.
1. A. Kole, S. Hillmich, K. Datta, R. Wille, and I. Sengupta. Improved Mapping
of Quantum Circuits to IBM QX Architectures. IEEE Transactions on Computer
Aided Design of Integrated Circuits and Systems (TCAD), 2020. PDF.
1. P. L. Thangkhiew, A. Zulehner, R. Wille, K. Datta, and I. Sengupta. An
Efficient Memristor Crossbar Architecture for Mapping Boolean Functions
using Binary Decision Diagrams (BDD). INTEGRATION, the VLSI Journal, 2020.
1. P. Roy, A. Banerjee, R. Wille, and B. B. Bhattacharya. Harnessing the
Granularity of Micro-Electrode-Dot-Array Architectures for optimizing
Droplet Routing in Biochips. Transactions on Design Automation of Electronic
Systems (TODAES), 2019.
1. F. Sill Torres, P. Niemann, R. Wille, and R. Drechsler. Near Zero-Energy
Computation Using Quantum-dot Cellular Automata. Journal on Emerging
Technologies in Computing Systems (JETC), 2019. PDF.
1. Y. Zhu, X. Huang, B. Li, T.-Y. Ho, Q. Wang, H. Yao, R. Wille, and U.
Schlichtmann. MultiControl: Advanced Control Logic Synthesis for Flow-Based
Microfluidic Biochips. IEEE Transactions on Computer Aided Design of
Integrated Circuits and Systems (TCAD), 2019. PDF.
1. L. Servadei, E. Zennaro, T. Fritz, K. Devarajegowda, W. Ecker, and R. Wille.
Using Machine Learning for Predicting Area and Firmware Metrics of Hardware
Designs from Abstract Specifications. Microprocessors and Microsystems
(MICPRO), 2019.
1. S. Saeed, A. Zulehner, R. Wille, R. Drechsler, and R. Karri. Reversible
Circuits: IC/IP Piracy Attacks and Countermeasures. IEEE Transactions on
Very Large Scale Integration Systems (TVLSI), 2019. PDF.
1. S. Bhattacharjee, R. Wille, J.-D. Huang, and B. B. Bhattacharya.
Storage-Aware Algorithms for Dilution and Mixture Preparation with
Flow-Based Lab-on-Chip. IEEE Transactions on Computer Aided Design of
Integrated Circuits and Systems (TCAD), 2019. PDF.
1. A. Grimmer, M. Hamidović, W. Haselmayr, and R. Wille. Advanced Simulation of
Droplet Microfluidics. Journal on Emerging Technologies in Computing Systems
(JETC), 2019. PDF.
1. M. Walter, R. Wille, D. Große, F. Sill Torres, and R. Drechsler. Placement
and Routing for Tile-based Field-coupled Nanocomputing Circuits is
NP-complete (Research Note). Journal on Emerging Technologies in Computing
Systems (JETC), 2019. PDF.
1. A. Paler, A. Fowler, and R. Wille. Faster manipulation of large quantum
circuits using wire label reference diagrams. Microprocessors and
Microsystems (MICPRO), 66():55–66, 2019.
1. M. Hamidović, W. Haselmayr, A. Grimmer, R. Wille, and A. Springer. Passive
droplet control in microfluidic networks: A survey and new perspectives on
their practical realization. Nano Communication Networks, 19():33–46, 2019.
PDF.
1. A. Grimmer, W. Haselmayr, and R. Wille. Automatic Droplet Sequence
Generation for Microfluidic Networks with Passive Droplet Routing. IEEE
Transactions on Computer Aided Design of Integrated Circuits and Systems
(TCAD), 2018. PDF.
1. S. Huhn, S. Frehse, R. Wille, and R. Drechsler. Determining
Application-specific Knowledge for Improving Robustness of Sequential
Circuits. IEEE Transactions on Very Large Scale Integration Systems (TVLSI),
2018. PDF.
1. A. Grimmer, P. Frank, P. Ebner, S. Häfner, A. Richter, and R. Wille. Meander
Designer: Automatically Generating Meander Channel Designs. Micromachines,
2018. PDF.
1. A. Grimmer, X. Chen, M. Hamidovic, W. Haselmayr, C. L. Ren, and R. Wille.
Simulation before fabrication: a case study on the utilization of simulators
for the design of droplet microfluidic networks. RSC Advances,
8(60):34733–34742, 2018. PDF.
1. S. M. Saeed, N. Mahendran, A. Zulehner, R. Wille, and R. Karri.
Identification of Synthesis Approaches for IP/IC Piracy of Reversible
Circuits. Journal on Emerging Technologies in Computing Systems (JETC),
2018. PDF.
1. S. Poddar, R. Wille, H. Rahaman, and B. B. Bhattacharya. Error-Oblivious
Sample Preparation With Digital Microfluidic Lab-on-Chip. IEEE Transactions
on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2018.
PDF.
1. A. Zulehner, A. Paler, and R. Wille. An Efficient Methodology for Mapping
Quantum Circuits to the IBM QX Architectures. IEEE Transactions on Computer
Aided Design of Integrated Circuits and Systems (TCAD), 2018. Received Best
Paper Award. PDF.
1. A. Zulehner and R. Wille. Advanced Simulation of Quantum Computations. IEEE
Transactions on Computer Aided Design of Integrated Circuits and Systems
(TCAD), 2018. PDF.
1. A. Grimmer, W. Haselmayr, and R. Wille. Automated Dimensioning of Networked
Labs-on-Chip. IEEE Transactions on Computer Aided Design of Integrated
Circuits and Systems (TCAD), 2018. PDF.
1. X. Cui, S. M. Saeed, A. Zulehner, R. Wille, K. Wu, R. Drechsler, and R.
Karri. On the Difficulty of Inserting Trojans in Reversible Computing
Architectures. IEEE Transactions on Emerging Topics in Computing (TETC),
2018. DOI.
1. F. Sill Torres, R. Wille, P. Niemann, and R. Drechsler. An Energy-aware
Model for the Logic Synthesis of Quantum-Dot Cellular Automata. IEEE
Transactions on Computer Aided Design of Integrated Circuits and Systems
(TCAD), 2018. PDF.
1. N. Przigoda, P. Niemann, J. G. Filho, R. Wille, and R. Drechsler. Frame
Conditions in the Automatic Validation and Verification of UML/OCL Models: A
Symbolic Formulation of modifies only Statements. Computer Languages,
Systems & Structures (CLSS), 56():512–527, 2018.
1. C. Bandyopadhyaya, R. Dasa, R. Wille, R. Drechsler, and H. Rahaman.
Synthesis of Circuits based on All-Optical Mach-Zehnder Interferometers
Using Binary Decision Diagrams. Microelectronics Journal, 2018. PDF.
1. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. Design of
Application-Specific Architectures for Networked Labs-on-Chips. IEEE
Transactions on Computer Aided Design of Integrated Circuits and Systems
(TCAD), 2017. PDF.
1. A. Zulehner and R. Wille. One-pass Design of Reversible Circuits: Combining
Embedding and Synthesis for Reversible Logic. IEEE Transactions on Computer
Aided Design of Integrated Circuits and Systems (TCAD), 2017. PDF.
1. Q. Wang, H. Zou, H. Yao, T.-Y. Ho, R. Wille, and Y. Cai. Physical Co-Design
of Flow and Control Layers for Flow-Based Microfluidic Biochips. IEEE
Transactions on Computer Aided Design of Integrated Circuits and Systems
(TCAD), 2017. PDF.
1. A. Paler, A. G. Fowler, and R. Wille. Online scheduled execution of quantum
circuits protected by surface codes. Quantum Information & Computation
(QIC), 2017. arXiv:1711.01385.
1. A. Paler, A. G. Fowler, and R. Wille. Synthesis of Arbitrary Quantum
Circuits to Topological Assembly: Systematic, Online and Compact. Scientific
Reports, 2017. arXiv:1711.01387.
1. R. Wille, O. Keszocze, L. Othmer, M. K. Thomsen, and R. Drechsler. An
Automated Approach for Generating and Checking Control Logic for Reversible
Hardware Description Language-Based Designs. Journal of Low Power
Electronics (JOLPE), 2017.
1. A. Deb, R. Wille, O. Keszocze, S. Shirinzadeh, and R. Drechsler. Synthesis
of Optical Circuits Using Binary Decision Diagrams. INTEGRATION, the VLSI
Journal, 2017.
1. A. Grimmer, J. Clemens, and R. Wille. Formal methods for reasoning and
uncertainty reduction in evidential grid maps. International Journal of
Approximate Reasoning (IJAR), 2017. PDF.
1. P. Gonzalez-de-Aledo, N. Przigoda, R. Wille, R. Drechsler, and P. Sanchez.
Towards a Verification Flow Across Abstraction Levels: Verifying
Implementations Against Their Formal Specification. IEEE Transactions on
Computer Aided Design of Integrated Circuits and Systems (TCAD),
36(3):475–488, 2017. DOI.
1. N. Przigoda, M. Soeken, R. Wille, and R. Drechsler. Verifying the Structure
and Behavior in UML/OCL Models Using Satisfiability Solvers. Cyber-Physical
Systems: Theory & Applications, 1(1):49–59, 2016. DOI.
1. A. Deb, R. Wille, O. Keszocze, S. Hillmich, and R. Drechsler. Gates vs.
Splitters: Contradictory Optimization Objectives in the Synthesis of Optical
Circuits. Journal on Emerging Technologies in Computing Systems (JETC),
13(1):, 2016. DOI.
1. A. Paler, A. G. Fowler, and R. Wille. Reliable quantum circuits have
defects. ACM Crossroads, 23(1):34–38, 2016. DOI.
1. A. Paler, R. Wille, and S. J. Devitt. Wire recycling for quantum circuit
optimization. Physical Review A, 2016.
1. M. Soeken, R. Wille, O. Keszocze, D. M. Miller, and Rolf Drechsler.
Embedding of Large Boolean Functions for Reversible Logic. Journal on
Emerging Technologies in Computing Systems (JETC), 12(4):, 2016. DOI.
1. A. Deb, D. K. Das, H. Rahaman, R. Wille, R. Drechsler, and B. B.
Bhattacharya. Reversible Synthesis of Symmetric Functions with a Simple
Regular Structure and Easy Testability. Journal on Emerging Technologies in
Computing Systems (JETC), 12(4):, 2016. DOI.
1. N. Przigoda, R. Wille, and R. Drechsler. Analyzing Inconsistencies in
UML/OCL Models. Journal of Circuits, Systems and Computers (JCSC), 25(3):,
2016. DOI.
1. R. Wille, E. Schonborn, M. Soeken, and R. Drechsler. SyReC: A Hardware
Description Language for the Specification and Synthesis of Reversible
Circuits. INTEGRATION, the VLSI Journal, 53(3):39–53, 2016. DOI.
1. P. Niemann, R. Wille, D. M. Miller, M. A. Thornton, and R. Drechsler. QMDDs:
Efficient Quantum Function Representation and Manipulation. IEEE
Transactions on Computer Aided Design of Integrated Circuits and Systems
(TCAD), 35(1):86–99, 2016. DOI.
1. R. Wille, O. Keszocze, T. Boehnisch, A. Kroker, and R. Drechsler. Scalable
One-Pass Synthesis for Digital Microfluidic Biochips. IEEE Design & Test,
32(6):41–50, 2015. DOI.
1. R. Wille, A. Lye, and R. Drechsler. Exact Reordering of Circuit Lines for
Nearest Neighbor Quantum Architectures. IEEE Transactions on Computer Aided
Design of Integrated Circuits and Systems (TCAD), 33(12):1818–1831, 2014.
DOI.
1. R. Wille, M. Soeken, D. M. Miller, and R. Drechsler. Trading Off Circuit
Lines and Gate Costs in the Synthesis of Reversible Logic. INTEGRATION, the
VLSI Journal, 47(2):284–294, 2014. PDF.
1. R. Wille, A. Lye, and R. Drechsler. Considering Nearest Neighbor Constraints
of Quantum Circuits at the Reversible Circuit Level. Quantum Information
Processing, 13(2):185–199, 2014. PDF.
1. R. Wille, M. Soeken, N. Przigoda, and R. Drechsler. Effect of Negative
Control Lines on the Exact Synthesis of Reversible Circuits. Multiple-Valued
Logic and Soft Computing (MVLSC), 21(5–6):627–640, 2013.
1. M. Soeken, S. Frehse, R. Wille, and R. Drechsler. RevKit: An Open Source
Toolkit for the Design of Reversible Circuits. Reversible Computation 2011
(Series: Lecture Notes in Computer Science), 7165(1):64–76, 2012. PDF.
1. M. Soeken, S. Frehse, R. Wille, and R. Drechsler. A Toolkit for Reversible
Circuit Design. Multiple-Valued Logic and Soft Computing (MVLSC),
18(1):55–65, 2012.
1. M. Saeedi, R. Wille, and R. Drechsler. Synthesis of Quantum Circuits for
Linear Nearest Neighbor Architectures. Quantum Information Processing,
10(3):355–377, 2011. PDF.
1. R. Wille, D. Große, S. Frehse, G. W. Dueck, and R. Drechsler. Debugging
Reversible Circuits. INTEGRATION, the VLSI Journal, 44(1):51–61, 2011. DOI.
1. R. Wille and R. Drechsler. BDD-Based Synthesis of Reversible Logic.
International Journal of Applied Metaheuristic Computing (IJAMC),
1(4):25–41, 2010. Invited Paper.
1. R. Wille and R. Drechsler. Effect of BDD Optimization on Synthesis of
Reversible and Quantum Logic. Electronic Notes in Theoretical Computer
Science (ENTCS), 253(6):57–70, 2010. DOI.
1. Robert Wille and Rolf Drechsler. Synthese reversibler logik. it –
Information Technology, 52(1):30–38, 2010. PDF.
1. D. Große, R. Wille, G.W. Dueck, and R. Drechsler. Exact Synthesis of
Elementary Quantum Gate Circuits. Multiple-Valued Logic and Soft Computing
(MVLSC), 15(4):283–300, 2009.
1. D. Große, R. Wille, G.W. Dueck, and R. Drechsler. Exact Multiple Control
Toffoli Network Synthesis with SAT Techniques. IEEE Transactions on Computer
Aided Design of Integrated Circuits and Systems (TCAD), 28(5):703–715, 2009.
DOI.
1. R. Wille, G. Fey, and R. Drechsler. Building Free Binary Decision Diagrams
Using SAT Solvers. Facta Universitatis, Series: Electronics and Energetics,
20(3):381–394, 2007.
CONFERENCES
1. H. Sun, H. Feng, J. Ott, L. Servadei, and R. Wille. CaFNet: A
Confidence-Driven Framework for Radar Camera Depth Estimation. In
International Conference on Intelligent Robots and Systems (IROS). 2024.
1. X. Peng, M. Tang, H. Sun, K. Bierzynski, L. Servadei, and R. Wille. MUFASA:
Multi-View Fusion and Adaptation Network with Spatial Awareness for Radar
Object Detection. In International Conference on Artificial Neural Networks
(ICANN). 2024.
1. S. Engels and R. Wille. Towards an Optimization Pipeline for the Design of
Train Control Systems with Hybrid Train Detection. In Symposium on
Algorithmic Approaches for Transportation Modeling, Optimization and Systems
(ATMOS). 2024. DOI, PDF.
1. R. Wille, L. Schmid, Y. Stade, J. Echavarria, M. Schulz, L. Schulz, and L.
Burgholzer. QDMI – Quantum Device Management Interface: Hardware-Software
Interface for the Munich Quantum Software Stack. In IEEE International
Conference on Quantum Computing and Engineering (QCE). 2024. PDF.
1. D. Schoenberger, S. Hillmich, M. Brandl, and R. Wille. Using Compiler
Frameworks for the Evaluation of Hardware Design Choices in Trapped-Ion
Quantum Computers. In IEEE International Conference on Quantum Computing and
Engineering (QCE). 2024. PDF.
1. Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. An Abstract Model and
Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom
Architectures. In IEEE International Conference on Quantum Computing and
Engineering (QCE). 2024. arXiv:2405.08068, PDF.
1. D. Volpe, N. Quetschlich, M. Graziano, G. Turvani, and R. Wille. A
Predictive Approach for Selecting the Best Quantum Solver for an
Optimization Problem. In IEEE International Conference on Quantum Computing
and Engineering (QCE). 2024. arXiv:2408.03613, PDF.
1. N. Quetschlich, M. Soeken, P. Murali, and R. Wille. Utilizing Resource
Estimation for the Development of Quantum Computing Applications. In IEEE
International Conference on Quantum Computing and Engineering (QCE). 2024.
arXiv:2402.12434, PDF.
1. N. Quetschlich, T. Forster, A. Osterwind, D. Helms, and R. Wille. Towards
Equivalence Checking of Classical Circuits Using Quantum Computing. In IEEE
International Conference on Quantum Computing and Engineering (QCE). 2024.
arXiv:2408.14539, PDF.
1. G. Kruse, R. Coelho, A. Rosskopf, R. Wille, and J. Lorenz. Hamiltonian-based
Quantum Reinforcement Learning for Neural Combinatorial Optimization. In
IEEE International Conference on Quantum Computing and Engineering (QCE).
2024. arXiv:2405.07790, PDF.
1. M. Sponner, L. Servadei, B. Waschneck, R. Wille, and A. Kumar. Harnessing
Temporal Information for Efficient Edge AI. In International Conference on
Fog and Mobile Edge Computing (FMEC). 2024.
1. S. Engels and R. Wille. Comparing Lazy Constraint Selection Strategies in
Train Routing with Moving Block Control. In Conference on Computer Science
and Intelligence Systems (FedCSIS). 2024. arXiv:2405.18977, DOI, PDF.
1. S. Jiang, T.-W. Huang, R. Fu, L. Burgholzer, R. Wille, and T.-Y. Ho. FlatDD:
A High-Performance Quantum Circuit Simulator using Decision Diagrams and
Flat Array. In International Conference on Parallel Processing (ICPP). 2024.
1. M. Sponner, L. Servadei, B. Waschneck, R. Wille, and A. Kumar. Efficient
Post-Training Augmentation for Adaptive Inference in Heterogeneous and
Distributed IoT Environments. In International Conference on Embedded
Computer Systems: Architectures, Modeling, and Simulation (SAMOS). 2024.
Received Best Poster Award.
1. K. Staudacher, L. Schmid, J. Zeiher, R. Wille, and D. Kranzlmüller.
Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral
Atom Hardware. In International Conference on Quantum Physics and Logic
(QPL). 2024. PDF.
1. J. Drewniok, M. Walter, S. S. H. Ng, K. Walus, and R. Wille. On-the-fly
Defect-Aware Design of Circuits based on Silicon Dangling Bond Logic. In
IEEE International Conference on Nanotechnology (IEEE Nano). 2024. PDF.
1. J. Drewniok, M. Walter, S. S. H. Ng, K. Walus, and R. Wille. Unifying
Figures of Merit: A Versatile Cost Function for Silicon Dangling Bond Logic.
In IEEE International Conference on Nanotechnology (IEEE Nano). 2024. PDF.
1. S. S. H. Ng, J. Drewniok, M. Walter, J. Retallick, R. Wille, and K. Walus.
Unlocking Flexible Silicon Dangling Bond Logic Designs on Alternative
Silicon Orientations. In IEEE International Conference on Nanotechnology
(IEEE Nano). 2024. PDF.
1. S. Hofmann, M. Walter, and R. Wille. A* is Born: Efficient and Scalable
Physical Design for Field-coupled Nanocomputing. In IEEE International
Conference on Nanotechnology (IEEE Nano). 2024. PDF.
1. B. Hien, M. Walter, and R. Wille. Reducing Wire Crossings in Field-Coupled
Nanotechnologies. In IEEE International Conference on Nanotechnology (IEEE
Nano). 2024. PDF.
1. D. Marakkalage, M. Walter, S.-Y. Lee, R. Wille, and G. De Micheli.
Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost
Functions. In IEEE International Conference on Nanotechnology (IEEE Nano).
2024. PDF.
1. M. Walter, J. Drewniok, and R. Wille. Ending the Tyranny of the Clock:
SAT-based Clock Number Assignment for Field-coupled Nanotechnologies. In
IEEE International Conference on Nanotechnology (IEEE Nano). 2024. PDF.
1. M. Walter, J. Drewniok, S. Hofmann, B. Hien, and R. Wille. The Munich
Nanotech Toolkit (MNT). In IEEE International Conference on Nanotechnology
(IEEE Nano). 2024. PDF.
1. S. Seifi, T. Sukianto, M. Strobel, C. Carbonelli, L. Servadei, and R. Wille.
XentricAI: A Gesture Sensing Calibration Approach Through Explainable and
User-Centric AI. In World Conference on Explainable Artificial Intelligence
(XAI). 2024.
1. R. Wille, L. Berent, T. Forster, J. Kunasaikaran, K. Mato, T. Peham, N.
Quetschlich, D. Rovara, A. Sander, L. Schmid, D. Schoenberger, Y. Stade, and
L. Burgholzer. The MQT Handbook: A Summary of Design Automation Tools and
Software for Quantum Computing. In IEEE International Conference on Quantum
Software (QSW). 2024. Invited Paper. arXiv:2405.17543, PDF.
1. D. Volpe, N. Quetschlich, M. Graziano, G. Turvani, and R. Wille. Towards an
Automatic Framework for Solving Optimization Problems with Quantum
Computers. In IEEE International Conference on Quantum Software (QSW). 2024.
arXiv:2406.12840, PDF.
1. N. Quetschlich, F. J. Kiwit, M. A. Wolf, C. A. Riofrio, L. Burgholzer, A.
Luckow, and Robert Wille. Towards Application-Aware Quantum Circuit
Compilation. In IEEE International Conference on Quantum Software (QSW).
2024. arXiv:2404.12433, PDF.
1. A. Sander, L. Burgholzer, and Robert Wille. Stripping Quantum Decision
Diagrams of Their Identity. In IEEE International Conference on Quantum
Software (QSW). 2024. Received Best Student Paper Award. arXiv:2406.11959,
PDF.
1. G. Kruse, T. A. Drăgan, R. Wille, and J. M. Lorenz. Variational Quantum
Circuit Design for Quantum Reinforcement Learning on Continuous
Environments. In International Conference on Agents and Artificial
Intelligence. 2024.
1. P. Ebner and R. Wille. Automatic Validation and Design of Microfluidic
Devices Following the ISO 22916 Standard. In IEEE Computer Society Annual
Symposium on VLSI (ISVLSI). 2024. PDF.
1. B. Hien, M. Walter, V. M. van Santen, F. Klemme, S. S. Parihar, G. Pahwa, Y.
S. Chauhan, H. Amrouch, and R. Wille. Technology Mapping for Cryogenic CMOS
Circuits. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2024.
PDF.
1. S. Lahiri, M. Kesh, R. Mandal, A. Bhattacharjee, S. Bhattacharya, D. Sinha,
C. Bandyopadhyay, L. Biswal, R. Wille, and R. Drechsler. A Dynamic
Programming Based Graph Traversal Approach for Efficient Implementation of
Nearest Neighbor Architecture in 2D. In International Conference on VLSI
Design (VLSI Design). 2024.
1. L. Schmid, S. Park, and R. Wille. Hybrid Circuit Mapping: Leveraging the
Full Spectrum of Computational Capabilities of Neutral Atom Quantum
Computers. In Design Automation Conference (DAC). 2024. Acceptance
rate: 23%. arXiv:2311.14164, PDF.
1. K. Mato, S. Hillmich, and R. Wille. Mixed-Dimensional Qudit State
Preparation Using Edge-Weighted Decision Diagrams. In Design Automation
Conference (DAC). 2024. Acceptance rate: 23%. PDF.
1. R. Fu, R. Wille, and T.-Y. Ho. RCGP: An Automatic Synthesis Framework for
Reversible Quantum-Flux-Parametron Logic Circuits based on Efficient
Cartesian Genetic Programming. In Design Automation Conference (DAC). 2024.
Acceptance rate: 23%.
1. S. Hofmann, M. Walter, and R. Wille. Late Breaking Results: Wiring Reduction
for Field-coupled Nanotechnologies. In Design Automation Conference (DAC).
2024. Acceptance rate: 21%. PDF.
1. H. Sun, H. Feng, G. Mauro, J. Ott, G. Stettinger, L. Servadei, and R. Wille.
Enhanced Radar Perception via Multi-Task Learning: Towards Refined Data for
Sensor Fusion Applications. In Intelligent Vehicle Symposium (IV). 2024.
1. J. Kunasaikaran, K. Mato, and R. Wille. A Framework for the Design and
Realization of Alternative Superconducting Quantum Architectures. In
International Symposium on Multiple-Valued Logic (ISMVL). 2024.
arXiv:2305.07052.
1. X. Peng, M. Zhang, L. Servadei, and R. Wille. Enhancing Indoor Radar
Detection: An FMCW Radar System for Distinguishing Human Presence and
Swinging Blinds. In IEEE Radar Conference. 2024.
1. S. Hofmann, M. Walter, L. Servadei, and R. Wille. Thinking Outside the
Clock: Physical Design for Field-coupled Nanocomputing with Deep
Reinforcement Learning. In International Symposium on Quality Electronic
Design (ISQED). 2024. PDF.
1. M. Emmerich, P. Ebner, and R. Wille. Design Automation for Organs-on-Chip.
In Design, Automation and Test in Europe (DATE). 2024. Acceptance rate: 32%.
DOI, PDF.
1. D. Schoenberger, S. Hillmich, M. Brandl, and R. Wille. Towards Cycle-based
Shuttling for Trapped-Ion Quantum Computers. In Design, Automation and Test
in Europe (DATE). 2024. Acceptance rate: 32%. DOI, PDF.
1. M. Walter, J. Croshaw, S. S. H. Ng, K. Walus, R. Wolkow, and R. Wille.
Towards Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic
on the H-Si(100)-2x1 Surface. In Design, Automation and Test in Europe
(DATE). 2024. Acceptance rate: 32%. DOI, PDF.
1. S. Hofmann, M. Walter, and R. Wille. MNT Bench: Benchmarking Software and
Layout Libraries for Field-coupled Nanocomputing. In Design, Automation and
Test in Europe (DATE). 2024. DOI, PDF.
1. S. Engels and R. Wille. Late Breaking Results: Iterative Design Automation
for Train Control with Hybrid Train Detection. In Design, Automation and
Test in Europe (DATE). 2024. DOI, PDF.
1. D. Schoenberger, S. Hillmich, M. Brandl, and R. Wille. Using Boolean
Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers. In Asia
and South Pacific Design Automation Conference (ASP-DAC). 2024. Acceptance
rate: 29%. PDF.
1. J. Drewniok, M. Walter, and R. Wille. The Need for Speed: Efficient Exact
Simulation of Silicon Dangling Bond Logic. In Asia and South Pacific Design
Automation Conference (ASP-DAC). 2024. Acceptance rate: 29%. PDF.
1. S. Hofmann, M. Walter, and R. Wille. Post-Layout Optimization for
Field-coupled Nanotechnologies. In International Symposium on Nanoscale
Architectures (NANOARCH). 2023. PDF.
1. M. Walter, J. Drewniok, S. S. H. Ng, K. Walus, and R. Wille. Reducing the
Complexity of Operational Domain Computation in Silicon Dangling Bond Logic.
In International Symposium on Nanoscale Architectures (NANOARCH). 2023. PDF.
1. J. Drewniok, M. Walter, and R. Wille. Minimal Design of SiDB Gates: An
Optimal Basis for Circuits Based on Silicon Dangling Bonds. In International
Symposium on Nanoscale Architectures (NANOARCH). 2023. PDF.
1. S. A. Schober, C. Carbonelli, and R. Wille. An IoT-Based Anomaly Detection
and Identification Approach for Gas Sensor Networks. In IEEE International
Workshop on Metrology for Industry 4.0 and IoT. 2023.
1. A. Fusco, M. Krueger, L. Servadei, and R. Wille. A Deep Learning Approach
for Artifact Suppression in MEMS-based Airborne Ultrasonic Transceivers. In
IEEE International Ultrasonics Symposium (IUS). 2023.
1. A. Fusco, M. Krueger, C. Bretthauer, A. Froemel, L. Servadei, and R. Wille.
Overcoming In-band Interference in Airborne Ultrasounds: A Robust System
Design. In IEEE International Ultrasonics Symposium (IUS). 2023.
1. A. Fusco, M. Akkus, N. Vysotskaya, S. Hazra, L. Servadei, A. Maier, and R.
Wille. RadarSleepNet: Sleep Pose Classification via PointNet++ and 5D Radar
Point Clouds. In IEEE Microwave, Antennas, and Propagation Conference
(MAPCON). 2023.
1. H. Sun, H. Feng, G. Stettinger, L. Servadei, and R. Wille. Multi-Task
Cross-Modality Attention-Fusion for 2D Object Detection. In IEEE
International Conference on Intelligent Transportation Systems (ITSC). 2023.
1. S. Engels, T. Peham, and R. Wille. A Symbolic Design Method for ETCS Hybrid
Level 3 at Different Degrees of Accuracy. In Symposium on Algorithmic
Approaches for Transportation Modeling, Optimization and Systems (ATMOS).
2023. DOI, PDF.
1. T. Peham, N. Brandl, R. Kueng, R. Wille, and L. Burgholzer. Depth-Optimal
Synthesis of Clifford Circuits with SAT Solvers. In IEEE International
Conference on Quantum Computing and Engineering (QCE). 2023. PDF.
1. A. Sander, L. Burgholzer, and R. Wille. Towards Hamiltonian Simulation with
Decision Diagrams. In IEEE International Conference on Quantum Computing and
Engineering (QCE). 2023. arXiv:2305.02337, PDF.
1. K. Mato, S. Hillmich, and R. Wille. Mixed-Dimensional Quantum Circuit
Simulation with Decision Diagrams. In IEEE International Conference on
Quantum Computing and Engineering (QCE). 2023. PDF.
1. N. Quetschlich, V. Koch, L. Burgholzer, and R. Wille. A Hybrid Classical
Quantum Computing Approach to the Satellite Mission Planning Problem. In
IEEE International Conference on Quantum Computing and Engineering (QCE).
2023. arXiv:2308.00029, PDF.
1. N. Quetschlich, L. Burgholzer, and R. Wille. Reducing the Compilation Time
of Quantum Circuits Using Pre-Compilation on the Gate Level. In IEEE
International Conference on Quantum Computing and Engineering (QCE). 2023.
arXiv:2305.04941, PDF.
1. M. Schulz, L. Schulz, M. Ruefenacht, and R. Wille. Towards the Munich
Quantum Software Stack: Enabling Efficient Access and Tool Support for
Quantum Computers. In IEEE International Conference on Quantum Computing and
Engineering (QCE). 2023. DOI.
1. T. Mitteramskogler, A. Fuchsluger, R. Ecker, T. Wilfinger, B. Jakoby, and R.
Wille. Contact Angle Measurement Through Liquid Flow in Curved Open
Microchannels. In European Conference on Sensory and Consumer Research.
2023.
1. T. Sukianto, S. A. Schober, and C. Carbonelli R. Wille. Neural Network
Approaches for Distributional Shifts in Environmental Sensors. In European
Conference on Sensory and Consumer Research. 2023.
1. T. Mitteramskogler, R. Ecker, A. Fuchsluger, T. Wilfinger, R. Wille, and B.
Jakoby. Analysis of Liquid Morphologies in Curved Open Microchannelss. In
IEEE SENSORS. 2023.
1. G. Fink, F. Costamoling, P. Ebner, and R. Wille. Efficient Simulation of
Droplet Merging in Channel-based Microfluidic Devices. In Euromicro
Conference on Digital System Design (DSD). 2023. PDF.
1. P. Ebner and R. Wille. CFD for Microfluidics: A Workflow for Setting Up the
Simulation of Microfluidic Devices. In Euromicro Conference on Digital
System Design (DSD). 2023. PDF.
1. S. Hofmann, M. Walter, L. Servadei, and R. Wille. Late Breaking Results From
Hybrid Design Automation for Field-coupled Nanotechnologies. In Design
Automation Conference (DAC). 2023. Acceptance rate: 23%. PDF.
1. N. Quetschlich, L. Burgholzer, and R. Wille. Compiler Optimization for
Quantum Computing Using Reinforcement Learning. In Design Automation
Conference (DAC). 2023. Acceptance rate: 23%. arXiv:2212.04508, PDF.
1. V. M. van Santen, M. Walter, F. Klemme, S. S. Parihar, G. Pahwa, Y. Chauhan,
R. Wille, and H. Amrouch. Design Automation for Cryogenic CMOS Circuits. In
Design Automation Conference (DAC). 2023. Acceptance rate: 23%. PDF.
1. J. Drewniok, M. Walter, S. S. H. Ng, K. Walus, and R. Wille. QuickSim:
Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic.
In IEEE International Conference on Nanotechnology (IEEE Nano). 2023. PDF.
1. J. Drewniok, M. Walter, and R. Wille. Temperature Behavior of Silicon
Dangling Bond Logic. In IEEE International Conference on Nanotechnology
(IEEE Nano). 2023. PDF.
1. S. Hofmann, M. Walter, and R. Wille. Scalable Physical Design for Silicon
Dangling Bond Logic: How a 45° Turn Prevents the Reinvention of the Wheel.
In IEEE International Conference on Nanotechnology (IEEE Nano). 2023. PDF.
1. K. Mato, S. Hillmich, and R. Wille. Compression of Qubit Circuits: Mapping
to Mixed-Dimensional Quantum Systems. In IEEE International Conference on
Quantum Software (QSW). 2023. PDF.
1. N. Quetschlich, L. Burgholzer, and R. Wille. Predicting Good Quantum Circuit
Compilation Options. In IEEE International Conference on Quantum Software
(QSW). 2023. arXiv:2210.08027, PDF.
1. B. Poggel, N. Quetschlich, L. Burgholzer, R. Wille, and J. Lorenz.
Recommending Solution Paths for Solving Optimization Problems with Quantum
Computing. In IEEE International Conference on Quantum Software (QSW). 2023.
arXiv:2212.11127, PDF.
1. M. Walter, B. Hien, and R. Wille. Versatile Signal Distribution Networks for
Scalable Placement and Routing of Field-coupled Nanocomputing Technologies.
In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2023. PDF.
1. J. Ott, L. Servadei, J. Arjone-Medina, E. Rinaldi, G. Mauro, D. Sanchez
Lopera, M. Stephan, T. Stadelmayer, A. Santra, and R. Wille. MEET: A Monte
Carlo Exploration-Exploitation Trade-off for Buffer Sampling. In
International Conference on Acoustics, Speech and Signal Processing
(ICASSP). 2023.
1. T. Grurl, J. Fuß, and R. Wille. Optimized Density Matrix Representations:
Improving the Basis for Noise-Aware Quantum Circuit Design Tools. In
International Symposium on Multiple-Valued Logic (ISMVL). 2023. PDF.
1. N. Quetschlich, L. Burgholzer, and R. Wille. Towards an Automated Framework
for Realizing Quantum Computing Solutions. In International Symposium on
Multiple-Valued Logic (ISMVL). 2023. arXiv:2210.14928, PDF.
1. S. Seifi, S. A. Schober, C. Carbonelli, L. Servadei, and R. Wille. Detection
of Sensor-To-Sensor Variations using Explainable AI. In Smart Systems
Integration Conference and Exhibition (SSICE). 2023. PDF.
1. L. Vinkhuijzen, T. Grurl, S. Hillmich, S. Brand, R. Wille, and A. Laarman.
Efficient Implementation of LIMDDs for Quantum Circuit Simulation. In
International Symposium on Model Checking of Software (SPIN). 2023. PDF.
1. M. Artner, G. Wallner, and R. Wille. Introducing QRogue: Teaching Quantum
Computing Using a Rogue-like Game Concept. In Foundations of Digital Games
(FDG). 2023. PDF.
1. R. Wille and L. Burgholzer. MQT QMAP: Efficient Quantum Circuit Mapping. In
International Symposium on Physical Design (ISPD). 2023. Invited Paper. PDF.
1. T. Peham, L. Burgholzer, and R. Wille. Equivalence Checking of Parameterized
Quantum Circuits: Verifying the Compilation of Variational Quantum
Algorithms. In Asia and South Pacific Design Automation Conference
(ASP-DAC). 2023. Acceptance rate: 31%. PDF.
1. L. Berent, L. Burgholzer, and R. Wille. Software Tools for Decoding Quantum
Low-Density Parity Check Codes. In Asia and South Pacific Design Automation
Conference (ASP-DAC). 2023. Acceptance rate: 31%. arXiv:2209.01180.
1. L. Burgholzer and R. Wille. Exploiting Reversible Computing for
Verification: Potential, Possible Paths, and Consequences. In Asia and South
Pacific Design Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%.
PDF.
1. S. Schneider, L. Burgholzer, and R. Wille. A SAT Encoding for Optimal
Clifford Circuit Synthesis. In Asia and South Pacific Design Automation
Conference (ASP-DAC). 2023. Acceptance rate: 31%, Best Paper Award
Candidate. PDF.
1. K. Mato, M. Ringbauer, S. Hillmich, and R. Wille. Compilation of Entangling
Gates for High-Dimensional Quantum Systems. In Asia and South Pacific Design
Automation Conference (ASP-DAC). 2023. Acceptance rate: 31%. PDF.
1. T. Grurl, C. Pichler, J. Fuß, and R. Wille. Automatic Implementation and
Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source
Framework for Quantum Error Correction. In International Conference on VLSI
Design (VLSI Design). 2023. Received Best Student Paper Award. PDF.
1. W. Lambooy, M. Walter, and R. Wille. Exploiting the Third Dimension:
Stackable Quantum-dot Cellular Automata. In International Symposium on
Nanoscale Architectures (NANOARCH). 2022. PDF.
1. M. Walter and R. Wille. Efficient Multi-Path Signal Routing for
Field-coupled Nanotechnologies. In International Symposium on Nanoscale
Architectures (NANOARCH). 2022. PDF.
1. J. Ott, L. Servadei, G. Mauro, T. Stadelmayer, A. Santra, and R. Wille.
Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking. In
International Conference on Machine Learning and Applications (ICMLA). 2022.
PDF.
1. H. Sun, L. Servadei, H. Feng, M. Stephan, R. Wille, and A. Santra. Utilizing
Explainable AI for improving the Performance of Neural Networks. In
International Conference on Machine Learning and Applications (ICMLA). 2022.
PDF.
1. S. Goswami, C. Bretthauer, A. Bogner, A. Basavana, S. Anzinger, M. Haubold,
G. Lorenz, J. Strasser, D. Weber, L. Servadei, and R. Wille. MEMS-based
Vibration Sensor in Single-Backplate Technology. In IEEE SENSORS. 2022. PDF.
1. M. Takken and R. Wille. Improved Performance of Two-phase Microfluidic Fuel
Cells Using Nanostructures: A Numerical Study. In International Conference
on Miniaturized Systems for Chemistry and Life Sciences (µTAS). 2022. PDF.
1. K. Mato, M. Ringbauer, S. Hillmich, and R. Wille. Adaptive Compilation of
Multi-Level Quantum Operations. In IEEE International Conference on Quantum
Computing and Engineering (QCE). 2022. arXiv:2206.03842, PDF.
1. L. Berent, L. Burgholzer, and R. Wille. Towards a SAT Encoding for Quantum
Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond.
In International Conference on Theory and Applications of Satisfiability
Testing (SAT). 2022. PDF.
1. S. Hillmich, L. Burgholzer, F. Stögmüller, and R. Wille. Reordering Decision
Diagrams for Quantum Computing Is Harder Than You Might Think. In Conference
on Reversible Computation (RC). 2022. PDF.
1. A. Ghosh, D. Kundu, S. Poddar, S. Yamashita, R. Wille, and S. Roy.
Microfluidic Dilution by Recycling Arbitrary Stock Solutions using Various
Mixing Models. In International Symposium on Devices, Circuits and Systems
(ISDCS). 2022.
1. L. Burgholzer and R. Wille. Handling Non-Unitaries in Quantum Circuit
Equivalence Checking. In Design Automation Conference (DAC). 2022.
Acceptance rate: 23%. PDF.
1. M. Walter, S. S. Hang Ng, K. Walus, and R. Wille. Hexagons are the
Bestagons: Design Automation for Silicon Dangling Bond Logic. In Design
Automation Conference (DAC). 2022. Acceptance rate: 23%. PDF.
1. T. Peham, L. Burgholzer, and R. Wille. Equivalence checking paradigms in
quantum circuit design: A case study. In Design Automation Conference (DAC).
2022. Acceptance rate: 23%. PDF.
1. A. Biuki, N. Mohammadzadeh, R. Wille, and S. Sargaran. Exact Mapping of
Quantum Circuit Partitions to Building Blocks of the SAQIP Architecture. In
IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2022. PDF.
1. S. A. Schober, C. Carbonelli, and R. Wille. Gas Discrimination Analysis of
Neural Network Algorithms for a Graphene-Based Electronic Nose. In
International Conference on Computational Intelligence and Virtual
Environments for Measurement Systems and Applications (CIVEMSA). 2022.
1. G. Fink, M. Hamidovic, W. Haselmayr, and R. Wille. A Concept Towards
Pressure-Controlled Microfluidic Networks. In International Symposium on
Design and Diagnostics of Electronic Circuits and Systems (DDECS). 2022.
PDF.
1. K. Bühler, C. Travniceck, V. Nowak, E. Weippl, L. Fischer, R. Ramler, and R.
Wille. Twenty Years of Successful Translational Research: A Case Study of
Three COMET Centers. In International Conference on Database and Expert
Systems Applications. 2022.
1. L. Servadei, H. Sun, J. Ott, M. Stephan, S. Hazra, T. Stadelmayer, D. S.
Lopera, R. Wille, and A. Santra. Label-Aware Ranked Loss for Robust People
Counting Using Automotive In-Cabin Radar. In International Conference on
Acoustics, Speech and Signal Processing (ICASSP). 2022. PDF.
1. T. Peham, J. Przigoda, N. Przigoda, and R. Wille. Optimal Railway Routing
Using Virtual Subsections. In International Conference on Reliability,
Safety and Security of Railway Systems (RSSRAIL). 2022. DOI, PDF.
1. L. Burgholzer, A. Ploier, and R. Wille. Exploiting Arbitrary Paths for the
Simulation of Quantum Circuits with Decision Diagrams. In Design, Automation
and Test in Europe (DATE). 2022. Acceptance rate: 34%. PDF.
1. G. Fink, P. Ebner, and R. Wille. Comprehensive and Accessible Channel
Routing for Microfluidic Devices. In Design, Automation and Test in Europe
(DATE). 2022. Acceptance rate: 34%, Best Paper Award Candidate. PDF.
1. L. Burgholzer, S. Schneider, and R. Wille. Limiting the Search Space in
Optimal Quantum Circuit Mapping. In Asia and South Pacific Design Automation
Conference (ASP-DAC). 2022. Acceptance rate: 36%. PDF.
1. G. Fink, P. Ebner, S. Poddar, and R. Wille. Improving the Robustness of
Microfluidic Networks. In Asia and South Pacific Design Automation
Conference (ASP-DAC). 2022. Acceptance rate: 36%. PDF.
1. X. Huang, Y. Pan, Z. Chen, W. Guo, R. Wille, T.-Y. Ho, and Ulf Schlichtmann.
BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic
Lab-on-a-Chip Systems. In International Conference on Computer Aided Design
(ICCAD). 2021. Acceptance rate: 24%.
1. Y. Bahri, S. A. Schober, C. Carbonelli, and R. Wille. Temperature Stability
Investigations of Neural Network Models for Graphene-Based Gas Sensor
Devices. In International Electronic Conference on Sensors and Applications
(ECSA). 2021.
1. S. Hillmich, C. Hadfield, R. Raymond, A. Mezzacapo, and R. Wille. Decision
Diagrams for Quantum Measurements with Shallow Circuits. In IEEE
International Conference on Quantum Computing and Engineering (QCE). 2021.
PDF.
1. L. Burgholzer, H. Bauer, and R. Wille. Hybrid Schrödinger-Feynman Simulation
of Quantum Circuits With Decision Diagrams. In IEEE International Conference
on Quantum Computing and Engineering (QCE). 2021. PDF.
1. T. Mitteramskogler, G. Fink, M. Hintermüller, B. Jakoby, and R. Wille.
Design Automation for Microfluidic Concentration Gradient Generators. In
International Conference on Micro and Nano Engineering (MNE). 2021.
1. M. Hamidovic, G. Fink, R. Wille, A. Springer, and W. Haselmayr. Practical
Assessment of Payload– Header Switching in Microfluidic Networks. In
International Conference on Nanoscale Computing and Communication (NanoCom).
2021.
1. L. Burgholzer, R. Raymond, I. Sengupta, and R. Wille. Efficient Construction
of Functional Representations for Quantum Algorithms. In Conference on
Reversible Computation (RC). 2021. PDF.
1. S. A. Schober, C. Carbonelli, and R. Wille. Simulating Defects in
Environmental Sensor Networks Using Stochastic Sensor Models. In
International Symposium on Sensor Science (I3S). 2021.
1. T. Grurl, J. Fuß, and R. Wille. Lessons Learnt in the Implementation of
Quantum Circuit Simulation Using Decision Diagrams. In International
Symposium on Multiple-Valued Logic (ISMVL). 2021. PDF.
1. S. Pointner, S. Wenzek, and R. Wille. SMT-Based Placement for System-on-Chip
Design. In IEEE International Symposium on Circuits and Systems (ISCAS).
2021. PDF.
1. R. Wille, T. Peham, J. Przigoda, and N. Przigoda. Towards Automatic Design
and Verification for Level 3 of the European Train Control System. In
Design, Automation and Test in Europe (DATE). 2021. Acceptance rate: 24%.
DOI, PDF.
1. S. Hillmich, R. Kueng, I. L. Markov, and R. Wille. As Accurate as Needed, as
Efficient as Possible: Approximations in DD-based Quantum Circuit
Simulation. In Design, Automation and Test in Europe (DATE). 2021.
Acceptance rate: 24%, Best Paper Award Candidate. PDF.
1. T. Grurl, R. Kueng, J. Fuß, and R. Wille. Stochastic Quantum Circuit
Simulation Using Decision Diagrams. In Design, Automation and Test in Europe
(DATE). 2021. Acceptance rate: 24%. PDF.
1. O. Keszocze, N. Mohammadzadeh, and R. Wille. Exact Physical Design of
Quantum Circuits for Ion-Trap-based Quantum Architectures. In Design,
Automation and Test in Europe (DATE). 2021. Acceptance rate: 24%. PDF.
1. S. Poddar, G. Fink, W. Haselmayr, and R. Wille. Generic Sample Preparation
for Different Microfluidic Platforms. In Design, Automation and Test in
Europe (DATE). 2021. Acceptance rate: 36% (IP). PDF.
1. F. Bornebusch, C. Lüth, R. Wille, and R. Drechsler. Performance Aspects of
Correctness-oriented Synthesis Flows. In Int’l Conf. on Model-Driven
Engineering and Software Development (MODELSWARD). 2021.
1. L. Burgholzer, R. Kueng, and R. Wille. Random Stimuli Generation for the
Verification of Quantum Circuits. In Asia and South Pacific Design
Automation Conference (ASP-DAC). 2021. Acceptance rate: 34%. PDF.
1. G. Fink, P. Ebner, M. Hamidovic, W. Haselmayr, and R. Wille. Accurate and
Efficient Simulation of Microfluidic Networks. In Asia and South Pacific
Design Automation Conference (ASP-DAC). 2021. Acceptance rate: 34%. PDF.
1. M. Walter, W. Haaswijk, R. Wille, F. Sill Torres, and R. Drechsler. One-Pass
Synthesis for Field-coupled Nanocomputing Technologies. In Asia and South
Pacific Design Automation Conference (ASP-DAC). 2021. Acceptance rate: 34%,
Best Paper Award Candidate. PDF.
1. S. Hillmich, A. Zulehner, and R. Wille. Exploiting Quantum Teleportation in
Quantum Circuit Mapping. In Asia and South Pacific Design Automation
Conference (ASP-DAC). 2021. Acceptance rate: 34%. PDF.
1. S. A. Schober, C. Carbonelli, A. Roth, A. Zoepfl, and R. Wille. Towards
Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation
Techniques. In IEEE SENSORS. 2020. PDF.
1. O. Keszöcze, R. Wille, and R. Drechsler. One-pass Synthesis for Digital
Microfluidic Biochips: A Survey. In International Symposium on Devices,
Circuits and Systems (ISDCS). 2020.
1. T. Grurl, J. Fuß, and R. Wille. Considering Decoherence Errors in the
Simulation of Quantum Circuits Using Decision Diagrams. In International
Conference on Computer Aided Design (ICCAD). 2020. Acceptance rate: 24%.
PDF.
1. L. Burgholzer, R. Raymond, and R. Wille. Verifying Results of the IBM Qiskit
Quantum Circuit Compilation Flow. In IEEE International Conference on
Quantum Computing and Engineering (QCE). 2020. PDF.
1. C. Bandyopadhyay, R. Wille, R. Drechsler, and H. Rahaman. Post
Synthesis-Optimization of Reversible Circuit using Template Matching. In
International Symposium on VLSI Design and Test (VDAT). 2020.
1. U. Garlando, M. Walter, R. Wille, F. Riente, F. Sill Torres, and R.
Drechsler. ToPoliNano and fiction: Design Tools for Field-coupled
Nanocomputing. In Euromicro Conference on Digital System Design (DSD). 2020.
1. L. Burgholzer and R. Wille. The Power of Simulation for Equivalence Checking
in Quantum Computing. In Design Automation Conference (DAC). 2020.
Acceptance rate: 23%. PDF.
1. S. Hillmich, I. Markov, and R. Wille. Just Like the Real Thing: Fast Weak
Simulation of Quantum Computation. In Design Automation Conference (DAC).
2020. Acceptance rate: 23%. PDF.
1. M. Walter, R. Wille, F. Sill Torres, D. Große, and R. Drechsler.
Verification for Field-coupled Nanocomputing Circuits. In Design Automation
Conference (DAC). 2020. Acceptance rate: 23%. PDF.
1. M. Walter, R. Wille, F. Sill Torres, and R. Drechsler. Bail on Balancing: An
Alternative Approach to the Physical Design of Field-coupled Nanocomputing
Circuits. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2020.
Best Paper Award Candidate. PDF.
1. L. Servadei, E. Mosca, K. Devarajegowda, M. Werner, W. Ecker, and R. Wille.
Cost Estimation for Configurable Model-Driven SoC Designs Using Machine
Learning. In Great Lakes Symposium on VLSI (GLVLSI). 2020. PDF.
1. R. Wille, S. Hillmich, and L. Burgholzer. Efficient and Correct Compilation
of Quantum Circuits. In IEEE International Symposium on Circuits and Systems
(ISCAS). 2020. PDF.
1. T. Grurl, J. Fuß, L. Burgholzer, S. Hillmich, and R. Wille. Arrays vs.
Decision Diagrams: A Case Study on Quantum Circuit Simulators. In
International Symposium on Multiple-Valued Logic (ISMVL). 2020. PDF.
1. A. Bhattacharjee, C. Bandypoadhyay, R. Wille, R. Drechsler, and H. Rahaman.
Efficient Implementation of Nearest Neighbor Quantum Circuits Using
Clustering with Genetic Algorithm. In International Symposium on
Multiple-Valued Logic (ISMVL). 2020.
1. A. Deb, G. W. Dueck, and R. Wille. Towards Exploring the Potential of
Alternative Quantum Computing Architectures. In Design, Automation and Test
in Europe (DATE). 2020. Acceptance rate: 37%. PDF.
1. M. Ring, F. Bornebusch, C. Lüth, R. Wille, and R. Drechsler. Verification
Runtime Analysis: Get the Most Out of Partial Verification. In Design,
Automation and Test in Europe (DATE). 2020. Acceptance rate: 37%. PDF.
1. F. Bornebusch, C. Lüth, R. Wille, and R. Drechsler. Integer Overflow
Detection in Hardware Designs at the Specification Level. In Int’l Conf. on
Model-Driven Engineering and Software Development (MODELSWARD). 2020. PDF.
1. L. Burgholzer and R. Wille. Improved DD-based Equivalence Checking of
Quantum Circuits. In Asia and South Pacific Design Automation Conference
(ASP-DAC). 2020. Acceptance rate: 34%. PDF.
1. A. Zulehner, S. Hillmich, I. Markov, and R. Wille. Approximation of Quantum
States Using Decision Diagrams. In Asia and South Pacific Design Automation
Conference (ASP-DAC). 2020. Acceptance rate: 34%. PDF.
1. S. Hillmich, A. Zulehner, and R. Wille. Concurrency in DD-based Quantum
Circuit Simulation. In Asia and South Pacific Design Automation Conference
(ASP-DAC). 2020. Acceptance rate: 34%. PDF.
1. F. Bornebusch, C. Lüth, R. Wille, and R. Drechsler. Towards Automatic
Hardware Synthesis from Formal Specification to Implementation. In Asia and
South Pacific Design Automation Conference (ASP-DAC). 2020. Acceptance
rate: 34%. PDF.
1. T. Banerjee, S. Poddar, R. Wille, and B. B. Bhattacharya. Flow-Based Passive
Microfluidic Architecture for Homogeneous Mixing. In International Symposium
on Electronic System Design (ISED). 2019.
1. R. Wille, M. Haghparast, S. Adarsh, and T. M. Towards HDL-based Synthesis of
Reversible Circuits with No Additional Lines. In International Conference on
Computer Aided Design (ICCAD). 2019. Acceptance rate: 25%. PDF.
1. A. Zulehner, S. Hillmich, and R. Wille. How to Efficiently Handle Complex
Values? Implementing Decision Diagrams for Quantum Computation. In
International Conference on Computer Aided Design (ICCAD). 2019. Acceptance
rate: 25%, Best Paper Award Candidate. PDF.
1. M. Hamidovic, U. Marta, H. Bridle, G. Fink, R. Wille, A. Springer, and W.
Haselmayr. Simple and Passive Merging-On-Demand Method for Reaction
Engineering in Droplet Microfluidics. In International Conference on
Miniaturized Systems for Chemistry and Life Sciences (µTAS). 2019. PDF.
1. S. Saeed, R. Wille, and R. Karri. Locking the Design of Building Blocks for
Quantum Circuits. In Conference on Compilers, Architecture, and Synthesis
for Embedded Systems (CASES). 2019.
1. G. Fink, M. Hamidovic, W. Haselmayr, and R. Wille. Towards Design Automation
for Microfluidic Devices. In Conference on Micro Fluidic Handling Systems
(MFHS). 2019.
1. M. Hamidovic, U. Marta, G. Fink, R. Wille, A. Springer, and W. Haselmayr.
Information Encoding in Droplet-Based Microfluidic Systems: First Practical
Study. In International Conference on Nanoscale Computing and Communication
(NanoCom). 2019.
1. S. Pointner and Robert Wille. Did we Test Enough? Functional Coverage for
Post-Silicon Validation. In International Test Conference in Asia
(ITC-Asia). 2019. PDF.
1. S. Pointner, O. Frank, C. Hazott, and Robert Wille. Test Your Test Programs
Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows. In IEEE
Computer Society Annual Symposium on VLSI (ISVLSI). 2019. PDF.
1. F. Serajeh-Hassani, M. Sadrosadati, S. Pointner, R. Wille, and H.
Sarbazi-Azad. Focus on What is Needed: Area and Power Efficient FPGAs Using
Turn-Restricted Switch Boxes. In IEEE Computer Society Annual Symposium on
VLSI (ISVLSI). 2019. PDF.
1. R. Wille, M. Walter, F. Sill Torres, D. Große, and R. Drechsler. Ignore
Clocking Constraints: An Alternative Physical Design Methodology for
Field-coupled Nanotechnologies. In IEEE Computer Society Annual Symposium on
VLSI (ISVLSI). 2019. PDF.
1. A. Zulehner, H. Bauer, and R. Wille. Evaluating the Flexibility of A* for
Mapping Quantum Circuits. In Conference on Reversible Computation (RC).
2019. PDF.
1. R. Wille, L. Burgholzer, and A. Zulehner. Mapping Quantum Circuits to IBM QX
Architectures Using the Minimal Number of SWAP and H Operations. In Design
Automation Conference (DAC). 2019. Acceptance rate: 25%. PDF.
1. S. Pointner, A. Grimmer, and R. Wille. Exact Stimuli Minimization for
Simulation-Based Verification. In IEEE International Symposium on Circuits
and Systems (ISCAS). 2019. PDF.
1. A. Zulehner, P. Niemann, R. Drechsler, and R. Wille. One Additional Qubit is
Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. In
International Symposium on Multiple-Valued Logic (ISMVL). 2019. PDF.
1. N. Przigoda, J. Przigoda, and R. Wille. The Four-valued Logic in UML/OCL
Models: A New “Playground” for the MVL Community. In International Symposium
on Multiple-Valued Logic (ISMVL). 2019. PDF.
1. S. Pointner, P. Gonzalez de Aledo, and R. Wille. Generic Error Localization
for the Electronic System Level. In International Symposium on Design and
Diagnostics of Electronic Circuits and Systems (DDECS). 2019. PDF.
1. A. Zulehner and R. Wille. Matrix-Vector vs. Matrix-Matrix Multiplication:
Potential in DD-based Simulation of Quantum Computations. In Design,
Automation and Test in Europe (DATE). 2019. Acceptance rate: 35%. PDF.
1. M. Ring, F. Bornebusch, C. Lüth, R. Wille, and R. Drechsler. Better Late
Than Never: Verification of Embedded Systems After Deployment. In Design,
Automation and Test in Europe (DATE). 2019. Acceptance rate: 35%, Best Paper
Award Candidate. PDF.
1. L. Servadei, E. Zennaro, K. Devarajegowda, M. Manzinger, W. Ecker, and R.
Wille. Accurate Cost Estimation of Memory Systems Inspired by Machine
Learning for Computer Vision. In Design, Automation and Test in Europe
(DATE). 2019. Acceptance rate: 35%. PDF.
1. A. Zulehner, P. Niemann, R. Drechsler, and R. Wille. Accuracy and
Compactness in Decision Diagrams for Quantum Computation. In Design,
Automation and Test in Europe (DATE). 2019. Acceptance rate: 35%. PDF.
1. K. Verma, J. Oder, and R. Wille. Simulating Industrial Electrophoretic
Deposition on Distributed Memory Architectures. In Euromicro Conference on
Parallel, Distributed, and Network-Based Processing (PDP). 2019. PDF.
1. A. Zulehner and R. Wille. Compiling SU(4) Quantum Circuits to IBM QX
Architectures. In Asia and South Pacific Design Automation Conference
(ASP-DAC). 2019. Acceptance rate: 35%, Method won the IBM Developers
Challenge 2018. PDF.
1. A. Zulehner, M. Frank, and R. Wille. Design Automation for Adiabatic
Circuits. In Asia and South Pacific Design Automation Conference (ASP-DAC).
2019. Acceptance rate: 35%. PDF.
1. A. Zulehner, K. Datta, I. Sengupta, and R. Wille. A Staircase Structure for
Scalable and Efficient Synthesis of Memristor-Aided Logic. In Asia and South
Pacific Design Automation Conference (ASP-DAC). 2019. Acceptance rate: 35%,
Best Paper Award Candidate. PDF.
1. Z. Zhong, R. Wille, and K. Chakrabarty. Robust Sample Preparation on
Low-Cost Digital Microfluidic Biochips. In Asia and South Pacific Design
Automation Conference (ASP-DAC). 2019. Acceptance rate: 35%. PDF.
1. M. Walter, R. Wille, F. Sill Torres, D. Große, and R. Drechsler. Scalable
Design for Field-coupled Nanocomputing Circuits. In Asia and South Pacific
Design Automation Conference (ASP-DAC). 2019. Acceptance rate: 35%. PDF.
1. A. Bhattacharjee, C. Bandyopadhyay, R. Wille, R. Drechsler, and H. Rahaman.
Improved Look-ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum
Circuits. In International Conference on VLSI Design (VLSI Design). 2019.
PDF.
1. M. Hamidović, W. Haselmayr, A. Grimmer, and R. Wille. Droplet-on-Demand for
Realizing Flexible and Programmable Lab-on-chip-Devices. In International
Conference on Miniaturized Systems for Chemistry and Life Sciences (µTAS),
2439–2440. 2018. PDF.
1. Y. Zhu, B. Li, T.-Y. Ho, Q. Wang, H. Yao, R. Wille, and U. Schlichtmann.
Multi-Channel and Fault-Tolerant Control Multiplexing for Flow-Based
Microfluidic Biochips. In International Conference on Computer Aided Design
(ICCAD). 2018. Acceptance rate: 25%. PDF.
1. S. M. Saeed, X. Cui, A. Zulehner, R. Wille, R. Drechsler, K. Wu, and R.
Karri. IC/IP Piracy Assessment of Reversible Logic. In International
Conference on Computer Aided Design (ICCAD). 2018. Acceptance rate: 25%.
PDF.
1. K. Verma, C. Peng, K. Szewc, and R. Wille. A Multi-GPU PCISPH Implementation
with Efficient Memory Transfers. In High Performance Extreme Computing
Conference (HPEC). 2018. PDF.
1. A. Zulehner and R. Wille. QMDD-based One-pass-design of Reversible Logic:
Exploring the Available Degree of Freedom. In Conference on Reversible
Computation (RC). 2018. PDF.
1. M. Hamidovic, W. Haselmayr, A. Grimmer, R. Wille, and A. Springer.
Comparison of Switching Principles in Microfluidic Bus Networks. In
International Conference on Nanoscale Computing and Communication (NanoCom).
2018. PDF.
1. F. Sill Torres, R. Wille, M. Walter, P. Niemann, D. Große, and R. Drechsler.
Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata.
In Euromicro Conference on Digital System Design (DSD). 2018. PDF.
1. F. Sill Torres, M. Walter, R. Wille, D. Große, and R. Drechsler.
Synchronization of Clocked Field-Coupled Circuits. In IEEE International
Conference on Nanotechnology (IEEE Nano). 2018. PDF.
1. K. Verma, L. Ayuso, and R. Wille. Parallel Simulation of Electrophoretic
Deposition for Industrial Automotive Applications. In International
Conference on High Performance Computing & Simulation (HPCS). 2018. PDF.
1. A. Bhattacharjee, C. Bandyopadhyay, R. Wille, R. Drechsler, and H. Rahaman.
A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits. In
IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2018. PDF.
1. Z. Al-Wardi, R. Wille, and R. Drechsler. Synthesis of Reversible Circuits
Using Conventional Hardware Description Languages. In International
Symposium on Multiple-Valued Logic (ISMVL). 2018. PDF.
1. A. Zulehner, P. M. N. Rani, K. Datta, I. Sengupta, and R. Wille.
Generalizing the Concept of Scalable Reversible Circuit Synthesis for
Multiple-valued Logic. In International Symposium on Multiple-Valued Logic
(ISMVL). 2018. PDF.
1. R. Wille, P. Niemann, A. Zulehner, and R. Drechsler. Decision Diagrams for
the Design of Reversible and Quantum Circuits. In International Symposium on
Devices, Circuits and Systems (ISDCS). 2018. Invited Paper. PDF.
1. M. Walter, R. Wille, D. Große, F. Sill Torres, and R. Drechsler. An Exact
Method for Design Exploration of Quantum-dot Cellular Automata. In Design,
Automation and Test in Europe (DATE). 2018. Acceptance rate: 35%. PDF.
1. P. Niemann, R. Wille, and R. Drechsler. Improved Synthesis of Clifford+T
Quantum Functionality. In Design, Automation and Test in Europe (DATE).
2018. Acceptance rate: 35%. PDF.
1. A. Zulehner, A. Paler, and R. Wille. Efficient Mapping of Quantum Circuits
to the IBM QX Architectures. In Design, Automation and Test in Europe
(DATE). 2018. Acceptance rate: 35%. URL, arXiv:1712.04722, PDF.
1. A. Zulehner and R. Wille. Pushing the Number of Qubits Below the “Minimum”:
Realizing Compact Boolean Components for Quantum Logic. In Design,
Automation and Test in Europe (DATE). 2018. Acceptance rate: 35%. PDF.
1. S. Bhattacharjee, R. Wille, J.-D. Huang, and B. Bhattacharya. Storage-Aware
Sample Preparation Using Flow-based Microfluidic Lab-on-Chip. In Design,
Automation and Test in Europe (DATE). 2018. Acceptance rate: 35%. PDF.
1. W. Haselmayr, M. Hamidovic, A. Grimmer, and R. Wille. Fast and Flexible Drug
Screening Using a Pure Hydrodynamic Droplet Control. In European Conference
on MicroFluidics. 2018. PDF.
1. A. Grimmer, B. Klepic, T.-Y. Ho, and R. Wille. Sound Valve-Control for
Programmable Microfluidic Devices. In Asia and South Pacific Design
Automation Conference (ASP-DAC). 2018. Acceptance rate: 32%. PDF.
1. A. Zulehner and R. Wille. Exploiting Coding Techniques for Logic Synthesis
of Reversible Circuits. In Asia and South Pacific Design Automation
Conference (ASP-DAC). 2018. Acceptance rate: 32%. PDF.
1. P. Niemann, N. Przigoda, R. Wille, and R. Drechsler. Analyzing Frame
Conditions in UML/OCL Models: Consistency, Equivalence, and Independence. In
Int’l Conf. on Model-Driven Engineering and Software Development
(MODELSWARD). 2018. PDF.
1. P. Niemann, N. Przigoda, R. Wille, and R. Drechsler. Generation and
validation of frame conditions in formal models. In Int’l Conf. on
Model-Driven Engineering and Software Development (MODELSWARD). 2018.
1. O. Keszocze, M. Ibrahim, R. Wille, K. Chakrabarty, and R. Drechsler. Exact
Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital
Microfluidic Biochips. In International Conference on VLSI Design (VLSI
Design). 2018. PDF.
1. F. Bornebusch, R. Wille, and R. Drechsler. Towards Lightweight
Satisfiability Solvers for Self-Verification. In International Symposium on
Electronic System Design (ISED). 2017. Invited Paper. PDF.
1. S. M. Saeed, N. Mahendran, A. Zulehner, R. Wille, and R. Karri. Identifying
Synthesis Approaches for IP Piracy of Reversible Circuits. In International
Conference on Computer Design (ICCD). 2017. PDF.
1. A. Kole, K. Datta, R. Wille, and I. Sengupta. A Nearest Neighbor Quantum
Cost Metric for the Reversible Circuit Level. In IEEE Region Ten Conference
(TENCON). 2017.
1. A. Deb, R. Wille, and R. Drechsler. Dedicated Synthesis for MZI-based
Optical Circuits based on AND-Inverter Graphs. In International Conference
on Computer Aided Design (ICCAD). 2017. Acceptance rate: 24%. PDF.
1. T. van Dijk, R. Wille, and R. Meolic. Tagged BDDs: Combining Reduction Rules
from Different Decision Diagram Types. In International Conference on Formal
Methods in CAD (FMCAD). 2017. PDF.
1. N. Przigoda, P. Niemann, J. Peters, F. Hilken, R. Wille, and R. Drechsler.
More than true or false: Native Support of Irregular Values in the Automatic
Validation & Verification of UML/OCL Models. In International Conference on
Formal Methods and Models for Codesign (MEMOCODE). 2017. PDF.
1. K. Verma, K. Szewc, and R. Wille. Advanced Load Balancing for SPH
Simulations on Multi-GPU Architectures. In High Performance Extreme
Computing Conference (HPEC). 2017. Best Paper Finalist. PDF.
1. M. Gogolla, F. Hilken, P. Niemann, and R. Wille. Formulating Model
Verification Tasks Prover-Independently as UML Diagrams. In European
Conference on Modelling Foundations and Applications (ECMFA). 2017. PDF.
1. J. Stoppe, O. Keszocze, M. Luenert, R. Wille, and R. Drechsler. BioViz: An
Interactive Visualization Engine for the Design of Digital Microfluidic
Biochips. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2017.
PDF.
1. A. Zulehner and R. Wille. Improving Synthesis of Reversible Circuits:
Exploiting Redundancies in Paths and Nodes of QMDDs. In Conference on
Reversible Computation (RC). 2017. PDF.
1. A. Zulehner, S. Gasser, and R. Wille. Exact Global Reordering for Nearest
Neighbor Quantum Circuits Using A*. In Conference on Reversible Computation
(RC). 2017. PDF.
1. P. Niemann, A. Zulehner, R. Wille, and R. Drechsler. Efficient Construction
of QMDDs for Irreversible, Reversible, and Quantum Functions. In Conference
on Reversible Computation (RC). 2017. PDF.
1. A. Kole, R. Wille, K. Datta, and I. Sengupta. Test Pattern Generation Effort
Evaluation of Reversible Circuits. In Conference on Reversible Computation
(RC). 2017. PDF.
1. Z. Al-Wardi, R. Wille, and R. Drechsler. Towards VHDL-based Design of
Reversible Circuits. In Conference on Reversible Computation (RC). 2017.
PDF.
1. A. Prakash Surhonne, A. Chattopadhyay, and R. Wille. Automatic Test Pattern
Generation for Multiple Missing Gate Faults in Reversible Circuits. In
Conference on Reversible Computation (RC). 2017. PDF.
1. A. Rauchenecker, T. Ostermann, and R. Wille. Exploiting Reversible Logic
Design for Implementing Adiabatic Circuits. In International Conference on
Mixed Design of Integrated Circuits and Systems (MIXDES). 2017. PDF.
1. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. A Discrete Model for
Networked Labs-on-Chips: Linking the Physical World to Design Automation. In
Design Automation Conference (DAC). 2017. Acceptance rate: 24%. PDF.
1. W. Haselmayr, A. Biral, A. Grimmer, A. Zanella, A. Springer, and R. Wille.
Addressing Multiple Nodes in Networked Labs-on-Chips without Payload
Re-injection. In International Conference on Communications (ICC). 2017.
Acceptance rate: 38%. PDF.
1. A. Rauchenecker and R. Wille. An Efficient Physical Design of Fully-testable
BDD-based Circuits. In International Symposium on Design and Diagnostics of
Electronic Circuits and Systems (DDECS). 2017. PDF.
1. A. Zulehner and R. Wille. Skipping Embedding in the Design of Reversible
Circuits. In International Symposium on Multiple-Valued Logic (ISMVL). 2017.
PDF.
1. A. Deb, R. Wille, and R. Drechsler. OR-Inverter Graphs for the Synthesis of
Optical Circuits. In International Symposium on Multiple-Valued Logic
(ISMVL). 2017. PDF.
1. Z. Al-Wardi, R. Wille, and R. Drechsler. Extensions to the Reversible
Hardware Description Language SyReC. In International Symposium on
Multiple-Valued Logic (ISMVL). 2017. PDF.
1. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. Verification of
Networked Labs-on-Chip Architectures. In Design, Automation and Test in
Europe (DATE). 2017. Acceptance rate: 24%. PDF.
1. A. Zulehner and R. Wille. Taking One-to-one Mappings for Granted: Advanced
Logic Design of Encoder Circuits. In Design, Automation and Test in Europe
(DATE). 2017. Acceptance rate: 24%. PDF.
1. A. Zulehner and R. Wille. Make It Reversible: Efficient Embedding of
Non-reversible Functions. In Design, Automation and Test in Europe (DATE).
2017. Acceptance rate: 24%. PDF.
1. W. Haselmayr, A. Grimmer, and R. Wille. Stochastic Computing Using
Droplet-Based Microfluidics. In International Conference on Computer Aided
Systems Theory (EUROCAST). 2017. PDF.
1. A. Grimmer, Q. Wang, H. Yao, T.-Y. Ho, and R. Wille. Close-to-Optimal
Placement and Routing for Continuous-Flow Microfluidic Biochips. In Asia and
South Pacific Design Automation Conference (ASP-DAC). 2017. Acceptance
rate: 31%. PDF.
1. O. Keszocze, Z. Li, A. Grimmer, R. Wille, K. Chakrabarty, and R. Drechsler.
Exact Routing for Micro-Electrode-Dot-Array Digital Microfluidic Biochips.
In Asia and South Pacific Design Automation Conference (ASP-DAC). 2017.
Acceptance rate: 31%. PDF.
1. S. Huhn, S. Frehse, R. Wille, and R. Drechsler. Enhancing Robustness of
Sequential Circuits Using Application-specific Knowledge and Formal Methods.
In Asia and South Pacific Design Automation Conference (ASP-DAC). 2017.
Acceptance rate: 31%. PDF.
1. R. Wille, O. Keszocze, L. Othmer, M. K. Thomsen, and R. Drechsler.
Generating and Checking Control Logic in the HDL-based Design of Reversible
Circuits. In International Symposium on Electronic System Design (ISED).
2016. PDF.
1. S. Burman, K. Datta, R. Wille, I. Sengupta, and R. Drechsler. An Improved
Gate Library for Logic Synthesis of Optical Circuits. In International
Symposium on Electronic System Design (ISED). 2016. PDF.
1. J. G. Filho, N. Przigoda, R. Wille, and R. Drechsler. Towards a Model-Based
Verification Methodology for Complex Swarm Systems. In International
Symposium on Electronic System Design (ISED). 2016. Invited Paper. PDF.
1. J. Peters, N. Przigoda, R. Wille, and R. Drechsler. Clocks vs. Instants
Relations: Verifying CCSL Time Constraints in UML/MARTE Models. In
International Conference on Formal Methods and Models for Codesign
(MEMOCODE). 2016. Acceptance rate: 26%. PDF.
1. N. Przigoda, J. G. Filho, P. Niemann, R. Wille, and R. Drechsler. Frame
Conditions in Symbolic Representations of UML/OCL Models. In International
Conference on Formal Methods and Models for Codesign (MEMOCODE). 2016.
Acceptance rate: 26%. PDF.
1. N. Przigoda, R. Wille, and R. Drechsler. Ground Setting Properties for an
Efficient Translation of OCL in SMT-based Model Finding. In International
Conference on Model Driven Engineering Languages and Systems (MODELS). 2016.
Acceptance rate: 24%. PDF.
1. R. Wille, A. Chattopadhyay, and R. Drechsler. From Reversible Logic to
Quantum Circuits: Logic Design for an Emerging Technology. In International
Conference on Embedded Computer Systems: Architectures, Modeling, and
Simulation (SAMOS). 2016. PDF.
1. R. Wille, N. Quetschlich, Y. Inoue, N. Yasuda, and S. Minato. Using πDDs for
Nearest Neighbor Optimization of Quantum Circuits. In Conference on
Reversible Computation (RC). 2016. PDF.
1. R. Wille, A. Lye, and P. Niemann. Checking Reversibility of Boolean
Functions. In Conference on Reversible Computation (RC). 2016. PDF.
1. R. Wille, Oliver Keszocze, Lars Othmer, Michael Kirkedal Thomsen, and Rolf
Drechsler. Initial Ideas for Automatic Design and Verification of Control
Logic in Reversible HDLs. In Conference on Reversible Computation (RC).
2016.
1. J. Clemens, R. Wille, and K. Schill. Towards the exploitation of formal
methods for information fusion. In Multisensor, Multisource Information
Fusion: Architectures, Algorithms, and Applications. 2016. PDF.
1. F. Hilken, P. Niemann, M. Gogolla, and R. Wille. Towards a Catalog of
Structural and Behavioral Verification Tasks for UML/OCL Models. In
Modellierung. 2016. PDF.
1. P. Niemann, R. Datta, and R. Wille. Logic Synthesis for Quantum State
Generation. In International Symposium on Multiple-Valued Logic (ISMVL).
2016. PDF.
1. Md. M. Rahman, G. W. Dueck, A. Chattopadhyay, and R. Wille. Integrated
Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits. In
International Symposium on Multiple-Valued Logic (ISMVL). 2016. PDF.
1. L. Biswal, C. Bandyopadhyay, A. Chattopadhyay, R. Wille, R. Drechsler, and
H. Rahaman. Nearest-Neighbor and Fault-Tolerant Quantum Circuit
Implementation. In International Symposium on Multiple-Valued Logic (ISMVL).
2016. PDF.
1. Z. Al-Wardi, R. Wille, and R. Drechsler. Re-writing HDL Descriptions for
Line-aware Synthesis of Reversible Circuits. In International Symposium on
Multiple-Valued Logic (ISMVL). 2016. PDF.
1. N. Przigoda, G. W. Dueck, R. Wille, and R. Drechsler. Fault Detection in
Parity Preserving Reversible Circuits. In International Symposium on
Multiple-Valued Logic (ISMVL). 2016. PDF.
1. L. Amaru, P.-E. Gaillardon, R. Wille, and G. De Micheli. Exploiting Inherent
Characteristics of Reversible Circuits for Faster Combinational Equivalence
Checking. In Design, Automation and Test in Europe (DATE). 2016. Acceptance
rate: 34%. PDF.
1. R. Wille, O. Keszocze, S. Hillmich, M. Walter, and A. Garcia-Ortiz.
Synthesis of Approximate Coders for On-chip Interconnects Using Reversible
Logic. In Design, Automation and Test in Europe (DATE). 2016. Acceptance
rate: 34%. PDF.
1. R. Wille, O. Keszocze, M. Walter, P. Rohrs, A. Chattopadhyay, and R.
Drechsler. Look-ahead Schemes for Nearest Neighbor Optimization of 1D and 2D
Quantum Circuits. In Asia and South Pacific Design Automation Conference
(ASP-DAC). 2016. Acceptance rate: 34%. PDF.
1. L. Biswal, C. Bandyopadhyay, R. Wille, R. Drechsler, and H. Rahaman.
Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW
Quantum Gate Library. In International Conference on VLSI Design (VLSI
Design). 2016. Acceptance rate: 36%.
1. R. Drechsler and R. Wille. Reversible Computation: An Alternative
Computation Paradigm for Low Power Applications. In International Green and
Sustainable Computing Conference (IGSC). 2015. Invited Paper. PDF.
1. P. Niemann, F. Hilken, M. Gogolla, and R. Wille. Extracting Frame Conditions
from Operation Contracts. In International Conference on Model Driven
Engineering Languages and Systems (MODELS). 2015. Acceptance rate: 26%. PDF.
1. N. Przigoda, C. Hilken, R. Wille, J. Peleska, and R. Drechsler. Checking
Concurrent Behavior in UML/OCL Models. In International Conference on Model
Driven Engineering Languages and Systems (MODELS). 2015. Acceptance
rate: 26%. PDF.
1. O. Keszocze, R. Wille, K. Chakrabarty, and R. Drechsler. A General and Exact
Routing Methodology for Digital Microfluidic Biochips. In International
Conference on Computer Aided Design (ICCAD). 2015. Acceptance rate: 26%.
PDF.
1. N. Przigoda, R. Wille, and R. Drechsler. Leveraging the Analysis for
Invariant Independence in Formal System Models. In Euromicro Conference on
Digital System Design (DSD). 2015. PDF.
1. N. Przigoda, J. Stoppe, J. Seiter, R. Wille, and R. Drechsler.
Verification-driven Design Across Abstraction Levels: A Case Study. In
Euromicro Conference on Digital System Design (DSD). 2015. PDF.
1. R. Drechsler, M. Fränzle, and R. Wille. Envisioning Self-Verification of
Electronic Systems. In International Symposium on Reconfigurable
Communication-centric Systems-on-Chip (ReCoSoC). 2015. PDF.
1. P. Niemann, S. Basu, A. Chakrabarti, N. K. Jha, and R. Wille. Synthesis of
Quantum Circuits for Dedicated Physical Machine Descriptions. In Conference
on Reversible Computation (RC). 2015. PDF.
1. Z. Al-Wardi, R. Wille, and R. Drechsler. Towards Line-aware Realizations of
Expressions for HDL-based Synthesis of Reversible Circuits. In Conference on
Reversible Computation (RC). 2015. PDF.
1. A. Kole, K. Datta, I. Sengupta, and R. Wille. Towards a Cost Metric for
Nearest Neighbor Constraints in Reversible Circuits. In Conference on
Reversible Computation (RC). 2015. PDF.
1. F. Hilken, P. Niemann, M. Gogolla, and R. Wille. From UML/OCL to Base
Models: Transformation Concepts for Generic Validation and Verification. In
International Conference on Model Transformation (ICMT). 2015. PDF.
1. J. Peters, R. Wille, N. Przigoda, U. Kühne, and R. Drechsler. A Generic
Representation of CCSL Time Constraints for UML/MARTE Models. In Design
Automation Conference (DAC). 2015. Acceptance rate: 20%. PDF.
1. N. Przigoda, R. Wille, and Rolf Drechsler. Contradiction Analysis for
Inconsistent Formal Models. In International Symposium on Design and
Diagnostics of Electronic Circuits and Systems (DDECS). 2015. PDF.
1. A. Deb, R. Wille, R. Drechsler, and D. Das. An Efficient Reduction of Common
Control Lines for Reversible Circuit Optimization. In International
Symposium on Multiple-Valued Logic (ISMVL). 2015. PDF.
1. A. Allahyari-Abhari, R. Wille, and R. Drechsler. An Examination of the
NCV-v1 Quantum Library Based on Minimal Circuits. In International Symposium
on Multiple-Valued Logic (ISMVL). 2015. PDF.
1. C. Hilken, J. Peleska, and R. Wille. A Unified Formulation of Behavioral
Semantics for SysML Models. In Int’l Conf. on Model-Driven Engineering and
Software Development (MODELSWARD). 2015. PDF.
1. P. Niemann, F. Hilken, M. Gogolla, and R. Wille. Assisted Generation of
Frame Conditions for Formal Models. In Design, Automation and Test in Europe
(DATE), 309–312. 2015. Acceptance rate: 32%. PDF.
1. J. Stoppe, R. Wille, and R. Drechsler. Automated Feature Localization for
Dynamically Generated SystemC Designs. In Design, Automation and Test in
Europe (DATE), 277–280. 2015. Acceptance rate: 32%. PDF.
1. E. Schönborn, K. Datta, R. Wille, I. Sengupta, H. Rahaman, and R. Drechsler.
BDD-based Synthesis for All-optical Mach-Zehnder Interferometer Circuits. In
International Conference on VLSI Design (VLSI Design), 435–440. 2015.
1. R. Wille, O. Keszocze, C. Hopfmuller, and R. Drechsler. Reverse BDD-based
Synthesis for Splitter-free Optical Circuits. In Asia and South Pacific
Design Automation Conference (ASP-DAC), 172–177. 2015. Acceptance rate: 34%.
PDF.
1. A. Lye, R. Wille, and R. Drechsler. Determining the Minimal Number of SWAP
Gates for Multi-dimensional Nearest Neighbor Quantum Circuits. In Asia and
South Pacific Design Automation Conference (ASP-DAC), 178–183. 2015.
Acceptance rate: 34%. PDF.
1. J. Seiter, R. Wille, U. Kühne, and R. Drechsler. Automatic Refinement
Checking for Formal System Models. In Forum on Specification and Design
Languages (FDL), 1–8. 2014. Best Paper Award Candidate. PDF.
1. C. Hilken, J. Seiter, R. Wille, U. Kühne, and R. Drechsler. Verifying
Consistency between Activity Diagrams and Their Corresponding OCL Contracts.
In Forum on Specification and Design Languages (FDL), 1–7. 2014. PDF.
1. O. Keszocze, B. Keiner, M. Richter, G. Antpöhler, and R. Wille.
(Semi-)Automatic Translation of Legal Regulations to Formal Representations:
Expanding the Horizon of EDA Applications. In Special Session at the Forum
on Specification and Design Languages (FDL). 2014. PDF.
1. O. Keszöcze, R. Wille, and R. Drechsler. Exact Routing for Digital
Microfluidic Biochips with Temporary Blockages. In International Conference
on Computer Aided Design (ICCAD), 599–606. 2014. Acceptance rate: 25%. PDF.
1. S. Yang, R. Wille, and R. Drechsler. Improving Coverage of Simulation-based
Verification by Dedicated Stimuli Generation. In Euromicro Conference on
Digital System Design (DSD), 599–606. 2014. PDF.
1. S. Yang, R. Wille, and R. Drechsler. Determining Cases of Scenarios to
Improve Coverage in Simulation-based Verification. In Symposium on
Integrated Circuits and System Design (SBCCI). 2014. PDF.
1. J. Stoppe, R. Wille, and R. Drechsler. Validating SystemC Implementations
Against Their Formal Specifications. In Symposium on Integrated Circuits and
System Design (SBCCI). 2014. PDF.
1. F. Hilken, P. Niemann, M. Gogolla, and R. Wille. Filmstripping and
Unrolling: A Comparison of Verification Approaches for UML and OCL
Behavioral Models. In International Conference on Tests & Proofs (TAP),
99–116. 2014. PDF.
1. J. Peters, R. Wille, and R. Drechsler. Generating SystemC Implementations
for Clock Constraints specified in UML/MARTE CCSL. In International
Conference on Engineering of Complex Computer Systems (ICECCS), 116–125.
2014. Acceptance rate: 27%. PDF.
1. P. Niemann, R. Wille, and R. Drechsler. Equivalence Checking in Multi-level
Quantum Systems. In Conference on Reversible Computation (RC), 201–215.
2014. PDF.
1. R. Wille, J. Stoppe, E. Schönborn, K. Datta, and R. Drechsler. RevVis:
Visualization of Structures and Properties in Reversible Circuits. In
Conference on Reversible Computation (RC), 111–124. 2014. PDF.
1. E. Schönborn, K. Datta, R. Wille, I. Sengupta, H. Rahaman, and R. Drechsler.
Optimizing DD-based Synthesis of Reversible Circuits using Negative Control
Lines. In International Symposium on Design and Diagnostics of Electronic
Circuits and Systems (DDECS), 129–134. 2014. PDF.
1. O. Keszöcze, R. Wille, T.-Y. Ho, and R. Drechsler. Exact One-pass Synthesis
of Digital Microfluidic Biochips. In Design Automation Conference (DAC).
2014. Acceptance rate: 22%. PDF.
1. R. Wille, A. Lye, and R. Drechsler. Optimal SWAP Gate Insertion for Nearest
Neighbor Quantum Circuits. In Asia and South Pacific Design Automation
Conference (ASP-DAC), 489–494. 2014. Acceptance rate: 31%. PDF.
1. P. Niemann, R. Wille, and R. Drechsler. Efficient Synthesis of Quantum
Circuits Implementing Clifford Group Operations. In Asia and South Pacific
Design Automation Conference (ASP-DAC), 483–488. 2014. Acceptance rate: 31%,
Best Paper Award Candidate. PDF.
1. S. Eggersglüß, R. Wille, and Rolf Drechsler. Improved SAT-based ATPG: More
Constraints, Better Compaction. In International Conference on Computer
Aided Design (ICCAD), 85–90. 2013. Acceptance rate: 26%, Received Best Paper
Award. PDF.
1. R. Wille, N. Przigoda, and Rolf Drechsler. A Compact and Efficient SAT
Encoding for Quantum Circuits. In IEEE AFRICON. 2013. PDF.
1. R. Wille, S. Stelter, and R. Drechsler. Exploiting Reversibility in the
Complete Simulation of Reversible Circuits. In IEEE AFRICON. 2013. PDF.
1. J. Stoppe, R. Wille, and R. Drechsler. Cone of Influence Analysis at the
Electronic System Level Using Machine Learning. In Euromicro Conference on
Digital System Design (DSD), 582–587. 2013. PDF.
1. S. Yang, R. Wille, D. Große, and R. Drechsler. Minimal Stimuli Generation in
Simulation-based Verification. In Euromicro Conference on Digital System
Design (DSD), 439–444. 2013. PDF.
1. R. Wille and R. Drechsler. The SyReC Hardware Description Language: Enabling
Scalable Synthesis of Reversible Circuits. In Midwest Symposium on Circuits
and Systems. 2013.
1. J. Stoppe, R. Wille, and R. Drechsler. Data Extraction from SystemC Designs
using Debug Symbols and the SystemC API. In IEEE Computer Society Annual
Symposium on VLSI (ISVLSI), 26–31. 2013. PDF.
1. P. Niemann, R. Wille, and R. Drechsler. On the “Q” in QMDDs: Efficient
Representation of Quantum Functionality in the QMDD Data-structure. In
Conference on Reversible Computation (RC), 125–140. 2013. PDF.
1. N. Abdessaied, R. Wille, M. Soeken, and R. Drechsler. Reducing the Depth of
Quantum Circuits Using Additional Circuit Lines. In Conference on Reversible
Computation (RC), 221–233. 2013. PDF.
1. K. Datta, G. Rathi, R. Wille, I. Sengupta, H. Rahaman, and R. Drechsler.
Exploiting Negative Control Lines in the Optimization of Reversible
Circuits. In Conference on Reversible Computation (RC), 209–220. 2013. PDF.
1. A. Deb, D. Kumar Das, H. Rahaman, B. B. Bhattacharya, R. Wille, and R.
Drechsler. Reversible Circuit Synthesis of Symmetric Functions Using a
Simple Regular Structure. In Conference on Reversible Computation (RC),
182–195. 2013. PDF.
1. R. Wille, H. Zhang, and R. Drechsler. Fault Ordering for Automatic Test
Pattern Generation of Reversible Circuits. In International Symposium on
Multiple-Valued Logic (ISMVL), 29–34. 2013. PDF.
1. N. Abdessaied, M. Soeken, R. Wille, and R. Drechsler. Exact Template
Matching Using Boolean Satisfiability. In International Symposium on
Multiple-Valued Logic (ISMVL), 328–333. 2013. PDF.
1. R. Wille, M. Gogolla, M. Soeken, M. Kuhlmann, and R. Drechsler. Towards a
Generic Verification Methodology for System Models. In Design, Automation
and Test in Europe (DATE), 1193–1196. 2013. Acceptance rate: 36%. PDF.
1. J. Seiter, R. Wille, M. Soeken, and R. Drechsler. Determining Relevant Model
Elements for the Verification of UML/OCL Specifications. In Design,
Automation and Test in Europe (DATE), 1189–1192. 2013. Acceptance rate: 36%.
PDF.
1. R. Wille, M. Soeken, C. Otterstedt, and R. Drechsler. Improving the Mapping
of Reversible Circuits to Quantum Circuits Using Multiple Target Lines. In
Asia and South Pacific Design Automation Conference (ASP-DAC), 145–150.
2013. Acceptance rate: 31%. PDF.
1. R. Drechsler, M. Soeken, and R. Wille. Towards Dialog Systems for Assisted
Natural Language Processing in the Design of Embedded Systems. In
International Design & Test Symposium (IDT). 2012. Invited Paper. PDF.
1. R. Drechsler and R. Wille. Synthesis of Reversible Circuits Using Decision
Diagrams. In International Symposium on Electronic System Design (ISED),
1–5. 2012. Invited Paper. PDF.
1. R. Drechsler, M. Diepenbeck, D. Große, U. K"uhne, H. M. Le, J. Seiter, M.
Soeken, and R. Wille. Completeness-Driven Development. In International
Conference on Graph Transformations (ICGT), 38–50. 2012. Invited Paper. PDF.
1. R. Drechsler, M. Soeken, and R. Wille. Formal Specification Level: Towards
Verification-driven Design Based on Natural Language Processing. In Forum on
Specification and Design Languages (FDL), 53–58. 2012. Invited Paper. PDF.
1. R. Wille, M. Soeken, E. Schönborn, and R. Drechsler. Circuit Line
Minimization in the HDL-based Synthesis of Reversible Logic. In IEEE
Computer Society Annual Symposium on VLSI (ISVLSI), 213–218. 2012. PDF.
1. S. Yang, R. Wille, D. Große, and R. Drechsler. Coverage-driven Stimuli
Generation. In Euromicro Conference on Digital System Design (DSD), 525–528.
2012. PDF.
1. R. Drechsler and R. Wille. Reversible Circuits: Recent Accomplishments and
Future Challenges for an Emerging Technology. In International Symposium on
VLSI Design and Test (VDAT), 383–392. 2012. Invited Paper. PDF.
1. M. Soeken, R. Wille, and R. Drechsler. Assisted Behavior Driven Development
Using Natural Language Processing. In International Conference on Objects,
Models, Components, Patterns (TOOLS), 269–287. 2012. Acceptance rate: 31%.
PDF.
1. Z. Sasanian, R. Wille, and D. M. Miller. Realizing Reversible Circuits Using
a New Class of Quantum Gates. In Design Automation Conference (DAC), 36–41.
2012. Acceptance rate: 22%. PDF.
1. M. Soeken, Z. Sasanian, R. Wille, D. M. Miller, and R. Drechsler. Optimizing
the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits. In
International Symposium on Multiple-Valued Logic (ISMVL), 173–178. 2012.
PDF.
1. M. Soeken, R. Wille, C. Otterstedt, and R. Drechsler. A Synthesis Flow for
Sequential Reversible Circuits. In International Symposium on
Multiple-Valued Logic (ISMVL), 299–304. 2012. PDF.
1. R. Wille, M. Soeken, N. Przigoda, and R. Drechsler. Exact Synthesis of
Toffoli Gate Circuits with Negative Control Lines. In International
Symposium on Multiple-Valued Logic (ISMVL), 69–74. 2012. PDF.
1. R. Wille, R. Drechsler, C. Oswald, and A. Garcia-Ortiz. Automatic Design of
Low-Power Encoders Using Reversible Circuit Synthesis. In Design, Automation
and Test in Europe (DATE), 1036–1041. 2012. Acceptance rate: 27%. PDF.
1. R. Wille, M. Soeken, and R. Drechsler. Debugging of Inconsistent UML/OCL
Models. In Design, Automation and Test in Europe (DATE), 1078–1083. 2012.
Acceptance rate: 27%. PDF.
1. M. Soeken, R. Wille, and R. Drechsler. Eliminating Invariants in UML/OCL
Models. In Design, Automation and Test in Europe (DATE), 1142–1145. 2012.
Acceptance rate: 27%. PDF.
1. M. Soeken, R. Wille, C. Hilken, N. Przigoda, and R. Drechsler. Synthesis of
Reversible Circuits with Minimal Lines for Large Functions. In Asia and
South Pacific Design Automation Conference (ASP-DAC), 85–92. 2012.
Acceptance rate: 34%. PDF.
1. H. Zhang, R. Wille, and R. Drechsler. Improved Fault Diagnosis for
Reversible Circuits. In Asian Test Symposium (ATS), 207–212. 2011. PDF.
1. S. Offermann, R. Wille, and R. Drechsler. Efficient Realization of Control
Logic in Reversible Circuits. In Forum on Specification and Design Languages
(FDL), 1–7. 2011. PDF.
1. H. Zhang, S. Frehse, R. Wille, and R. Drechsler. Determining Minimal
Testsets for Reversible Circuits Using Boolean Satisfiability. In IEEE
AFRICON, 1–6. 2011. PDF.
1. R. Wille, A. Sülflow, and R. Drechsler. VisSAT: Visualization of SAT Solver
Internals for Computer Aided Hardware Verification. In International
Conference on Modeling, Simulation and Visualization Methods (MSV), 36–39.
2011. PDF.
1. R. Wille, H. Zhang, and R. Drechsler. ATPG for Reversible Circuits Using
Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization. In IEEE
Computer Society Annual Symposium on VLSI (ISVLSI), 120–125. 2011. PDF.
1. M. Soeken, R. Wille, and R. Drechsler. Encoding OCL Data Types for SAT-based
Verification of UML/OCL Models. In International Conference on Tests &
Proofs (TAP), 152–170. 2011. PDF.
1. R. Wille, M. Soeken, D. Große, E. Schönborn, and R. Drechsler. Designing a
RISC CPU in Reversible Logic. In International Symposium on Multiple-Valued
Logic (ISMVL), 170–175. 2011. PDF.
1. R. Drechsler and R. Wille. From Truth Tables to Programming Languages:
Progress in the Design of Reversible Circuits. In International Symposium on
Multiple-Valued Logic (ISMVL), 78–85. 2011. Invited Paper. PDF.
1. D. M. Miller, R. Wille, and Z. Sasanian. Elementary Quantum Gate
Realizations for Multiple-Control Toffoli Gates. In International Symposium
on Multiple-Valued Logic (ISMVL), 288–293. 2011. PDF.
1. R. Wille. An Introduction to Reversible Circuit Design. In Saudi
International Electronics, Communications and Photonics Conference (SIECPC),
1–4. 2011. Invited Paper.
1. M. Soeken, R. Wille, and R. Drechsler. Verifying Dynamic Aspects of UML
Models. In Design, Automation and Test in Europe (DATE), 1077–1082. 2011.
Acceptance rate: 34%. PDF.
1. R. Wille, O. Keszöcze, and R. Drechsler. Determining the Minimal Number of
Lines for Large Reversible Circuits. In Design, Automation and Test in
Europe (DATE), 1204–1207. 2011. Acceptance rate: 34%. PDF.
1. R. Wille, S. Offermann, and R. Drechsler. SyReC: A Programming Language for
Synthesis of Reversible Circuits. In Forum on Specification and Design
Languages (FDL), 184–189. 2010. Received Best Paper Award. PDF.
1. H.-J. Kreowski, S. Kuske, and R. Wille. Graph Transformation Units Guided by
a SAT Solver. In International Conference on Graph Transformations (ICGT),
27–42. 2010.
1. R. Wille, M. Soeken, and R. Drechsler. Reducing the Number of Lines in
Reversible Circuits. In Design Automation Conference (DAC), 647–652. 2010.
Acceptance rate: 24%. PDF.
1. S. Offermann, R. Wille, G. W. Dueck, and R. Drechsler. Synthesizing
Multiplier in Reversible Logic. In International Symposium on Design and
Diagnostics of Electronic Circuits and Systems (DDECS), 335–340. 2010. PDF.
1. M. Soeken, R. Wille, G. W. Dueck, and R. Drechsler. Window Optimization of
Reversible and Quantum Circuits. In International Symposium on Design and
Diagnostics of Electronic Circuits and Systems (DDECS), 431–435. 2010. PDF.
1. J. C. Jung, S. Frehse, R. Wille, and R. Drechsler. Enhancing Debugging of
Multiple Missing Control Errors in Reversible Logic. In Great Lakes
Symposium on VLSI (GLVLSI), 465–470. 2010. PDF.
1. M. Soeken, R. Wille, M. Kuhlmann, M. Gogolla, and R. Drechsler. Verifying
UML/OCL Models Using Boolean Satisfiability. In Design, Automation and Test
in Europe (DATE), 1341–1344. 2010. Acceptance rate: 30%. PDF.
1. S. Frehse, R. Wille, and R. Drechsler. Efficient Simulation-based Debugging
of Reversible Logic. In International Symposium on Multiple-Valued Logic
(ISMVL), 156–161. 2010. PDF.
1. D. M. Miller, R. Wille, and R. Drechsler. Reducing Reversible Circuit Cost
by Adding Lines. In International Symposium on Multiple-Valued Logic
(ISMVL), 217–222. 2010. PDF.
1. R. Wille, D. Große, F. Haedicke, and R. Drechsler. SMT-based Stimuli
Generation in the SystemC Verification Library. In Forum on Specification
and Design Languages (FDL), 1–6. 2009. PDF.
1. D.M. Miller, R. Wille, and G.W. Dueck. Synthesizing Reversible Circuits for
Irreversible Functions. In Euromicro Conference on Digital System Design
(DSD), 749–756. 2009. PDF.
1. R. Wille and R. Drechsler. BDD-based Synthesis of Reversible Logic for Large
Functions. In Design Automation Conference (DAC), 270–275. 2009. Acceptance
rate: 22%. PDF.
1. D. Große, R. Wille, U. Kühne, and R. Drechsler. Contradictory Antecedent
Debugging in Bounded Model Checking. In Great Lakes Symposium on VLSI
(GLVLSI), 173–176. 2009. PDF.
1. A. Sülflow, R. Wille, G. Fey, and R. Drechsler. Evaluation of Cardinality
Constraints on SMT-based Debugging. In International Symposium on
Multiple-Valued Logic (ISMVL), 298–303. 2009. PDF.
1. R. Wille, D. Große, D.M. Miller, and R. Drechsler. Equivalence Checking of
Reversible Circuits. In International Symposium on Multiple-Valued Logic
(ISMVL), 324–330. 2009. PDF.
1. R. Wille, D. Große, S. Frehse, G.W. Dueck, and R. Drechsler. Debugging of
Toffoli Networks. In Design, Automation and Test in Europe (DATE),
1284–1289. 2009. Acceptance rate: 23%. PDF.
1. R. Wille, D. Große, G.W. Dueck, and R. Drechsler. Reversible Logic Synthesis
with Output Permutation. In International Conference on VLSI Design (VLSI
Design), 189–194. 2009. Acceptance rate: 26%. PDF.
1. R. Wille, G. Fey, M. Messing, G. Angst, L. Linhard, and R. Drechsler.
Identifying a Subset of SystemVerilog Assertions for Efficient Bounded Model
Checking. In Euromicro Conference on Digital System Design (DSD), 411–416.
2008. PDF.
1. D. Große, R. Wille, R. Siegmund, and R. Drechsler. Contradiction Analysis
for Constraint-based Random Simulation. In Forum on Specification and Design
Languages (FDL), 411–416. 2008. PDF.
1. R. Wille, D. Große, M. Soeken, and R. Drechsler. Using Higher Levels of
Abstraction for Solving Optimization Problems by Boolean Satisfiability. In
IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 411–416. 2008.
Acceptance rate: 28%. PDF.
1. R. Wille, D. Große, L. Teuber, G.W. Dueck, and R. Drechsler. RevLib: An
Online Resource for Reversible Functions and Reversible Circuits. In
International Symposium on Multiple-Valued Logic (ISMVL), 220–225. 2008.
RevLib is available at http://www.revlib.org. PDF.
1. D. Große, R. Wille, G.W. Dueck, and R. Drechsler. Exact Synthesis of
Elementary Quantum Gate Circuits for Reversible Functions with Don’t Cares.
In International Symposium on Multiple-Valued Logic (ISMVL), 214–219. 2008.
Received IEEE Young Researchers Award. PDF.
1. R. Wille, H. M. Le, G.W. Dueck, and D. Große. Quantified Synthesis of
Reversible Logic. In Design, Automation and Test in Europe (DATE),
1015–1020. 2008. Acceptance rate: 24%. PDF.
1. R. Wille and D. Große. Fast Exact Toffoli Network Synthesis of Reversible
Logic. In International Conference on Computer Aided Design (ICCAD), 60–64.
2007. Acceptance rate: 27%. PDF.
1. R. Wille, G. Fey, D. Große, S. Eggersglüß, and R. Drechsler. SWORD: A SAT
like Prover using Word Level Information. In IFIP International Conference
on Very Large Scale Integration (IFIP VLSI-SOC), 88–93. 2007. PDF.
PREPRINTS
1. K. Mato, M. Ringbauer, L. Burgholzer, and R. Wille. MQT Qudits: A Software
Framework for Mixed-Dimensional Quantum Computing. 2024. arXiv:, PDF.
1. T. Peham, L.Schmid, L. Berent, M. Müller, and R. Wille. Automated Synthesis
of Fault-Tolerant State Preparation Circuits for Quantum Error Correction
Codes. 2024. arXiv:2408.11894, PDF.
1. T. Hillmann, L. Berent, A.O. Quintavalle, J. Eisert, R. Wille, and J. Roffe.
Localized statistics decoding: A parallel decoding algorithm for quantum
low-density parity-check codes. 2024. arXiv:2406.18655.
1. S. Engels, T. Peham, J. Przigoda, N. Przigoda, and R. Wille. Design Tasks
and Their Complexity for the European Train Control System with Hybrid Train
Detection. 2024. arXiv:2308.02572, PDF.
1. M. Emmerich, F. Costamoling, and R. Wille. Modular and Extendable
1D-Simulation for Microfluidic Devices. 2024. arXiv:2406.15562, PDF.
1. D. Rovara, N. Quetschlich, and R. Wille. A Framework to Formulate
Pathfinding Problems for Quantum Computing. 2024. arXiv:2404.10820, PDF.
1. M. Walter, J. Croshaw, S. S. H. Ng, K. Walus, R. Wolkow, and R. Wille.
Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the
H-Si(100)2x1 Surface. 2023. arXiv:2311.12042, PDF.
1. M. Walter, R. Wille, F. Sill Torres, D. Große, and R. Drechsler. fiction: An
Open Source Framework for the Design of Field-coupled Nanocomputing
Circuits. 2019. arXiv:1905.02477, PDF.
PEER REVIEWED WORKSHOPS
1. Y. Stade, L. Schmid, L. Burgholzer, and R. Wille. Compiler Development for
Neutral Atom Quantum Computers. In International Workshop on Quantum
Compilation (IWQC). 2024.
1. K. Staudacher, L. Schmid, W. Sajko, and R. Wille. Towards a
Cross-Compilation Strategy for Neutral Atoms Using Graph-like ZX-Diagrams.
In International Workshop on Quantum Compilation (IWQC). 2024.
1. N. Quetschlich, M. Soeken, P. Murali, and R. Wille. Utilizing Resource
Estimation for the Development of Quantum Computing Applications. In
Gesellschaft für Informatik Quantum Computing Workshop (GI QC). 2024.
1. L. Burgholzer and R. Wille. MQT: The Munich Quantum Toolkit. In Gesellschaft
für Informatik Quantum Computing Workshop (GI QC). 2024.
1. B. Hien, M. Walter, and R. Wille. Reducing Wire Crossings in Field-Coupled
Nanotechnologies. In International Workshop on Logic Synthesis (IWLS). 2024.
1. D. Rovara, N. Quetschlich, L. Burgholzer, and R. Wille. Supporting End-Users
in Realizing Quantum Computing Applications. In Workshop on Quantum Software
(WQS). 2024.
1. K. Mato, S. Hillmich, and R. Wille. Design Automation and Software for
High-Dimensional Quantum Computing. In Gesellschaft für Informatik Quantum
Computing Workshop (GI QC). 2023.
1. D. Marakkalage, M. Walter, S.-Y. Lee, R. Wille, and G. De Micheli.
Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost
Functions. In International Workshop on Logic Synthesis (IWLS). 2023. Best
Paper Award Candidate.
1. V. M. van Santen, M. Walter, F. Klemme, S. S. Parihar, G. Pahwa, Y. Chauhan,
R. Wille, and H. Amrouch. Design Automation for Cryogenic CMOS Circuits. In
International Workshop on Logic Synthesis (IWLS). 2023.
1. S. Hofmann, M. Walter, L. Servadei, and R. Wille. Thinking Outside the
Clock: Physical Design for Field-coupled Nanocomputing with Deep
Reinforcement Learning. In International Workshop on Logic Synthesis (IWLS).
2023.
1. Robert Wille, Stefan Hillmich, and Lukas Burgholzer. MQT: The Munich Quantum
Toolkit. In Gesellschaft für Informatik Quantum Computing Workshop (GI QC).
2022.
1. S. Hazra, H. Feng, G. Naz Kiprit, M. Stephan, L. Servadei, R. Wille, R.
Weigel, and A. Santra. Cross-modal Learning of Graph Representations using
Radar Point Cloud for Long-Range Gesture Recognition. In IEEE Sensor Array
and Multichannel Signal Processing Workshop (SAM). 2022.
1. D. S. Lopera, L. Servadei, G. N. Kiprit, S. Hazra, R. Wille, and W. Ecker. A
Survey of Graph Neural Networks for Electronic Design Automation. In
Workshop on Machine Learning for CAD (MLCAD). 2021. PDF.
1. R. Wille, S. Hillmich, and L. Burgholzer. JKQ: JKU Tools for Quantum
Computing. In International Workshop on Programming Languages for Quantum
Computing (PLanQC). 2021. PDF.
1. S. Pointner, M. Brunner, R. Findenig, and R. Wille. Efficient Post-Silicon
Run-Time Error Detection for Systems-on-Chip. In Workshop Testmethoden und
Zuverlässigkeit von Schaltungen und Systemen (TuZ). 2021.
1. L. Servadei, J. Zheng, J. A. Arjona, M. Werner, V. Esen, S. Hochreiter, W.
Ecker, and R. Wille. Cost Optimization at Early Stages of Design Using Deep
Reinforcement Learning. In Workshop on Machine Learning for CAD (MLCAD).
2020. Best Paper Award Candidate.
1. M. Werner, L. Servadei, R. Wille, and W. Ecker. Automatic compiler
optimization on embedded software through k-means clustering. In Workshop on
Machine Learning for CAD (MLCAD). 2020.
1. L. Burgholzer and R. Wille. Verifying the Results of Quantum Circuit
Compilation Flows. In International Workshop on Quantum Compilation (IWQC).
2020.
1. S. Hillmich, A. Zulehner, and R. Wille. Exploiting Quantum Teleportation in
Quantum Circuit Mapping. In International Workshop on Quantum Compilation
(IWQC). 2020.
1. S. Pointner, P. Gonzalez-de-Aledo, and R. Wille. YASSi: Yet Another Symbolic
Simulator. In International Workshop on Cyber-Security and Functional Safety
in Cyber-Physical Systems (IWCFS). 2020.
1. M. Walter, W. Haaswijk, R. Wille, F. Sill Torres, and R. Drechsler.
SAT-based Exact Physical Design for Field-coupled Nanocomputing
Technologies. In International Workshop on Logic Synthesis (IWLS). 2020.
1. S. Hillmich, L. Burgholzer, and R. Wille. Efficient and Correct Compilation
of Quantum Circuits. In International Workshop on Quantum Compilation
(IWQC). 2019.
1. L. Servadei, E. Mosca J.-H. Lee, J. Yang, V. Esen, R. Wille, and W. Ecker.
Combining Evolutionary Algorithms and Deep Learning for Hardware/Software
Interface Optimization. In Workshop on Machine Learning for CAD (MLCAD).
2019. PDF.
1. L. Servadei, J. Yang, E. Zennaro, K. Devarajegowda, W. Ecker, and R. Wille.
Methods of Statistical Analysis and Machine Learning for the Evaluation of
Generated Hardware and Firmware Design. In International Workshop on
Combinations of Intelligent Methods and Applications (CIMA). 2019.
1. M. Walter, R. Wille, F. Sill Torres, D. Große, and R. Drechsler. fiction: An
Open Source Framework for the Design of Field-coupled Nanocomputing
Circuits. In International Workshop on Logic Synthesis (IWLS). 2019.
1. M. Hamidovic, U. Marta, A. Grimmer, G. Fink, R. Wille, H. Bridle, A.
Springer, and W. Haselmayr. First Practical Realization of Switching in
Microfluidic Networks. In Workshop on Molecular Communications (MolCom).
2018. PDF.
1. L. Servadei, E. Zennaro, K. Devarajegowda, W. Ecker, and R. Wille. Quality
Assessment of Generated Hardware Designs Using Statistical Analysis and
Machine Learning. In International Workshop on Combinations of Intelligent
Methods and Applications (CIMA). 2018. PDF.
1. A. Zulehner and R. Wille. Compiling Quantum Circuits to the IBM QX
Architectures. In International Workshop on Quantum Compilation (IWQC).
2018.
1. P. Niemann, R. Wille, and R. Drechsler. Optimizing “Ts” in the Synthesis of
Clifford+T Quantum Circuits. In International Workshop on Quantum
Compilation (IWQC). 2018.
1. M. Hamidovic, W. Haselmayr, A. Grimmer, and R. Wille. Towards Droplet on
Demand for Microfluidic Networks. In Workshop on Molecular Communications
(MolCom). 2018. PDF.
1. A. Grimmer, W. Haselmayr, A. Springer, and R. Wille. Verifikation von
Networked Labs-on-Chip Architekturen. In ITG/GI/GMM-Workshop Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen (MBMV). 2017.
1. N. Przigoda, F. Hilken, J. Peters, R. Wille, M. Gogolla, and R. Drechsler.
Integrating an SMT-based Model Finder into USE. In Model-Driven Engineering,
Verification, And Validation (MoDeVVa). 2016.
1. R. Wille. Reversible Logic: What’s next? In International Workshop on
Post-Binary ULSI Systems (ULSIWS). 2016. Invited Paper.
1. Z. Alwardi, R. Wille, and R. Drechsler. Optimized Realizations of
Expressions for HDL-based Synthesis of Reversible Logic Circuits. In
International Workshop on Post-Binary ULSI Systems (ULSIWS). 2016.
1. P. Niemann, F. Hilken, M. Gogolla, and R. Wille. Extraktion von Frame
Conditions aus Operation Contracts. In Software Engineering (SE). 2016.
1. J. Stoppe, O. Keszocze, R. Wille, and R. Drechsler. BioViz: An Interactive
Visualization Engine for Microfluidic Biochips. In Workshop on Design
Automation for Understanding Hardware Designs (DUHDE). 2016.
1. A. Deb, R. Wille, O. Keszocze, S. Hillmich, and R. Drechsler. Synthesis of
Optical Circuits with Contradictory Optimization Objectives. In
International Workshop on Optical/Photonic Interconnects for Computing
Systems (OPTICS). 2016.
1. N. Przigoda, J. Peters, M. Soeken, R. Wille, and R. Drechsler. Towards an
Automatic Approach for Restricting UML/OCL Invariability Clauses. In
Model-Driven Engineering, Verification, And Validation (MoDeVVa). 2015.
1. R. Wille. Verification and Debugging of UML/OCL Models. In International
Workshop on Constraints in Formal Verification (CFV). 2015.
1. E. Schönborn, R. Wille, and R. Drechsler. Quo Vadis, Reversible Circuit
Design? Towards Scaling Design and Synthesis of Reversible Circuits. In
International Workshop on Applications of the Reed-Muller Expansion in
Circuit Design and Representations and Methodology of Future Computing
Technology (RM). 2015.
1. N. Przigoda, R. Wille, and R. Drechsler. Verbesserung der Fehlersuche in
inkonsistenten formalen Modellen. In ITG/GI/GMM-Workshop Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen (MBMV). 2015.
1. F. Hilken, P. Niemann, R. Wille, and M. Gogolla. Towards a Base Model for
UML and OCL Verification. In Model-Driven Engineering, Verification, and
Validation (MoDeVVa). 2014.
1. J. Stoppe, M. Michael, M. Soeken, R. Wille, and R. Drechsler. Towards a
Multi-dimensional and Dynamic Visualization for ESL Designs. In Design
Automation for Understanding Hardware Designs. 2014.
1. R. Drechsler, H. M. Le, M. Soeken, and R. Wille. Law-based Verification for
Complex Swarm Systems. In International Workshop on the Swarm at the Edge of
the Cloud. 2013.
1. R. Drechsler, M. Diepenbeck, S. Eggersglüß, and R. Wille. PASSAT 2.0: A
Multi-Functional SAT-based Testing Framework. In Latin-American Test
Workshop (LATW). 2013. Invited Paper.
1. M. Soeken, R. Wille, E. Kuksa, and R. Drechsler. Generierung von
OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. In
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen (MBMV). 2013.
1. M. Soeken, H. Riener, R. Wille, G. Fey, and R. Drechsler. Verification of
Embedded Systems Using Modeling and Implementation Languages. In
International Workshop on Metamodelling and Code Generation for Embedded
Systems (MeCoEs). 2012.
1. S. Eggersglüß, M. Diepenbeck, R. Wille, and R. Drechsler. Increasing Test
Compaction Abilities of SAT-based ATPG through Fault Detection Constraints.
In Workshop on RTL and High Level Testing (WRTLT). 2012.
1. M. Soeken, R. Wille, L. Tague, D. M. Miller, and R. Drechsler. Towards
Embedding of Large Functions for Reversible Logic. In International Workshop
on Boolean Problems (IWSBP). 2012.
1. M. Soeken, R. Wille, S.-I. Minato, and R. Drechsler. Using πDDs in the
Design for Reversible Circuits. In Workshop on Reversible Computation. 2012.
1. J. Seiter, M. Soeken, R. Wille, and R. Drechsler. Property Checking of
Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. In
Workshop on Reversible Computation. 2012.
1. M. Soeken, R. Wille, and Rolf Drechsler. Towards Automatic Determination of
Problem Bounds for Object Instantiation in Static Model Verification. In
Model-Driven Engineering, Verification, And Validation (MoDeVVa). 2011.
1. M. Soeken, R. Wille, C. Hilken, N. Przigoda, and R. Drechsler. Synthesis of
Reversible Circuits with Minimal Lines for Large Functions. In Workshop on
Reversible Computation, 59–70. 2011.
1. M. Soeken, S. Frehse, R. Wille, and R. Drechsler. Customized Design Flows
for Reversible Circuits Using RevKit. In Workshop on Reversible Computation,
91–96. 2011.
1. R. Drechsler, A. Finder, and R. Wille. Improving ESOP-based Synthesis of
Reversible Logic Using Evolutionary Algorithms. In European Workshop on
Hardware Optimization Techniques (EvoHOT), 151–161. 2011.
1. R. Wille, M. Soeken, D. Große, E. Schönborn, and R. Drechsler. Designing a
RISC CPU in Reversible Logic. In ITG/GI/GMM-Workshop Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen (MBMV). 2011.
1. H. Zhang, R. Wille, and R. Drechsler. SAT-based ATPG for Reversible
Circuits. In International Design & Test Workshop (IDT), 149–154. 2010.
1. M. Soeken, R. Wille, and R. Drechsler. Hierarchical Synthesis of Reversible
Circuits Using Positive and Negative Davio Decomposition. In International
Design & Test Workshop (IDT), 143–148. 2010.
1. M. Soeken, S. Frehse, R. Wille, and R. Drechsler. RevKit: A Toolkit for
Reversible Circuit Design. In Workshop on Reversible Computation, 69–72.
2010.
1. R. Wille, S. Offermann, and R. Drechsler. SyReC: A Programming Language for
Synthesis of Reversible Circuits. In International Workshop on Logic
Synthesis (IWLS). 2010.
1. R. Wille, A. Sülflow, C. Genz, and R. Drechsler. VisSAT: Visualization of
SAT Solver Internals. In University Booth at Design, Automation and Test in
Europe. 2010.
1. R. Wille, S. Offermann, and R. Drechsler. SyReC: A Programming Language for
Synthesis of Reversible Circuits. In ITG/GI/GMM-Workshop Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen (MBMV). 2010.
1. M. Soeken, R. Wille, M. Kuhlmann, M. Gogolla, and R. Drechsler. Verifying
UML/OCL Models Using Boolean Satisfiability. In ITG/GI/GMM-Workshop Methoden
und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen
und Systemen (MBMV), 57–66. 2010.
1. R. Wille, M. Saeedi, and R. Drechsler. Synthesis of Reversible Functions
Beyond Gate Count and Quantum Cost. In International Workshop on Logic
Synthesis (IWLS), 43–49. 2009.
1. D. M. Miller, R. Wille, and R. Drechsler. Reducing Reversible Circuit Cost
by Adding Lines. In International Workshop on Logic Synthesis (IWLS),
243–248. 2009.
1. R. Wille and R. Drechsler. Synthesizing Reversible Logic: An Overview. In
International Workshop on Applications of the Reed-Muller Expansion in
Circuit Design and Representations and Methodology of Future Computing
Technology (RM). 2009.
1. D.M. Miller, G.W. Dueck, and R. Wille. Synthesising Reversible Circuits from
Irreversible Specifications using Reed-Muller Spectral Techniques. In
International Workshop on Applications of the Reed-Muller Expansion in
Circuit Design and Representations and Methodology of Future Computing
Technology (RM). 2009.
1. A. Sülflow, R. Wille, C. Genz, G. Fey, and R. Drechsler. FormED: A Formal
Environment for Debugging. In University Booth at Design, Automation and
Test in Europe. 2009.
1. R. Wille and R. Drechsler. Effect of BDD Optimization on Synthesis of
Reversible and Quantum Logic. In Workshop on Reversible Computation. 2009.
1. R. Wille, D. Große, D.M. Miller, and R. Drechsler. Equivalence Checking of
Reversible Circuits. In ITG/GI/GMM-Workshop Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen (MBMV). 2009.
1. R. Wille, D. Große, G. W. Dueck, and R. Drechsler. Reversible Logic
Synthesis with Output Permutation. In International Workshop on Boolean
Problems (IWSBP). 2008.
1. D. Große, R. Wille, R. Siegmund, and R. Drechsler. Contradiction Analysis
for Constraint-based Random Simulation. In Dresdner Arbeitstagung
Schaltungs- und Systementwurf (DASS), 25–30. 2008.
1. D. Große, R. Wille, U. Kühne, and R. Drechsler. Using Contradiction Analysis
for Antecedent Debugging in Bounded Model Checking. In ITG/GI/GMM-Workshop
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von
Schaltungen und Systemen (MBMV), 169–178. 2008.
1. A. Sülflow, U. Kühne, R. Wille, D. Große, and R. Drechsler. Evaluation of
SAT like Proof Techniques for Formal Verification of Word Level Circuits. In
Workshop on RTL and High Level Testing (WRTLT), 31–36. 2007.
1. D. Tille, R. Wille, and R. Drechsler. Parallelisierung von SAT-basierter
Testmustergenerierung. In Workshop der GI/ITG-Fachgruppe
Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS). 2007.
1. R. Wille, G. Fey, and R. Drechsler. Building Free Binary Decision Diagrams
Using SAT Solvers. In International Workshop on Applications of the
Reed-Muller Expansion in Circuit Design and Representations and Methodology
of Future Computing Technology (RM). 2007.
1. G. Fey, D. Große, S. Eggersglüß, R. Wille, and R. Drechsler. Formal
Verification on the Word Level using SAT-like Proof Techniques. In
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen (MBMV), 165–173. 2007.
MISCELLANEOUS
1. R. Wille. Design Automation for Field-Coupled Nanotechnologies: Computing at
the limit of scaling. European Dissemination Media Agency, 2024. PDF.
1. R. Wille. Realizing the potential of quantum computing applications. Open
Access Government, 2023. PDF.
1. R. Wille. Data structures for quantum computing. Open Access Government,
2022. PDF.
1. R. Wille. Classical simulation of quantum circuits. Open Access Government,
2022. PDF.
1. R. Wille. Efficient design of labs-on-a-chip: Design automation and
simulation for microfluidics. European Dissemination Media Agency, 2022.
PDF.
1. R. Wille. Design tools for quantum computing. Open Access Government, 2022.
PDF.
1. R. Wille. Quantum Computers are coming! But how to use their potential?
European Dissemination Media Agency, 2021. PDF.
1. R. Wille, A. Grimmer, M. Hamidović, and W. Haselmayr. How can we simulate a
‘lab-on-a-chip’? Science Journal for Teens, 2019. PDF.
1. Alwin Zulehner and Robert Wille. How can we work with quantum computers
today? Science Journal for Teens, 2019. PDF.
1. R. Wille. Design of Circuits and Systems: Today and Tomorrow. Universität
Bremen, 2014.
1. Z. Sasanian, R. Wille, and D. M. Miller. Clarification on the Mapping of
Reversible Circuits to the NCV-v1 Library. 2013. arXiv:1309.1419.
1. R. Wille, J. Christoph Jung, A. Sülflow, and R. Drechsler. SWORD –
Module-based SAT Solving. In Bernd Becker, Valeria Bertacoo, Rolf Drechsler,
and Masahiro Fujita, editors, Algorithms and Applications for Next
Generation SAT Solvers, number 09461 in Dagstuhl Seminar Proceedings.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010. Invited
Paper. URL.
1. R. Wille. Towards a Design Flow for Reversible Logic. Dissertation,
Universität Bremen, 2009.
1. R. Wille. Towards a Design Flow for Reversible Logic. ACM SIGDA Ph.D. Forum
at DAC, 2009. Acceptance rate: 31%.
1. J. C. Jung, A. Sülflow, R. Wille, and R. Drechsler. SWORD v1.0.
Satisfiability Modulo Theories Competition, 2009.
1. R. Wille, A. Sülflow, and R. Drechsler. SWORD v0.2 - Module-based SAT
Solving. Satisfiability Modulo Theories Competition, 2008.
1. R. Wille. Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern.
Master’s thesis, Universität Bremen, 2006.
Organization of Conferences and Workshops
2023 Executive Committee Member and Program Chair of the Design, Automation &
Test in Europe (DATE) 2022 Executive Committee Member and Special
Session/Tutorial Chair of the International Conference on Computer-Aided Design
(ICCAD) 2022 PhD Forum Chair of the Design Automation Conference (DAC) Since
2022 Vice Chair of the European Design and Automation Association 2022 Executive
Committee Member and Vice Program Chair of the Design, Automation & Test in
Europe (DATE) 2021 Executive Committee Member and Workshop Chair of the
International Conference on Computer-Aided Design (ICCAD) 2021 Executive
Committee Member and PhD Forum Chair of the Design, Automation & Test in Europe
(DATE) 2020 Chair of the ACM Student Research Competition at ICCAD 2020
Executive Committee Member and PhD Forum Chair of the Design, Automation & Test
in Europe (DATE) 2019 Co-Chair of the ACM Student Research Competition at ICCAD
2019 Executive Committee Member and PhD Forum Chair of the Design, Automation &
Test in Europe (DATE) 2018 General Chair of the International Symposium on
Multiple-Valued Logic (ISMVL) 2018 General Chair of the International Workshop
on Logic & Synthesis (IWLS) 2018 Executive Committee Member and Special Day
Chair of the Design, Automation & Test in Europe (DATE) 2017 Publication Chair
and Member of the Organizing Committee for the International Summer Simulation
Multi-Conference (SummerSim'17) 2017 Organizer of the NII Shonan Meeting on
"Microfluidic Biochips: Bridging Biochemistry with Computer Science and
Engineering" 2016 Publicity Chair and Member of the Organizing Committee for the
International High-Level Design Validation and Test Workshop (HLDVT) 2016 Vice
Chair of the Multiple-Valued Logic Technical Committee of the IEEE Computer
Society 2016 General Chair of the Forum on specification & Design Languages
(FDL) 2016 Special Sessions Co-Chair at the International Workshop on Logic &
Synthesis (IWLS) 2016 Publicity Chair and Member of the Organizing Committee for
the International Conference on VLSI Design and the International Conference on
Embedded Systems 2015 Organizer of the Dagstuhl Seminar on "Design of
Microfluidic Biochips: Connecting Algorithms and Foundations of Chip Design to
Biochemistry and the Life Sciences" 2012 Publicity Chair and Member of the
Organizing Committee at the International Symposium on Multiple-Valued Logic
(ISMVL) 2011 Organizer of the Dagstuhl Seminar on "Design of Reversible and
Quantum Circuits" 2010 Organizer of the Workshop on Reversible Computation (RC)
PC Chair
2023 Design, Automation & Test in Europe (DATE) 2017 International Workshop on
Logic & Synthesis (IWLS) 2016 International Symposium on Multiple-Valued Logic
(ISMVL) 2015 Forum on specification & Design Languages (FDL) 2014 International
Symposium on Multiple-Valued Logic (ISMVL) 2011 Workshop on Reversible
Computation (RC)
Track/Subcommittee Chair
2023 Asia and South Pacific Design Automation Conference (ASP-DAC)
(for "Emerging Devices, Technologies and Applications") 2021 International
Conference on Computer-Aided Design (ICCAD)
(for "3.2 Nanoscale and Post-CMOS Systems") 2021 Design, Automation and Test in
Europe (DATE)
(for "Applications of Emerging Technologies") 2021 Asia and South Pacific Design
Automation Conference (ASP-DAC)
(for "Emerging Technologies and Applications") 2020 International Conference on
Computer-Aided Design (ICCAD)
(for "4.2 Nanoscale and Post-CMOS Systems") 2020 Design, Automation and Test in
Europe (DATE)
(for "Applications of Emerging Technologies") 2020 Asia and South Pacific Design
Automation Conference (ASP-DAC)
(for "Emerging Technologies and Applications") 2015 Asia and South Pacific
Design Automation Conference (ASP-DAC)
(for "Logic/Behavioral/High-Level Synthesis and Optimization") 2014 Asia and
South Pacific Design Automation Conference (ASP-DAC)
(for "High-Level/Behavioral/Logic: Synthesis and Optimization")
Associate Editor
since 2018 Transactions on Computer Aided Design of Integrated Circuits and
Systems (TCAD) since 2018 Integration, the VLSI journal
Guest Editor
2022 Special Issue on "Design Automation for Quantum Computing" at the ACM
Journal on Emerging Technologies in Computing Systems (JETC) 2016 Book covering
selected contributions from the Forum on specification & Design Languages (FDL)
published at Springer 2015 Special Issue covering the Best Papers of the 44th
International Symposium on Multiple-Valued Logic at the Journal of
Multiple-Valued Logic and Soft Computing (JMVLSC) 2015 Special Issue on
"Multiple-Valued Logic and Applications" at the IEEE Journal on Emerging and
Selected Topics in Circuits and Systems (JETCAS) 2014 Special Issue on
"Reversible Computation" at the ACM Journal on Emerging Technologies in
Computing Systems (JETC) 2011 Special Issue on "Reversible Computation" at
Springer's Lecture Notes in Computer Science (LNCS) 2010 Special Issue on
"Reversible Computation" at the Journal for Multiple-Valued Logic and Soft
Computing (MVLSC)
Organization of Special Sessions, Tutorials, Seminars
2022 Special Session on "Software Tools for Quantum Computing: How to Design the
Next Big Thing?" at the Design Automation Conference (DAC) 2021 Panel on "Design
Automation for Quantum Computing" at the Design Automation Conference (DAC) 2020
Special Session on "Realizing Quantum Algorithms on Real Quantum Computing
Devices" at the Design, Automation & Test in Europe (DATE) 2019 Special Session
on "IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum
Computers" at the Design, Automation & Test in Europe (DATE) 2018 Tutorial on
"Computer-Aided Design for Quantum Computation" at the International Conference
on Computer-Aided Design (ICCAD) 2018 Special Session on "Automatic Design of
Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks"
at the Forum on Specification and Design Languages (FDL) 2017 Tutorial/Workshop
on "Networked Labs-on-Chips (NLoCs): A Passive Droplet Routing Concept for
Two-Phase Flow Microfluidics" at the Conference on Miniaturized Systems for
Chemistry and Life Sciences (MicroTAS) 2017 Tutorial on "Design Automation for
Labs-on-Chip: A New Playground for SoC Designers" at the International
System-on-Chip Conference (SOCC) 2016 Tutorial on "From Biochips to Quantum
Circuits: Computer-Aided Design for Emerging Technologies" at the International
Conference on Computer-Aided Design (ICCAD) 2016 Tutorial on "When Embedded
Systems meet Life Sciences: Microfluidic Biochips for Real-Time Healthcare" at
the Embedded Systems Week (ESWEEK) 2016 Special Session on "Emerging
Technologies" at the International Workshop on Logic & Synthesis (IWLS) 2016
Special Session on "Reversible Circuits: Design Methods for an Emerging
Technology" at the International Symposium on Circuits and Systems (ISCAS) 2015
Tutorial on "Formal Methods for Emerging Technologies" at the International
Conference on Computer-Aided Design (ICCAD) 2014 Tutorial on "Automated and
Quality-driven Requirement Engineering" at the International Conference on
Computer-Aided Design (ICCAD) 2014 Tutorial on "The Formal Specification Level:
Bridging the Gap between the Spec and its Implementation" at the Asia and South
Pacific Design Automation Conference (ASP-DAC) 2013 Tutorial on "Design and
Verification of Embedded Systems from Natural Language Descriptions" at the
Design, Automation & Test in Europe (DATE) 2013 Tutorial on "Text statt C++:
Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung" at
the 43. Jahrestagung der Gesellschaft für Informatik (INFORMATIK 2013) 2012
Special Session on "Reversible Computation" at the International Symposium on
Electronic System Design (ISED)
PC Member
2023 Design, Automation and Test in Europe (DATE) 2023 International Conference
on Reversible Computation (RC) 2023 Euromicro Conference on Digital System
Design (DSD) 2023 International Symposium on Design and Diagnostics of
Electronic Circuits and Systems (DDECS) 2023 Asia and South Pacific Design
Automation Conference (ASP-DAC) 2022 International Workshop on Boolean Problems
(IWSBP) 2022 International Conference on Computer Design (ICCD) 2022 IEEE
International Conference on Quantum Computing (QCE) 2022 Computing Frontiers
Conference (CF) 2022 Workshop on Intelligent Methods for Test and Reliability
(IMTR) 2022 IEEE International Conference on Quantum Software (QSW) 2022
International Workshop on Logic & Synthesis (IWLS) 2022 International Conference
on Reversible Computation (RC) 2022 European Test Symposium (ETS) 2022
GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen (MBMV) 2022 Workshop on Quantum
Software Architecture (QSA) 2022 International Symposium on Design and
Diagnostics of Electronic Circuits and Systems (DDECS) 2022 Asia and South
Pacific Design Automation Conference (ASP-DAC) 2021 IEEE International
Conference on Quantum Computing (QCE) 2021 IEEE International Conference on
Rebooting Computing (ICRC) 2021 International Conference on Computer Design
(ICCD) 2021 International Conference on Computer-Aided Design (ICCAD) 2021
International Workshop on Logic & Synthesis (IWLS) 2021 International Conference
on Very Large Scale Integration (VLSI SoC) 2021 Euromicro Conference on Digital
System Design (DSD) 2021 International Workshop on Quantum Software Engineering
(Q-SE) 2021 Computing Frontiers Conference (CF) 2021 Reed Muller Workshop 2021
International Conference on Reversible Computation (RC) 2021 International
Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
2021 International Conference on IEEE International Symposium on Multiple-Valued
Logic (ISMVL) 2021 GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur
Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2021 Design,
Automation and Test in Europe (DATE) 2021 Asia and South Pacific Design
Automation Conference (ASP-DAC) 2020 International Symposium on VLSI Design and
Test (VDAT) 2020 International Conference on Computer-Aided Design (ICCAD) 2020
International Conference on Computer Design (ICCD) 2020 International Workshop
on Boolean Problems (IWSBP) 2020 International Workshop on Logic & Synthesis
(IWLS) 2020 International Symposium on Devices, Circuits and Systems (ISDCS)
2020 International Conference on Very Large Scale Integration (VLSI SoC) 2020
International Supercomputing Conference (ISC) 2020 International Conference on
Reversible Computation (RC) 2020 International Conference on IEEE International
Symposium on Multiple-Valued Logic (ISMVL) 2020 Design, Automation and Test in
Europe (DATE) 2020 GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur
Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2020 Asia and
South Pacific Design Automation Conference (ASP-DAC) 2019 International
Conference on Computer-Aided Design (ICCAD) 2019 Tutorials and Special Sessions
at ICCAD 2019 International Symposium on VLSI Design and Test (VDAT) 2019
Workshop on Synthesis and System Integration of Mixed Information Technologies
(SASIMI) 2019 International Conference on Very Large Scale Integration
(VLSI-SOC) 2019 Workshop on Logic and Synthesis (IWLS) 2019 Euromicro Conference
on Digital System Design (DSD) 2019 International Conference on Reversible
Computation (RC) 2019 International Symposium on Design and Diagnostics of
Electronic Circuits and Systems (DDECS) 2019 Design, Automation and Test in
Europe (DATE) 2019 International Conference on IEEE International Symposium on
Multiple-Valued Logic (ISMVL) 2019 Reed Muller Workshop (RM) 2019
GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen (MBMV) 2018 ACM Student Research
Competition at ICCAD 2018 Tutorials and Special Sessions at ICCAD 2018 Austrian
Workshop on Microelectronics (Austrochip) 2018 International Conference on Very
Large Scale Integration (VLSI-SOC) 2018 International Symposium on Devices,
Circuits and Systems (ISDCS) 2018 International Symposium on VLSI Design and
Test (VDAT) 2018 Design Automation Conference (DAC) 2018 International
Conference on Reversible Computation (RC) 2018 Design, Automation and Test in
Europe (DATE) 2018 Genetic and Evolutionary Computation Conference (GECCO) 2018
International Symposium on Design and Diagnostics of Electronic Circuits and
Systems (DDECS) 2018 Euromicro Conference on Digital System Design (DSD) 2018
International Conference on VLSI Design (VLSID 2018) 2018 Conference on
Algorithms and Applications (ALAP) 2018 Workshop on Synthesis and System
Integration of Mixed Information Technologies (SASIMI) 2018 International
Workshop on Boolean Problems (IWBP) 2018 GI/ITG/GMM-Workshop Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen (MBMV) 2017 ACM Student Research Competition at ICCAD 2017
International Symposium on Embedded computing and system Design (ISED) 2017
Austrian Workshop on Microelectronics (Austrochip) 2017 International High-Level
Design Validation and Test Workshop (HLDVT) 2017 International Symposium on VLSI
Design and Test (VDAT) 2017 Workshop on Advances in IoT Architecture and Systems
(AIoTAS) 2017 International Conference on Advances in Circuits, Electronics and
Micro-electronics (CENICS) 2017 International Conference on Quantum, Nano/Bio,
and Micro Technologies (ICQNM) 2017 Summer Computer Simulation Conference (SCSC)
2017 IEEE International High-Level Design Validation and Test Workshop (HDLVT)
2017 Great Lakes Symposium on VLSI (GLSVLSI) 2017 Red-Muller Workshop 2017
Summer Computer Simulation Conference (SCSC) 2017 Genetic and Evolutionary
Computation Conference (GECCO) 2017 Design Automation Conference (DAC) 2017
International Conference on Reversible Computation (RC) 2017 International
Symposium on Multiple-Valued Logic (ISMVL) 2017 GI/ITG/GMM-Workshop Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen (MBMV) 2016 International High-Level Design Validation and Test
Workshop (HLDVT) 2016 ACM Student Research Competition at ICCAD 2016 Workshop on
Synthesis and System Integration of Mixed Information Technologies (SASIMI) 2016
Summer Computer Simulation Conference 2016 (SCSC) 2016 International Workshop on
Boolean Problems (IWBP) 2016 International Symposium on Embedded computing and
system Design (ISED) 2016 Workshop on Logic and Synthesis (IWLS) 2016
International Conference on Advances in Circuits, Electronics and
Micro-electronics (CENICS) 2016 Summer Simulation Multi-Conference
(SummerSim'16) 2016 International Conference on Advances in System Testing and
Validation Lifecycle (VALID) 2016 The International Symposium on Modeling and
Optimization (MODOPT) 2016 Design Automation Conference (DAC) 2016 International
Symposium on Multiple-Valued Logic (ISMVL) 2016 Conference on Reversible
Computation (RC) 2016 PhD Forum at DATE 2016 Genetic and Evolutionary
Computation Conference (GECCO) 2015 International Symposium on Electronic System
Design (ISED) 2015 International Conference on Computer-Aided Design (ICCAD)
2015 ACM Student Research Competition at ICCAD 2015 International Workshop on
Constraints in Formal Verification (CFV) 2015 International Conference on
Advances in Circuits, Electronics and Micro-electronics (CENICS) 2015 Summer
Simulation Multi-Conference (SummerSim) 2015 Forum on specification & Design
Languages (FDL) 2015 Conference on Reversible Computation (RC) 2015
International Symposium on Multiple-Valued Logic (ISMVL) 2015 Genetic and
Evolutionary Computation Conference (GECCO) 2015 PhD Forum at DATE 2015 Asia and
South Pacific Design Automation Conference (ASP-DAC) 2015 International
Conference on VLSI Design (VLSI Design) 2015 GI/ITG/GMM-Workshop Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen (MBMV) 2014 International Symposium on Electronic System Design (ISED)
2014 International Conference on Computer-Aided Design (ICCAD) 2014 ACM Student
Research Competition at ICCAD 2014 International Workshop on Boolean Problems
(IWSBP) 2014 Conference on Reversible Computation (RC) 2014 International
Symposium on Multiple-Valued Logic (ISMVL) 2014 GI/ITG/GMM-Workshop Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen (MBMV) 2014 Genetic and Evolutionary Computation Conference (GECCO)
2014 Asia and South Pacific Design Automation Conference (ASP-DAC) 2014
International Conference on VLSI Design (VLSI Design) 2013 International
Conference on Computer-Aided Design (ICCAD) 2013 Conference on Reversible
Computation (RC) 2013 International Symposium on Multiple-Valued Logic (ISMVL)
2013 Genetic and Evolutionary Computation Conference (GECCO) 2013 Asia and South
Pacific Design Automation Conference (ASP-DAC) 2012 Workshop on Reversible
Computation (RC) 2012 International Symposium on Multiple-Valued Logic (ISMVL)
2012 Genetic and Evolutionary Computation Conference (GECCO) 2012 Asia and South
Pacific Design Automation Conference (ASP-DAC) 2011 Workshop on Reversible
Computation (RC) 2011 Genetic and Evolutionary Computation Conference (GECCO)
2010 Workshop on Reversible Computation (RC) 2010 Genetic and Evolutionary
Computation Conference (GECCO) 2009 Genetic and Evolutionary Computation
Conference (GECCO) 2008 International Workshop on Boolean Problems (IWSBP)
Jury Member
2022 Grand Finals of the ACM Student Research Competition (SRC) 2021 Grand
Finals of the ACM Student Research Competition (SRC) 2021 EDAA PHD Outstanding
Dissertation Award 2019 Chair of the Selection Committee for the ICCAD Ten Year
Retrospective Most Influential Paper Award 2019 ACM India Doctoral Dissertation
Award 2018 ACM India Doctoral Dissertation Award 2017 ACM India Doctoral
Dissertation Award 2016 ACM India Doctoral Dissertation Award 2013 Best Paper
Award Committee: Asia and South Pacific Design Automation Conference (ASP-DAC)
Reviewer Activity (selected)
Institutions Netherlands Organisation for Scientific Research (NWO)
Swiss National Science Foundation (SNSF)
Expert Evaluator for the Horizon 2020 Marie Sklodowska-Curie Actions Individual
Fellowships programme (H2020-MSCA-IF)
Wiener Wissenschafts-, Forschungs- und Technologiefonds (Vienna Science and
Technology Fund)
External Expert for proposals submitted to the Open Call OC-2016-1 of the EU
COST Association
National Science Foundation (USA)
Agence Nationale de la Recherche (ANR France) Publishers Springer, Wiley, CRC
Press Journals IEEE Transactions on CAD of Integrated Circuits and Systems
(TCAD)
IEEE Transactions on Computers (TC)
ACM Computing Surveys
INTEGRATION, the VLSI Journal
Quantum Information Processing (QIP)
Transactions on Design Automation of Electronic Systems (TODAES)
International Journal of Circuits, Systems, and Computers (JCSC)
Journal of Emerging Technologies in Computing (JETC)
Microelectronics Journal (MEJ)
Annals of Mathematics and Artificial Intelligence
and many other journals Conferences Design, Automation and Test in Europe (DATE)
Design Automation Conference (DAC)
International Conference on Computer-Aided Design (ICCAD)
Asia and South Pacific Design Automation Conference (ASP-DAC)
Formal Methods in Computer-Aided Design (FMCAD)
Great Lakes Symposium on VLSI (GLVLSI)
International Symposium on Multiple-Valued Logic (ISMVL)
International Conference on VLSI Design (VLSI Design)
ACM/IEEE International Conference on Formal Methods and Models for Codesign
(Memocode)
International Symposium on Rapid System Prototyping (RSP)
and many other conferences
Miscellaneous
since 2022 Member of the IFIP Working Group on Foundations of Quantum
Computation since 2022 Future Panel Upper Austria---a think tank for the Upper
Austrian government since 2022 Deputy Speaker of the Working Group
Quantencomputing of the German Informatics Society since 2021 Member of the
Advisory Board of the Intiative Quantencomputing by the German Aerospace Center
since 2021 Member of the Advisory Board of Classiq Technologies (a startup
working on the development of software for quantum computing) 2021 Member of the
Concept Group for the "University of Technology for Digitalisation and Digital
Transformation in Upper Austria" 2018-2019 TC Chair of the IEEE Multiple-Valued
Logic Technical Committee 2009-2012 Member at Large of the IEEE Multiple-Valued
Logic Technical Committee 2009 Involved in the organization of the Dagstuhl
Seminar "Algorithms and Applications for Next Generation SAT Solvers" (organized
by Prof. Dr. Bernd Becker, Prof. Valeria Bertacco, Prof. Dr. Rolf Drechsler, and
Prof. Masahiro Fujita) 2009 Involved in the organization of the 21. Workshop
Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) (organized
by Prof. Dr. R. Drechsler)
Service at Universities
since 2018 Deputy Speaker of the Department of Computer Science at the Johannes
Kepler University Linz since 2018 Member of the Study Commission for Computer
Science at the Johannes Kepler University Linz 2011-2012 Exzellenzinitiative des
Bundes und der Länder zur Förderung von Wissenschaft und Forschung an deutschen
Hochschulen Member of the Preparation Team for the University of Bremen
2009-2015 Scientific communication in the Group of Computer Architecture
(semi-annual newsletters, press releases, etc.) 2007-... Member and Deputy
Member of various appointment committees and postdoctoral lecture qualification
committees in several universities 2007-2014 Member of the Faculty Council of
the Department of Mathematics and Computer Science at the University of Bremen
2005-2006 Member of the Student Representation for Computer Science at the
University of Bremen 2005-2006 Member of the Computer Science Committee at the
University of Bremen
Awards and Nominations
2023 ACM SIGDA Meritorious Service Award (for "leading positions in major ACM
SIGDA conferences") 2023 TeachInf Award for the best mandatory Computer Science
lecture in the winter semester 2022/2023 at the Technical University of Munich
2023 Candidate for the Best Paper Award at the International Workshop on Logic
Synthesis (IWLS) for the paper “Technology Mapping for Beyond-CMOS Circuitry
with Unconventional Cost Functions“ 2023 Candidate for the Best Paper Award at
the Asia and South Pacific Design Automation Conference (ASP-DAC) conference for
the paper “A SAT Encoding for Optimal Clifford Circuit Synthesis“ 2022 Candidate
for the Best Paper Award at the Design, Automation and Test in Europe (DATE) for
the paper “Comprehensive and Accessible Channel Routing for Microfluidic
Devices” 2022 10-year Retrospective Most Influential Paper Award at the Asia and
South Pacific Design Automation Conference (ASP-DAC) for the paper “Synthesis of
Reversible Circuits with Minimal Lines for Large Functions” 2021 Candidate for
the Best Paper Award at the Design, Automation and Test in Europe (DATE) for the
paper "As Accurate as Needed, as Efficient as Possible: Approximations in
DD-based Quantum Circuit Simulation" 2021 Candidate for the Best Paper Award at
the Asia and South Pacific Design Automation Conference (ASP-DAC) for the paper
"One-Pass Synthesis for Field-coupled Nanocomputing Technologies" 2020 ERC
Consolidator Grant 2020 1st place in the "Vote Your Prof"-competition for
exceptional performance in teaching at JKU 2020 Candidate for the Best Paper
Award at the Workshop on Machine Learning for CAD (MLCAD) for the paper "Cost
Optimization at Early Stages of Design Using Deep Reinforcement Learning" 2020
Best Paper Award from the IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems for the paper "An Efficient Methodology for
Mapping Quantum Circuits to the IBM QX Architectures" 2020 Candidate for the
Best Paper Award at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
for the paper “Bail on Balancing: An Alternative Approach to the Physical Design
of Field-coupled Nanocomputing Circuits” 2019 3rd Place in the IBM Quantum
Challenge 2019 2019 Best Research Demo Award from the IEEE Computer Society
Annual Symposium on VLSI (ISVLSI) 2019Under-40 Innovators Award from the Design
Automation Conference (DAC) 2019Candidate for the Best Paper Award at the
Design, Automation and Test in Europe (DATE)
for the paper "Better Late Than Never: Verification of Embedded Systems After
Deployment" 2019Candidate for the Best Paper Award at the Asia and South Pacific
Design Automation Conference (ASP-DAC)
for the paper "A Staircase Structure for Scalable and Efficient Synthesis of
Memristor-Aided Logic" 2018Winner of the IBM QISKit Developer Challenge
2018Google Research Award for our work on simulation of quantum computations
2017Candidate for the Best Paper Award at the High Performance Extreme Computing
Conference (HPEC)
for the paper "Advanced Load Balancing for SPH Simulations on Multi-GPU
Architectures" 2015Nominated for the "Berninghausen-Preis für hervorragende
Lehre" 2014Candidate for the Best Paper Award at the Forum on Specification and
Design Languages (FDL)
for the paper "Automatic Refinement Checking for Formal System Models"
2014Candidate for the Best Paper Award at the Asia and South Pacific Design
Automation Conference (ASP-DAC)
for the paper "Efficient Synthesis of Quantum Circuits Implementing Clifford
Group Operations" 2013Best Paper Award from the International Conference on
Computer Aided Design (ICCAD)
for the paper "Improved SAT-based ATPG: More Constraints, Better Compaction"
2011Nominated for the "Berninghausen-Preis für hervorragende Lehre" 2010"Best
Paper Award" from the Forum on Specification and Design Languages (FDL)
for the paper "SyReC: A Programming Language for Synthesis of Reversible
Circuits" 2010Bremen Study Award (for the dissertation) 2010Finalist at the
"Best Computer Science Thesis Award" 2009 by the German Informatics Society
(GI), the Swiss Informatics Society (SI), the Austrian Computer Society (OCG),
and the German Chapter of the ACM 2010Finalist at the ACM Outstanding Ph.D.
Dissertation Award in Electronic Design Automation 2010 Finalist at the EDAA
Outstanding Dissertation Award 2008"Young Researchers Award" from the IEEE
International Symposium on Multiple-Valued Logic (ISMVL) 2001Highschool Award by
the Mayor of the City of Gera
Awards by Students
2023 Audience Choice Award for a team co-mentored by Stefan Hillmich at the
NYUAD Hackathon for Social Good in the Arab World 2023 Best Poster Award (for
the presentation on "Detection of Sensor-To-Sensor Variations Using Explainable
AI" presented at the Smart Systems Integration Conference by Sarah Seifi) 2023
Best Student Paper Award (for the paper "Automatic Implementation and Evaluation
of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for
Quantum Error Correction" published at VLSI Design by Thomas Grurl) 2022 DAC
Young Fellow Best Video Award (awarded to Stefan Hillmich) 2022 Promotio sub
auspiciis Praesidentis rei publicae (awarded to Alwin Zulehner) 2022 JKU Early
Research Achievement Award (awarded to Lukas Burgholzer) 2021 JKU Early Research
Achievement Award (awarded to Kevin Verma) 2020 Best Poster Award (for the Young
Student Fellow Program presentation at DAC awarded to Stefan Hillmich) 2020
Heinz Zemanek Preis (given by the Österreichische Computergesellschaft (ÖCG))
for the dissertation to Alwin Zulehner) 2020 EDAA Outstanding Dissertation Award
(given by the European Design and Automation Association (EDAA)) for the
dissertation to Alwin Zulehner) 2019 Award of Excellence (given by the Austrian
Ministry of Education for the dissertation to Andreas Grimmer) 2019 Winner of
the ACM Student Research Competition at ICCAD (awarded to Stefan Hillmich) 2019
KlarText Preis (awarded to Andreas Grimmer) 2019 JKU Early Research Achievement
Award (awarded to Alwin Zulehner) 2019 JKU Early Research Achievement Award
(awarded to Andreas Grimmer) 2019 Best Poster Award (for the PhD Forum
presentation at DAC awarded to Alwin Zulehner) 2019 Best Poster Award (for the
PhD Forum presentation at DATE awarded to Andreas Grimmer) 2019 Best Poster
Award (for the PhD Forum presentation at ASP-DAC awarded to Alwin Zulehner) 2018
UBIT Award (given by the Upper Austrian Economic Chamber to Berislav Klepic)
2018 OCG Incentive Award (awarded to Andreas Grimmer) 2017 Best Poster Award
(for the PhD Forum presentation at DATE awarded to Philipp Niemann)
Memberships in Professional Societies
Institute of Electrical and Electronics Engineers (IEEE) Association for
Computing Machinery (ACM) European Design and Automation Association (EDAA)
Gesellschaft für Informatik (German Computer Science Society) Österreichische
Geschellschaft für Informatik (Austrian Computer Science Society) Association
for Electrical, Electronic & Information Technologies (VDE) Deutscher
Hochschulverband (DHV)
Published Software
2022 MQT Bench: Benchmarking Software and Design Automation Tools for Quantum
Computing (available at https://www.cda.cit.tum.de/mqtbench/) 2018 Simulation
approach for droplet microfluidics (available at
https://www.cda.cit.tum.de/research/microfluidics_simulation/) 2018 Automatic
approach for the mapping of quantum circuits to IBM QX Architectures (available
at https://www.cda.cit.tum.de/research/ibm_qx_mapping/) 2018 Automatic approach
for a sound valve control for Programmable Microfluidic Devices (available at
https://www.cda.cit.tum.de/research/pmd/) 2017 One-pass design solution for
reversible circuits (available at
https://www.cda.cit.tum.de/research/one_pass_design_of_reversible_circuits/)
2017 Quantum Simulator (available at
https://www.cda.cit.tum.de/quantum_simulation) 2017 Tagged BDDs: Combining
Reduction Rules from Different Decision Diagram Types (available at
fmv.jku.at/tbdd) 2016 QMDD - a Decision Diagram Package for the Efficient
Representation and Manipulation of Quantum Functionality (available at
informatik.uni-bremen.de/agra/eng/qmdd.php) 2014RevVis: Toolkit for the
visualization of structures and properties in reversible circuits
(available at informatik.uni-bremen.de/agra/eng/revvis.php) 2010RevKit: Toolkit
for reversible circuit design
(available at www.revkit.org) 2008SWORD: Satisfiability solver (SMT-solver) for
the QF_BV-logic (available at informatik.uni-bremen.de/agra/eng/sword.php)
2008RevLib: Online-database for benchmarks within the domain of reversible and
quantum circuit design (available at www.revlib.org)
--------------------------------------------------------------------------------
TUM Chair for Design Automation, Arcisstrasse 21, 80333 Munich, Tel. +49 89 289
23551
Legal Disclosure