The chaos router chip: design and implementation of an adaptive router. - Kevin Bolding; Sen-Ching S. Cheung; Sung-Eun Choi; Carl Ebeling; Soha Hassoun; Ton Anh Ngo; Robert Wille (VLSI, 1993)

Fast exact Toffoli network synthesis of reversible logic. - Robert Wille; Daniel Große (ICCAD, 2007)

Formal Verification on the Word Level using SAT-like Proof Techniques. - Görschwin Fey; Daniel Große; Stephan Eggersglüß; Robert Wille; Rolf Drechsler (MBMV, 2007)

SWORD: A SAT like Prover Using Word Level Information. - Robert Wille; Görschwin Fey; Daniel Große; Stephan Eggersglüß; Rolf Drechsler (VLSI-SoC (Selected Papers), 2007)

Quantified Synthesis of Reversible Logic. - Robert Wille; Hoang Minh Le 001; Gerhard W. Dueck; Daniel Große (DATE, 2008)

Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. - Robert Wille; Görschwin Fey; Marc Messing; Gerhard Angst; Lothar Linhard; Rolf Drechsler (DSD, 2008)

Contradiction Analysis for Constraint-based Random Simulation. - Daniel Große; Robert Wille; Robert Siegmund; Rolf Drechsler (FDL, 2008)

Debugging Contradictory Constraints in Constraint-Based Random Simulation. - Daniel Große; Robert Wille; Robert Siegmund; Rolf Drechsler (FDL (Selected Papers), 2008)

Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares. - Daniel Große; Robert Wille; Gerhard W. Dueck; Rolf Drechsler (ISMVL, 2008)

RevLib: An Online Resource for Reversible Functions and Reversible Circuits. - Robert Wille; Daniel Große; Lisa Teuber; Gerhard W. Dueck; Rolf Drechsler (ISMVL, 2008)

Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability. - Robert Wille; Daniel Große; Mathias Soeken; Rolf Drechsler (ISVLSI, 2008)

Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking. - Daniel Große; Robert Wille; Ulrich Kühne; Rolf Drechsler (MBMV, 2008)

BDD-based synthesis of reversible logic for large functions. - Robert Wille; Rolf Drechsler (DAC, 2009)

SWORD - Module-based SAT Solving. - Robert Wille; Jean Christoph Jung; André Sülflow; Rolf Drechsler (Algorithms and Applications for Next Generation SAT Solvers, 2009)

Debugging of Toffoli networks. - Robert Wille; Daniel Große; Stefan Frehse; Gerhard W. Dueck; Rolf Drechsler (DATE, 2009)

Synthesizing Reversible Circuits for Irreversible Functions. - D. Michael Miller; Robert Wille; Gerhard W. Dueck (DSD, 2009)

SMT-based stimuli generation in the SystemC Verification library. - Robert Wille; Daniel Große; Finn Haedicke; Rolf Drechsler (FDL, 2009)

Ein Entwurfsablauf für Reversible Schaltkreise. - Robert Wille (Ausgezeichnete Informatikdissertationen, 2009)

Contradictory antecedent debugging in bounded model checking. - Daniel Große; Robert Wille; Ulrich Kühne; Rolf Drechsler (ACM Great Lakes Symposium on VLSI, 2009)

Evaluation of Cardinality Constraints on SMT-Based Debugging. - André Sülflow; Robert Wille; Görschwin Fey; Rolf Drechsler (ISMVL, 2009)

Reversible Logic Synthesis with Output Permutation. - Robert Wille; Daniel Große; Gerhard W. Dueck; Rolf Drechsler (VLSI Design, 2009)

Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic. - Robert Wille; Rolf Drechsler (RC@ETAPS, 2009)

Exact Synthesis of Elementary Quantum Gate Circuits. - Daniel Große; Robert Wille; Gerhard W. Dueck; Rolf Drechsler (J. Multiple Valued Log. Soft Comput., 2009)

Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques. - Daniel Große; Robert Wille; Gerhard W. Dueck; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)

Towards a design flow for reversible logic. - Robert Wille (2009)

Towards a Design Flow for Reversible Logic. - Robert Wille; Rolf Drechsler (Springer, 2010)

Reducing the number of lines in reversible circuits. - Robert Wille; Mathias Soeken; Rolf Drechsler (DAC, 2010)

Synthesizing multiplier in reversible logic. - Sebastian Offermann; Robert Wille; Gerhard W. Dueck; Rolf Drechsler (DDECS, 2010)

Window optimization of reversible and quantum circuits. - Mathias Soeken; Robert Wille; Gerhard W. Dueck; Rolf Drechsler (DDECS, 2010)

Graph Transformation Units Guided by a SAT Solver. - Hans-Jörg Kreowski; Sabine Kuske; Robert Wille (ICGT, 2010)

Enhancing debugging of multiple missing control errors in reversible logic. - Jean Christoph Jung; Stefan Frehse; Robert Wille; Rolf Drechsler (ACM Great Lakes Symposium on VLSI, 2010)

Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition. - Mathias Soeken; Robert Wille; Rolf Drechsler (IDT, 2010)

SAT-based ATPG for reversible circuits. - Hongyan Zhang 003; Robert Wille; Rolf Drechsler (IDT, 2010)

Efficient Simulation-Based Debugging of Reversible Logic. - Stefan Frehse; Robert Wille; Rolf Drechsler (ISMVL, 2010)

Verifying UML/OCL Models Using Boolean Satisfiability. - Mathias Soeken; Robert Wille; Mirco Kuhlmann; Martin Gogolla; Rolf Drechsler (MBMV, 2010)

SyReC: A Programming Language for Synthesis of Reversible Circuits. - Robert Wille; Sebastian Offermann; Rolf Drechsler (MBMV, 2010)

BDD-Based Synthesis of Reversible Logic. - Robert Wille; Rolf Drechsler (Int. J. Appl. Metaheuristic Comput., 2010)

Synthese reversibler Logik (Synthesizing Reversible Logic). - Robert Wille; Rolf Drechsler (it Inf. Technol., 2010)

Determining minimal testsets for reversible circuits using Boolean satisfiability. - Hongyan Zhang 003; Stefan Frehse; Robert Wille; Rolf Drechsler (AFRICON, 2011)

Improved Fault Diagnosis for Reversible Circuits. - Hongyan Zhang 003; Robert Wille; Rolf Drechsler (Asian Test Symposium, 2011)

Verifying dynamic aspects of UML models. - Mathias Soeken; Robert Wille; Rolf Drechsler (DATE, 2011)

Determining the minimal number of lines for large reversible circuits. - Robert Wille; Oliver Keszöcze; Rolf Drechsler (DATE, 2011)

Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms. - Rolf Drechsler; Alexander Finder; Robert Wille (EvoApplications (2), 2011)

Efficient realization of control logic in reversible circuits. - Sebastian Offermann; Robert Wille; Rolf Drechsler (FDL, 2011)

From Truth Tables to Programming Languages: Progress in the Design of Reversible Circuits. - Rolf Drechsler; Robert Wille (ISMVL, 2011)

Elementary Quantum Gate Realizations for Multiple-Control Toffoli Gates. - D. Michael Miller; Robert Wille; Zahra Sasanian (ISMVL, 2011)

ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization. - Robert Wille; Hongyan Zhang 003; Rolf Drechsler (ISVLSI, 2011)

Designing a RISC CPU in Reversible Logic. - Robert Wille; Mathias Soeken; Daniel Große; Eleonora Schönborn; Rolf Drechsler (MBMV, 2011)

Towards automatic determination of problem bounds for object instantiation in static model verification. - Mathias Soeken; Robert Wille; Rolf Drechsler (MoDeVVa@MoDELS, 2011)

RevKit: An Open Source Toolkit for the Design of Reversible Circuits. - Mathias Soeken; Stefan Frehse; Robert Wille; Rolf Drechsler (RC, 2011)

Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. - Mathias Soeken; Robert Wille; Rolf Drechsler (TAP@TOOLS, 2011)

Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502). - Kenichi Morita; Robert Wille (Dagstuhl Reports, 2011)

Debugging reversible circuits. - Robert Wille; Daniel Große; Stefan Frehse; Gerhard W. Dueck; Rolf Drechsler (Integr., 2011)

Synthesis of quantum circuits for linear nearest neighbor architectures. - Mehdi Saeedi; Robert Wille; Rolf Drechsler (Quantum Inf. Process., 2011)

Synthesis of reversible circuits with minimal lines for large functions. - Mathias Soeken; Robert Wille; Christoph Hilken; Nils Przigoda; Rolf Drechsler (ASP-DAC, 2012)

Realizing reversible circuits using a new class of quantum gates. - Zahra Sasanian; Robert Wille; D. Michael Miller (DAC, 2012)

Eliminating invariants in UML/OCL models. - Mathias Soeken; Robert Wille; Rolf Drechsler (DATE, 2012)

Automatic design of low-power encoders using reversible circuit synthesis. - Robert Wille; Rolf Drechsler; Christof Osewold; Alberto García Ortiz (DATE, 2012)

Debugging of inconsistent UML/OCL models. - Robert Wille; Mathias Soeken; Rolf Drechsler (DATE, 2012)

Coverage-Driven Stimuli Generation. - Shuo Yang 009; Robert Wille; Daniel Große; Rolf Drechsler (DSD, 2012)

Formal Specification Level: Towards verification-driven design based on natural language processing. - Rolf Drechsler; Mathias Soeken; Robert Wille (FDL, 2012)

Formal Specification Level. - Rolf Drechsler; Mathias Soeken; Robert Wille (FDL (Selected Papers), 2012)

Completeness-Driven Development. - Rolf Drechsler; Melanie Diepenbeck; Daniel Große; Ulrich Kühne; Hoang Minh Le 001; Julia Seiter 002; Mathias Soeken; Robert Wille (ICGT, 2012)

Generating formal system models from natural language descriptions. - Rolf Drechsler; Ian G. Harris; Robert Wille (HLDVT, 2012)

Synthesis of Reversible Circuits Using Decision Diagrams. - Rolf Drechsler; Robert Wille (ISED, 2012)

Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits. - Mathias Soeken; Zahra Sasanian; Robert Wille; D. Michael Miller; Rolf Drechsler (ISMVL, 2012)

A Synthesis Flow for Sequential Reversible Circuits. - Mathias Soeken; Robert Wille; Christian Otterstedt; Rolf Drechsler (ISMVL, 2012)

Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines. - Robert Wille; Mathias Soeken; Nils Przigoda; Rolf Drechsler (ISMVL, 2012)

Circuit Line Minimization in the HDL-Based Synthesis of Reversible Logic. - Robert Wille; Mathias Soeken; Eleonora Schönborn; Rolf Drechsler (ISVLSI, 2012)

Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. - Julia Seiter 002; Mathias Soeken; Robert Wille; Rolf Drechsler (RC, 2012)

Using πDDs in the Design of Reversible Circuits. - Mathias Soeken; Robert Wille; Shin-ichi Minato; Rolf Drechsler (RC, 2012)

Assisted Behavior Driven Development Using Natural Language Processing. - Mathias Soeken; Robert Wille; Rolf Drechsler (TOOLS (50), 2012)

Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology - (Invited Paper). - Rolf Drechsler; Robert Wille (VDAT, 2012)

Foreword: Special Issue on Reversible Computation. - Rolf Drechsler; Irek Ulidowski; Robert Wille (J. Multiple Valued Log. Soft Comput., 2012)

Reducing Reversible Circuit Cost by Adding Lines. - D. Michael Miller; Robert Wille; Rolf Drechsler (J. Multiple Valued Log. Soft Comput., 2012)

