| 2026 | ASPDAC | Mastering the Exponential Complexity of Exact Physical Simulation of Silicon Dangling Bonds. | Willem Lambooy, Jan Drewniok, Marcel Walter, Robert Wille |
| 2026 | DATE | Focus Session Paper: The MQT Compiler Collection : A Blueprint for a Future-Proof Quantum-Classical Compilation Framework. | Lukas Burgholzer, Daniel Haag, Yannick Stade, Damian Rovara, Patrick Hopf, Robert Wille |
| 2026 | DATE | Quantum Circuit Compilation for Superconducting Bus-Resonator Architectures. | Patrick Hopf, Lukas Burgholzer, Robert Wille |
| 2026 | DATE | Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations. | Damian Rovara, Lukas Burgholzer, Robert Wille |
| 2026 | DATE | Alternating ZX Circuit Extraction for Hardware-Adaptive Compilation. | Ludwig Schmid, Korbinian Staudacher, Robert Wille |
| 2026 | DATE | Exact Synthesis with Optimal Switching Activity. | Marcel Walter, Michael Feldmeier, Robert Wille |
| 2026 | DATE | The Munich Quantum Software Company: Developing Production-ready Quantum Computing Software. | Robert Wille, Marcel Walter, Simon Toni Hofmann, Patrick Hopf, Marc Messing, Lukas Burgholzer |
| 2025 | ATMOS | Using A* for Optimal Train Routing on Moving Block Systems. | Stefan Engels, Robert Wille |
| 2025 | CoDIT | Modelling of a DC-DC Boost Converter in QRM and Design of Neural Network-Based Nonlinear Control. | Zhi Li, Benjamin Schwabe, Lorenzo Servadei, Robert Wille |
| 2025 | DAC | Joint Cutting for Hybrid Schrdinger-Feynman Simulation of Quantum Circuits. | Laura S. Herzog, Lukas Burgholzer, Christian Ufrecht, Daniel D. Scherer, Robert Wille |
| 2025 | DATE | Towards Fast Automatic Design of Silicon Dangling Bond Logic. | Jan Drewniok, Marcel Walter, Samuel Sze Hang Ng, Konrad Walus, Robert Wille |
| 2025 | DATE | Bias by Design: Diversity Quantification to Mitigate Structural Bias Effects in AIG Logic Optimization. | Isabella Venancia Gardner, Marcel Walter, Yukio Miyasaka, Robert Wille, Michael Cochez |
| 2025 | DATE | Late Breaking Results: Physical Co-Design for Field-Coupled Nanocomputing. | Simon Hofmann, Marcel Walter, Robert Wille |
| 2025 | DATE | Improving Figures of Merit for Quantum Circuit Compilation. | Patrick Hopf, Nils Quetschlich, Laura Brandon Schulz, Robert Wille |
| 2025 | DATE | Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability. | Ludwig Schmid, Tom Peham, Lucas Berent, Markus Mller, Robert Wille |
| 2025 | DATE | Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. | Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille |
| 2025 | FedCSIS | Towards Optimal Train Routing Using Microscopic Simulation on Moving Block Controlled Networks. | Severin Lochschmidt, Stefan Engels, Robert Wille |
| 2025 | ICAART | Continuous Quantum Reinforcement Learning for Robot Navigation. | Theodora-Augustina Dragan, Alexander Knzner, Robert Wille, Jeanette Miriam Lorenz |
| 2025 | ICAART | Benchmarking Quantum Reinforcement Learning. | Georg Kruse, Rodrigo Coelho, Andreas Rosskopf, Robert Wille, Jeanette Miriam Lorenz |
| 2025 | ICASSP | MutualForce: Mutual-Aware Enhancement for 4D Radar-LiDAR 3D Object Detection. | Xiangyuan Peng, Huawei Sun, Kay Bierzynski, Anton Fischbacher, Lorenzo Servadei, Robert Wille |
| 2025 | ICASSP | LiRCDepth: Lightweight Radar-Camera Depth Estimation via Knowledge Distillation and Uncertainty Guidance. | Huawei Sun, Nastassia Vysotskaya, Tobias Sukianto, Hao Feng, Julius Ott, Xiangyuan Peng, Lorenzo Servadei, Robert Wille |
| 2025 | ICCAD | Automatic Design for Modular Microfluidic Routing Blocks. | Philipp Ebner, Maria Emmerich, Eric Safai, Aniruddha Paul, Mathieu Odijk, Joshua Loessberg-Zahl, Robert Wille |
| 2025 | ICCAD | Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing. | Yannick Stade, Wan-Hsuan Lin, Jason Cong, Robert Wille |
| 2025 | ICCAD | The Munich Microfluidics Toolkit: Design Automation and Simulation Tools for Microfluidic Devices. | Robert Wille, Philipp Ebner, Maria Emmerich, Michel Takken |
| 2025 | IROS | ELMAR: Enhancing LiDAR Detection with 4D Radar Motion Awareness and Cross-modal Uncertainty. | Xiangyuan Peng, Miao Tang, Huawei Sun, Kay Bierzynski, Lorenzo Servadei, Robert Wille |
| 2025 | ISCAS | QuickTrace: An Efficient Contour Tracing Algorithm for Defect Robustness Simulation of Silicon Dangling Bond Logic. | Jan Drewniok, Marcel Walter, Robert Wille |
| 2025 | ISCAS | Live Demonstration: An Application for Layout Resilience Analysis of Silicon Dangling Bond Logic. | Marcel Walter, Jan Drewniok, Robert Wille |
| 2025 | QCE | Improving Hardware Requirements for Fault-Tolerant Quantum Computing by Optimizing Error Budget Distributions. | Tobias V. Forster, Nils Quetschlich, Mathias Soeken, Robert Wille |
| 2025 | QCE | Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch? | Tobias V. Forster, Nils Quetschlich, Robert Wille |
| 2025 | QCE | Lattice Surgery Compilation Beyond the Surface Code. | Laura S. Herzog, Lucas Berent, Aleksander Kubica, Robert Wille |
| 2025 | QCE | CleanQRL: Lightweight Single-File Implementations of Quantum Reinforcement Learning Algorithms. | Georg Kruse, Rodrigo Coelho, Andreas Rosskopf, Robert Wille, Jeanette Miriam Lorenz |
| 2025 | QCE | Automatically Refining Assertions for Efficient Debugging of Quantum Programs. | Damian Rovara, Lukas Burgholzer, Robert Wille |
| 2025 | QCE | Quantum Entrepreneurship Lab: Training a Future Workforce for the Quantum Industry. | Aaron Sander, Rosaria Cercola, Andrea Capogrosso, Stefan Filipp, Bernhard Jobst, Christian B. Mendl, Frank Pollmann, Christopher Trummer, Isabell M. Welpe, Max Werninghaus, Robert Wille, Christian Wimmer |
| 2025 | QCE | Orchestrating Multi-Zone Shuttling in Trapped-Ion Quantum Computers. | Daniel Schnberger, Robert Wille |
| 2025 | WACV | GET-UP: GEomeTric-aware Depth Estimation with Radar Points UPsampling. | Huawei Sun, Zixu Wang, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille |
| 2025 | SC | Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse. | Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra, Santana Lujan, Lo Van Damme, Hossam Ahmed, Martn Letras, Ercment Kaya, Adrian Vetter, Max Werninghaus, Martin Knudsen, Felix Rohde, Albert Frisch, Eric Mansfield, Rakhim Davletkaliyev, Vladimir Kukushkin, Noora Frkkil, Janne Mntyl, Nikolas Pomplun, Andreas Sprl, Lukas Burgholzer, Yannick Stade, Robert Wille, Laura Brandon Schulz, Martin Schulz |
| 2025 | SC | Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation. | Yannick Stade, Lukas Burgholzer, Robert Wille |
| 2024 | ASPDAC | The Need for Speed: Efficient Exact Simulation of Silicon Dangling Bond Logic. | Jan Drewniok, Marcel Walter, Robert Wille |
| 2024 | ASPDAC | Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers. | Daniel Schnberger, Stefan Hillmich, Matthias Brandl, Robert Wille |
| 2024 | ATMOS | Towards an Optimization Pipeline for the Design of Train Control Systems with Hybrid Train Detection (Short Paper). | Stefan Engels, Robert Wille |
| 2024 | DAC | RCGP: An Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits based on Efficient Cartesian Genetic Programming. | Rongliang Fu, Robert Wille, Tsung-Yi Ho |
| 2024 | DAC | Late Breaking Results: Wiring Reduction for Field-coupled Nanotechnologies. | Simon Toni Hofmann, Marcel Walter, Robert Wille |
| 2024 | DAC | Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams. | Kevin Mato, Stefan Hillmich, Robert Wille |
| 2024 | DAC | Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers. | Ludwig Schmid, Sunghye Park, Robert Wille |
| 2024 | DATE | From Designing Quantum Processors to Large-Scale Quantum Computing Systems. | Carmen G. Almudver, Robert Wille, Fabio Sebastiano, Nadia Haider, Eduard Alarcn |
| 2024 | DATE | Design Automation for Organs-on-Chip. | Maria Emmerich, Philipp Ebner, Robert Wille |
| 2024 | DATE | Late Breaking Results: Iterative Design Automation for Train Control with Hybrid Train Detection. | Stefan Engels, Robert Wille |
| 2024 | DATE | MNT Bench: Benchmarking Software and Layout Libraries for Field-Coupled Nanocomputing. | Simon Toni Hofmann, Marcel Walter, Robert Wille |
| 2024 | DATE | Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers (Extended Abstract). | Daniel Schnberger, Stefan Hillmich, Matthias Brandl, Robert Wille |
| 2024 | DATE | Towards Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H -Si $(100)-2\times 1$ Surface. | Marcel Walter, Jeremiah Croshaw, Samuel Sze Hang Ng, Konrad Walus, Robert A. Wolkow, Robert Wille |
| 2024 | DATE | Design Automation for Quantum Computing: Intermediate Stage Report of the ERC Consolidator Grant "DAQC". | Robert Wille |
| 2024 | FedCSIS | Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control. | Stefan Engels, Robert Wille |
| 2024 | ICAART | Variational Quantum Circuit Design for Quantum Reinforcement Learning on Continuous Environments. | Georg Kruse, Theodora-Augustina Dragan, Robert Wille, Jeanette Miriam Lorenz |
| 2024 | ICANN | MUFASA: Multi-view Fusion and Adaptation Network with Spatial Awareness for Radar Object Detection. | Xiangyuan Peng, Miao Tang, Huawei Sun, Kay Bierzynski, Lorenzo Servadei, Robert Wille |
| 2024 | ICPP | FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagram and Flat Array. | Shui Jiang, Rongliang Fu, Lukas Burgholzer, Robert Wille, Tsung-Yi Ho, Tsung-Wei Huang |
| 2024 | IROS | CaFNet: A Confidence-Driven Framework for Radar Camera Depth Estimation. | Huawei Sun, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille |
| 2024 | PROFES | Towards Solving Short-Term Generation Scheduling Problems on Quantum Computers. | Sonja Bruckner, Flavio Ferrarotti, Rudolf Ramler, Robert Wille, Stefan Hillmich |
| 2024 | QCE | Hamiltonian-Based Quantum Reinforcement Learning for Neural Combinatorial Optimization. | Georg Kruse, Rodrigo Coelho, Andreas Rosskopf, Robert Wille, Jeanette Miriam Lorenz |
| 2024 | QCE | Towards Equivalence Checking of Classical Circuits Using Quantum Computing. | Nils Quetschlich, Tobias Forster, Adrian Osterwind, Domenik Helms, Robert Wille |
| 2024 | QCE | Utilizing Resource Estimation for the Development of Quantum Computing Applications. | Nils Quetschlich, Mathias Soeken, Prakash Murali, Robert Wille |
| 2024 | QCE | Using Compiler Frameworks for the Evaluation of Hardware Design Choices in Trapped-Ion Quantum Computers. | Daniel Schnberger, Stefan Hillmich, Matthias Brandl, Robert Wille |
| 2024 | QCE | An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. | Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille |
| 2024 | QCE | A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem. | Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille |
| 2024 | QCE | QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack. | Robert Wille, Ludwig Schmid, Yannick Stade, Jorge Echavarria, Martin Schulz, Laura Brandon Schulz, Lukas Burgholzer |
| 2024 | QCE | HamilToniQ: An Open-Source Benchmark Toolkit for Quantum Computers. | Xiaotian Xu, Kuan-Cheng Chen, Robert Wille |
| 2024 | SC | A Software Platform to Support Disaggregated Quantum Accelerators. | Ercment Kaya, Jorge Echavarria, Muhammad Nufail Farooqi, Aleksandra Swierkowska, Patrick Hopf, Burak Mete, Lukas Burgholzer, Robert Wille, Laura Brandon Schulz, Martin Schulz |
| 2024 | VLSID | A Dynamic Programming Based Graph Traversal Approach for Efficient Implementation of Nearest Neighbor Architecture in 2D. | Sneha Lahiri, Megha Kesh, Rupsa Mandal, Anirban Bhattacharjee, Sovan Bhattacharya, Dola Sinha, Chandan Bandyopadhyay, Laxmidhar Biswal, Robert Wille, Rolf Drechsler |
| 2024 | SEFM | GrammarForge: Learning Program Input Grammars for Fuzz Testing. | Hannes Sochor, Flavio Ferrarotti, Robert Wille |
| 2023 | ASPDAC | Software Tools for Decoding Quantum Low-Density Parity-Check Codes. | Lucas Berent, Lukas Burgholzer, Robert Wille |
| 2023 | ASPDAC | Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. | Lukas Burgholzer, Robert Wille |
| 2023 | ASPDAC | Compilation of Entangling Gates for High-Dimensional Quantum Systems. | Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille |
| 2023 | ASPDAC | Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. | Tom Peham, Lukas Burgholzer, Robert Wille |
| 2023 | ASPDAC | A SAT Encoding for Optimal Clifford Circuit Synthesis. | Sarah Schneider, Lukas Burgholzer, Robert Wille |
| 2023 | ATMOS | A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. | Stefan Engels, Tom Peham, Robert Wille |
| 2023 | DAC | Late Breaking Results From Hybrid Design Automation for Field-coupled Nanotechnologies. | Simon Toni Hofmann, Marcel Walter, Lorenzo Servadei, Robert Wille |
| 2023 | DAC | Compiler Optimization for Quantum Computing Using Reinforcement Learning. | Nils Quetschlich, Lukas Burgholzer, Robert Wille |
| 2023 | DAC | Design Automation for Cryogenic CMOS Circuits. | Victor M. van Santen, Marcel Walter, Florian Klemme, Shivendra Singh Parihar, Girish Pahwa, Yogesh Singh Chauhan, Robert Wille, Hussam Amrouch |
| 2023 | DSD | CFD for Microfluidics: A Workflow for Setting Up the Simulation of Microfluidic Devices. | Philipp Ebner, Robert Wille |
| 2023 | DSD | Efficient Simulation of Droplet Merging in Channel-Based Microfluidic Devices. | Gerold Fink, Florina Costamoling, Philipp Ebner, Robert Wille |
| 2023 | FDG | Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept. | Michael Artner, Guenter Wallner, Robert Wille |
| 2023 | ICASSP | MEET: A Monte Carlo Exploration-Exploitation Trade-Off for Buffer Sampling. | Julius Ott, Lorenzo Servadei, Jose A. Arjona-Medina, Enrico Rinaldi, Gianfranco Mauro, Daniela Sanchez Lopera, Michael Stephan, Thomas Stadelmayer, Avik Santra, Robert Wille |
| 2023 | QCE | Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams. | Kevin Mato, Stefan Hillmich, Robert Wille |
| 2023 | QCE | Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. | Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer |
| 2023 | QCE | Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level. | Nils Quetschlich, Lukas Burgholzer, Robert Wille |
| 2023 | QCE | A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem. | Nils Quetschlich, Vincent Koch, Lukas Burgholzer, Robert Wille |
| 2023 | QCE | Towards Hamiltonian Simulation with Decision Diagrams. | Aaron Sander, Lukas Burgholzer, Robert Wille |
| 2023 | QCE | Towards the Munich Quantum Software Stack: Enabling Efficient Access and Tool Support for Quantum Computers. | Martin Schulz, Laura Brandon Schulz, Martin Ruefenacht, Robert Wille |
| 2023 | VLSID | Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction. | Thomas Grurl, Christoph Pichler, Jrgen Fu, Robert Wille |
| 2022 | ASPDAC | Limiting the Search Space in Optimal Quantum Circuit Mapping. | Lukas Burgholzer, Sarah Schneider, Robert Wille |
| 2022 | ASPDAC | Improving the Robustness of Microfluidic Networks. | Gerold Fink, Philipp Ebner, Sudip Poddar, Robert Wille |
| 2022 | DAC | Handling non-unitaries in quantum circuit equivalence checking. | Lukas Burgholzer, Robert Wille |
| 2022 | DAC | Equivalence checking paradigms in quantum circuit design: a case study. | Tom Peham, Lukas Burgholzer, Robert Wille |
| 2022 | DAC | Hexagons are the bestagons: design automation for silicon dangling bond logic. | Marcel Walter, Samuel Sze Hang Ng, Konrad Walus, Robert Wille |
| 2022 | DAC | The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus. | Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham |
| 2022 | DATE | Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. | Lukas Burgholzer, Alexander Ploier, Robert Wille |
| 2022 | DATE | Comprehensive and Accessible Channel Routing for Microfluidic Devices. | Gerold Fink, Philipp Ebner, Robert Wille |
| 2022 | DDECS | A Concept Towards Pressure-Controlled Microfluidic Networks. | Gerold Fink, Medina Hamidovic, Werner Haselmayr, Robert Wille |
| 2022 | ICASSP | Label-Aware Ranked Loss for Robust People Counting Using Automotive In-Cabin Radar. | Lorenzo Servadei, Huawei Sun, Julius Ott, Michael Stephan, Souvik Hazra, Thomas Stadelmayer, Daniela Sanchez Lopera, Robert Wille, Avik Santra |
| 2022 | ICMLA | Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking. | Julius Ott, Lorenzo Servadei, Gianfranco Mauro, Thomas Stadelmayer, Avik Santra, Robert Wille |
| 2022 | ICMLA | Utilizing Explainable AI for improving the Performance of Neural Networks. | Huawei Sun, Lorenzo Servadei, Hao Feng, Michael Stephan, Avik Santra, Robert Wille |
| 2022 | QCE | Adaptive Compilation of Multi-Level Quantum Operations. | Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille |
| 2022 | RC | Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. | Stefan Hillmich, Lukas Burgholzer, Florian Stgmller, Robert Wille |
| 2022 | SAT | Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. | Lucas Berent, Lukas Burgholzer, Robert Wille |
| 2021 | ASPDAC | Random Stimuli Generation for the Verification of Quantum Circuits. | Lukas Burgholzer, Richard Kueng, Robert Wille |
| 2021 | ASPDAC | Accurate and Efficient Simulation of Microfluidic Networks. | Gerold Fink, Philipp Ebner, Medina Hamidovic, Werner Haselmayr, Robert Wille |
| 2021 | ASPDAC | Exploiting Quantum Teleportation in Quantum Circuit Mapping. | Stefan Hillmich, Alwin Zulehner, Robert Wille |
| 2021 | ASPDAC | One-pass Synthesis for Field-coupled Nanocomputing Technologies. | Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler |
| 2021 | DATE | Stochastic Quantum Circuit Simulation Using Decision Diagrams. | Thomas Grurl, Richard Kueng, Jrgen Fu, Robert Wille |
| 2021 | DATE | As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. | Stefan Hillmich, Richard Kueng, Igor L. Markov, Robert Wille |
| 2021 | DATE | Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures. | Oliver Keszcze, Naser Mohammadzadeh, Robert Wille |
| 2021 | DATE | Generic Sample Preparation for Different Microfluidic Platforms. | Sudip Poddar, Gerold Fink, Werner Haselmayr, Robert Wille |
| 2021 | DATE | Visualizing Decision Diagrams for Quantum Computing (Special Session Summary). | Robert Wille, Lukas Burgholzer, Michael Artner |
| 2021 | DATE | Towards Automatic Design and Verification for Level 3 of the European Train Control System. | Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda |
| 2021 | ICCAD | BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems. | Xing Huang, Youlin Pan, Zhen Chen, Wenzhong Guo, Robert Wille, Tsung-Yi Ho, Ulf Schlichtmann |
| 2021 | ISCAS | SMT-Based Placement for System-on-Chip Design. | Sebastian Pointner, Sven Wenzek, Robert Wille |
| 2021 | MODELSWARD | Performance Aspects of Correctness-oriented Synthesis Flows. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2021 | QCE | Hybrid Schrdinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. | Lukas Burgholzer, Hartwig Bauer, Robert Wille |
| 2021 | QCE | Decision Diagrams for Quantum Measurements with Shallow Circuits. | Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille |
| 2021 | RC | Efficient Construction of Functional Representations for Quantum Algorithms. | Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille |
| 2020 | ASPDAC | Towards Automatic Hardware Synthesis from Formal Specification to Implementation. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | ASPDAC | Improved DD-based Equivalence Checking of Quantum Circuits. | Lukas Burgholzer, Robert Wille |
| 2020 | ASPDAC | Concurrency in DD-based Quantum Circuit Simulation. | Stefan Hillmich, Alwin Zulehner, Robert Wille |
| 2020 | ASPDAC | Approximation of Quantum States Using Decision Diagrams. | Alwin Zulehner, Stefan Hillmich, Igor L. Markov, Robert Wille |
| 2020 | DAC | The Power of Simulation for Equivalence Checking in Quantum Computing. | Lukas Burgholzer, Robert Wille |
| 2020 | DAC | Just Like the Real Thing: Fast Weak Simulation of Quantum Computation. | Stefan Hillmich, Igor L. Markov, Robert Wille |
| 2020 | DAC | Verification for Field-coupled Nanocomputing Circuits. | Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Groe, Rolf Drechsler |
| 2020 | DATE | Realizing Quantum Algorithms on Real Quantum Computing Devices. | Carmen G. Almudver, Lingling Lao, Robert Wille, Gian Giacomo Guerreschi |
| 2020 | DATE | Towards Exploring the Potential of Alternative Quantum Computing Architectures. | Arighna Deb, Gerhard W. Dueck, Robert Wille |
| 2020 | DATE | Verification Runtime Analysis: Get the Most Out of Partial Verification. | Martin Ring, Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | DSD | ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing. | Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler |
| 2020 | ICCAD | Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams. | Thomas Grurl, Jrgen Fu, Robert Wille |
| 2020 | ICCAD | JKQ: JKU Tools for Quantum Computing. | Robert Wille, Stefan Hillmich, Lukas Burgholzer |
| 2020 | ISCAS | Efficient and Correct Compilation of Quantum Circuits. | Robert Wille, Stefan Hillmich, Lukas Burgholzer |
| 2020 | MODELSWARD | Integer Overflow Detection in Hardware Designs at the Specification Level. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | MODELSWARD | Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | QCE | Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. | Lukas Burgholzer, Rudy Raymond, Robert Wille |
| 2019 | ASPDAC | Scalable design for field-coupled nanocomputing circuits. | Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Groe, Rolf Drechsler |
| 2019 | ASPDAC | Robust sample preparation on digital microfluidic biochips. | Zhanwei Zhong, Robert Wille, Krishnendu Chakrabarty |
| 2019 | ASPDAC | A staircase structure for scalable and efficient synthesis of memristor-aided logic. | Alwin Zulehner, Kamalika Datta, Indranil Sengupta, Robert Wille |
| 2019 | ASPDAC | Design automation for adiabatic circuits. | Alwin Zulehner, Michael P. Frank, Robert Wille |
| 2019 | ASPDAC | Compiling SU(4) quantum circuits to IBM QX architectures. | Alwin Zulehner, Robert Wille |
| 2019 | DAC | Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. | Robert Wille, Lukas Burgholzer, Alwin Zulehner |
| 2019 | DATE | Better Late Than Never : Verification of Embedded Systems After Deployment. | Martin Ring, Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2019 | DATE | Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision. | Lorenzo Servadei, Elena Zennaro, Keerthikumara Devarajegowda, Martin Manzinger, Wolfgang Ecker, Robert Wille |
| 2019 | DATE | IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers. | Robert Wille, Rod Van Meter, Yehuda Naveh |
| 2019 | DATE | Accuracy and Compactness in Decision Diagrams for Quantum Computation. | Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille |
| 2019 | DATE | Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations. | Alwin Zulehner, Robert Wille |
| 2019 | DDECS | Generic Error Localization for the Electronic System Level. | Sebastian Pointner, Pablo Gonzlez de Aledo, Robert Wille |
| 2019 | ICCAD | Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines. | Robert Wille, Majid Haghparast, Smaran Adarsh, Tanmay Tanmay |
| 2019 | ICCAD | How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing. | Alwin Zulehner, Stefan Hillmich, Robert Wille |
| 2019 | ISCAS | Exact Stimuli Minimization for Simulation-Based Verification. | Sebastian Pointner, Andreas Grimmer, Robert Wille |
| 2019 | PDP | Simulating Industrial Electrophoretic Deposition on Distributed Memory Architectures. | Kevin Verma, Johannes Oder, Robert Wille |
| 2019 | RC | Evaluating the Flexibility of A* for Mapping Quantum Circuits. | Alwin Zulehner, Hartwig Bauer, Robert Wille |
| 2019 | VLSID | Improved Look-Ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits. | Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| 2018 | ASPDAC | Sound valve-control for programmable microfluidic devices. | Andreas Grimmer, Berislav Klepic, Tsung-Yi Ho, Robert Wille |
| 2018 | ASPDAC | Exploiting coding techniques for logic synthesis of reversible circuits. | Alwin Zulehner, Robert Wille |
| 2018 | DATE | Storage-aware sample preparation using flow-based microfluidic Labs-on-Chip. | Sukanta Bhattacharjee, Robert Wille, Juinn-Dar Huang, Bhargab B. Bhattacharya |
| 2018 | DATE | Improved synthesis of Clifford+T quantum functionality. | Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2018 | DATE | An exact method for design exploration of quantum-dot cellular automata. | Marcel Walter, Robert Wille, Daniel Groe, Frank Sill Torres, Rolf Drechsler |
| 2018 | DATE | Efficient mapping of quantum circuits to the IBM QX architectures. | Alwin Zulehner, Alexandru Paler, Robert Wille |
| 2018 | DATE | Pushing the number of qubits below the "minimum": Realizing compact boolean components for quantum logic. | Alwin Zulehner, Robert Wille |
| 2018 | DSD | Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata. | Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Groe, Rolf Drechsler |
| 2018 | FDL | Automatic Design of Microfluidic Devices. | Robert Wille, Bing Li, Rolf Drechsler, Ulf Schlichtmann |
| 2018 | ICCAD | IC/IP piracy assessment of reversible logic. | Samah Mohamed Saeed, Xiaotong Cui, Alwin Zulehner, Robert Wille, Rolf Drechsler, Kaijie Wu, Ramesh Karri |
| 2018 | ICCAD | Computer-aided design for quantum computation. | Robert Wille, Austin G. Fowler, Yehuda Naveh |
| 2018 | ICCAD | Multi-channel and fault-tolerant control multiplexing for flow-based microfluidic biochips. | Ying Zhu, Bing Li, Tsung-Yi Ho, Qin Wang, Hailong Yao, Robert Wille, Ulf Schlichtmann |
| 2018 | ICTAI | Quality Assessment of Generated Hardware Designs Using Statistical Analysis and Machine Learning. | Lorenzo Servadei, Elena Zennaro, Keerthikumara Devarajegowda, Wolfgang Ecker, Robert Wille |
| 2018 | MODELSWARD | Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. | Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2018 | MODELSWARD | Generation and Validation of Frame Conditions in Formal Models. | Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2018 | RC | QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report). | Alwin Zulehner, Robert Wille |
| 2018 | VLSID | Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips. | Oliver Keszcze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler |
| 2017 | ASPDAC | Close-to-optimal placement and routing for continuous-flow microfluidic biochips. | Andreas Grimmer, Qin Wang, Hailong Yao, Tsung-Yi Ho, Robert Wille |
| 2017 | ASPDAC | Enhancing robustness of sequential circuits using application-specific knowledge and formal methods. | Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler |
| 2017 | ASPDAC | Exact routing for micro-electrode-dot-array digital microfluidic biochips. | Oliver Keszcze, Zipeng Li, Andreas Grimmer, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler |
| 2017 | DAC | A Discrete Model for Networked Labs-on-Chips: Linking the Physical World to Design Automation. | Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille |
| 2017 | DATE | Verification of networked Labs-on-Chip architectures. | Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille |
| 2017 | DATE | Make it reversible: Efficient embedding of non-reversible functions. | Alwin Zulehner, Robert Wille |
| 2017 | DATE | Taking one-to-one mappings for granted: Advanced logic design of encoder circuits. | Alwin Zulehner, Robert Wille |
| 2017 | DDECS | An efficient physical design of fully-testable BDD-based circuits. | Andreas Rauchenecker, Robert Wille |
| 2017 | FMCAD | Tagged BDDs: Combining reduction rules from different decision diagram types. | Tom van Dijk, Robert Wille, Robert Meolic |
| 2017 | ICCAD | Dedicated synthesis for MZI-based optical circuits based on AND-inverter graphs. | Arighna Deb, Robert Wille, Rolf Drechsler |
| 2017 | ICCD | Identifying Reversible Circuit Synthesis Approaches to Enable IP Piracy Attacks. | Samah Mohamed Saeed, Nithin Mahendran, Alwin Zulehner, Robert Wille, Ramesh Karri |
| 2017 | MEMOCODE | More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. | Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler |
| 2017 | RC | Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report. | Zaid Al-Wardi, Robert Wille, Rolf Drechsler |
| 2017 | RC | Test Pattern Generation Effort Evaluation of Reversible Circuits. | Abhoy Kole, Robert Wille, Kamalika Datta, Indranil Sengupta |
| 2017 | RC | Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. | Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler |
| 2017 | RC | Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits - Work in Progress Report. | Anmol Prakash Surhonne, Anupam Chattopadhyay, Robert Wille |
| 2017 | RC | Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A ^* ∗. | Alwin Zulehner, Stefan Gasser, Robert Wille |
| 2017 | RC | Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs. | Alwin Zulehner, Robert Wille |
| 2016 | ASPDAC | Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits. | Robert Wille, Oliver Keszcze, Marcel Walter, Patrick Rohrs, Anupam Chattopadhyay, Rolf Drechsler |
| 2016 | DATE | Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking. | Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Robert Wille, Giovanni De Micheli |
| 2016 | DATE | Synthesis of approximate coders for on-chip interconnects using reversible logic. | Robert Wille, Oliver Keszcze, Stefan Hillmich, Marcel Walter, Alberto Garca Ortiz |
| 2016 | ICCAD | From biochips to quantum circuits: computer-aided design for emerging technologies. | Robert Wille, Bing Li, Ulf Schlichtmann, Rolf Drechsler |
| 2016 | MEMOCODE | Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. | Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2016 | MEMOCODE | Frame conditions in symbolic representations of UML/OCL models. | Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2016 | MODELS | Integrating an SMT-Based ModelFinder into USE. | Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler |
| 2016 | MODELS | Ground setting properties for an efficient translation of OCL in SMT-based model finding. | Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2016 | RC | Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. | Robert Wille, Oliver Keszcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler |
| 2016 | RC | Checking Reversibility of Boolean Functions. | Robert Wille, Aaron Lye, Philipp Niemann |
| 2016 | RC | Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits. | Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato |
| 2016 | VLSID | Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library. | Laxmidhar Biswal, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| 2015 | ASPDAC | Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits. | Aaron Lye, Robert Wille, Rolf Drechsler |
| 2015 | ASPDAC | Reverse BDD-based synthesis for splitter-free optical circuits. | Robert Wille, Oliver Keszcze, Clemens Hopfmuller, Rolf Drechsler |
| 2015 | DAC | A generic representation of CCSL time constraints for UML/MARTE models. | Judith Peters, Robert Wille, Nils Przigoda, Ulrich Khne, Rolf Drechsler |
| 2015 | DATE | Assisted generation of frame conditions for formal models. | Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| 2015 | DATE | Automated feature localization for dynamically generated SystemC designs. | Jannis Stoppe, Robert Wille, Rolf Drechsler |
| 2015 | DDECS | Contradiction Analysis for Inconsistent Formal Models. | Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2015 | DSD | Verification-Driven Design Across Abstraction Levels: A Case Study. | Nils Przigoda, Jannis Stoppe, Julia Seiter, Robert Wille, Rolf Drechsler |
| 2015 | DSD | Leveraging the Analysis for Invariant Independence in Formal System Models. | Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2015 | ICCAD | A General and Exact Routing Methodology for Digital Microfluidic Biochips. | Oliver Keszcze, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler |
| 2015 | ICCAD | Formal Methods for Emerging Technologies. | Robert Wille, Rolf Drechsler |
| 2015 | MODELS | Extracting frame conditions from operation contracts. | Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| 2015 | MODELS | Checking concurrent behavior in UML/OCL models. | Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler |
| 2015 | MODELS | Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. | Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2015 | MODELSWARD | A Unified Formulation of Behavioral Semantics for SysML Models. | Christoph Hilken, Jan Peleska, Robert Wille |
| 2015 | RC | Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits. | Zaid Al-Wardi, Robert Wille, Rolf Drechsler |
| 2015 | RC | Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits. | Abhoy Kole, Kamalika Datta, Indranil Sengupta, Robert Wille |
| 2015 | RC | Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. | Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille |
| 2015 | VLSID | BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits. | Eleonora Schnborn, Kamalika Datta, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler |
| 2014 | ASPDAC | Efficient synthesis of quantum circuits implementing clifford group operations. | Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2014 | ASPDAC | Optimal SWAP gate insertion for nearest neighbor quantum circuits. | Robert Wille, Aaron Lye, Rolf Drechsler |
| 2014 | DAC | Exact One-pass Synthesis of Digital Microfluidic Biochips. | Oliver Keszcze, Robert Wille, Tsung-Yi Ho, Rolf Drechsler |
| 2014 | DDECS | Optimizing DD-based synthesis of reversible circuits using negative control lines. | Eleonora Schnborn, Kamalika Datta, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler |
| 2014 | DSD | Improving Coverage of Simulation-Based Verification by Dedicated Stimuli Generation. | Shuo Yang, Robert Wille, Rolf Drechsler |
| 2014 | FDL | Verifying consistency between activity diagrams and their corresponding OCL contracts. | Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Khne, Rolf Drechsler |
| 2014 | FDL | Automatic refinement checking for formal system models. | Julia Seiter, Robert Wille, Ulrich Khne, Rolf Drechsler |
| 2014 | ICCAD | Automated and quality-driven requirements engineering. | Rolf Drechsler, Mathias Soeken, Robert Wille |
| 2014 | ICCAD | Exact routing for digital microfluidic biochips with temporary blockages. | Oliver Keszcze, Robert Wille, Rolf Drechsler |
| 2014 | ICECCS | Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. | Judith Peters, Robert Wille, Rolf Drechsler |
| 2014 | MODELS | Towards a Base Model for UML and OCL Verification. | Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla |
| 2014 | RC | Equivalence Checking in Multi-level Quantum Systems. | Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2014 | RC | RevVis: Visualization of Structures and Properties in Reversible Circuits. | Robert Wille, Jannis Stoppe, Eleonora Schnborn, Kamalika Datta, Rolf Drechsler |
| 2014 | TAP | Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. | Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille |
| 2013 | ASPDAC | Improving the mapping of reversible circuits to quantum circuits using multiple target lines. | Robert Wille, Mathias Soeken, Christian Otterstedt, Rolf Drechsler |
| 2013 | DATE | Determining relevant model elements for the verification of UML/OCL specifications. | Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler |
| 2013 | DATE | Towards a generic verification methodology for system models. | Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler |
| 2013 | DSD | Cone of Influence Analysis at the Electronic System Level Using Machine Learning. | Jannis Stoppe, Robert Wille, Rolf Drechsler |
| 2013 | DSD | Minimal Stimuli Generation in Simulation-Based Verification. | Shuo Yang, Robert Wille, Daniel Groe, Rolf Drechsler |
| 2013 | GI | Text statt C++: Automatisierung des Systementwurfs mit Hilfe natrlicher Sprachverarbeitung. | Rolf Drechsler, Mathias Soeken, Robert Wille |
| 2013 | ICCAD | Improved SAT-based ATPG: more constraints, better compaction. | Stephan Eggersgl, Robert Wille, Rolf Drechsler |
| 2013 | RC | Reducing the Depth of Quantum Circuits Using Additional Circuit Lines. | Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler |
| 2013 | RC | Exploiting Negative Control Lines in the Optimization of Reversible Circuits. | Kamalika Datta, Gaurav Rathi, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler |
| 2013 | RC | Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure. | Arighna Deb, Debesh K. Das, Hafizur Rahaman, Bhargab B. Bhattacharya, Robert Wille, Rolf Drechsler |
| 2013 | RC | On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure. | Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2012 | ASPDAC | Synthesis of reversible circuits with minimal lines for large functions. | Mathias Soeken, Robert Wille, Christoph Hilken, Nils Przigoda, Rolf Drechsler |
| 2012 | DAC | Realizing reversible circuits using a new class of quantum gates. | Zahra Sasanian, Robert Wille, D. Michael Miller |
| 2012 | DATE | Eliminating invariants in UML/OCL models. | Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2012 | DATE | Automatic design of low-power encoders using reversible circuit synthesis. | Robert Wille, Rolf Drechsler, Christof Osewold, Alberto Garca Ortiz |
| 2012 | DATE | Debugging of inconsistent UML/OCL models. | Robert Wille, Mathias Soeken, Rolf Drechsler |
| 2012 | DSD | Coverage-Driven Stimuli Generation. | Shuo Yang, Robert Wille, Daniel Groe, Rolf Drechsler |
| 2012 | FDL | Formal Specification Level: Towards verification-driven design based on natural language processing. | Rolf Drechsler, Mathias Soeken, Robert Wille |
| 2012 | FDL | Formal Specification Level. | Rolf Drechsler, Mathias Soeken, Robert Wille |
| 2012 | RC | Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. | Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2012 | RC | Using | Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler |
| 2011 | DATE | Verifying dynamic aspects of UML models. | Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2011 | DATE | Determining the minimal number of lines for large reversible circuits. | Robert Wille, Oliver Keszcze, Rolf Drechsler |
| 2011 | FDL | Efficient realization of control logic in reversible circuits. | Sebastian Offermann, Robert Wille, Rolf Drechsler |
| 2011 | MODELS | Towards automatic determination of problem bounds for object instantiation in static model verification. | Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2011 | RC | RevKit: An Open Source Toolkit for the Design of Reversible Circuits. | Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| 2011 | TAP | Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. | Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2010 | DAC | Reducing the number of lines in reversible circuits. | Robert Wille, Mathias Soeken, Rolf Drechsler |
| 2010 | DATE | Verifying UML/OCL models using Boolean satisfiability. | Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler |
| 2010 | DDECS | Synthesizing multiplier in reversible logic. | Sebastian Offermann, Robert Wille, Gerhard W. Dueck, Rolf Drechsler |
| 2010 | DDECS | Window optimization of reversible and quantum circuits. | Mathias Soeken, Robert Wille, Gerhard W. Dueck, Rolf Drechsler |
| 2010 | FDL | SyReC: A Programming Language for Synthesis of Reversible Circuits. | Robert Wille, Sebastian Offermann, Rolf Drechsler |
| 2009 | DAC | BDD-based synthesis of reversible logic for large functions. | Robert Wille, Rolf Drechsler |
| 2009 | DATE | Debugging of Toffoli networks. | Robert Wille, Daniel Groe, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler |
| 2009 | DSD | Synthesizing Reversible Circuits for Irreversible Functions. | D. Michael Miller, Robert Wille, Gerhard W. Dueck |
| 2009 | FDL | SMT-based stimuli generation in the SystemC Verification library. | Robert Wille, Daniel Groe, Finn Haedicke, Rolf Drechsler |
| 2009 | VLSID | Reversible Logic Synthesis with Output Permutation. | Robert Wille, Daniel Groe, Gerhard W. Dueck, Rolf Drechsler |
| 2008 | DATE | Quantified Synthesis of Reversible Logic. | Robert Wille, Hoang Minh Le, Gerhard W. Dueck, Daniel Groe |
| 2008 | DSD | Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. | Robert Wille, Grschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler |
| 2008 | FDL | Contradiction Analysis for Constraint-based Random Simulation. | Daniel Groe, Robert Wille, Robert Siegmund, Rolf Drechsler |
| 2008 | FDL | Debugging Contradictory Constraints in Constraint-Based Random Simulation. | Daniel Groe, Robert Wille, Robert Siegmund, Rolf Drechsler |
| 2007 | ICCAD | Fast exact Toffoli network synthesis of reversible logic. | Robert Wille, Daniel Groe |