RevKit: A Toolkit for Reversible Circuit Design. - Mathias Soeken; Stefan Frehse; Robert Wille; Rolf Drechsler (J. Multiple Valued Log. Soft Comput., 2012)

Equivalence Checking of Reversible Circuits. - Robert Wille; Daniel Große; D. Michael Miller; Rolf Drechsler (J. Multiple Valued Log. Soft Comput., 2012)

A compact and efficient SAT encoding for quantum circuits. - Robert Wille; Nils Przigoda; Rolf Drechsler (AFRICON, 2013)

Exploiting reversibility in the complete simulation of reversible circuits. - Robert Wille; Simon Stelter; Rolf Drechsler (AFRICON, 2013)

Improving the mapping of reversible circuits to quantum circuits using multiple target lines. - Robert Wille; Mathias Soeken; Christian Otterstedt; Rolf Drechsler (ASP-DAC, 2013)

Determining relevant model elements for the verification of UML/OCL specifications. - Julia Seiter 002; Robert Wille; Mathias Soeken; Rolf Drechsler (DATE, 2013)

Towards a generic verification methodology for system models. - Robert Wille; Martin Gogolla; Mathias Soeken; Mirco Kuhlmann; Rolf Drechsler (DATE, 2013)

Cone of Influence Analysis at the Electronic System Level Using Machine Learning. - Jannis Stoppe; Robert Wille; Rolf Drechsler (DSD, 2013)

Minimal Stimuli Generation in Simulation-Based Verification. - Shuo Yang 009; Robert Wille; Daniel Große; Rolf Drechsler (DSD, 2013)

Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung. - Rolf Drechsler; Mathias Soeken; Robert Wille (GI-Jahrestagung, 2013)

Improved SAT-based ATPG: more constraints, better compaction. - Stephan Eggersglüß; Robert Wille; Rolf Drechsler (ICCAD, 2013)

Exact Template Matching Using Boolean Satisfiability. - Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler (ISMVL, 2013)

Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits. - Robert Wille; Hongyan Zhang 003; Rolf Drechsler (ISMVL, 2013)

Data extraction from SystemC designs using debug symbols and the SystemC API. - Jannis Stoppe; Robert Wille; Rolf Drechsler (ISVLSI, 2013)

PASSAT 2.0: A multi-functional SAT-based testing framework. - Rolf Drechsler; Melanie Diepenbeck; Stephan Eggersglüß; Robert Wille (LATW, 2013)

Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. - Mathias Soeken; Robert Wille; Eugen Kuksa; Rolf Drechsler (MBMV, 2013)

The SyReC hardware description language: Enabling scalable synthesis of reversible circuits. - Robert Wille; Rolf Drechsler (MWSCAS, 2013)

Reducing the Depth of Quantum Circuits Using Additional Circuit Lines. - Nabila Abdessaied; Robert Wille; Mathias Soeken; Rolf Drechsler (RC, 2013)

Exploiting Negative Control Lines in the Optimization of Reversible Circuits. - Kamalika Datta; Gaurav Rathi; Robert Wille; Indranil Sengupta 001; Hafizur Rahaman 001; Rolf Drechsler (RC, 2013)

Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure. - Arighna Deb; Debesh K. Das; Hafizur Rahaman 001; Bhargab B. Bhattacharya; Robert Wille; Rolf Drechsler (RC, 2013)

On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure. - Philipp Niemann 001; Robert Wille; Rolf Drechsler (RC, 2013)

Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library. - Zahra Sasanian; Robert Wille; D. Michael Miller (CoRR, 2013)

Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits. - Robert Wille; Mathias Soeken; Nils Przigoda; Rolf Drechsler (J. Multiple Valued Log. Soft Comput., 2013)

Efficient synthesis of quantum circuits implementing clifford group operations. - Philipp Niemann 001; Robert Wille; Rolf Drechsler (ASP-DAC, 2014)

Optimal SWAP gate insertion for nearest neighbor quantum circuits. - Robert Wille; Aaron Lye; Rolf Drechsler (ASP-DAC, 2014)

Exact One-pass Synthesis of Digital Microfluidic Biochips. - Oliver Keszöcze; Robert Wille; Tsung-Yi Ho; Rolf Drechsler (DAC, 2014)

Optimizing DD-based synthesis of reversible circuits using negative control lines. - Eleonora Schönborn; Kamalika Datta; Robert Wille; Indranil Sengupta 001; Hafizur Rahaman 001; Rolf Drechsler (DDECS, 2014)

Improving Coverage of Simulation-Based Verification by Dedicated Stimuli Generation. - Shuo Yang 009; Robert Wille; Rolf Drechsler (DSD, 2014)

Verifying consistency between activity diagrams and their corresponding OCL contracts. - Christoph Hilken; Julia Seiter 002; Robert Wille; Ulrich Kühne; Rolf Drechsler (FDL, 2014)

Automatic refinement checking for formal system models. - Julia Seiter 002; Robert Wille; Ulrich Kühne; Rolf Drechsler (FDL, 2014)

Automated and quality-driven requirements engineering. - Rolf Drechsler; Mathias Soeken; Robert Wille (ICCAD, 2014)

Exact routing for digital microfluidic biochips with temporary blockages. - Oliver Keszöcze; Robert Wille; Rolf Drechsler (ICCAD, 2014)

Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. - Judith Peters; Robert Wille; Rolf Drechsler (ICECCS, 2014)

Towards a Base Model for UML and OCL Verification. - Frank Hilken; Philipp Niemann 001; Robert Wille; Martin Gogolla (MoDeVVa@MoDELS, 2014)

Equivalence Checking in Multi-level Quantum Systems. - Philipp Niemann 001; Robert Wille; Rolf Drechsler (RC, 2014)

RevVis: Visualization of Structures and Properties in Reversible Circuits. - Robert Wille; Jannis Stoppe; Eleonora Schönborn; Kamalika Datta; Rolf Drechsler (RC, 2014)

Validating SystemC Implementations Against Their Formal Specifications. - Jannis Stoppe; Robert Wille; Rolf Drechsler (SBCCI, 2014)

Determining Cases of Scenarios to Improve Coverage in Simulation-based Verification. - Shuo Yang 009; Robert Wille; Rolf Drechsler (SBCCI, 2014)

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. - Frank Hilken; Philipp Niemann 001; Martin Gogolla; Robert Wille (TAP@STAF, 2014)

Trading off circuit lines and gate costs in the synthesis of reversible logic. - Robert Wille; Mathias Soeken; D. Michael Miller; Rolf Drechsler (Integr., 2014)

Introduction to the Special Issue on Reversible Computation. - Robert Wille; Rolf Drechsler; Mehdi Baradaran Tahoori (ACM J. Emerg. Technol. Comput. Syst., 2014)

Considering nearest neighbor constraints of quantum circuits at the reversible circuit level. - Robert Wille; Aaron Lye; Rolf Drechsler (Quantum Inf. Process., 2014)

Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures. - Robert Wille; Aaron Lye; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits. - Aaron Lye; Robert Wille; Rolf Drechsler (ASP-DAC, 2015)

Reverse BDD-based synthesis for splitter-free optical circuits. - Robert Wille; Oliver Keszöcze; Clemens Hopfmuller; Rolf Drechsler (ASP-DAC, 2015)

A generic representation of CCSL time constraints for UML/MARTE models. - Judith Peters; Robert Wille; Nils Przigoda; Ulrich Kühne; Rolf Drechsler (DAC, 2015)

Assisted generation of frame conditions for formal models. - Philipp Niemann 001; Frank Hilken; Martin Gogolla; Robert Wille (DATE, 2015)

Automated feature localization for dynamically generated SystemC designs. - Jannis Stoppe; Robert Wille; Rolf Drechsler (DATE, 2015)

Contradiction Analysis for Inconsistent Formal Models. - Nils Przigoda; Robert Wille; Rolf Drechsler (DDECS, 2015)

Verification-Driven Design Across Abstraction Levels: A Case Study. - Nils Przigoda; Jannis Stoppe; Julia Seiter 002; Robert Wille; Rolf Drechsler (DSD, 2015)

Leveraging the Analysis for Invariant Independence in Formal System Models. - Nils Przigoda; Robert Wille; Rolf Drechsler (DSD, 2015)

Reversible computation. - Rolf Drechsler; Robert Wille (IGSC, 2015)

A General and Exact Routing Methodology for Digital Microfluidic Biochips. - Oliver Keszöcze; Robert Wille; Krishnendu Chakrabarty; Rolf Drechsler (ICCAD, 2015)

Formal Methods for Emerging Technologies. - Robert Wille; Rolf Drechsler (ICCAD, 2015)

From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. - Frank Hilken; Philipp Niemann 001; Martin Gogolla; Robert Wille (ICMT, 2015)

An Examination of the NCV-|u1 > Quantum Library Based on Minimal Circuits. - Arman Allahyari-Abhari; Robert Wille; Rolf Drechsler (ISMVL, 2015)

An Efficient Reduction of Common Control Lines for Reversible Circuit Optimization. - Arighna Deb; Robert Wille; Rolf Drechsler; Debesh K. Das (ISMVL, 2015)

Verbesserung der Fehlersuche in inkonsistenten formalen Modellen (Erweiterte Zusammenfassung). - Nils Przigoda; Robert Wille; Rolf Drechsler (MBMV, 2015)

Checking concurrent behavior in UML/OCL models. - Nils Przigoda; Christoph Hilken; Robert Wille; Jan Peleska 001; Rolf Drechsler (MoDELS, 2015)

Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. - Nils Przigoda; Judith Peters; Mathias Soeken; Robert Wille; Rolf Drechsler (MoDeVVa@MoDELS, 2015)

A Unified Formulation of Behavioral Semantics for SysML Models. - Christoph Hilken; Jan Peleska 001; Robert Wille (MODELSWARD, 2015)

Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits. - Zaid Al-Wardi; Robert Wille; Rolf Drechsler (RC, 2015)

Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits. - Abhoy Kole; Kamalika Datta; Indranil Sengupta 001; Robert Wille (RC, 2015)

Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. - Philipp Niemann 001; Saikat Basu; Amlan Chakrabarti; Niraj K. Jha; Robert Wille (RC, 2015)

Envisioning self-verification of electronic systems. - Rolf Drechsler; Martin Fränzle; Robert Wille (ReCoSoC, 2015)

BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits. - Eleonora Schönborn; Kamalika Datta; Robert Wille; Indranil Sengupta 001; Hafizur Rahaman 001; Rolf Drechsler (VLSID, 2015)

Design of Microfluidic Biochips (Dagstuhl Seminar 15352). - Krishnendu Chakrabarty; Tsung-Yi Ho; Robert Wille (Dagstuhl Reports, 2015)

Scalable One-Pass Synthesis for Digital Microfluidic Biochips. - Robert Wille; Oliver Keszöcze; Rolf Drechsler; Tobias Boehnisch; Alexander Kroker (IEEE Des. Test, 2015)

Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits. - Robert Wille; Oliver Keszöcze; Marcel Walter; Patrick Rohrs; Anupam Chattopadhyay; Rolf Drechsler (ASP-DAC, 2016)

Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking. - Luca Gaetano Amarù; Pierre-Emmanuel Gaillardon; Robert Wille; Giovanni De Micheli (DATE, 2016)

Synthesis of approximate coders for on-chip interconnects using reversible logic. - Robert Wille; Oliver Keszöcze; Stefan Hillmich; Marcel Walter; Alberto García Ortiz (DATE, 2016)

From biochips to quantum circuits: computer-aided design for emerging technologies. - Robert Wille; Bing Li 005; Ulf Schlichtmann; Rolf Drechsler (ICCAD, 2016)

An improved gate library for logic synthesis of optical circuits. - Shuchishman Burman; Kamalika Datta; Robert Wille; Indranil Sengupta 001; Rolf Drechsler (ISED, 2016)

Towards a model-based verification methodology for Complex Swarm Systems (Invited paper). - Jonas Gomes Filho; Nils Przigoda; Robert Wille; Rolf Drechsler (ISED, 2016)

Generating and checking control logic in the HDL-based design of reversible circuits. - Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler (ISED, 2016)

Re-Writing HDL Descriptions for Line-Aware Synthesis of Reversible Circuits. - Zaid Al-Wardi; Robert Wille; Rolf Drechsler (ISMVL, 2016)

Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation. - Laxmidhar Biswal; Chandan Bandyopadhyay; Anupam Chattopadhyay; Robert Wille; Rolf Drechsler; Hafizur Rahaman 001 (ISMVL, 2016)

Logic Synthesis for Quantum State Generation. - Philipp Niemann 001; Rhitam Datta; Robert Wille (ISMVL, 2016)

Fault Detection in Parity Preserving Reversible Circuits. - Nils Przigoda; Gerhard W. Dueck; Robert Wille; Rolf Drechsler (ISMVL, 2016)

Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits. - Md. Mazder Rahman; Gerhard W. Dueck; Anupam Chattopadhyay; Robert Wille (ISMVL, 2016)

Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. - Judith Peters; Nils Przigoda; Robert Wille; Rolf Drechsler (MEMOCODE, 2016)

Frame conditions in symbolic representations of UML/OCL models. - Nils Przigoda; Jonas Gomes Filho; Philipp Niemann 001; Robert Wille; Rolf Drechsler (MEMOCODE, 2016)

Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. - Frank Hilken; Philipp Niemann 001; Martin Gogolla; Robert Wille (Modellierung, 2016)

Integrating an SMT-Based ModelFinder into USE. - Nils Przigoda; Frank Hilken; Judith Peters; Robert Wille; Martin Gogolla; Rolf Drechsler (MoDeVVa@MoDELS, 2016)

Ground setting properties for an efficient translation of OCL in SMT-based model finding. - Nils Przigoda; Robert Wille; Rolf Drechsler (MoDELS, 2016)

Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. - Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler (RC, 2016)

Checking Reversibility of Boolean Functions. - Robert Wille; Aaron Lye; Philipp Niemann 001 (RC, 2016)

Using pi DDs for Nearest Neighbor Optimization of Quantum Circuits. - Robert Wille; Nils Quetschlich; Yuma Inoue; Norihito Yasuda; Shin-ichi Minato (RC, 2016)

From reversible logic to quantum circuits: Logic design for an emerging technology. - Robert Wille; Anupam Chattopadhyay; Rolf Drechsler (SAMOS, 2016)

Extracting frame conditions from operation contracts. - Philipp Niemann 001; Frank Hilken; Martin Gogolla; Robert Wille (Software Engineering, 2016)

Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library. - Laxmidhar Biswal; Chandan Bandyopadhyay; Robert Wille; Rolf Drechsler; Hafizur Rahaman 001 (VLSID, 2016)

Reliable quantum circuits have defects. - Alexandru Paler; Austin G. Fowler; Robert Wille (XRDS, 2016)

Guest Editorial Emerging Topics in Multiple-Valued Logic and Its Applications. - Vincent C. Gaudet; Jon T. Butler; Robert Wille; Naofumi Homma (IEEE J. Emerg. Sel. Topics Circuits Syst., 2016)

Verifying the structure and behavior in UML/OCL models using satisfiability solvers. - Nils Przigoda; Mathias Soeken; Robert Wille; Rolf Drechsler (IET Cyper-Phys. Syst.: Theory & Appl., 2016)

SyReC: A hardware description language for the specification and synthesis of reversible circuits. - Robert Wille; Eleonora Schönborn; Mathias Soeken; Rolf Drechsler (Integr., 2016)

Analyzing Inconsistencies in UML/OCL Models. - Nils Przigoda; Robert Wille; Rolf Drechsler (J. Circuits Syst. Comput., 2016)

Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability. - Arighna Deb; Debesh K. Das; Hafizur Rahaman 001; Robert Wille; Rolf Drechsler; Bhargab B. Bhattacharya (ACM J. Emerg. Technol. Comput. Syst., 2016)

Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits. - Arighna Deb; Robert Wille; Oliver Keszöcze; Stefan Hillmich; Rolf Drechsler (ACM J. Emerg. Technol. Comput. Syst., 2016)

Embedding of Large Boolean Functions for Reversible Logic. - Mathias Soeken; Robert Wille; Oliver Keszöcze; D. Michael Miller; Rolf Drechsler (ACM J. Emerg. Technol. Comput. Syst., 2016)

QMDDs: Efficient Quantum Function Representation and Manipulation. - Philipp Niemann 001; Robert Wille; D. Michael Miller; Mitchell A. Thornton; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Close-to-optimal placement and routing for continuous-flow microfluidic biochips. - Andreas Grimmer; Qin Wang 005; Hailong Yao; Tsung-Yi Ho; Robert Wille (ASP-DAC, 2017)

Enhancing robustness of sequential circuits using application-specific knowledge and formal methods. - Sebastian Huhn 001; Stefan Frehse; Robert Wille; Rolf Drechsler (ASP-DAC, 2017)

Exact routing for micro-electrode-dot-array digital microfluidic biochips. - Oliver Keszöcze; Zipeng Li; Andreas Grimmer; Robert Wille; Krishnendu Chakrabarty; Rolf Drechsler (ASP-DAC, 2017)

A Discrete Model for Networked Labs-on-Chips: Linking the Physical World to Design Automation. - Andreas Grimmer; Werner Haselmayr; Andreas Springer; Robert Wille (DAC, 2017)

Verification of networked Labs-on-Chip architectures. - Andreas Grimmer; Werner Haselmayr; Andreas Springer; Robert Wille (DATE, 2017)

Make it reversible: Efficient embedding of non-reversible functions. - Alwin Zulehner; Robert Wille (DATE, 2017)

Taking one-to-one mappings for granted: Advanced logic design of encoder circuits. - Alwin Zulehner; Robert Wille (DATE, 2017)

An efficient physical design of fully-testable BDD-based circuits. - Andreas Rauchenecker; Robert Wille (DDECS, 2017)

Formulating Model Verification Tasks Prover-Independently as UML Diagrams. - Martin Gogolla; Frank Hilken; Philipp Niemann 001; Robert Wille (ECMFA, 2017)

Stochastic Computing Using Droplet-Based Microfluidics. - Werner Haselmayr; Andreas Grimmer; Robert Wille (EUROCAST (2), 2017)

Tagged BDDs: Combining reduction rules from different decision diagram types. - Tom van Dijk; Robert Wille; Robert Meolic (FMCAD, 2017)

Advanced load balancing for SPH simulations on multi-GPU architectures. - Kevin Verma; Kamil Szewc; Robert Wille (HPEC, 2017)

Addressing multiple nodes in networked labs-on-chips without payload re-injection. - Werner Haselmayr; Andrea Biral; Andreas Grimmer; Andrea Zanella; Andreas Springer; Robert Wille (ICC, 2017)

Dedicated synthesis for MZI-based optical circuits based on AND-inverter graphs. - Arighna Deb; Robert Wille; Rolf Drechsler (ICCAD, 2017)

Identifying Reversible Circuit Synthesis Approaches to Enable IP Piracy Attacks. - Samah Mohamed Saeed; Nithin Mahendran; Alwin Zulehner; Robert Wille; Ramesh Karri (ICCD, 2017)

Towards lightweight satisfiability solvers for self-verification. - Fritjof Bornebusch; Robert Wille; Rolf Drechsler (ISED, 2017)

Extensions to the Reversible Hardware Description Language SyReC. - Zaid Al-Wardi; Robert Wille; Rolf Drechsler (ISMVL, 2017)

OR-Inverter Graphs for the Synthesis of Optical Circuits. - Arighna Deb; Robert Wille; Rolf Drechsler (ISMVL, 2017)

Skipping Embedding in the Design of Reversible Circuits. - Alwin Zulehner; Robert Wille (ISMVL, 2017)

BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips. - Jannis Stoppe; Oliver Keszöcze; Maximilian Luenert; Robert Wille; Rolf Drechsler (ISVLSI, 2017)

Verifikation von Networked Labs-on-Chip Architekturen. - Andreas Grimmer; Werner Haselmayr; Andreas Springer; Robert Wille (MBMV, 2017)

More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. - Nils Przigoda; Philipp Niemann 001; Judith Peters; Frank Hilken; Robert Wille; Rolf Drechsler (MEMOCODE, 2017)

Exploiting reversible logic design for implementing adiabatic circuits. - Andreas Rauchenecker; Timm Ostermann; Robert Wille (MIXDES, 2017)

Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report. - Zaid Al-Wardi; Robert Wille; Rolf Drechsler (RC, 2017)

Test Pattern Generation Effort Evaluation of Reversible Circuits. - Abhoy Kole; Robert Wille; Kamalika Datta; Indranil Sengupta 001 (RC, 2017)

Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. - Philipp Niemann 001; Alwin Zulehner; Robert Wille; Rolf Drechsler (RC, 2017)

Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits - Work in Progress Report. - Anmol Prakash Surhonne; Anupam Chattopadhyay; Robert Wille (RC, 2017)

Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A ^* ∗. - Alwin Zulehner; Stefan Gasser; Robert Wille (RC, 2017)

Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs. - Alwin Zulehner; Robert Wille (RC, 2017)

Design automation for Labs-on-Chip: A new "playground" for SoC designers. - Robert Wille; Bing Li 005 (SoCC, 2017)

Towards Reverse Engineering Reversible Logic. - Samah Mohamed Saeed; Xiaotong Cui; Robert Wille; Alwin Zulehner; Kaijie Wu 001; Rolf Drechsler; Ramesh Karri (CoRR, 2017)

Advanced Simulation of Quantum Computations: Compact Representation Rather than Hardware Power. - Alwin Zulehner; Robert Wille (CoRR, 2017)

Formal methods for reasoning and uncertainty reduction in evidential grid maps. - Andreas Grimmer; Joachim Clemens; Robert Wille (Int. J. Approx. Reason., 2017)

Synthesis of optical circuits using binary decision diagrams. - Arighna Deb; Robert Wille; Oliver Keszöcze; Saeideh Shirinzadeh; Rolf Drechsler (Integr., 2017)

An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs. - Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler (J. Low Power Electron., 2017)

Online scheduled execution of quantum circuits protected by surface codes. - Alexandru Paler; Austin G. Fowler; Robert Wille (Quantum Inf. Comput., 2017)

Towards quantum reversible ternary coded decimal adder. - Majid Haghparast; Robert Wille; Asma Taheri Monfared (Quantum Inf. Process., 2017)

Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering (NII Shonan Meeting 2017-1). - Shigeru Yamashita; Tsung-Yi Ho; Robert Wille; Krishnendu Chakrabarty (NII Shonan Meet. Rep., 2017)

Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification. - Pablo González de Aledo; Nils Przigoda; Robert Wille; Rolf Drechsler; Pablo Sánchez Espeso (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers - Nils Przigoda; Robert Wille; Judith Przigoda; Rolf Drechsler (Springer, 2018)

Emerging Circuit Technologies: An Overview on the Next Generation of Circuits. - Robert Wille; Krishnendu Chakrabarty; Rolf Drechsler; Priyank Kalla (Advanced Logic Synthesis, 2018)

Sound valve-control for programmable microfluidic devices. - Andreas Grimmer; Berislav Klepic; Tsung-Yi Ho; Robert Wille (ASP-DAC, 2018)

Exploiting coding techniques for logic synthesis of reversible circuits. - Alwin Zulehner; Robert Wille (ASP-DAC, 2018)

Storage-aware sample preparation using flow-based microfluidic Labs-on-Chip. - Sukanta Bhattacharjee; Robert Wille; Juinn-Dar Huang; Bhargab B. Bhattacharya (DATE, 2018)

Improved synthesis of Clifford+T quantum functionality. - Philipp Niemann 001; Robert Wille; Rolf Drechsler (DATE, 2018)

An exact method for design exploration of quantum-dot cellular automata. - Marcel Walter; Robert Wille; Daniel Große; Frank Sill Torres; Rolf Drechsler (DATE, 2018)

Efficient mapping of quantum circuits to the IBM QX architectures. - Alwin Zulehner; Alexandru Paler; Robert Wille (DATE, 2018)

Pushing the number of qubits below the "minimum": Realizing compact boolean components for quantum logic. - Alwin Zulehner; Robert Wille (DATE, 2018)

Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata. - Frank Sill Torres; Robert Wille; Marcel Walter; Philipp Niemann 001; Daniel Große; Rolf Drechsler (DSD, 2018)

Automatic Design of Microfluidic Devices. - Robert Wille; Bing Li 005; Rolf Drechsler; Ulf Schlichtmann (FDL, 2018)

AMulti-GPU PCISPH Implementation with Efficient Memory Transfers. - Kevin Verma; Chong Peng; Kamil Szewc; Robert Wille (HPEC, 2018)

IC/IP piracy assessment of reversible logic. - Samah Mohamed Saeed; Xiaotong Cui; Alwin Zulehner; Robert Wille; Rolf Drechsler; Kaijie Wu 001; Ramesh Karri (ICCAD, 2018)

Computer-aided design for quantum computation. - Robert Wille; Austin G. Fowler; Yehuda Naveh (ICCAD, 2018)

Multi-channel and fault-tolerant control multiplexing for flow-based microfluidic biochips. - Ying Zhu 008; Bing Li 005; Tsung-Yi Ho; Qin Wang 005; Hailong Yao; Robert Wille; Ulf Schlichtmann (ICCAD, 2018)

Quality Assessment of Generated Hardware Designs Using Statistical Analysis and Machine Learning. - Lorenzo Servadei; Elena Zennaro; Keerthikumara Devarajegowda; Wolfgang Ecker; Robert Wille (CIMA@ICTAI, 2018)

Parallel Simulation of Electrophoretic Deposition for Industrial Automotive Applications. - Kevin Verma; Luis Ayuso; Robert Wille (HPCS, 2018)

Synthesis of Reversible Circuits Using Conventional Hardware Description Languages. - Zaid Al-Wardi; Robert Wille; Rolf Drechsler (ISMVL, 2018)

Generalizing the Concept of Scalable Reversible Circuit Synthesis for Multiple-Valued Logic. - Alwin Zulehner; P. Mercy Nesa Rani; Kamalika Datta; Indranil Sengupta 001; Robert Wille (ISMVL, 2018)

A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits. - Anirban Bhattacharjee; Chandan Bandyopadhyay; Robert Wille; Rolf Drechsler; Hafizur Rahaman 001 (ISVLSI, 2018)

Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. - Philipp Niemann 001; Nils Przigoda; Robert Wille; Rolf Drechsler (MODELSWARD, 2018)

Generation and Validation of Frame Conditions in Formal Models. - Philipp Niemann 001; Nils Przigoda; Robert Wille; Rolf Drechsler (MODELSWARD (Revised Selected Papers), 2018)

Comparison of switching principles in microfluidic bus networks. - Medina Hamidovic; Werner Haselmayr; Andreas Grimmer; Robert Wille; Andreas Springer (NANOCOM, 2018)

QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report). - Alwin Zulehner; Robert Wille (RC, 2018)

Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips. - Oliver Keszöcze; Mohamed Ibrahim 002; Robert Wille; Krishnendu Chakrabarty; Rolf Drechsler (VLSID, 2018)

Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements. - Nils Przigoda; Philipp Niemann 001; Jonas Gomes Filho; Robert Wille; Rolf Drechsler (Comput. Lang. Syst. Struct., 2018)

NISQ circuit compilers: search space structure and heuristics. - Alexandru Paler; Alwin Zulehner; Robert Wille (CoRR, 2018)

Breaking Landauer's Limit Using Quantum-dot Cellular Automata. - Frank Sill Torres; Philipp Niemann 001; Robert Wille; Rolf Drechsler (CoRR, 2018)

Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic. - Robert Wille; Martin Lukac (FLAP, 2018)

Synthesis of circuits based on all-optical Mach-Zehnder Interferometers using Binary Decision Diagrams. - Chandan Bandyopadhyay; Rakesh Das; Robert Wille; Rolf Drechsler; Hafizur Rahaman 001 (Microelectron. J., 2018)

Design of Application-Specific Architectures for Networked Labs-on-Chips. - Andreas Grimmer; Werner Haselmayr; Andreas Springer; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata. - Frank Sill Torres; Robert Wille; Philipp Niemann 001; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Physical Co-Design of Flow and Control Layers for Flow-Based Microfluidic Biochips. - Qin Wang 005; Hao Zou 001; Hailong Yao; Tsung-Yi Ho; Robert Wille; Yici Cai (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic. - Alwin Zulehner; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Effect of Volumetric Split-Errors on Reactant-Concentration During Sample Preparation with Microfluidic Biochips. - Sudip Poddar; Robert Wille; Hafizur Rahaman 001; Bhargab B. Bhattacharya (ACSS (2), 2019)

Scalable design for field-coupled nanocomputing circuits. - Marcel Walter; Robert Wille; Frank Sill Torres; Daniel Große; Rolf Drechsler (ASP-DAC, 2019)

Robust sample preparation on digital microfluidic biochips. - Zhanwei Zhong; Robert Wille; Krishnendu Chakrabarty (ASP-DAC, 2019)

A staircase structure for scalable and efficient synthesis of memristor-aided logic. - Alwin Zulehner; Kamalika Datta; Indranil Sengupta 001; Robert Wille (ASP-DAC, 2019)

Design automation for adiabatic circuits. - Alwin Zulehner; Michael P. Frank; Robert Wille (ASP-DAC, 2019)

Compiling SU(4) quantum circuits to IBM QX architectures. - Alwin Zulehner; Robert Wille (ASP-DAC, 2019)

Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. - Robert Wille; Lukas Burgholzer; Alwin Zulehner (DAC, 2019)

Better Late Than Never : Verification of Embedded Systems After Deployment. - Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (DATE, 2019)

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 (DATE, 2019)

IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers. - Robert Wille; Rod Van Meter; Yehuda Naveh (DATE, 2019)

Accuracy and Compactness in Decision Diagrams for Quantum Computation. - Alwin Zulehner; Philipp Niemann 001; Rolf Drechsler; Robert Wille (DATE, 2019)

Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations. - Alwin Zulehner; Robert Wille (DATE, 2019)

Generic Error Localization for the Electronic System Level. - Sebastian Pointner; Pablo González de Aledo; Robert Wille (DDECS, 2019)

Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines. - Robert Wille; Majid Haghparast; Smaran Adarsh; Tanmay Tanmay (ICCAD, 2019)

How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing. - Alwin Zulehner; Stefan Hillmich; Robert Wille (ICCAD, 2019)

Exact Stimuli Minimization for Simulation-Based Verification. - Sebastian Pointner; Andreas Grimmer; Robert Wille (ISCAS, 2019)

Flow-Based Passive Microfluidic Architecture for Homogeneous Mixing. - Tapalina Banerjee; Sudip Poddar; Robert Wille; Bhargab B. Bhattacharya (ISED, 2019)

Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community. - Nils Przigoda; Judith Przigoda; Robert Wille (ISMVL, 2019)

One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. - Alwin Zulehner; Philipp Niemann 001; Rolf Drechsler; Robert Wille (ISMVL, 2019)

Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows. - Sebastian Pointner; Oliver Frank; Christoph Hazott; Robert Wille (ISVLSI, 2019)

Focus on What is Needed: Area and Power Efficient FPGAs Using Turn-Restricted Switch Boxes. - Fatemeh Serajeh-hassani; Mohammad Sadrosadati; Sebastian Pointner; Robert Wille; Hamid Sarbazi-Azad (ISVLSI, 2019)

Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-Coupled Nanotechnologies. - Robert Wille; Marcel Walter; Frank Sill Torres; Daniel Große; Rolf Drechsler (ISVLSI, 2019)

Did We Test Enough? Functional Coverage for Post-Silicon Validation. - Sebastian Pointner; Robert Wille (ITC-Asia, 2019)

Information Encoding in Droplet-Based Microfluidic Systems: First Practical Study. - Medina Hamidovic; Uli Marta; Gerold Fink; Robert Wille; Andreas Springer; Werner Haselmayr (NANOCOM, 2019)

Simulating Industrial Electrophoretic Deposition on Distributed Memory Architectures. - Kevin Verma; Johannes Oder; Robert Wille (PDP, 2019)

Evaluating the Flexibility of A* for Mapping Quantum Circuits. - Alwin Zulehner; Hartwig Bauer; Robert Wille (RC, 2019)

Improved Look-Ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits. - Anirban Bhattacharjee; Chandan Bandyopadhyay; Robert Wille; Rolf Drechsler; Hafizur Rahaman 001 (VLSID, 2019)

Dilution with Digital Microfluidic Biochips: How Unbalanced Splits Corrupt Target-Concentration. - Sudip Poddar; Robert Wille; Hafizur Rahaman 001; Bhargab B. Bhattacharya (CoRR, 2019)

fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits. - Marcel Walter; Robert Wille; Frank Sill Torres; Daniel Große; Rolf Drechsler (CoRR, 2019)

Advanced Simulation of Droplet Microfluidics. - Andreas Grimmer; Medina Hamidovic; Werner Haselmayr; Robert Wille (ACM J. Emerg. Technol. Comput. Syst., 2019)

Identification of Synthesis Approaches for IP/IC Piracy of Reversible Circuits. - Samah Mohamed Saeed; Nithin Mahendran; Alwin Zulehner; Robert Wille; Ramesh Karri (ACM J. Emerg. Technol. Comput. Syst., 2019)

Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is NP-complete (Research Note). - Marcel Walter; Robert Wille; Daniel Große; Frank Sill Torres; Rolf Drechsler (ACM J. Emerg. Technol. Comput. Syst., 2019)

Faster manipulation of large quantum circuits using wire label reference diagrams. - Alexandru Paler; Austin G. Fowler; Robert Wille (Microprocess. Microsystems, 2019)

Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications. - Lorenzo Servadei; Elena Zennaro; Tobias Fritz; Keerthikumara Devarajegowda; Wolfgang Ecker; Robert Wille (Microprocess. Microsystems, 2019)

Passive droplet control in microfluidic networks: A survey and new perspectives on their practical realization. - Medina Hamidovic; Werner Haselmayr; Andreas Grimmer; Robert Wille; Andreas Springer (Nano Commun. Networks, 2019)

Automated Dimensioning of Networked Labs-on-Chip. - Andreas Grimmer; Werner Haselmayr; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Error-Oblivious Sample Preparation With Digital Microfluidic Lab-on-Chip. - Sudip Poddar; Robert Wille; Hafizur Rahaman 001; Bhargab B. Bhattacharya (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures. - Alwin Zulehner; Alexandru Paler; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Advanced Simulation of Quantum Computations. - Alwin Zulehner; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Locking the Design of Building Blocks for Quantum Circuits. - Samah Mohamed Saeed; Robert Wille; Ramesh Karri (ACM Trans. Embed. Comput. Syst., 2019)

Passive Droplet Control in Two-Dimensional Microfluidic Networks. - Gerold Fink; Medina Hamidovic; Robert Wille; Werner Haselmayr (IEEE Trans. Mol. Biol. Multi Scale Commun., 2019)

Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits. - Sebastian Huhn 001; Stefan Frehse; Robert Wille; Rolf Drechsler (IEEE Trans. Very Large Scale Integr. Syst., 2019)

Reversible Circuits: IC/IP Piracy Attacks and Countermeasures. - Samah Mohamed Saeed; Alwin Zulehner; Robert Wille; Rolf Drechsler; Ramesh Karri (IEEE Trans. Very Large Scale Integr. Syst., 2019)

Towards Automatic Hardware Synthesis from Formal Specification to Implementation. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (ASP-DAC, 2020)

Improved DD-based Equivalence Checking of Quantum Circuits. - Lukas Burgholzer; Robert Wille (ASP-DAC, 2020)

Concurrency in DD-based Quantum Circuit Simulation. - Stefan Hillmich; Alwin Zulehner; Robert Wille (ASP-DAC, 2020)

Approximation of Quantum States Using Decision Diagrams. - Alwin Zulehner; Stefan Hillmich; Igor L. Markov; Robert Wille (ASP-DAC, 2020)

The Power of Simulation for Equivalence Checking in Quantum Computing. - Lukas Burgholzer; Robert Wille (DAC, 2020)

Just Like the Real Thing: Fast Weak Simulation of Quantum Computation. - Stefan Hillmich; Igor L. Markov; Robert Wille (DAC, 2020)

Verification for Field-coupled Nanocomputing Circuits. - Marcel Walter; Robert Wille; Frank Sill Torres; Daniel Große; Rolf Drechsler (DAC, 2020)

Realizing Quantum Algorithms on Real Quantum Computing Devices. - Carmen G. Almudéver; Lingling Lao; Robert Wille; Gian Giacomo Guerreschi (DATE, 2020)

Towards Exploring the Potential of Alternative Quantum Computing Architectures. - Arighna Deb; Gerhard W. Dueck; Robert Wille (DATE, 2020)

Verification Runtime Analysis: Get the Most Out of Partial Verification. - Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (DATE, 2020)

YASSi: Yet Another Symbolic Simulator Large (Tool Demo). - Sebastian Pointner; Pablo González de Aledo; Robert Wille (DEXA Workshops, 2020)

ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing. - Umberto Garlando; Marcel Walter; Robert Wille; Fabrizio Riente; Frank Sill Torres; Rolf Drechsler (DSD, 2020)

Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning. - Lorenzo Servadei; Edoardo Mosca; Keerthikumara Devarajegowda; Michael Werner; Wolfgang Ecker; Robert Wille (ACM Great Lakes Symposium on VLSI, 2020)

Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams. - Thomas Grurl; Jürgen Fuß; Robert Wille (ICCAD, 2020)

JKQ: JKU Tools for Quantum Computing. - Robert Wille; Stefan Hillmich; Lukas Burgholzer (ICCAD, 2020)

Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques. - Sebastian A. Schober; Cecilia Carbonelli; Alexandra Roth; Alexander Zoepfl; Robert Wille (IEEE SENSORS, 2020)

Efficient and Correct Compilation of Quantum Circuits. - Robert Wille; Stefan Hillmich; Lukas Burgholzer (ISCAS, 2020)

One-pass Synthesis for Digital Microfluidic Biochips: A Survey. - Oliver Keszöcze; Robert Wille; Rolf Drechsler (ISDCS, 2020)

Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm. - Anirban Bhattacharjee; Chandan Bandyopadhyay; Angshu Mukherjee; Robert Wille; Rolf Drechsler; Hafizur Rahaman 001 (ISMVL, 2020)

Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. - Thomas Grurl; Jürgen Fuß; Stefan Hillmich; Lukas Burgholzer; Robert Wille (ISMVL, 2020)

Bail on Balancing: An Alternative Approach to the Physical Design of Field-Coupled Nanocomputing Circuits. - Marcel Walter; Robert Wille; Frank Sill Torres; Rolf Drechsler (ISVLSI, 2020)

Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning. - Lorenzo Servadei; Jiapeng Zheng; Jose A. Arjona-Medina; Michael Werner; Volkan Esen; Sepp Hochreiter; Wolfgang Ecker; Robert Wille (MLCAD, 2020)

Automatic compiler optimization on embedded software through k-means clustering. - Michael Werner; Lorenzo Servadei; Robert Wille; Wolfgang Ecker (MLCAD, 2020)

Integer Overflow Detection in Hardware Designs at the Specification Level. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (MODELSWARD, 2020)

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (MODELSWARD (Revised Selected Papers), 2020)

Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. - Lukas Burgholzer; Rudy Raymond; Robert Wille (QCE, 2020)

Post Synthesis-Optimization of Reversible Circuit using Template Matching. - Chandan Bandyopadhyay; Robert Wille; Rolf Drechsler; Hafizur Rahaman 001 (VDAT, 2020)

Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study. - Atif Mashkoor; Alexander Egyed; Robert Wille (CoRR, 2020)

Design and realization of flexible droplet-based lab-on-a-chip devices. - Gerold Fink; Medina Hamidovic; Andreas Springer; Robert Wille; Werner Haselmayr (Elektrotech. Informationstechnik, 2020)

A PCISPH implementation using distributed multi-GPU acceleration for simulating industrial engineering applications. - Kevin Verma; Christopher McCabe; Chong Peng; Robert Wille (Int. J. High Perform. Comput. Appl., 2020)

An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD). - Phrangboklang Lyngton Thangkhiew; Alwin Zulehner; Robert Wille; Kamalika Datta; Indranil Sengupta 001 (Integr., 2020)

Near Zero-Energy Computation Using Quantum-Dot Cellular Automata. - Frank Sill Torres; Philipp Niemann 001; Robert Wille; Rolf Drechsler (ACM J. Emerg. Technol. Comput. Syst., 2020)

Modeling and simulation of electrophoretic deposition coatings. - Kevin Verma; Hui Cao; Prithvi Mandapalli; Robert Wille (J. Comput. Sci., 2020)

On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata. - Frank Sill Torres; Pedro Arthur Silva; Geraldo Fontes; Marcel Walter; José Augusto Miranda Nacif; Ricardo Santos Ferreira 001; Omar Paranaiba Vilela Neto; Jeferson F. Chaves; Robert Wille; Philipp Niemann 001; Daniel Große; Rolf Drechsler (Microprocess. Microsystems, 2020)

Advanced exact synthesis of Clifford+T circuits. - Philipp Niemann 001; Robert Wille; Rolf Drechsler (Quantum Inf. Process., 2020)

Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation. - Lorenzo Servadei; Edoardo Mosca; Elena Zennaro; Keerthikumara Devarajegowda; Michael Werner; Wolfgang Ecker; Robert Wille (IEEE Trans. Computers, 2020)

Storage-Aware Algorithms for Dilution and Mixture Preparation With Flow-Based Lab-on-Chip. - Sukanta Bhattacharjee; Robert Wille; Juinn-Dar Huang; Bhargab B. Bhattacharya (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Robustness Analysis for Droplet-Based Microfluidic Networks. - Gerold Fink; Andreas Grimmer; Medina Hamidovic; Werner Haselmayr; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Automatic Droplet Sequence Generation for Microfluidic Networks With Passive Droplet Routing. - Andreas Grimmer; Werner Haselmayr; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Improved Mapping of Quantum Circuits to IBM QX Architectures. - Abhoy Kole; Stefan Hillmich; Kamalika Datta; Robert Wille; Indranil Sengupta 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation. - Philipp Niemann 001; Alwin Zulehner; Rolf Drechsler; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Multicontrol: Advanced Control-Logic Synthesis for Flow-Based Microfluidic Biochips. - Ying Zhu 008; Xing Huang 001; Bing Li 005; Tsung-Yi Ho; Qin Wang 005; Hailong Yao; Robert Wille; Ulf Schlichtmann (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

On the Difficulty of Inserting Trojans in Reversible Computing Architectures. - Xiaotong Cui; Samah Mohamed Saeed; Alwin Zulehner; Robert Wille; Kaijie Wu 001; Rolf Drechsler; Ramesh Karri (IEEE Trans. Emerg. Top. Comput., 2020)

Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips. - Pushpita Roy; Ansuman Banerjee; Robert Wille; Bhargab B. Bhattacharya (ACM Trans. Design Autom. Electr. Syst., 2020)

Simulation and Design of Quantum Circuits. - Alwin Zulehner; Robert Wille (Selected Results of the COST Action IC1405, 2020)

Random Stimuli Generation for the Verification of Quantum Circuits. - Lukas Burgholzer; Richard Kueng; Robert Wille (ASP-DAC, 2021)

Accurate and Efficient Simulation of Microfluidic Networks. - Gerold Fink; Philipp Ebner; Medina Hamidovic; Werner Haselmayr; Robert Wille (ASP-DAC, 2021)

Exploiting Quantum Teleportation in Quantum Circuit Mapping. - Stefan Hillmich; Alwin Zulehner; Robert Wille (ASP-DAC, 2021)

One-pass Synthesis for Field-coupled Nanocomputing Technologies. - Marcel Walter; Winston Haaswijk; Robert Wille; Frank Sill Torres; Rolf Drechsler (ASP-DAC, 2021)

Stochastic Quantum Circuit Simulation Using Decision Diagrams. - Thomas Grurl; Richard Kueng; Jürgen Fuß; Robert Wille (DATE, 2021)

As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. - Stefan Hillmich; Richard Kueng; Igor L. Markov; Robert Wille (DATE, 2021)

Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures. - Oliver Keszöcze; Naser Mohammadzadeh; Robert Wille (DATE, 2021)

Generic Sample Preparation for Different Microfluidic Platforms. - Sudip Poddar; Gerold Fink; Werner Haselmayr; Robert Wille (DATE, 2021)

Visualizing Decision Diagrams for Quantum Computing (Special Session Summary). - Robert Wille; Lukas Burgholzer; Michael Artner (DATE, 2021)

Towards Automatic Design and Verification for Level 3 of the European Train Control System. - Robert Wille; Tom Peham; Judith Przigoda; Nils Przigoda (DATE, 2021)

BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems. - Xing Huang 001; Youlin Pan; Zhen Chen; Wenzhong Guo; Robert Wille; Tsung-Yi Ho; Ulf Schlichtmann (ICCAD, 2021)

SMT-Based Placement for System-on-Chip Design. - Sebastian Pointner; Sven Wenzek; Robert Wille (ISCAS, 2021)

Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams. - Thomas Grurl; Jürgen Fuß; Robert Wille (ISMVL, 2021)

A Survey of Graph Neural Networks for Electronic Design Automation. - Daniela Sanchez Lopera; Lorenzo Servadei; Gamze Naz Kiprit; Souvik Hazra; Robert Wille; Wolfgang Ecker (MLCAD, 2021)

Performance Aspects of Correctness-oriented Synthesis Flows. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (MODELSWARD, 2021)

Practical Assessment of Payload- Header Switching in Microfluidic Networks. - Medina Hamidovic; Gerold Fink; Robert Wille; Andreas Springer; Werner Haselmayr (NANOCOM, 2021)

Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. - Lukas Burgholzer; Hartwig Bauer; Robert Wille (QCE, 2021)

Decision Diagrams for Quantum Measurements with Shallow Circuits. - Stefan Hillmich; Charles Hadfield; Rudy Raymond; Antonio Mezzacapo; Robert Wille (QCE, 2021)

Efficient Construction of Functional Representations for Quantum Algorithms. - Lukas Burgholzer; Rudy Raymond; Indranil Sengupta 001; Robert Wille (RC, 2021)

Towards Verification of Dynamic Quantum Circuits. - Lukas Burgholzer; Robert Wille (CoRR, 2021)

An ant colony based mapping of quantum circuits to nearest neighbor architectures. - Anirban Bhattacharjee; Chandan Bandyopadhyay; Angshu Mukherjee; Robert Wille; Rolf Drechsler; Hafizur Rahaman 001 (Integr., 2021)

Quantum k-community detection: algorithm proposals and cross-architectural evaluation. - Felix Gemeinhardt; Robert Wille; Manuel Wimmer (Quantum Inf. Process., 2021)

QCEC: A JKQ tool for quantum circuit equivalence checking. - Lukas Burgholzer; Robert Wille (Softw. Impacts, 2021)

Advanced Equivalence Checking for Quantum Circuits. - Lukas Burgholzer; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

Exploring the Potential Benefits of Alternative Quantum Computing Architectures. - Arighna Deb; Gerhard W. Dueck; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

Automatic Design of Droplet-Based Microfluidic Ring Networks. - Gerold Fink; Medina Hamidovic; Werner Haselmayr; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

How Secure Are Checkpoint-Based Defenses in Digital Microfluidic Biochips? - Mohammed Shayan; Sukanta Bhattacharjee; Robert Wille; Krishnendu Chakrabarty; Ramesh Karri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

Efficient One-pass Synthesis for Digital Microfluidic Biochips. - Naser Mohammadzadeh; Robert Wille; Oliver Keszöcze (ACM Trans. Design Autom. Electr. Syst., 2021)

Robust Multi-Target Sample Preparation on MEDA Biochips Obviating Waste Production. - Sudip Poddar; Tapalina Banerjee; Robert Wille; Bhargab B. Bhattacharya (ACM Trans. Design Autom. Electr. Syst., 2021)

Data for a mapping study about the usage of MDE in Safety and Security Domain. - Atif Mashkoor; Robert Wille; Alexander Egyed; Sebastian Stock 002 (Zenodo, 2021)

Data for a mapping study about the usage of MDE in Safety and Security Domain. - Atif Mashkoor; Robert Wille; Alexander Egyed; Sebastian Stock 002 (Zenodo, 2021)

Limiting the Search Space in Optimal Quantum Circuit Mapping. - Lukas Burgholzer; Sarah Schneider; Robert Wille (ASP-DAC, 2022)

Improving the Robustness of Microfluidic Networks. - Gerold Fink; Philipp Ebner; Sudip Poddar; Robert Wille (ASP-DAC, 2022)

Gas Discrimination Analysis of Neural Network Algorithms for a Graphene-Based Electronic Nose. - Sebastian A. Schober; Cecilia Carbonelli; Robert Wille (CIVEMSA, 2022)

Handling non-unitaries in quantum circuit equivalence checking. - Lukas Burgholzer; Robert Wille (DAC, 2022)

Equivalence checking paradigms in quantum circuit design: a case study. - Tom Peham; Lukas Burgholzer; Robert Wille (DAC, 2022)

Hexagons are the bestagons: design automation for silicon dangling bond logic. - Marcel Walter; Samuel Sze Hang Ng; Konrad Walus; Robert Wille (DAC, 2022)

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 (DAC, 2022)

Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. - Lukas Burgholzer; Alexander Ploier; Robert Wille (DATE, 2022)

Comprehensive and Accessible Channel Routing for Microfluidic Devices. - Gerold Fink; Philipp Ebner; Robert Wille (DATE, 2022)

A Concept Towards Pressure-Controlled Microfluidic Networks. - Gerold Fink; Medina Hamidovic; Werner Haselmayr; Robert Wille (DDECS, 2022)

Twenty Years of Successful Translational Research: A Case Study of Three COMET Centers. - Katja Bühler; Cornelia Travnicek; Veronika Nowak; Edgar R. Weippl; Lukas Fischer 001; Rudolf Ramler; Robert Wille (DEXA Workshops, 2022)

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 (ICASSP, 2022)

Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking. - Julius Ott; Lorenzo Servadei; Gianfranco Mauro; Thomas Stadelmayer; Avik Santra; Robert Wille (ICMLA, 2022)

Utilizing Explainable AI for improving the Performance of Neural Networks. - Huawei Sun; Lorenzo Servadei; Hao Feng; Michael Stephan; Avik Santra; Robert Wille (ICMLA, 2022)

Cross-modal Learning of Graph Representations using Radar Point Cloud for Long-Range Gesture Recognition. - Souvik Hazra; Hao Feng; Gamze Naz Kiprit; Michael Stephan; Lorenzo Servadei; Robert Wille; Robert Weigel; Avik Santra (SAM, 2022)

Compact High-Performance Vibration Sensor Based on Single-Backplate MEMS Technology. - Somu Goswami; Christian Bretthauer; Andreas Bogner; Abhiraj Basavanna; Sebastian Anzinger; Marco Haubold; Gunar Lorenz; Johann Strasser; Daniel Weber 006; Lorenzo Servadei; Robert Wille (IEEE SENSORS, 2022)

Exact Mapping of Quantum Circuit Partitions to Building Blocks of the SAQIP Architecture. - Amirmohammad Biuki; Naser Mohammadzadeh; Robert Wille; Sahar Sargaran (ISVLSI, 2022)

Exploiting the Third Dimension: Stackable Quantum-dot Cellular Automata. - Willem Lambooy; Marcel Walter; Robert Wille (NANOARCH, 2022)

Efficient Multi-Path Signal Routing for Field-coupled Nanotechnologies. - Marcel Walter; Robert Wille (NANOARCH, 2022)

Adaptive Compilation of Multi-Level Quantum Operations. - Kevin Mato; Martin Ringbauer; Stefan Hillmich; Robert Wille (QCE, 2022)

Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. - Stefan Hillmich; Lukas Burgholzer; Florian Stögmüller; Robert Wille (RC, 2022)

Optimal Railway Routing Using Virtual Subsections. - Tom Peham; Judith Przigoda; Nils Przigoda; Robert Wille (RSSRail, 2022)

Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. - Lucas Berent; Lukas Burgholzer; Robert Wille (SAT, 2022)

Automatic Design of Microfluidic Gradient Generators. - Gerold Fink; Tina Mitteramskogler; Marcus A. Hintermüller; Bernhard Jakoby; Robert Wille (IEEE Access, 2022)

Characteristics of reversible circuits for error detection. - Lukas Burgholzer; Robert Wille; Richard Kueng (Array, 2022)

Simulation Paths for Quantum Circuit Simulation with Decision Diagrams. - Lukas Burgholzer; Alexander Ploier; Robert Wille (CoRR, 2022)

On Optimal Subarchitectures for Quantum Circuit Mapping. - Tom Peham; Lukas Burgholzer; Robert Wille (CoRR, 2022)

Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots. - Maria D. Vieira; Samuel S. H. Ng; Marcel Walter; Robert Wille; Konrad Walus; Ricardo S. Ferreira 001; Omar P. Vilela Neto; José Augusto Miranda Nacif (IEEE Des. Test, 2022)

Equivalence Checking of Quantum Circuits With the ZX-Calculus. - Tom Peham; Lukas Burgholzer; Robert Wille (IEEE J. Emerg. Sel. Topics Circuits Syst., 2022)

Introduction to the Special Issue on Design Automation for Quantum Computing. - Robert Wille; Rolf Drechsler (ACM J. Emerg. Technol. Comput. Syst., 2022)

Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study. - Michel Takken; Robert Wille (Sensors, 2022)

Accurate and Robust Malware Detection: Running XGBoost on Runtime Data From Performance Counters. - Rana Elnaggar; Lorenzo Servadei; Shubham Mathur; Robert Wille; Wolfgang Ecker; Krishnendu Chakrabarty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

A Generic Sample Preparation Approach for Different Microfluidic Labs-on-Chips. - Sudip Poddar; Gerold Fink; Werner Haselmayr; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. - Smaran Adarsh; Lukas Burgholzer; Tanmay Manjunath; Robert Wille (Softw. Impacts, 2022)

MMFT Droplet Simulator: Efficient Simulation of Droplet-based Microfluidic Devices. - Gerold Fink; Florina Costamoling; Robert Wille (Softw. Impacts, 2022)

Software Tools for Decoding Quantum Low-Density Parity-Check Codes. - Lucas Berent; Lukas Burgholzer; Robert Wille (ASP-DAC, 2023)

Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. - Lukas Burgholzer; Robert Wille (ASP-DAC, 2023)

Compilation of Entangling Gates for High-Dimensional Quantum Systems. - Kevin Mato; Martin Ringbauer; Stefan Hillmich; Robert Wille (ASP-DAC, 2023)

Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. - Tom Peham; Lukas Burgholzer; Robert Wille (ASP-DAC, 2023)

A SAT Encoding for Optimal Clifford Circuit Synthesis. - Sarah Schneider; Lukas Burgholzer; Robert Wille (ASP-DAC, 2023)

A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. - Stefan Engels; Tom Peham; Robert Wille (ATMOS, 2023)

An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. - Carla Piazza; Riccardo Romanello; Robert Wille (CILC, 2023)

Late Breaking Results From Hybrid Design Automation for Field-coupled Nanotechnologies. - Simon Toni Hofmann; Marcel Walter; Lorenzo Servadei; Robert Wille (DAC, 2023)

Compiler Optimization for Quantum Computing Using Reinforcement Learning. - Nils Quetschlich; Lukas Burgholzer; Robert Wille (DAC, 2023)

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 (DAC, 2023)

CFD for Microfluidics: A Workflow for Setting Up the Simulation of Microfluidic Devices. - Philipp Ebner; Robert Wille (DSD, 2023)

Efficient Simulation of Droplet Merging in Channel-Based Microfluidic Devices. - Gerold Fink; Florina Costamoling; Philipp Ebner; Robert Wille (DSD, 2023)

Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept. - Michael Artner; Guenter Wallner; Robert Wille (FDG, 2023)

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 (ICASSP, 2023)

Analysis of Liquid Morphologies in Curved Open Microchannels. - Tina Mitteramskogler; Rafael Ecker; Andreas Fuchsluger; Thomas Wilfinger; Robert Wille; Bernhard Jakoby (SENSORS, 2023)

Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools. - Thomas Grurl; Jürgen Fuß; Robert Wille (ISMVL, 2023)

Towards an Automated Framework for Realizing Quantum Computing Solutions. - Nils Quetschlich; Lukas Burgholzer; Robert Wille (ISMVL, 2023)

MQT QMAP: Efficient Quantum Circuit Mapping. - Robert Wille; Lukas Burgholzer (ISPD, 2023)

Versatile Signal Distribution Networks for Scalable Placement and Routing of Field-coupled Nanocomputing Technologies. - Marcel Walter; Benjamin Hien; Robert Wille (ISVLSI, 2023)

Multi-Task Cross-Modality Attention-Fusion for 2D Object Detection. - Huawei Sun; Hao Feng; Georg Stettinger; Lorenzo Servadei; Robert Wille (ITSC, 2023)

An IoT-Based Anomaly Detection and Identification Approach for Gas Sensor Networks. - Sebastian A. Schober; Cecilia Carbonelli; Robert Wille (MetroInd4.0&IoT, 2023)

Minimal Design of SiDB Gates: An Optimal Basis for Circuits Based on Silicon Dangling Bonds. - Jan Drewniok; Marcel Walter; Robert Wille (NANOARCH, 2023)

Post-Layout Optimization for Field-coupled Nanotechnologies. - Simon Toni Hofmann; Marcel Walter; Robert Wille (NANOARCH, 2023)

Reducing the Complexity of Operational Domain Computation in Silicon Dangling Bond Logic. - Marcel Walter; Jan Drewniok; Samuel Sze Hang Ng; Konrad Walus; Robert Wille (NANOARCH, 2023)

Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams. - Kevin Mato; Stefan Hillmich; Robert Wille (QCE, 2023)

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. - Tom Peham; Nina Brandl; Richard Kueng; Robert Wille; Lukas Burgholzer (QCE, 2023)

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level. - Nils Quetschlich; Lukas Burgholzer; Robert Wille (QCE, 2023)

A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem. - Nils Quetschlich; Vincent Koch; Lukas Burgholzer; Robert Wille (QCE, 2023)

Towards Hamiltonian Simulation with Decision Diagrams. - Aaron Sander; Lukas Burgholzer; Robert Wille (QCE, 2023)

Towards the Munich Quantum Software Stack: Enabling Efficient Access and Tool Support for Quantum Computers. - Martin Schulz 001; Laura Brandon Schulz; Martin Ruefenacht; Robert Wille (QCE, 2023)

Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems. - Kevin Mato; Stefan Hillmich; Robert Wille (QSW, 2023)

Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. - Benedikt Poggel; Nils Quetschlich; Lukas Burgholzer; Robert Wille; Jeanette Miriam Lorenz (QSW, 2023)

Predicting Good Quantum Circuit Compilation Options. - Nils Quetschlich; Lukas Burgholzer; Robert Wille (QSW, 2023)

Efficient Implementation of LIMDDs for Quantum Circuit Simulation. - Lieuwe Vinkhuijzen; Thomas Grurl; Stefan Hillmich; Sebastiaan Brand; Robert Wille; Alfons Laarman (SPIN, 2023)

Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction. - Thomas Grurl; Christoph Pichler; Jürgen Fuß; Robert Wille (VLSID, 2023)

Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation. - Lukas Burgholzer; Alexander Ploier; Robert Wille (CoRR, 2023)

Detection of Sensor-To-Sensor Variations using Explainable AI. - Sarah Seifi; Sebastian A. Schober; Cecilia Carbonelli; Lorenzo Servadei; Robert Wille (CoRR, 2023)

Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System. - Stefan Engels; Tom Peham; Judith Przigoda; Nils Przigoda; Robert Wille (CoRR, 2023)

Temporal Patience: Efficient Adaptive Deep Learning for Embedded Radar Data Processing. - Max Sponner; Julius Ott; Lorenzo Servadei; Bernd Waschneck; Robert Wille; Akash Kumar 001 (CoRR, 2023)

Accelerating CFD Simulations of Microfluidic Devices by Exploiting Higher Levels of Abstraction. - Michel Takken; Robert Wille (CoRR, 2023)

Analog information decoding of bosonic quantum LDPC codes. - Lucas Berent; Timo Hillmann; Jens Eisert; Robert Wille; Joschka Roffe (CoRR, 2023)

Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H-Si(100)2x1 Surface. - Marcel Walter; Jeremiah Croshaw; Samuel Sze Hang Ng; Konrad Walus; Robert A. Wolkow; Robert Wille (CoRR, 2023)

Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers. - Ludwig Schmid; Sunghye Park; Seokhyeong Kang; Robert Wille (CoRR, 2023)

Design Automation for Continuous-Flow Lab-on-a-Chip Systems: A One-Pass Paradigm. - Xing Huang 001; Youlin Pan; Zhen Chen; Wenzhong Guo; Lu Wang 014; Qingshan Li; Robert Wille; Tsung-Yi Ho; Ulf Schlichtmann (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Deep Reinforcement Learning for Optimization at Early Design Stages. - Lorenzo Servadei; Jin Hwa Lee; José Antonio Arjona-Medina; Michael Werner; Sepp Hochreiter; Wolfgang Ecker; Robert Wille (IEEE Des. Test, 2023)

Channel Routing for Microfluidic Devices: A Comprehensive and Accessible Design Tool. - Philipp Ebner; Gerold Fink; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes. - Lucas Berent; Lukas Burgholzer; Peter-Jan H. S. Derks; Jens Eisert; Robert Wille (Zenodo, 2023)

Noise-Aware Quantum Circuit Simulation With Decision Diagrams. - Thomas Grurl; Jürgen Fuß; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

A Comprehensive Survey on Electronic Design Automation and Graph Neural Networks: Theory and Applications. - Daniela Sánchez; Lorenzo Servadei; Gamze Naz Kiprit; Robert Wille; Wolfgang Ecker (ACM Trans. Design Autom. Electr. Syst., 2023)

Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not. - Lukas Burgholzer; Alexander Ploier; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. - Nils Quetschlich; Lukas Burgholzer; Robert Wille (Quantum, 2023)

Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions. - Atif Mashkoor; Alexander Egyed; Robert Wille; Sebastian Stock 002 (J. Softw. Evol. Process., 2023)

Evaluation data for "Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts". - Ludwig Schmid; David F. Locher; Sebastian Blatt; Johannes Zeiher; Markus Müller; Robert Wille; Manuel Rispler (Zenodo, 2023)

Evaluation data for "Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts". - Ludwig Schmid; David F. Locher; Sebastian Blatt; Johannes Zeiher; Markus Müller; Robert Wille; Manuel Rispler (Zenodo, 2023)

Postpandemic Conferences: The DATE 2023 Experience. - Ian O'Connor; Robert Wille; Andy D. Pimentel; Valeria Bertacco (IEEE Des. Test, 2023)

Dataset containing raw simulation data for a paper on decoding bosonic quantum LDPC codes. - Lucas Berent; Timo Hillmann; Jens Eisert; Robert Wille; Joschka Roffe (Zenodo, 2023)

Context-adaptable radar-based people counting via few-shot learning. - Gianfranco Mauro; Ignacio Martinez-Rodriguez; Julius Ott; Lorenzo Servadei; Robert Wille; Manuel P. Cuéllar; Diego P. Morales-Santos (Appl. Intell., 2023)

The Need for Speed: Efficient Exact Simulation of Silicon Dangling Bond Logic. - Jan Drewniok; Marcel Walter; Robert Wille (ASPDAC, 2024)

Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers. - Daniel Schönberger; Stefan Hillmich; Matthias Brandl; Robert Wille (ASPDAC, 2024)

Towards an Optimization Pipeline for the Design of Train Control Systems with Hybrid Train Detection (Short Paper). - Stefan Engels; Robert Wille (ATMOS, 2024)

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 (DAC, 2024)

Late Breaking Results: Wiring Reduction for Field-coupled Nanotechnologies. - Simon Toni Hofmann; Marcel Walter; Robert Wille (DAC, 2024)

Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams. - Kevin Mato; Stefan Hillmich; Robert Wille (DAC, 2024)

Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers. - Ludwig Schmid; Sunghye Park; Robert Wille (DAC, 2024)

From Designing Quantum Processors to Large-Scale Quantum Computing Systems. - Carmen G. Almudéver; Robert Wille; Fabio Sebastiano; Nadia Haider; Eduard Alarcón (DATE, 2024)

Design Automation for Organs-on-Chip. - Maria Emmerich; Philipp Ebner; Robert Wille (DATE, 2024)

Late Breaking Results: Iterative Design Automation for Train Control with Hybrid Train Detection. - Stefan Engels; Robert Wille (DATE, 2024)

MNT Bench: Benchmarking Software and Layout Libraries for Field-Coupled Nanocomputing. - Simon Toni Hofmann; Marcel Walter; Robert Wille (DATE, 2024)

Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers (Extended Abstract). - Daniel Schönberger; Stefan Hillmich; Matthias Brandl; Robert Wille (DATE, 2024)

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 (DATE, 2024)

Design Automation for Quantum Computing: Intermediate Stage Report of the ERC Consolidator Grant "DAQC". - Robert Wille (DATE, 2024)

Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control. - Stefan Engels; Robert Wille (FedCSIS, 2024)

Harnessing Temporal Information for Efficient Edge AI. - Max Sponner; Lorenzo Servadei; Bernd Waschneck; Robert Wille; Akash Kumar 001 (FMEC, 2024)

Variational Quantum Circuit Design for Quantum Reinforcement Learning on Continuous Environments. - Georg Kruse; Theodora-Augustina Dragan; Robert Wille; Jeanette Miriam Lorenz (ICAART (3), 2024)

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 (ICANN (2), 2024)

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 (ICPP, 2024)

Wave Dynamic Time Warping Algorithm for Periodic Signal Similarity Estimation. - Evgenia Slivko; Gianfranco Mauro; Kay Bierzynski; Lorenzo Servadei; Robert Wille (IEEE SENSORS, 2024)

CaFNet: A Confidence-Driven Framework for Radar Camera Depth Estimation. - Huawei Sun; Hao Feng; Julius Ott; Lorenzo Servadei; Robert Wille (IROS, 2024)

A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures. - Jagatheesan Kunasaikaran; Kevin Mato; Robert Wille (ISMVL, 2024)

Thinking Outside the Clock: Physical Design for Field-coupled Nanocomputing with Deep Reinforcement Learning. - Simon Toni Hofmann; Marcel Walter; Lorenzo Servadei; Robert Wille (ISQED, 2024)

Automatic Validation and Design of Microfluidic Devices Following the ISO 22916 Standard. - Philipp Ebner; Robert Wille (ISVLSI, 2024)

Technology Mapping for Cryogenic CMOS Circuits. - Benjamin Hien; Marcel Walter; Victor M. van Santen; Florian Klemme; Shivendra Singh Parihar; Girish Pahwa; Yogesh Singh Chauhan; Hussam Amrouch; Robert Wille (ISVLSI, 2024)

Enhanced Radar Perception via Multi-Task Learning: Towards Refined Data for Sensor Fusion Applications. - Huawei Sun; Hao Feng; Gianfranco Mauro; Julius Ott; Georg Stettinger; Lorenzo Servadei; Robert Wille (IV, 2024)

Towards Solving Short-Term Generation Scheduling Problems on Quantum Computers. - S. Bruckner; Flavio Ferrarotti; Rudolf Ramler; Robert Wille; Stefan Hillmich (PROFES (Industry-, Workshop-, and Doctoral Symposium Papers), 2024)

Hamiltonian-Based Quantum Reinforcement Learning for Neural Combinatorial Optimization. - Georg Kruse; Rodrigo Coelho; Andreas Rosskopf; Robert Wille; Jeanette Miriam Lorenz (QCE, 2024)

Towards Equivalence Checking of Classical Circuits Using Quantum Computing. - Nils Quetschlich; Tobias Forster; Adrian Osterwind; Domenik Helms; Robert Wille (QCE, 2024)

Utilizing Resource Estimation for the Development of Quantum Computing Applications. - Nils Quetschlich; Mathias Soeken; Prakash Murali; Robert Wille (QCE, 2024)

Using Compiler Frameworks for the Evaluation of Hardware Design Choices in Trapped-Ion Quantum Computers. - Daniel Schönberger; Stefan Hillmich; Matthias Brandl; Robert Wille (QCE, 2024)

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. - Yannick Stade; Ludwig Schmid; Lukas Burgholzer; Robert Wille (QCE, 2024)

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem. - Deborah Volpe; Nils Quetschlich; Mariagrazia Graziano; Giovanna Turvani; Robert Wille (QCE, 2024)

QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack. - Robert Wille; Ludwig Schmid; Yannick Stade; Jorge Echavarria; Martin Schulz 001; Laura Brandon Schulz; Lukas Burgholzer (QCE, 2024)

HamilToniQ: An Open-Source Benchmark Toolkit for Quantum Computers. - Xiaotian Xu; Kuan-Cheng Chen; Robert Wille (QCE, 2024)

Towards Application-Aware Quantum Circuit Compilation. - Nils Quetschlich; Florian J. Kiwit; Maximilian A. Wolf; Carlos A. Riofrío; Lukas Burgholzer; André Luckow; Robert Wille (QSW, 2024)

Stripping Quantum Decision Diagrams of their Identity. - Aaron Sander; Ioan-Albert Florea; Lukas Burgholzer; Robert Wille (QSW, 2024)

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers. - Deborah Volpe; Nils Quetschlich; Mariagrazia Graziano; Giovanna Turvani; Robert Wille (QSW, 2024)

The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing. - Robert Wille; Lucas Berent; Tobias Forster; Jagatheesan Kunasaikaran; Kevin Mato; Tom Peham; Nils Quetschlich; Damian Rovara; Aaron Sander; Ludwig Schmid; Daniel Schönberger; Yannick Stade; et al. (QSW, 2024)

Efficient Post-training Augmentation for Adaptive Inference in Heterogeneous and Distributed IoT Environments. - Max Sponner; Lorenzo Servadei; Bernd Waschneck; Robert Wille; Akash Kumar 001 (SAMOS, 2024)

A Software Platform to Support Disaggregated Quantum Accelerators. - Ercüment Kaya; Jorge Echavarria; Muhammad Nufail Farooqi; Aleksandra Swierkowska; Patrick Hopf; Burak Mete; Lukas Burgholzer; Robert Wille; Laura Brandon Schulz; Martin Schulz 001 (SC Workshops, 2024)

GrammarForge: Learning Program Input Grammars for Fuzz Testing. - Hannes Sochor; Flavio Ferrarotti; Robert Wille (SEFM, 2024)

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 (VLSID, 2024)

XentricAI: A Gesture Sensing Calibration Approach Through Explainable and User-Centric AI. - Sarah Seifi; Tobias Sukianto; Maximilian Strobel; Cecilia Carbonelli; Lorenzo Servadei; Robert Wille (xAI (3), 2024)

Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes. - Lucas Berent; Lukas Burgholzer; Peter-Jan H. S. Derks; Jens Eisert; Robert Wille (Zenodo, 2024)

Leveraging Temporal Patterns: Automated Augmentation to Create Temporal Early Exit Networks for Efficient Edge AI. - Max Sponner; Lorenzo Servadei; Bernd Waschneck; Robert Wille; Akash Kumar 001 (IEEE Access, 2024)

Temporal Decisions: Leveraging Temporal Correlation for Efficient Decisions in Early Exit Neural Networks. - Max Sponner; Lorenzo Servadei; Bernd Waschneck; Robert Wille; Akash Kumar 001 (CoRR, 2024)

Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware. - Korbinian Staudacher; Ludwig Schmid; Johannes Zeiher; Robert Wille; Dieter Kranzlmüller (QPL, 2024)

cuTN-QSVM: cuTensorNet-accelerated Quantum Support Vector Machine with cuQuantum SDK. - Kuan-Cheng Chen; Tai-Yue Li; Yun-Yuan Wang; Simon See; Chun-Chieh Wang; Robert Wille; Nan-Yow Chen; An-Cheng Yang; Chun-Yu Lin 003 (CoRR, 2024)

Hamiltonian-based Quantum Reinforcement Learning for Neural Combinatorial Optimization. - Georg Kruse; Rodrigo Coehlo; Andreas Rosskopf; Robert Wille; Jeanette Miriam Lorenz (CoRR, 2024)

Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes. - Timo Hillmann; Lucas Berent; Armanda Ottaviano Quintavalle; Jens Eisert; Robert Wille; Joschka Roffe (CoRR, 2024)

Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes. - Tom Peham; Ludwig Schmid; Lucas Berent; Markus Müller; Robert Wille (CoRR, 2024)

MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing. - Kevin Mato; Martin Ringbauer; Lukas Burgholzer; Robert Wille (CoRR, 2024)

Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator. - Aaron Sander; Lukas Burgholzer; Robert Wille (CoRR, 2024)

Interpretable Rule-Based System for Radar-Based Gesture Sensing: Enhancing Transparency and Personalization in AI. - Sarah Seifi; Tobias Sukianto; Cecilia Carbonelli; Lorenzo Servadei; Robert Wille (CoRR, 2024)

Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation. - Yannick Stade; Lukas Burgholzer; Robert Wille (CoRR, 2024)

Decoding quantum color codes with MaxSAT. - Lucas Berent; Lukas Burgholzer; Peter-Jan H. S. Derks; Jens Eisert; Robert Wille (Quantum, 2024)

An Efficient FPGA Architecture with Turn-Restricted Switch Boxes. - Fatemeh Serajeh-hassani; Mohammad Sadrosadati; Nezam Rohbani; Sebastian Pointner; Robert Wille; Hamid Sarbazi-Azad (ACM Trans. Design Autom. Electr. Syst., 2024)

Simulation results for "Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes". - Timo Hillmann; Lucas Berent; Armanda Ottaviano Quintavalle; Jens Eisert; Robert Wille; Joschka Roffe (Zenodo, 2024)

Towards Fast Automatic Design of Silicon Dangling Bond Logic. - Jan Drewniok; Marcel Walter; Samuel Sze Hang Ng; Konrad Walus; Robert Wille (DATE, 2025)

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 (DATE, 2025)

Late Breaking Results: Physical Co-Design for Field-Coupled Nanocomputing. - Simon Hofmann; Marcel Walter; Robert Wille (DATE, 2025)

Improving Figures of Merit for Quantum Circuit Compilation. - Patrick Hopf; Nils Quetschlich; Laura Brandon Schulz; Robert Wille (DATE, 2025)

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability. - Ludwig Schmid; Tom Peham; Lucas Berent; Markus Müller; Robert Wille (DATE, 2025)

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. - Yannick Stade; Ludwig Schmid; Lukas Burgholzer; Robert Wille (DATE, 2025)

Continuous Quantum Reinforcement Learning for Robot Navigation. - Theodora-Augustina Dragan; Alexander Künzner; Robert Wille; Jeanette Miriam Lorenz (ICAART (1), 2025)

Benchmarking Quantum Reinforcement Learning. - Georg Kruse; Rodrigo Coelho; Andreas Rosskopf; Robert Wille; Jeanette Miriam Lorenz (ICAART (1), 2025)

MutualForce: Mutual-Aware Enhancement for 4D Radar-LiDAR 3D Object Detection. - Xiangyuan Peng; Huawei Sun; Kay Bierzynski; Anton Fischbacher; Lorenzo Servadei; Robert Wille (ICASSP, 2025)

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 (ICASSP, 2025)

QuickTrace: An Efficient Contour Tracing Algorithm for Defect Robustness Simulation of Silicon Dangling Bond Logic. - Jan Drewniok; Marcel Walter; Robert Wille (ISCAS, 2025)

Live Demonstration: An Application for Layout Resilience Analysis of Silicon Dangling Bond Logic. - Marcel Walter; Jan Drewniok; Robert Wille (ISCAS, 2025)

Physical Design for Field-coupled Nanocomputing with Discretionary Cost Objectives. - Simon Toni Hofmann; Marcel Walter; Robert Wille (LASCAS, 2025)

A Framework for Debugging Quantum Programs. - Damian Rovara; Lukas Burgholzer; Robert Wille (QSW, 2025)

Shuttling for Trapped-Ion Quantum Computers with Embedded Processing Zones. - Daniel Schönberger; Janine Hilder; Ferdinand Schmidt-Kaler; Robert Wille (QSW, 2025)

Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts. - Ludwig Schmid; David F. Locher; Manuel Rispler; Sebastian Blatt; Johannes Zeiher; Markus Müller; Robert Wille (Software Engineering Companion, 2025)

GET-UP: GEomeTric-aware Depth Estimation with Radar Points UPsampling. - Huawei Sun; Zixu Wang; Hao Feng; Julius Ott; Lorenzo Servadei; Robert Wille (WACV, 2025)

Enhancing FMCW Radar Gesture Classification With Physically Interpretable Data Augmentation. - Alessandra Fusco; Zain Amir Zaman; Souvik Hazra; Lorenzo Servadei; Robert Wille (IEEE Access, 2025)

Validating large-scale quantum machine learning: efficient simulation of quantum support vector machines using tensor networks. - Kuan-Cheng Chen; Tai-Yue Li; Yun-Yuan Wang; Simon See; Chun-Chieh Wang; Robert Wille; Nan-Yow Chen; An-Cheng Yang; Chun-Yu Lin 003 (Mach. Learn. Sci. Technol., 2025)

Exploiting Benford's Law for Weight Regularization of Deep Neural Networks. - Julius Ott; Huawei Sun; Enrico Rinaldi; Gianfranco Mauro; Lorenzo Servadei; Robert Wille (Trans. Mach. Learn. Res., 2025)

TRIDE: A Text-assisted Radar-Image weather-aware fusion network for Depth Estimation. - Huawei Sun; Zixu Wang; Hao Feng; Julius Ott; Lorenzo Servadei; Robert Wille (Trans. Mach. Learn. Res., 2025)

Complying with the EU AI Act: Innovations in Explainable and User-Centric Hand Gesture Recognition. - Sarah Seifi; Tobias Sukianto; Cecilia Carbonelli; Lorenzo Servadei; Robert Wille (CoRR, 2025)

4D mmWave Radar in Adverse Environments for Autonomous Driving: A Survey. - Xiangyuan Peng; Miao Tang; Huawei Sun; Lorenzo Servadei; Robert Wille (CoRR, 2025)

A Fully Planar Approach to Field-coupled Nanocomputing: Scalable Placement and Routing Without Wire Crossings. - Benjamin Hien; Marcel Walter; Simon Hofmann; Robert Wille (CoRR, 2025)

Lattice Surgery Compilation Beyond the Surface Code. - Laura S. Herzog; Lucas Berent; Aleksander Kubica; Robert Wille (CoRR, 2025)

MoRAL: Motion-aware Multi-Frame 4D Radar and LiDAR Fusion for Robust 3D Object Detection. - Xiangyuan Peng; Yu Wang; Miao Tang; Kay Bierzynski; Lorenzo Servadei; Robert Wille (CoRR, 2025)

Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing. - Yannick Stade; Wan-Hsuan Lin; Jason Cong; Robert Wille (CoRR, 2025)

MQT Core: The Backbone of the Munich Quantum Toolkit (MQT). - Lukas Burgholzer; Yannick Stade; Tom Peham; Robert Wille (J. Open Source Softw., 2025)

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 (CoRR, 2025)

Learning Interpretable Rules from Neural Networks: Neurosymbolic AI for Radar Hand Gesture Recognition. - Sarah Seifi; Tobias Sukianto; Cecilia Carbonelli; Lorenzo Servadei; Robert Wille (CoRR, 2025)

Automated Design for Multiorgan-on-Chip Geometries. - Maria Emmerich; Philipp Ebner; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

Shuttling for Scalable Trapped-Ion Quantum Computers. - Daniel Schönberger; Stefan Hillmich; Matthias Brandl; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

Node Replacement based Approximate Quantum Simulation with Decision Diagrams. - Yexin Yan; Stefan Hillmich; Robert Wille; Christian Mayr 001 (CoRR, 2025)

CaRaFFusion: Improving 2D Semantic Segmentation With Camera-Radar Point Cloud Fusion and Zero-Shot Image Inpainting. - Huawei Sun; Bora Kunter Sahin; Georg Stettinger; Maximilian Bernhard; Matthias Schubert; Robert Wille (IEEE Robotics Autom. Lett., 2025)

Efficient Cartesian Genetic Programming-Based Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits. - Rongliang Fu; Robert Wille; Nobuyuki Yoshikawa; Tsung-Yi Ho (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)