Robert Wille - RankMe

650 papers A* 22A 78B 9C 80Misc 29Journal 226Unranked 200

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Computational Facilitation of Large Scale Microfluidic Fuel Cell Architectures. CoRR Michel Takken, Robert Wille
2026	J	`jnl`	Graph-Oriented Layout Design for Field-Coupled Nanocomputing via Parallel Multi-Objective Search Space Exploration. IEEE Trans. Circuits Syst. I Regul. Pap. Simon Toni Hofmann, Marcel Walter, Robert Wille
2026	—	`conf`	Integrating Quantum Software Tools with(in) MLIR. SCA/HPC Asia Patrick Hopf, Erick Ochoa, Yannick Stade, Damian Rovara, Nils Quetschlich, Ioan-Albert Florea, Josh A. Izaac, Robert Wille, Lukas Burgholzer
2026	J	`jnl`	Integrating Quantum Software Tools with(in) MLIR. CoRR Patrick Hopf, Erick Ochoa Lopez, Yannick Stade, Damian Rovara, Nils Quetschlich, Ioan-Albert Florea, Josh A. Izaac, Robert Wille, Lukas Burgholzer
2026	—	`conf`	Mastering the Exponential Complexity of Exact Physical Simulation of Silicon Dangling Bonds. ASP-DAC Willem Lambooy, Jan Drewniok, Marcel Walter, Robert Wille
2026	J	`jnl`	Optimizing Fault-tolerant Cat State Preparation. CoRR Tom Peham, Erik Weilandt, Robert Wille
2026	J	`jnl`	QuickCell: Fast Automatic Design of Standard Cells for Silicon Dangling Bond Logic. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jan Drewniok, Marcel Walter, Samuel Sze Hang Ng, Konrad Walus, Robert Wille
2026	—	`conf`	The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC. SCA/HPC Asia Lukas Burgholzer, Jorge Echavarria, Patrick Hopf, Yannick Stade, Damian Rovara, Ludwig Schmid, Ercüment Kaya, Burak Mete, Muhammad Nufail Farooqi, Minh Chung, Marco De Pascale, Laura Brandon Schulz, Martin Schulz, Robert Wille
2025	—	`conf`	4D mmWave Radar for Sensing Enhancement in Adverse Environments: Advances and Challenges. ITSC Xiangyuan Peng, Miao Tang, Huawei Sun, Kay Bierzynski, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	4D mmWave Radar in Adverse Environments for Autonomous Driving: A Survey. CoRR Xiangyuan Peng, Miao Tang, Huawei Sun, Lorenzo Servadei, Robert Wille
2025	—	`conf`	A Framework for Debugging Quantum Programs. QSW Damian Rovara, Lukas Burgholzer, Robert Wille
2025	J	`jnl`	A Fully Planar Approach to Field-coupled Nanocomputing: Scalable Placement and Routing Without Wire Crossings. CoRR Benjamin Hien, Marcel Walter, Simon Hofmann, Robert Wille
2025	J	`jnl`	An Abstract Simulator for Species Concentrations in Channel-Based Microfluidic Devices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Michel Takken, Maria Emmerich, Robert Wille
2025	J	`jnl`	Automated Design for Multiorgan-on-Chip Geometries. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Maria Emmerich, Philipp Ebner, Robert Wille
2025	A	`conf`	Automatic Design for Modular Microfluidic Routing Blocks. ICCAD Philipp Ebner, Maria Emmerich, Eric Safai, Aniruddha Paul, Mathieu Odijk, Joshua Loessberg-Zahl, Robert Wille
2025	—	`conf`	Benchmarking Quantum Reinforcement Learning. ICAART (1) Georg Kruse, Rodrigo Coelho, Andreas Rosskopf, Robert Wille, Jeanette Miriam Lorenz
2025	A	`conf`	Bias by Design: Diversity Quantification to Mitigate Structural Bias Effects in AIG Logic Optimization. DATE Isabella Venancia Gardner, Marcel Walter, Yukio Miyasaka, Robert Wille, Michael Cochez
2025	J	`jnl`	CaRaFFusion: Improving 2D Semantic Segmentation With Camera-Radar Point Cloud Fusion and Zero-Shot Image Inpainting. IEEE Robotics Autom. Lett. Huawei Sun, Bora Kunter Sahin, Georg Stettinger, Maximilian Bernhard, Matthias Schubert, Robert Wille
2025	J	`jnl`	CaRaFFusion: Improving 2D Semantic Segmentation with Camera-Radar Point Cloud Fusion and Zero-Shot Image Inpainting. CoRR Huawei Sun, Bora Kunter Sahin, Georg Stettinger, Maximilian Bernhard, Matthias Schubert, Robert Wille
2025	J	`jnl`	Complying with the EU AI Act: Innovations in Explainable and User-Centric Hand Gesture Recognition. CoRR Sarah Seifi, Tobias Sukianto, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille
2025	—	`conf`	Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts. Software Engineering Companion Ludwig Schmid, David F. Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille
2025	—	`conf`	Continuous Quantum Reinforcement Learning for Robot Navigation. ICAART (1) Theodora-Augustina Dragan, Alexander Künzner, Robert Wille, Jeanette Miriam Lorenz
2025	A	`conf`	Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability. DATE Ludwig Schmid, Tom Peham, Lucas Berent, Markus Müller, Robert Wille
2025	A	`conf`	ELMAR: Enhancing LiDAR Detection with 4D Radar Motion Awareness and Cross-modal Uncertainty. IROS Xiangyuan Peng, Miao Tang, Huawei Sun, Kay Bierzynski, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	ELMAR: Enhancing LiDAR Detection with 4D Radar Motion Awareness and Cross-modal Uncertainty. CoRR Xiangyuan Peng, Miao Tang, Huawei Sun, Kay Bierzynski, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	Efficient Cartesian Genetic Programming-Based Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Rongliang Fu, Robert Wille, Nobuyuki Yoshikawa, Tsung-Yi Ho
2025	J	`jnl`	Efficient and Scalable Post-Layout Optimization for Field-Coupled Nanotechnologies. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Simon Toni Hofmann, Marcel Walter, Robert Wille
2025	J	`jnl`	Enhancing FMCW Radar Gesture Classification With Physically Interpretable Data Augmentation. IEEE Access Alessandra Fusco, Zain Amir Zaman, Souvik Hazra, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	Exploiting Benford's Law for Weight Regularization of Deep Neural Networks. Trans. Mach. Learn. Res. Julius Ott, Huawei Sun, Enrico Rinaldi, Gianfranco Mauro, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	Exploiting Movable Logical Qubits for Lattice Surgery Compilation. CoRR Laura S. Herzog, Lucas Berent, Aleksander Kubica, Robert Wille
2025	J	`jnl`	Feature Identification for Hierarchical Contrastive Learning. CoRR Julius Ott, Nastassia Vysotskaya, Huawei Sun, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams. ACM Trans. Quantum Comput. Lukas Burgholzer, Antonio Jiménez-Pastor, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Robert Wille
2025	—	`conf`	GENIE-ASI: Generative Instruction and Executable Code for Analog Subcircuit Identification. MLCAD Phuoc Pham, Arun Venkitaraman, Chia-Yu Hsieh, Andrea Bonetti, Stefan Uhlich, Markus Leibl, Simon Hofmann, Eisaku Ohbuchi, Lorenzo Servadei, Ulf Schlichtmann, Robert Wille
2025	J	`jnl`	GENIE-ASI: Generative Instruction and Executable Code for Analog Subcircuit Identification. CoRR Phuoc Pham, Arun Venkitaraman, Chia-Yu Hsieh, Andrea Bonetti, Stefan Uhlich, Markus Leibl, Simon Hofmann, Eisaku Ohbuchi, Lorenzo Servadei, Ulf Schlichtmann, Robert Wille
2025	A	`conf`	GET-UP: GEomeTric-aware Depth Estimation with Radar Points UPsampling. WACV Huawei Sun, Zixu Wang, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	GenFacts-Generative Counterfactual Explanations for Multi-Variate Time Series. CoRR Sarah Seifi, Anass Ibrahimi, Tobias Sukianto, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille
2025	A	`conf`	Improving Figures of Merit for Quantum Circuit Compilation. DATE Patrick Hopf, Nils Quetschlich, Laura Brandon Schulz, Robert Wille
2025	A*	`conf`	Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits. DAC Laura S. Herzog, Lukas Burgholzer, Christian Ufrecht, Daniel D. Scherer, Robert Wille
2025	A	`conf`	Late Breaking Results: Physical Co-Design for Field-Coupled Nanocomputing. DATE Simon Hofmann, Marcel Walter, Robert Wille
2025	J	`jnl`	Lattice Surgery Compilation Beyond the Surface Code. CoRR Laura S. Herzog, Lucas Berent, Aleksander Kubica, Robert Wille
2025	—	`conf`	Learning Interpretable Rules from Neural Networks: Neurosymbolic AI for Radar Hand Gesture Recognition. xAI (Late-breaking Work, Demos, Doctoral Consortium) Sarah Seifi, Tobias Sukianto, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	Learning Interpretable Rules from Neural Networks: Neurosymbolic AI for Radar Hand Gesture Recognition. CoRR Sarah Seifi, Tobias Sukianto, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille
2025	Misc	`conf`	LiRCDepth: Lightweight Radar-Camera Depth Estimation via Knowledge Distillation and Uncertainty Guidance. ICASSP Huawei Sun, Nastassia Vysotskaya, Tobias Sukianto, Hao Feng, Julius Ott, Xiangyuan Peng, Lorenzo Servadei, Robert Wille
2025	C	`conf`	Live Demonstration: An Application for Layout Resilience Analysis of Silicon Dangling Bond Logic. ISCAS Marcel Walter, Jan Drewniok, Robert Wille
2025	J	`jnl`	MQT Core: The Backbone of the Munich Quantum Toolkit (MQT). J. Open Source Softw. Lukas Burgholzer, Yannick Stade, Tom Peham, Robert Wille
2025	J	`jnl`	MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing. ACM Trans. Quantum Comput. Nils Quetschlich, Lukas Burgholzer, Robert Wille
2025	—	`conf`	MoRAL: Motion-Aware Multi-Frame 4D Radar and LiDAR Fusion for Robust 3D Object Detection. ITSC Xiangyuan Peng, Yu Wang, Miao Tang, Kay Bierzynski, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	MoRAL: Motion-aware Multi-Frame 4D Radar and LiDAR Fusion for Robust 3D Object Detection. CoRR Xiangyuan Peng, Yu Wang, Miao Tang, Kay Bierzynski, Lorenzo Servadei, Robert Wille
2025	C	`conf`	Modelling of a DC-DC Boost Converter in QRM and Design of Neural Network-Based Nonlinear Control. CoDIT Zhi Li, Benjamin Schwabe, Lorenzo Servadei, Robert Wille
2025	Misc	`conf`	MutualForce: Mutual-Aware Enhancement for 4D Radar-LiDAR 3D Object Detection. ICASSP Xiangyuan Peng, Huawei Sun, Kay Bierzynski, Anton Fischbacher, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	MutualForce: Mutual-Aware Enhancement for 4D Radar-LiDAR 3D Object Detection. CoRR Xiangyuan Peng, Huawei Sun, Kay Bierzynski, Anton Fischbacher, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	Node Replacement based Approximate Quantum Simulation with Decision Diagrams. CoRR Yexin Yan, Stefan Hillmich, Robert Wille, Christian Mayr
2025	A	`conf`	Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. DATE Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2025	—	`conf`	Physical Design for Field-coupled Nanocomputing with Discretionary Cost Objectives. LASCAS Simon Toni Hofmann, Marcel Walter, Robert Wille
2025	C	`conf`	QuickTrace: An Efficient Contour Tracing Algorithm for Defect Robustness Simulation of Silicon Dangling Bond Logic. ISCAS Jan Drewniok, Marcel Walter, Robert Wille
2025	A	`conf`	Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing. ICCAD Yannick Stade, Wan-Hsuan Lin, Jason Cong, Robert Wille
2025	J	`jnl`	Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing. CoRR Yannick Stade, Wan-Hsuan Lin, Jason Cong, Robert Wille
2025	J	`jnl`	Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler. CoRR Yannick Stade, Lukas Burgholzer, Robert Wille
2025	J	`jnl`	Shuttling for Scalable Trapped-Ion Quantum Computers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Daniel Schönberger, Stefan Hillmich, Matthias Brandl, Robert Wille
2025	—	`conf`	Shuttling for Trapped-Ion Quantum Computers with Embedded Processing Zones. QSW Daniel Schönberger, Janine Hilder, Ferdinand Schmidt-Kaler, Robert Wille
2025	J	`jnl`	TRIDE: A Text-assisted Radar-Image weather-aware fusion network for Depth Estimation. CoRR Huawei Sun, Zixu Wang, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille
2025	J	`jnl`	TRIDE: A Text-assisted Radar-Image weather-aware fusion network for Depth Estimation. Trans. Mach. Learn. Res. Huawei Sun, Zixu Wang, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille
2025	—	`conf`	Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse. SC Workshops Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra, Santana Lujan, Léo Van Damme, Hossam Ahmed, Martín Letras, Ercüment Kaya, Adrian Vetter, Max Werninghaus, Martin Knudsen, Felix Rohde, Albert Frisch, Eric Mansfield, Rakhim Davletkaliyev, Vladimir Kukushkin, Noora Färkkilä, Janne Mäntylä, Nikolas Pomplun, Andreas Spörl, Lukas Burgholzer, Yannick Stade, Robert Wille, Laura Brandon Schulz, Martin Schulz
2025	J	`jnl`	Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse. CoRR Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra, Santana Lujan, Léo Van Damme, Hossam Ahmed, Martín Letras, Ercüment Kaya, Adrian Vetter, Max Werninghaus, Martin Knudsen, Felix Rohde, Albert Frisch, Eric Mansfield, Rakhim Davletkaliyev, Vladimir Kukushkin, Noora Färkkilä, Janne Mäntylä, Nikolas Pomplun, Andreas Spörl, Lukas Burgholzer, Yannick Stade, Robert Wille, Laura Brandon Schulz, Martin Schulz
2025	A	`conf`	The Munich Microfluidics Toolkit: Design Automation and Simulation Tools for Microfluidic Devices. ICCAD Robert Wille, Philipp Ebner, Maria Emmerich, Michel Takken
2025	A	`conf`	Towards Fast Automatic Design of Silicon Dangling Bond Logic. DATE Jan Drewniok, Marcel Walter, Samuel Sze Hang Ng, Konrad Walus, Robert Wille
2025	C	`conf`	Towards Optimal Train Routing Using Microscopic Simulation on Moving Block Controlled Networks. FedCSIS Severin Lochschmidt, Stefan Engels, Robert Wille
2025	—	`conf`	Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation. SC Workshops Yannick Stade, Lukas Burgholzer, Robert Wille
2025	C	`conf`	Using A* for Optimal Train Routing on Moving Block Systems. ATMOS Stefan Engels, Robert Wille
2025	J	`jnl`	Validating large-scale quantum machine learning: efficient simulation of quantum support vector machines using tensor networks. Mach. Learn. Sci. Technol. 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
2025	J	`jnl`	XD-RCDepth: Lightweight Radar-Camera Depth Estimation with Explainability-Aligned and Distribution-Aware Distillation. CoRR Huawei Sun, Zixu Wang, Xiangyuan Peng, Julius Ott, Georg Stettinger, Lorenzo Servadei, Robert Wille
2024	Misc	`conf`	A Dynamic Programming Based Graph Traversal Approach for Efficient Implementation of Nearest Neighbor Architecture in 2D. VLSID Sneha Lahiri, Megha Kesh, Rupsa Mandal, Anirban Bhattacharjee, Sovan Bhattacharya, Dola Sinha, Chandan Bandyopadhyay, Laxmidhar Biswal, Robert Wille, Rolf Drechsler
2024	—	`conf`	A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures. ISMVL Jagatheesan Kunasaikaran, Kevin Mato, Robert Wille
2024	J	`jnl`	A Model-Driven Framework for Composition-Based Quantum Circuit Design. ACM Trans. Quantum Comput. Felix Gemeinhardt, Antonio Garmendia, Manuel Wimmer, Robert Wille
2024	Misc	`conf`	A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem. QCE Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille
2024	J	`jnl`	A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem. CoRR Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille
2024	—	`conf`	A Software Platform to Support Disaggregated Quantum Accelerators. SC Workshops Ercüment Kaya, Jorge Echavarria, Muhammad Nufail Farooqi, Aleksandra Swierkowska, Patrick Hopf, Burak Mete, Lukas Burgholzer, Robert Wille, Laura Brandon Schulz, Martin Schulz
2024	Misc	`conf`	An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. QCE Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2024	J	`jnl`	An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. CoRR Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2024	J	`jnl`	An Efficient FPGA Architecture with Turn-Restricted Switch Boxes. ACM Trans. Design Autom. Electr. Syst. Fatemeh Serajeh-hassani, Mohammad Sadrosadati, Nezam Rohbani, Sebastian Pointner, Robert Wille, Hamid Sarbazi-Azad
2024	J	`jnl`	Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes. CoRR Tom Peham, Ludwig Schmid, Lucas Berent, Markus Müller, Robert Wille
2024	—	`conf`	Automatic Validation and Design of Microfluidic Devices Following the ISO 22916 Standard. ISVLSI Philipp Ebner, Robert Wille
2024	A	`conf`	CaFNet: A Confidence-Driven Framework for Radar Camera Depth Estimation. IROS Huawei Sun, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille
2024	J	`jnl`	CaFNet: A Confidence-Driven Framework for Radar Camera Depth Estimation. CoRR Huawei Sun, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille
2024	C	`conf`	Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control. FedCSIS Stefan Engels, Robert Wille
2024	J	`jnl`	Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control. CoRR Stefan Engels, Robert Wille
2024	J	`jnl`	Decoding quantum color codes with MaxSAT. Quantum Lucas Berent, Lukas Burgholzer, Peter-Jan H. S. Derks, Jens Eisert, Robert Wille
2024	A	`conf`	Design Automation for Organs-on-Chip. DATE Maria Emmerich, Philipp Ebner, Robert Wille
2024	A	`conf`	Design Automation for Quantum Computing: Intermediate Stage Report of the ERC Consolidator Grant "DAQC". DATE Robert Wille
2024	J	`jnl`	Efficient Post-Training Augmentation for Adaptive Inference in Heterogeneous and Distributed IoT Environments. CoRR Max Sponner, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar
2024	—	`conf`	Efficient Post-training Augmentation for Adaptive Inference in Heterogeneous and Distributed IoT Environments. SAMOS Max Sponner, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar
2024	C	`conf`	Enhanced Radar Perception via Multi-Task Learning: Towards Refined Data for Sensor Fusion Applications. IV Huawei Sun, Hao Feng, Gianfranco Mauro, Julius Ott, Georg Stettinger, Lorenzo Servadei, Robert Wille
2024	J	`jnl`	Enhanced Radar Perception via Multi-Task Learning: Towards Refined Data for Sensor Fusion Applications. CoRR Huawei Sun, Hao Feng, Gianfranco Mauro, Julius Ott, Georg Stettinger, Lorenzo Servadei, Robert Wille
2024	J	`jnl`	Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator. CoRR Aaron Sander, Lukas Burgholzer, Robert Wille
2024	B	`conf`	FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagram and Flat Array. ICPP Shui Jiang, Rongliang Fu, Lukas Burgholzer, Robert Wille, Tsung-Yi Ho, Tsung-Wei Huang
2024	A	`conf`	From Designing Quantum Processors to Large-Scale Quantum Computing Systems. DATE Carmen G. Almudéver, Robert Wille, Fabio Sebastiano, Nadia Haider, Eduard Alarcón
2024	J	`jnl`	GET-UP: GEomeTric-aware Depth Estimation with Radar Points UPsampling. CoRR Huawei Sun, Zixu Wang, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille
2024	B	`conf`	GrammarForge: Learning Program Input Grammars for Fuzz Testing. SEFM Hannes Sochor, Flavio Ferrarotti, Robert Wille
2024	Misc	`conf`	HamilToniQ: An Open-Source Benchmark Toolkit for Quantum Computers. QCE Xiaotian Xu, Kuan-Cheng Chen, Robert Wille
2024	J	`jnl`	HamilToniQ: An Open-Source Benchmark Toolkit for Quantum Computers. CoRR Xiaotian Xu, Kuan-Cheng Chen, Robert Wille
2024	Misc	`conf`	Hamiltonian-Based Quantum Reinforcement Learning for Neural Combinatorial Optimization. QCE Georg Kruse, Rodrigo Coelho, Andreas Rosskopf, Robert Wille, Jeanette Miriam Lorenz
2024	J	`jnl`	Hamiltonian-based Quantum Reinforcement Learning for Neural Combinatorial Optimization. CoRR Georg Kruse, Rodrigo Coehlo, Andreas Rosskopf, Robert Wille, Jeanette Miriam Lorenz
2024	—	`conf`	Harnessing Temporal Information for Efficient Edge AI. FMEC Max Sponner, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar
2024	A*	`conf`	Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers. DAC Ludwig Schmid, Sunghye Park, Robert Wille
2024	J	`jnl`	Interpretable Rule-Based System for Radar-Based Gesture Sensing: Enhancing Transparency and Personalization in AI. CoRR Sarah Seifi, Tobias Sukianto, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille
2024	A	`conf`	Late Breaking Results: Iterative Design Automation for Train Control with Hybrid Train Detection. DATE Stefan Engels, Robert Wille
2024	A*	`conf`	Late Breaking Results: Wiring Reduction for Field-coupled Nanotechnologies. DAC Simon Toni Hofmann, Marcel Walter, Robert Wille
2024	J	`jnl`	Leveraging Temporal Patterns: Automated Augmentation to Create Temporal Early Exit Networks for Efficient Edge AI. IEEE Access Max Sponner, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar
2024	J	`jnl`	LiRCDepth: Lightweight Radar-Camera Depth Estimation via Knowledge Distillation and Uncertainty Guidance. CoRR Huawei Sun, Nastassia Vysotskaya, Tobias Sukianto, Hao Feng, Julius Ott, Xiangyuan Peng, Lorenzo Servadei, Robert Wille
2024	J	`jnl`	Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes. CoRR Timo Hillmann, Lucas Berent, Armanda Ottaviano Quintavalle, Jens Eisert, Robert Wille, Joschka Roffe
2024	A	`conf`	MNT Bench: Benchmarking Software and Layout Libraries for Field-Coupled Nanocomputing. DATE Simon Toni Hofmann, Marcel Walter, Robert Wille
2024	J	`jnl`	MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing. CoRR Kevin Mato, Martin Ringbauer, Lukas Burgholzer, Robert Wille
2024	J	`jnl`	MUFASA: Multi-View Fusion and Adaptation Network with Spatial Awareness for Radar Object Detection. CoRR Xiangyuan Peng, Miao Tang, Huawei Sun, Kay Bierzynski, Lorenzo Servadei, Robert Wille
2024	—	`conf`	MUFASA: Multi-view Fusion and Adaptation Network with Spatial Awareness for Radar Object Detection. ICANN (2) Xiangyuan Peng, Miao Tang, Huawei Sun, Kay Bierzynski, Lorenzo Servadei, Robert Wille
2024	A*	`conf`	Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams. DAC Kevin Mato, Stefan Hillmich, Robert Wille
2024	—	`conf`	Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware. QPL Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille, Dieter Kranzlmüller
2024	J	`jnl`	Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. CoRR Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2024	A	`ed.`	Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2024, Newark Liberty International Airport Marriott, NJ, USA, October 27-31, 2024 ICCAD Jinjun Xiong, Robert Wille
2024	Misc	`conf`	QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack. QCE Robert Wille, Ludwig Schmid, Yannick Stade, Jorge Echavarria, Martin Schulz, Laura Brandon Schulz, Lukas Burgholzer
2024	A*	`conf`	RCGP: An Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits based on Efficient Cartesian Genetic Programming. DAC Rongliang Fu, Robert Wille, Tsung-Yi Ho
2024	—	`conf`	Stripping Quantum Decision Diagrams of their Identity. QSW Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer, Robert Wille
2024	J	`jnl`	Stripping Quantum Decision Diagrams of their Identity. CoRR Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer, Robert Wille
2024	—	`conf`	Technology Mapping for Cryogenic CMOS Circuits. ISVLSI Benjamin Hien, Marcel Walter, Victor M. van Santen, Florian Klemme, Shivendra Singh Parihar, Girish Pahwa, Yogesh Singh Chauhan, Hussam Amrouch, Robert Wille
2024	J	`jnl`	Temporal Decisions: Leveraging Temporal Correlation for Efficient Decisions in Early Exit Neural Networks. CoRR Max Sponner, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar
2024	—	`conf`	The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing. QSW 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, Lukas Burgholzer
2024	J	`jnl`	The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing. CoRR 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, Lukas Burgholzer
2024	B	`conf`	The Need for Speed: Efficient Exact Simulation of Silicon Dangling Bond Logic. ASPDAC Jan Drewniok, Marcel Walter, Robert Wille
2024	—	`conf`	Thinking Outside the Clock: Physical Design for Field-coupled Nanocomputing with Deep Reinforcement Learning. ISQED Simon Toni Hofmann, Marcel Walter, Lorenzo Servadei, Robert Wille
2024	—	`conf`	Towards Application-Aware Quantum Circuit Compilation. QSW Nils Quetschlich, Florian J. Kiwit, Maximilian A. Wolf, Carlos A. Riofrío, Lukas Burgholzer, André Luckow, Robert Wille
2024	A	`conf`	Towards Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H -Si $(100)-2\times 1$ Surface. DATE Marcel Walter, Jeremiah Croshaw, Samuel Sze Hang Ng, Konrad Walus, Robert A. Wolkow, Robert Wille
2024	A	`conf`	Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers (Extended Abstract). DATE Daniel Schönberger, Stefan Hillmich, Matthias Brandl, Robert Wille
2024	Misc	`conf`	Towards Equivalence Checking of Classical Circuits Using Quantum Computing. QCE Nils Quetschlich, Tobias Forster, Adrian Osterwind, Domenik Helms, Robert Wille
2024	J	`jnl`	Towards Equivalence Checking of Classical Circuits Using Quantum Computing. CoRR Nils Quetschlich, Tobias Forster, Adrian Osterwind, Domenik Helms, Robert Wille
2024	—	`conf`	Towards Solving Short-Term Generation Scheduling Problems on Quantum Computers. PROFES (Industry-, Workshop-, and Doctoral Symposium Papers) S. Bruckner, Flavio Ferrarotti, Rudolf Ramler, Robert Wille, Stefan Hillmich
2024	J	`jnl`	Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation. CoRR Yannick Stade, Lukas Burgholzer, Robert Wille
2024	—	`conf`	Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers. QSW Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille
2024	J	`jnl`	Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers. CoRR Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille
2024	C	`conf`	Towards an Optimization Pipeline for the Design of Train Control Systems with Hybrid Train Detection (Short Paper). ATMOS Stefan Engels, Robert Wille
2024	B	`conf`	Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers. ASPDAC Daniel Schönberger, Stefan Hillmich, Matthias Brandl, Robert Wille
2024	Misc	`conf`	Using Compiler Frameworks for the Evaluation of Hardware Design Choices in Trapped-Ion Quantum Computers. QCE Daniel Schönberger, Stefan Hillmich, Matthias Brandl, Robert Wille
2024	Misc	`conf`	Utilizing Resource Estimation for the Development of Quantum Computing Applications. QCE Nils Quetschlich, Mathias Soeken, Prakash Murali, Robert Wille
2024	—	`conf`	Variational Quantum Circuit Design for Quantum Reinforcement Learning on Continuous Environments. ICAART (3) Georg Kruse, Theodora-Augustina Dragan, Robert Wille, Jeanette Miriam Lorenz
2024	—	`conf`	Wave Dynamic Time Warping Algorithm for Periodic Signal Similarity Estimation. IEEE SENSORS Evgenia Slivko, Gianfranco Mauro, Kay Bierzynski, Lorenzo Servadei, Robert Wille
2024	—	`conf`	XentricAI: A Gesture Sensing Calibration Approach Through Explainable and User-Centric AI. xAI (3) Sarah Seifi, Tobias Sukianto, Maximilian Strobel, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille
2024	J	`jnl`	cuTN-QSVM: cuTensorNet-accelerated Quantum Support Vector Machine with cuQuantum SDK. CoRR 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
2023	J	`jnl`	A Comprehensive Survey on Electronic Design Automation and Graph Neural Networks: Theory and Applications. ACM Trans. Design Autom. Electr. Syst. Daniela Sánchez, Lorenzo Servadei, Gamze Naz Kiprit, Robert Wille, Wolfgang Ecker
2023	J	`jnl`	A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures. CoRR Jagatheesan Kunasaikaran, Kevin Mato, Robert Wille
2023	Misc	`conf`	A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem. QCE Nils Quetschlich, Vincent Koch, Lukas Burgholzer, Robert Wille
2023	—	`conf`	A SAT Encoding for Optimal Clifford Circuit Synthesis. ASP-DAC Sarah Schneider, Lukas Burgholzer, Robert Wille
2023	C	`conf`	A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. ATMOS Stefan Engels, Tom Peham, Robert Wille
2023	J	`jnl`	Accelerating CFD Simulations of Microfluidic Devices by Exploiting Higher Levels of Abstraction. CoRR Michel Takken, Robert Wille
2023	—	`conf`	An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. CILC Carla Piazza, Riccardo Romanello, Robert Wille
2023	—	`conf`	An IoT-Based Anomaly Detection and Identification Approach for Gas Sensor Networks. MetroInd4.0&IoT Sebastian A. Schober, Cecilia Carbonelli, Robert Wille
2023	J	`jnl`	Analog information decoding of bosonic quantum LDPC codes. CoRR Lucas Berent, Timo Hillmann, Jens Eisert, Robert Wille, Joschka Roffe
2023	—	`conf`	Analysis of Liquid Morphologies in Curved Open Microchannels. SENSORS Tina Mitteramskogler, Rafael Ecker, Andreas Fuchsluger, Thomas Wilfinger, Robert Wille, Bernhard Jakoby
2023	J	`jnl`	Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H-Si(100)2x1 Surface. CoRR Marcel Walter, Jeremiah Croshaw, Samuel Sze Hang Ng, Konrad Walus, Robert A. Wolkow, Robert Wille
2023	Misc	`conf`	Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction. VLSID Thomas Grurl, Christoph Pichler, Jürgen Fuß, Robert Wille
2023	C	`conf`	CFD for Microfluidics: A Workflow for Setting Up the Simulation of Microfluidic Devices. DSD Philipp Ebner, Robert Wille
2023	J	`jnl`	Channel Routing for Microfluidic Devices: A Comprehensive and Accessible Design Tool. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Philipp Ebner, Gerold Fink, Robert Wille
2023	—	`conf`	Compilation of Entangling Gates for High-Dimensional Quantum Systems. ASP-DAC Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille
2023	A*	`conf`	Compiler Optimization for Quantum Computing Using Reinforcement Learning. DAC Nils Quetschlich, Lukas Burgholzer, Robert Wille
2023	—	`conf`	Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems. QSW Kevin Mato, Stefan Hillmich, Robert Wille
2023	J	`jnl`	Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts. CoRR Ludwig Schmid, David F. Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille
2023	J	`jnl`	Context-adaptable radar-based people counting via few-shot learning. Appl. Intell. Gianfranco Mauro, Ignacio Martinez-Rodriguez, Julius Ott, Lorenzo Servadei, Robert Wille, Manuel P. Cuéllar, Diego P. Morales-Santos
2023	J	`jnl`	Deep Reinforcement Learning for Optimization at Early Design Stages. IEEE Des. Test Lorenzo Servadei, Jin Hwa Lee, José Antonio Arjona-Medina, Michael Werner, Sepp Hochreiter, Wolfgang Ecker, Robert Wille
2023	Misc	`conf`	Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. QCE Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
2023	J	`jnl`	Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. CoRR Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
2023	J	`jnl`	Design Automation for Continuous-Flow Lab-on-a-Chip Systems: A One-Pass Paradigm. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Xing Huang, Youlin Pan, Zhen Chen, Wenzhong Guo, Lu Wang, Qingshan Li, Robert Wille, Tsung-Yi Ho, Ulf Schlichtmann
2023	A*	`conf`	Design Automation for Cryogenic CMOS Circuits. DAC Victor M. van Santen, Marcel Walter, Florian Klemme, Shivendra Singh Parihar, Girish Pahwa, Yogesh Singh Chauhan, Robert Wille, Hussam Amrouch
2023	J	`jnl`	Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System. CoRR Stefan Engels, Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille
2023	J	`jnl`	Detection of Sensor-To-Sensor Variations using Explainable AI. CoRR Sarah Seifi, Sebastian A. Schober, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille
2023	—	`conf`	Efficient Implementation of LIMDDs for Quantum Circuit Simulation. SPIN Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
2023	C	`conf`	Efficient Simulation of Droplet Merging in Channel-Based Microfluidic Devices. DSD Gerold Fink, Florina Costamoling, Philipp Ebner, Robert Wille
2023	—	`conf`	Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. ASP-DAC Tom Peham, Lukas Burgholzer, Robert Wille
2023	—	`conf`	Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. ASP-DAC Lukas Burgholzer, Robert Wille
2023	J	`jnl`	Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers. CoRR Ludwig Schmid, Sunghye Park, Seokhyeong Kang, Robert Wille
2023	C	`conf`	Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept. FDG Michael Artner, Guenter Wallner, Robert Wille
2023	A*	`conf`	Late Breaking Results From Hybrid Design Automation for Field-coupled Nanotechnologies. DAC Simon Toni Hofmann, Marcel Walter, Lorenzo Servadei, Robert Wille
2023	Misc	`conf`	MEET: A Monte Carlo Exploration-Exploitation Trade-Off for Buffer Sampling. ICASSP Julius Ott, Lorenzo Servadei, Jose A. Arjona-Medina, Enrico Rinaldi, Gianfranco Mauro, Daniela Sanchez Lopera, Michael Stephan, Thomas Stadelmayer, Avik Santra, Robert Wille
2023	J	`jnl`	MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. Quantum Nils Quetschlich, Lukas Burgholzer, Robert Wille
2023	—	`conf`	MQT QMAP: Efficient Quantum Circuit Mapping. ISPD Robert Wille, Lukas Burgholzer
2023	J	`jnl`	MQT QMAP: Efficient Quantum Circuit Mapping. CoRR Robert Wille, Lukas Burgholzer
2023	—	`conf`	Minimal Design of SiDB Gates: An Optimal Basis for Circuits Based on Silicon Dangling Bonds. NANOARCH Jan Drewniok, Marcel Walter, Robert Wille
2023	Misc	`conf`	Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams. QCE Kevin Mato, Stefan Hillmich, Robert Wille
2023	J	`jnl`	Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions. J. Softw. Evol. Process. Atif Mashkoor, Alexander Egyed, Robert Wille, Sebastian Stock
2023	—	`conf`	Multi-Task Cross-Modality Attention-Fusion for 2D Object Detection. ITSC Huawei Sun, Hao Feng, Georg Stettinger, Lorenzo Servadei, Robert Wille
2023	J	`jnl`	Multi-Task Cross-Modality Attention-Fusion for 2D Object Detection. CoRR Huawei Sun, Hao Feng, Georg Stettinger, Lorenzo Servadei, Robert Wille
2023	J	`jnl`	Noise-Aware Quantum Circuit Simulation With Decision Diagrams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Thomas Grurl, Jürgen Fuß, Robert Wille
2023	J	`jnl`	On Optimal Subarchitectures for Quantum Circuit Mapping. ACM Trans. Quantum Comput. Tom Peham, Lukas Burgholzer, Robert Wille
2023	—	`conf`	Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools. ISMVL Thomas Grurl, Jürgen Fuß, Robert Wille
2023	—	`conf`	Post-Layout Optimization for Field-coupled Nanotechnologies. NANOARCH Simon Toni Hofmann, Marcel Walter, Robert Wille
2023	J	`jnl`	Postpandemic Conferences: The DATE 2023 Experience. IEEE Des. Test Ian O'Connor, Robert Wille, Andy D. Pimentel, Valeria Bertacco
2023	—	`conf`	Predicting Good Quantum Circuit Compilation Options. QSW Nils Quetschlich, Lukas Burgholzer, Robert Wille
2023	—	`conf`	Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. QSW Benedikt Poggel, Nils Quetschlich, Lukas Burgholzer, Robert Wille, Jeanette Miriam Lorenz
2023	Misc	`conf`	Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level. QCE Nils Quetschlich, Lukas Burgholzer, Robert Wille
2023	—	`conf`	Reducing the Complexity of Operational Domain Computation in Silicon Dangling Bond Logic. NANOARCH Marcel Walter, Jan Drewniok, Samuel Sze Hang Ng, Konrad Walus, Robert Wille
2023	J	`jnl`	Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Lukas Burgholzer, Alexander Ploier, Robert Wille
2023	—	`conf`	Software Tools for Decoding Quantum Low-Density Parity-Check Codes. ASP-DAC Lucas Berent, Lukas Burgholzer, Robert Wille
2023	J	`jnl`	Temporal Patience: Efficient Adaptive Deep Learning for Embedded Radar Data Processing. CoRR Max Sponner, Julius Ott, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar
2023	J	`jnl`	Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation. CoRR Lukas Burgholzer, Alexander Ploier, Robert Wille
2023	J	`jnl`	The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus. CoRR Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham
2023	Misc	`conf`	Towards Hamiltonian Simulation with Decision Diagrams. QCE Aaron Sander, Lukas Burgholzer, Robert Wille
2023	J	`jnl`	Towards Hamiltonian Simulation with Decision Diagrams. CoRR Aaron Sander, Lukas Burgholzer, Robert Wille
2023	—	`conf`	Towards an Automated Framework for Realizing Quantum Computing Solutions. ISMVL Nils Quetschlich, Lukas Burgholzer, Robert Wille
2023	Misc	`conf`	Towards the Munich Quantum Software Stack: Enabling Efficient Access and Tool Support for Quantum Computers. QCE Martin Schulz, Laura Brandon Schulz, Martin Ruefenacht, Robert Wille
2023	—	`conf`	Versatile Signal Distribution Networks for Scalable Placement and Routing of Field-coupled Nanocomputing Technologies. ISVLSI Marcel Walter, Benjamin Hien, Robert Wille
2022	C	`conf`	A Concept Towards Pressure-Controlled Microfluidic Networks. DDECS Gerold Fink, Medina Hamidovic, Werner Haselmayr, Robert Wille
2022	J	`jnl`	A Generic Sample Preparation Approach for Different Microfluidic Labs-on-Chips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sudip Poddar, Gerold Fink, Werner Haselmayr, Robert Wille
2022	J	`jnl`	A SAT Encoding for Optimal Clifford Circuit Synthesis. CoRR Sarah Schneider, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Accurate and Robust Malware Detection: Running XGBoost on Runtime Data From Performance Counters. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Rana Elnaggar, Lorenzo Servadei, Shubham Mathur, Robert Wille, Wolfgang Ecker, Krishnendu Chakrabarty
2022	Misc	`conf`	Adaptive Compilation of Multi-Level Quantum Operations. QCE Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille
2022	J	`jnl`	Approximating Decision Diagrams for Quantum Circuit Simulation. ACM Trans. Quantum Comput. Stefan Hillmich, Alwin Zulehner, Richard Kueng, Igor L. Markov, Robert Wille
2022	J	`jnl`	Automatic Design of Microfluidic Gradient Generators. IEEE Access Gerold Fink, Tina Mitteramskogler, Marcus A. Hintermüller, Bernhard Jakoby, Robert Wille
2022	J	`jnl`	Characteristics of reversible circuits for error detection. Array Lukas Burgholzer, Robert Wille, Richard Kueng
2022	—	`conf`	Compact High-Performance Vibration Sensor Based on Single-Backplate MEMS Technology. IEEE SENSORS Somu Goswami, Christian Bretthauer, Andreas Bogner, Abhiraj Basavanna, Sebastian Anzinger, Marco Haubold, Gunar Lorenz, Johann Strasser, Daniel Weber, Lorenzo Servadei, Robert Wille
2022	J	`jnl`	Compiler Optimization for Quantum Computing Using Reinforcement Learning. CoRR Nils Quetschlich, Lukas Burgholzer, Robert Wille
2022	A	`conf`	Comprehensive and Accessible Channel Routing for Microfluidic Devices. DATE Gerold Fink, Philipp Ebner, Robert Wille
2022	—	`conf`	Cross-modal Learning of Graph Representations using Radar Point Cloud for Long-Range Gesture Recognition. SAM Souvik Hazra, Hao Feng, Gamze Naz Kiprit, Michael Stephan, Lorenzo Servadei, Robert Wille, Robert Weigel, Avik Santra
2022	J	`jnl`	Cross-modal Learning of Graph Representations using Radar Point Cloud for Long-Range Gesture Recognition. CoRR Souvik Hazra, Hao Feng, Gamze Naz Kiprit, Michael Stephan, Lorenzo Servadei, Robert Wille, Robert Weigel, Avik Santra
2022	—	`conf`	Efficient Multi-Path Signal Routing for Field-coupled Nanotechnologies. NANOARCH Marcel Walter, Robert Wille
2022	J	`jnl`	Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. CoRR Tom Peham, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Equivalence Checking of Quantum Circuits With the ZX-Calculus. IEEE J. Emerg. Sel. Topics Circuits Syst. Tom Peham, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Equivalence Checking of Quantum Circuits with the ZX-Calculus. CoRR Tom Peham, Lukas Burgholzer, Robert Wille
2022	A*	`conf`	Equivalence checking paradigms in quantum circuit design: a case study. DAC Tom Peham, Lukas Burgholzer, Robert Wille
2022	—	`conf`	Exact Mapping of Quantum Circuit Partitions to Building Blocks of the SAQIP Architecture. ISVLSI Amirmohammad Biuki, Naser MohammadZadeh, Robert Wille, Sahar Sargaran
2022	A	`conf`	Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. DATE Lukas Burgholzer, Alexander Ploier, Robert Wille
2022	—	`conf`	Exploiting the Third Dimension: Stackable Quantum-dot Cellular Automata. NANOARCH Willem Lambooy, Marcel Walter, Robert Wille
2022	—	`conf`	Gas Discrimination Analysis of Neural Network Algorithms for a Graphene-Based Electronic Nose. CIVEMSA Sebastian A. Schober, Cecilia Carbonelli, Robert Wille
2022	A*	`conf`	Handling non-unitaries in quantum circuit equivalence checking. DAC Lukas Burgholzer, Robert Wille
2022	A*	`conf`	Hexagons are the bestagons: design automation for silicon dangling bond logic. DAC Marcel Walter, Samuel Sze Hang Ng, Konrad Walus, Robert Wille
2022	—	`conf`	Improving the Robustness of Microfluidic Networks. ASP-DAC Gerold Fink, Philipp Ebner, Sudip Poddar, Robert Wille
2022	J	`jnl`	Introduction to the Special Issue on Design Automation for Quantum Computing. ACM J. Emerg. Technol. Comput. Syst. Robert Wille, Rolf Drechsler
2022	Misc	`conf`	Label-Aware Ranked Loss for Robust People Counting Using Automotive In-Cabin Radar. ICASSP Lorenzo Servadei, Huawei Sun, Julius Ott, Michael Stephan, Souvik Hazra, Thomas Stadelmayer, Daniela Sanchez Lopera, Robert Wille, Avik Santra
2022	—	`conf`	Limiting the Search Space in Optimal Quantum Circuit Mapping. ASP-DAC Lukas Burgholzer, Sarah Schneider, Robert Wille
2022	J	`jnl`	MEET: A Monte Carlo Exploration-Exploitation Trade-off for Buffer Sampling. CoRR Julius Ott, Lorenzo Servadei, Jose A. Arjona-Medina, Enrico Rinaldi, Gianfranco Mauro, Daniela Sanchez Lopera, Michael Stephan, Thomas Stadelmayer, Avik Santra, Robert Wille
2022	J	`jnl`	MMFT Droplet Simulator: Efficient Simulation of Droplet-based Microfluidic Devices. Softw. Impacts Gerold Fink, Florina Costamoling, Robert Wille
2022	J	`jnl`	MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. CoRR Nils Quetschlich, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	On Optimal Subarchitectures for Quantum Circuit Mapping. CoRR Tom Peham, Lukas Burgholzer, Robert Wille
2022	—	`conf`	Optimal Railway Routing Using Virtual Subsections. RSSRail Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille
2022	J	`jnl`	Predicting Good Quantum Circuit Compilation Options. CoRR Nils Quetschlich, Lukas Burgholzer, Robert Wille
2022	C	`conf`	Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. RC Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille
2022	J	`jnl`	Simulation Paths for Quantum Circuit Simulation with Decision Diagrams. CoRR Lukas Burgholzer, Alexander Ploier, Robert Wille
2022	J	`jnl`	Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study. Sensors Michel Takken, Robert Wille
2022	J	`jnl`	Software Tools for Decoding Quantum Low-Density Parity Check Codes. CoRR Lucas Berent, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. CoRR Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille
2022	J	`jnl`	SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Softw. Impacts Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille
2022	A*	`conf`	The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus. DAC Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham
2022	J	`jnl`	Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots. IEEE Des. Test Maria D. Vieira, Samuel S. H. Ng, Marcel Walter, Robert Wille, Konrad Walus, Ricardo S. Ferreira, Omar P. Vilela Neto, José Augusto Miranda Nacif
2022	J	`jnl`	Tools for Quantum Computing Based on Decision Diagrams. ACM Trans. Quantum Comput. Robert Wille, Stefan Hillmich, Lukas Burgholzer
2022	A	`conf`	Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. SAT Lucas Berent, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. CoRR Lucas Berent, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Towards an Automated Framework for Realizing Quantum Computing Solutions. CoRR Nils Quetschlich, Lukas Burgholzer, Robert Wille
2022	—	`conf`	Twenty Years of Successful Translational Research: A Case Study of Three COMET Centers. DEXA Workshops Katja Bühler, Cornelia Travnicek, Veronika Nowak, Edgar R. Weippl, Lukas Fischer, Rudolf Ramler, Robert Wille
2022	C	`conf`	Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking. ICMLA Julius Ott, Lorenzo Servadei, Gianfranco Mauro, Thomas Stadelmayer, Avik Santra, Robert Wille
2022	J	`jnl`	Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking. CoRR Julius Ott, Lorenzo Servadei, Gianfranco Mauro, Thomas Stadelmayer, Avik Santra, Robert Wille
2022	C	`conf`	Utilizing Explainable AI for improving the Performance of Neural Networks. ICMLA Huawei Sun, Lorenzo Servadei, Hao Feng, Michael Stephan, Avik Santra, Robert Wille
2022	J	`jnl`	Utilizing Explainable AI for improving the Performance of Neural Networks. CoRR Huawei Sun, Lorenzo Servadei, Hao Feng, Michael Stephan, Robert Wille, Avik Santra
2021	—	`conf`	A Survey of Graph Neural Networks for Electronic Design Automation. MLCAD Daniela Sanchez Lopera, Lorenzo Servadei, Gamze Naz Kiprit, Souvik Hazra, Robert Wille, Wolfgang Ecker
2021	—	`conf`	Accurate and Efficient Simulation of Microfluidic Networks. ASP-DAC Gerold Fink, Philipp Ebner, Medina Hamidovic, Werner Haselmayr, Robert Wille
2021	J	`jnl`	Advanced Equivalence Checking for Quantum Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Lukas Burgholzer, Robert Wille
2021	J	`jnl`	An ant colony based mapping of quantum circuits to nearest neighbor architectures. Integr. Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
2021	A	`conf`	As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. DATE Stefan Hillmich, Richard Kueng, Igor L. Markov, Robert Wille
2021	J	`jnl`	Automatic Design of Droplet-Based Microfluidic Ring Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gerold Fink, Medina Hamidovic, Werner Haselmayr, Robert Wille
2021	A	`conf`	BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems. ICCAD Xing Huang, Youlin Pan, Zhen Chen, Wenzhong Guo, Robert Wille, Tsung-Yi Ho, Ulf Schlichtmann
2021	Misc	`conf`	Decision Diagrams for Quantum Measurements with Shallow Circuits. QCE Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille
2021	J	`jnl`	Decision Diagrams for Quantum Measurements with Shallow Circuits. CoRR Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille
2021	C	`conf`	Efficient Construction of Functional Representations for Quantum Algorithms. RC Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
2021	J	`jnl`	Efficient Construction of Functional Representations for Quantum Algorithms. CoRR Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
2021	J	`jnl`	Efficient One-pass Synthesis for Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. Naser MohammadZadeh, Robert Wille, Oliver Keszöcze
2021	A	`conf`	Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures. DATE Oliver Keszöcze, Naser MohammadZadeh, Robert Wille
2021	—	`conf`	Exploiting Quantum Teleportation in Quantum Circuit Mapping. ASP-DAC Stefan Hillmich, Alwin Zulehner, Robert Wille
2021	J	`jnl`	Exploring the Potential Benefits of Alternative Quantum Computing Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Arighna Deb, Gerhard W. Dueck, Robert Wille
2021	A	`conf`	Generic Sample Preparation for Different Microfluidic Platforms. DATE Sudip Poddar, Gerold Fink, Werner Haselmayr, Robert Wille
2021	J	`jnl`	How Secure Are Checkpoint-Based Defenses in Digital Microfluidic Biochips? IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Mohammed Shayan, Sukanta Bhattacharjee, Robert Wille, Krishnendu Chakrabarty, Ramesh Karri
2021	Misc	`conf`	Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. QCE Lukas Burgholzer, Hartwig Bauer, Robert Wille
2021	J	`jnl`	Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. CoRR Lukas Burgholzer, Hartwig Bauer, Robert Wille
2021	J	`jnl`	Label-Aware Ranked Loss for robust People Counting using Automotive in-cabin Radar. CoRR Lorenzo Servadei, Huawei Sun, Julius Ott, Michael Stephan, Souvik Hazra, Thomas Stadelmayer, Daniela Sanchez Lopera, Robert Wille, Avik Santra
2021	—	`conf`	Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams. ISMVL Thomas Grurl, Jürgen Fuß, Robert Wille
2021	J	`jnl`	Limiting the Search Space in Optimal Quantum Circuit Mapping. CoRR Lukas Burgholzer, Sarah Schneider, Robert Wille
2021	—	`conf`	One-pass Synthesis for Field-coupled Nanocomputing Technologies. ASP-DAC Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler
2021	C	`conf`	Performance Aspects of Correctness-oriented Synthesis Flows. MODELSWARD Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2021	—	`conf`	Practical Assessment of Payload- Header Switching in Microfluidic Networks. NANOCOM Medina Hamidovic, Gerold Fink, Robert Wille, Andreas Springer, Werner Haselmayr
2021	J	`jnl`	QCEC: A JKQ tool for quantum circuit equivalence checking. Softw. Impacts Lukas Burgholzer, Robert Wille
2021	J	`jnl`	Quantum k-community detection: algorithm proposals and cross-architectural evaluation. Quantum Inf. Process. Felix Gemeinhardt, Robert Wille, Manuel Wimmer
2021	—	`conf`	Random Stimuli Generation for the Verification of Quantum Circuits. ASP-DAC Lukas Burgholzer, Richard Kueng, Robert Wille
2021	J	`jnl`	Robust Multi-Target Sample Preparation on MEDA Biochips Obviating Waste Production. ACM Trans. Design Autom. Electr. Syst. Sudip Poddar, Tapalina Banerjee, Robert Wille, Bhargab B. Bhattacharya
2021	C	`conf`	SMT-Based Placement for System-on-Chip Design. ISCAS Sebastian Pointner, Sven Wenzek, Robert Wille
2021	A	`conf`	Stochastic Quantum Circuit Simulation Using Decision Diagrams. DATE Thomas Grurl, Richard Kueng, Jürgen Fuß, Robert Wille
2021	A	`conf`	Towards Automatic Design and Verification for Level 3 of the European Train Control System. DATE Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda
2021	J	`jnl`	Towards Verification of Dynamic Quantum Circuits. CoRR Lukas Burgholzer, Robert Wille
2021	A	`conf`	Visualizing Decision Diagrams for Quantum Computing (Special Session Summary). DATE Robert Wille, Lukas Burgholzer, Michael Artner
2020	J	`jnl`	A PCISPH implementation using distributed multi-GPU acceleration for simulating industrial engineering applications. Int. J. High Perform. Comput. Appl. Kevin Verma, Christopher McCabe, Chong Peng, Robert Wille
2020	J	`jnl`	Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation. IEEE Trans. Computers Lorenzo Servadei, Edoardo Mosca, Elena Zennaro, Keerthikumara Devarajegowda, Michael Werner, Wolfgang Ecker, Robert Wille
2020	J	`jnl`	Advanced Equivalence Checking for Quantum Circuits. CoRR Lukas Burgholzer, Robert Wille
2020	J	`jnl`	Advanced exact synthesis of Clifford+T circuits. Quantum Inf. Process. Philipp Niemann, Robert Wille, Rolf Drechsler
2020	J	`jnl`	An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD). Integr. Phrangboklang Lyngton Thangkhiew, Alwin Zulehner, Robert Wille, Kamalika Datta, Indranil Sengupta
2020	—	`conf`	Approximation of Quantum States Using Decision Diagrams. ASP-DAC Alwin Zulehner, Stefan Hillmich, Igor L. Markov, Robert Wille
2020	—	`conf`	Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. ISMVL Thomas Grurl, Jürgen Fuß, Stefan Hillmich, Lukas Burgholzer, Robert Wille
2020	J	`jnl`	Automatic Droplet Sequence Generation for Microfluidic Networks With Passive Droplet Routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Andreas Grimmer, Werner Haselmayr, Robert Wille
2020	—	`conf`	Automatic compiler optimization on embedded software through k-means clustering. MLCAD Michael Werner, Lorenzo Servadei, Robert Wille, Wolfgang Ecker
2020	—	`conf`	Bail on Balancing: An Alternative Approach to the Physical Design of Field-Coupled Nanocomputing Circuits. ISVLSI Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
2020	J	`jnl`	Characteristics of Reversible Circuits for Error Detection. CoRR Lukas Burgholzer, Robert Wille, Richard Kueng
2020	—	`conf`	Concurrency in DD-based Quantum Circuit Simulation. ASP-DAC Stefan Hillmich, Alwin Zulehner, Robert Wille
2020	A	`conf`	Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams. ICCAD Thomas Grurl, Jürgen Fuß, Robert Wille
2020	—	`conf`	Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning. ACM Great Lakes Symposium on VLSI Lorenzo Servadei, Edoardo Mosca, Keerthikumara Devarajegowda, Michael Werner, Wolfgang Ecker, Robert Wille
2020	—	`conf`	Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning. MLCAD Lorenzo Servadei, Jiapeng Zheng, Jose A. Arjona-Medina, Michael Werner, Volkan Esen, Sepp Hochreiter, Wolfgang Ecker, Robert Wille
2020	J	`jnl`	Design and realization of flexible droplet-based lab-on-a-chip devices. Elektrotech. Informationstechnik Gerold Fink, Medina Hamidovic, Andreas Springer, Robert Wille, Werner Haselmayr
2020	—	`conf`	Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm. ISMVL Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
2020	C	`conf`	Efficient and Correct Compilation of Quantum Circuits. ISCAS Robert Wille, Stefan Hillmich, Lukas Burgholzer
2020	J	`jnl`	Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips. ACM Trans. Design Autom. Electr. Syst. Pushpita Roy, Ansuman Banerjee, Robert Wille, Bhargab B. Bhattacharya
2020	—	`conf`	Improved DD-based Equivalence Checking of Quantum Circuits. ASP-DAC Lukas Burgholzer, Robert Wille
2020	J	`jnl`	Improved Mapping of Quantum Circuits to IBM QX Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Abhoy Kole, Stefan Hillmich, Kamalika Datta, Robert Wille, Indranil Sengupta
2020	C	`conf`	Integer Overflow Detection in Hardware Designs at the Specification Level. MODELSWARD Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2020	A	`conf`	JKQ: JKU Tools for Quantum Computing. ICCAD Robert Wille, Stefan Hillmich, Lukas Burgholzer
2020	A*	`conf`	Just Like the Real Thing: Fast Weak Simulation of Quantum Computation. DAC Stefan Hillmich, Igor L. Markov, Robert Wille
2020	J	`jnl`	Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study. CoRR Atif Mashkoor, Alexander Egyed, Robert Wille
2020	J	`jnl`	Modeling and simulation of electrophoretic deposition coatings. J. Comput. Sci. Kevin Verma, Hui Cao, Prithvi Mandapalli, Robert Wille
2020	J	`jnl`	Multicontrol: Advanced Control-Logic Synthesis for Flow-Based Microfluidic Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ying Zhu, Xing Huang, Bing Li, Tsung-Yi Ho, Qin Wang, Hailong Yao, Robert Wille, Ulf Schlichtmann
2020	J	`jnl`	Near Zero-Energy Computation Using Quantum-Dot Cellular Automata. ACM J. Emerg. Technol. Comput. Syst. Frank Sill Torres, Philipp Niemann, Robert Wille, Rolf Drechsler
2020	J	`jnl`	On the Difficulty of Inserting Trojans in Reversible Computing Architectures. IEEE Trans. Emerg. Top. Comput. Xiaotong Cui, Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Kaijie Wu, Rolf Drechsler, Ramesh Karri
2020	J	`jnl`	On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata. Microprocess. Microsystems Frank Sill Torres, Pedro Arthur Silva, Geraldo Fontes, Marcel Walter, José Augusto Miranda Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Robert Wille, Philipp Niemann, Daniel Große, Rolf Drechsler
2020	—	`conf`	One-pass Synthesis for Digital Microfluidic Biochips: A Survey. ISDCS Oliver Keszöcze, Robert Wille, Rolf Drechsler
2020	J	`jnl`	Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Philipp Niemann, Alwin Zulehner, Rolf Drechsler, Robert Wille
2020	—	`conf`	Post Synthesis-Optimization of Reversible Circuit using Template Matching. VDAT Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman
2020	J	`jnl`	Random Stimuli Generation for the Verification of Quantum Circuits. CoRR Lukas Burgholzer, Richard Kueng, Robert Wille
2020	A	`conf`	Realizing Quantum Algorithms on Real Quantum Computing Devices. DATE Carmen G. Almudéver, Lingling Lao, Robert Wille, Gian Giacomo Guerreschi
2020	J	`jnl`	Realizing Quantum Algorithms on Real Quantum Computing Devices. CoRR Carmen G. Almudéver, Lingling Lao, Robert Wille, Gian Giacomo Guerreschi
2020	J	`jnl`	Robustness Analysis for Droplet-Based Microfluidic Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gerold Fink, Andreas Grimmer, Medina Hamidovic, Werner Haselmayr, Robert Wille
2020	—	`conf`	Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. MODELSWARD (Revised Selected Papers) Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2020	—	`ch.`	Simulation and Design of Quantum Circuits. Selected Results of the COST Action IC1405 Alwin Zulehner, Robert Wille
2020	J	`jnl`	Storage-Aware Algorithms for Dilution and Mixture Preparation With Flow-Based Lab-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sukanta Bhattacharjee, Robert Wille, Juinn-Dar Huang, Bhargab B. Bhattacharya
2020	A*	`conf`	The Power of Simulation for Equivalence Checking in Quantum Computing. DAC Lukas Burgholzer, Robert Wille
2020	C	`conf`	ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing. DSD Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler
2020	—	`conf`	Towards Automatic Hardware Synthesis from Formal Specification to Implementation. ASP-DAC Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2020	—	`conf`	Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques. IEEE SENSORS Sebastian A. Schober, Cecilia Carbonelli, Alexandra Roth, Alexander Zoepfl, Robert Wille
2020	A	`conf`	Towards Exploring the Potential of Alternative Quantum Computing Architectures. DATE Arighna Deb, Gerhard W. Dueck, Robert Wille
2020	A	`conf`	Verification Runtime Analysis: Get the Most Out of Partial Verification. DATE Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2020	A*	`conf`	Verification for Field-coupled Nanocomputing Circuits. DAC Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler
2020	Misc	`conf`	Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. QCE Lukas Burgholzer, Rudy Raymond, Robert Wille
2020	—	`conf`	YASSi: Yet Another Symbolic Simulator Large (Tool Demo). DEXA Workshops Sebastian Pointner, Pablo González de Aledo, Robert Wille
2019	—	`conf`	A staircase structure for scalable and efficient synthesis of memristor-aided logic. ASP-DAC Alwin Zulehner, Kamalika Datta, Indranil Sengupta, Robert Wille
2019	A	`conf`	Accuracy and Compactness in Decision Diagrams for Quantum Computation. DATE Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
2019	A	`conf`	Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision. DATE Lorenzo Servadei, Elena Zennaro, Keerthikumara Devarajegowda, Martin Manzinger, Wolfgang Ecker, Robert Wille
2019	J	`jnl`	Advanced Simulation of Droplet Microfluidics. ACM J. Emerg. Technol. Comput. Syst. Andreas Grimmer, Medina Hamidovic, Werner Haselmayr, Robert Wille
2019	J	`jnl`	Advanced Simulation of Quantum Computations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alwin Zulehner, Robert Wille
2019	J	`jnl`	An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alwin Zulehner, Alexandru Paler, Robert Wille
2019	J	`jnl`	Automated Dimensioning of Networked Labs-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Andreas Grimmer, Werner Haselmayr, Robert Wille
2019	A	`conf`	Better Late Than Never : Verification of Embedded Systems After Deployment. DATE Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2019	—	`conf`	Compiling SU(4) quantum circuits to IBM QX architectures. ASP-DAC Alwin Zulehner, Robert Wille
2019	—	`conf`	Design automation for adiabatic circuits. ASP-DAC Alwin Zulehner, Michael P. Frank, Robert Wille
2019	J	`jnl`	Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits. IEEE Trans. Very Large Scale Integr. Syst. Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
2019	—	`conf`	Did We Test Enough? Functional Coverage for Post-Silicon Validation. ITC-Asia Sebastian Pointner, Robert Wille
2019	J	`jnl`	Dilution with Digital Microfluidic Biochips: How Unbalanced Splits Corrupt Target-Concentration. CoRR Sudip Poddar, Robert Wille, Hafizur Rahaman, Bhargab B. Bhattacharya
2019	—	`conf`	Effect of Volumetric Split-Errors on Reactant-Concentration During Sample Preparation with Microfluidic Biochips. ACSS (2) Sudip Poddar, Robert Wille, Hafizur Rahaman, Bhargab B. Bhattacharya
2019	J	`jnl`	Error-Oblivious Sample Preparation With Digital Microfluidic Lab-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sudip Poddar, Robert Wille, Hafizur Rahaman, Bhargab B. Bhattacharya
2019	C	`conf`	Evaluating the Flexibility of A* for Mapping Quantum Circuits. RC Alwin Zulehner, Hartwig Bauer, Robert Wille
2019	C	`conf`	Exact Stimuli Minimization for Simulation-Based Verification. ISCAS Sebastian Pointner, Andreas Grimmer, Robert Wille
2019	J	`jnl`	Faster manipulation of large quantum circuits using wire label reference diagrams. Microprocess. Microsystems Alexandru Paler, Austin G. Fowler, Robert Wille
2019	—	`conf`	Flow-Based Passive Microfluidic Architecture for Homogeneous Mixing. ISED Tapalina Banerjee, Sudip Poddar, Robert Wille, Bhargab B. Bhattacharya
2019	—	`conf`	Focus on What is Needed: Area and Power Efficient FPGAs Using Turn-Restricted Switch Boxes. ISVLSI Fatemeh Serajeh-hassani, Mohammad Sadrosadati, Sebastian Pointner, Robert Wille, Hamid Sarbazi-Azad
2019	—	`conf`	Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community. ISMVL Nils Przigoda, Judith Przigoda, Robert Wille
2019	C	`conf`	Generic Error Localization for the Electronic System Level. DDECS Sebastian Pointner, Pablo González de Aledo, Robert Wille
2019	A	`conf`	How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing. ICCAD Alwin Zulehner, Stefan Hillmich, Robert Wille
2019	J	`jnl`	How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing. CoRR Alwin Zulehner, Stefan Hillmich, Robert Wille
2019	A	`conf`	IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers. DATE Robert Wille, Rod Van Meter, Yehuda Naveh
2019	J	`jnl`	Identification of Synthesis Approaches for IP/IC Piracy of Reversible Circuits. ACM J. Emerg. Technol. Comput. Syst. Samah Mohamed Saeed, Nithin Mahendran, Alwin Zulehner, Robert Wille, Ramesh Karri
2019	—	`conf`	Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-Coupled Nanotechnologies. ISVLSI Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, Rolf Drechsler
2019	Misc	`conf`	Improved Look-Ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits. VLSID Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman
2019	—	`conf`	Information Encoding in Droplet-Based Microfluidic Systems: First Practical Study. NANOCOM Medina Hamidovic, Uli Marta, Gerold Fink, Robert Wille, Andreas Springer, Werner Haselmayr
2019	J	`jnl`	Locking the Design of Building Blocks for Quantum Circuits. ACM Trans. Embed. Comput. Syst. Samah Mohamed Saeed, Robert Wille, Ramesh Karri
2019	A*	`conf`	Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. DAC Robert Wille, Lukas Burgholzer, Alwin Zulehner
2019	A	`conf`	Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations. DATE Alwin Zulehner, Robert Wille
2019	—	`conf`	One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. ISMVL Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
2019	J	`jnl`	One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. CoRR Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
2019	J	`jnl`	Passive Droplet Control in Two-Dimensional Microfluidic Networks. IEEE Trans. Mol. Biol. Multi Scale Commun. Gerold Fink, Medina Hamidovic, Robert Wille, Werner Haselmayr
2019	J	`jnl`	Passive droplet control in microfluidic networks: A survey and new perspectives on their practical realization. Nano Commun. Networks Medina Hamidovic, Werner Haselmayr, Andreas Grimmer, Robert Wille, Andreas Springer
2019	J	`jnl`	Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is ACM J. Emerg. Technol. Comput. Syst. Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler
2019	J	`jnl`	Reliable quantum circuits have defects. CoRR Alexandru Paler, Austin G. Fowler, Robert Wille
2019	J	`jnl`	Reversible Circuits: IC/IP Piracy Attacks and Countermeasures. IEEE Trans. Very Large Scale Integr. Syst. Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Rolf Drechsler, Ramesh Karri
2019	—	`conf`	Robust sample preparation on digital microfluidic biochips. ASP-DAC Zhanwei Zhong, Robert Wille, Krishnendu Chakrabarty
2019	—	`conf`	Scalable design for field-coupled nanocomputing circuits. ASP-DAC Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler
2019	C	`conf`	Simulating Industrial Electrophoretic Deposition on Distributed Memory Architectures. PDP Kevin Verma, Johannes Oder, Robert Wille
2019	—	`conf`	Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows. ISVLSI Sebastian Pointner, Oliver Frank, Christoph Hazott, Robert Wille
2019	A	`conf`	Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines. ICCAD Robert Wille, Majid Haghparast, Smaran Adarsh, Tanmay Tanmay
2019	J	`jnl`	Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications. Microprocess. Microsystems Lorenzo Servadei, Elena Zennaro, Tobias Fritz, Keerthikumara Devarajegowda, Wolfgang Ecker, Robert Wille
2019	J	`jnl`	fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits. CoRR Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler
2018	—	`conf`	A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits. ISVLSI Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman
2018	—	`conf`	AMulti-GPU PCISPH Implementation with Efficient Memory Transfers. HPEC Kevin Verma, Chong Peng, Kamil Szewc, Robert Wille
2018	J	`jnl`	Advanced Simulation of Droplet Microfluidics. CoRR Andreas Grimmer, Medina Hamidovic, Werner Haselmayr, Robert Wille
2018	J	`jnl`	An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
2018	A	`conf`	An exact method for design exploration of quantum-dot cellular automata. DATE Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler
2018	C	`conf`	Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. MODELSWARD Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler
2018	—	`book`	Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
2018	C	`conf`	Automatic Design of Microfluidic Devices. FDL Robert Wille, Bing Li, Rolf Drechsler, Ulf Schlichtmann
2018	J	`jnl`	Breaking Landauer's Limit\\Using Quantum-dot Cellular Automata. CoRR Frank Sill Torres, Philipp Niemann, Robert Wille, Rolf Drechsler
2018	—	`conf`	Comparison of switching principles in microfluidic bus networks. NANOCOM Medina Hamidovic, Werner Haselmayr, Andreas Grimmer, Robert Wille, Andreas Springer
2018	A	`conf`	Computer-aided design for quantum computation. ICCAD Robert Wille, Austin G. Fowler, Yehuda Naveh
2018	J	`jnl`	Design Automation for Adiabatic Circuits. CoRR Alwin Zulehner, Michael P. Frank, Robert Wille
2018	J	`jnl`	Design of Application-Specific Architectures for Networked Labs-on-Chips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille
2018	A	`conf`	Efficient mapping of quantum circuits to the IBM QX architectures. DATE Alwin Zulehner, Alexandru Paler, Robert Wille
2018	—	`ch.`	Emerging Circuit Technologies: An Overview on the Next Generation of Circuits. Advanced Logic Synthesis Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler, Priyank Kalla
2018	C	`conf`	Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata. DSD Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Große, Rolf Drechsler
2018	Misc	`conf`	Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips. VLSID Oliver Keszöcze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler
2018	—	`conf`	Exploiting coding techniques for logic synthesis of reversible circuits. ASP-DAC Alwin Zulehner, Robert Wille
2018	J	`jnl`	Faster manipulation of large quantum circuits using wire label reference diagrams. CoRR Alexandru Paler, Austin G. Fowler, Robert Wille
2018	J	`jnl`	Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of Comput. Lang. Syst. Struct. Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
2018	—	`conf`	Generalizing the Concept of Scalable Reversible Circuit Synthesis for Multiple-Valued Logic. ISMVL Alwin Zulehner, P. Mercy Nesa Rani, Kamalika Datta, Indranil Sengupta, Robert Wille
2018	—	`conf`	Generation and Validation of Frame Conditions in Formal Models. MODELSWARD (Revised Selected Papers) Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler
2018	A	`conf`	IC/IP piracy assessment of reversible logic. ICCAD Samah Mohamed Saeed, Xiaotong Cui, Alwin Zulehner, Robert Wille, Rolf Drechsler, Kaijie Wu, Ramesh Karri
2018	A	`conf`	Improved synthesis of Clifford+T quantum functionality. DATE Philipp Niemann, Robert Wille, Rolf Drechsler
2018	A	`conf`	Multi-channel and fault-tolerant control multiplexing for flow-based microfluidic biochips. ICCAD Ying Zhu, Bing Li, Tsung-Yi Ho, Qin Wang, Hailong Yao, Robert Wille, Ulf Schlichtmann
2018	J	`jnl`	NISQ circuit compilers: search space structure and heuristics. CoRR Alexandru Paler, Alwin Zulehner, Robert Wille
2018	J	`jnl`	One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alwin Zulehner, Robert Wille
2018	—	`conf`	Parallel Simulation of Electrophoretic Deposition for Industrial Automotive Applications. HPCS Kevin Verma, Luis Ayuso, Robert Wille
2018	J	`jnl`	Physical Co-Design of Flow and Control Layers for Flow-Based Microfluidic Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Qin Wang, Hao Zou, Hailong Yao, Tsung-Yi Ho, Robert Wille, Yici Cai
2018	J	`jnl`	Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic. FLAP Robert Wille, Martin Lukac
2018	A	`conf`	Pushing the number of qubits below the "minimum": Realizing compact boolean components for quantum logic. DATE Alwin Zulehner, Robert Wille
2018	C	`conf`	QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report). RC Alwin Zulehner, Robert Wille
2018	—	`conf`	Quality Assessment of Generated Hardware Designs Using Statistical Analysis and Machine Learning. CIMA@ICTAI Lorenzo Servadei, Elena Zennaro, Keerthikumara Devarajegowda, Wolfgang Ecker, Robert Wille
2018	—	`conf`	Sound valve-control for programmable microfluidic devices. ASP-DAC Andreas Grimmer, Berislav Klepic, Tsung-Yi Ho, Robert Wille
2018	A	`conf`	Storage-aware sample preparation using flow-based microfluidic Labs-on-Chip. DATE Sukanta Bhattacharjee, Robert Wille, Juinn-Dar Huang, Bhargab B. Bhattacharya
2018	—	`conf`	Synthesis of Reversible Circuits Using Conventional Hardware Description Languages. ISMVL Zaid Al-Wardi, Robert Wille, Rolf Drechsler
2018	J	`jnl`	Synthesis of circuits based on all-optical Mach-Zehnder Interferometers using Binary Decision Diagrams. Microelectron. J. Chandan Bandyopadhyay, Rakesh Das, Robert Wille, Rolf Drechsler, Hafizur Rahaman
2017	A*	`conf`	A Discrete Model for Networked Labs-on-Chips: Linking the Physical World to Design Automation. DAC Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille
2017	—	`conf`	Addressing multiple nodes in networked labs-on-chips without payload re-injection. ICC Werner Haselmayr, Andrea Biral, Andreas Grimmer, Andrea Zanella, Andreas Springer, Robert Wille
2017	J	`jnl`	Advanced Simulation of Quantum Computations: Compact Representation Rather than Hardware Power. CoRR Alwin Zulehner, Robert Wille
2017	—	`conf`	Advanced load balancing for SPH simulations on multi-GPU architectures. HPEC Kevin Verma, Kamil Szewc, Robert Wille
2017	J	`jnl`	An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs. J. Low Power Electron. Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
2017	C	`conf`	An efficient physical design of fully-testable BDD-based circuits. DDECS Andreas Rauchenecker, Robert Wille
2017	C	`conf`	Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits - Work in Progress Report. RC Anmol Prakash Surhonne, Anupam Chattopadhyay, Robert Wille
2017	—	`conf`	BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips. ISVLSI Jannis Stoppe, Oliver Keszöcze, Maximilian Luenert, Robert Wille, Rolf Drechsler
2017	—	`conf`	Close-to-optimal placement and routing for continuous-flow microfluidic biochips. ASP-DAC Andreas Grimmer, Qin Wang, Hailong Yao, Tsung-Yi Ho, Robert Wille
2017	A	`conf`	Dedicated synthesis for MZI-based optical circuits based on AND-inverter graphs. ICCAD Arighna Deb, Robert Wille, Rolf Drechsler
2017	—	`conf`	Design automation for Labs-on-Chip: A new "playground" for SoC designers. SoCC Robert Wille, Bing Li
2017	C	`conf`	Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. RC Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler
2017	—	`conf`	Enhancing robustness of sequential circuits using application-specific knowledge and formal methods. ASP-DAC Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
2017	C	`conf`	Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A ^* ∗. RC Alwin Zulehner, Stefan Gasser, Robert Wille
2017	—	`conf`	Exact routing for micro-electrode-dot-array digital microfluidic biochips. ASP-DAC Oliver Keszöcze, Zipeng Li, Andreas Grimmer, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler
2017	—	`conf`	Exploiting reversible logic design for implementing adiabatic circuits. MIXDES Andreas Rauchenecker, Timm Ostermann, Robert Wille
2017	—	`conf`	Extensions to the Reversible Hardware Description Language SyReC. ISMVL Zaid Al-Wardi, Robert Wille, Rolf Drechsler
2017	J	`jnl`	Formal methods for reasoning and uncertainty reduction in evidential grid maps. Int. J. Approx. Reason. Andreas Grimmer, Joachim Clemens, Robert Wille
2017	B	`conf`	Formulating Model Verification Tasks Prover-Independently as UML Diagrams. ECMFA Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille
2017	C	`conf`	Identifying Reversible Circuit Synthesis Approaches to Enable IP Piracy Attacks. ICCD Samah Mohamed Saeed, Nithin Mahendran, Alwin Zulehner, Robert Wille, Ramesh Karri
2017	C	`conf`	Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs. RC Alwin Zulehner, Robert Wille
2017	A	`conf`	Make it reversible: Efficient embedding of non-reversible functions. DATE Alwin Zulehner, Robert Wille
2017	J	`jnl`	Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering (NII Shonan Meeting 2017-1). NII Shonan Meet. Rep. Shigeru Yamashita, Tsung-Yi Ho, Robert Wille, Krishnendu Chakrabarty
2017	C	`conf`	More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. MEMOCODE Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler
2017	—	`conf`	OR-Inverter Graphs for the Synthesis of Optical Circuits. ISMVL Arighna Deb, Robert Wille, Rolf Drechsler
2017	J	`jnl`	On the Difficulty of Inserting Trojans in Reversible Computing Architectures. CoRR Xiaotong Cui, Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Rolf Drechsler, Kaijie Wu, Ramesh Karri
2017	J	`jnl`	Online scheduled execution of quantum circuits protected by surface codes. Quantum Inf. Comput. Alexandru Paler, Austin G. Fowler, Robert Wille
2017	—	`conf`	Skipping Embedding in the Design of Reversible Circuits. ISMVL Alwin Zulehner, Robert Wille
2017	—	`conf`	Stochastic Computing Using Droplet-Based Microfluidics. EUROCAST (2) Werner Haselmayr, Andreas Grimmer, Robert Wille
2017	J	`jnl`	Synthesis of optical circuits using binary decision diagrams. Integr. Arighna Deb, Robert Wille, Oliver Keszöcze, Saeideh Shirinzadeh, Rolf Drechsler
2017	B	`conf`	Tagged BDDs: Combining reduction rules from different decision diagram types. FMCAD Tom van Dijk, Robert Wille, Robert Meolic
2017	A	`conf`	Taking one-to-one mappings for granted: Advanced logic design of encoder circuits. DATE Alwin Zulehner, Robert Wille
2017	C	`conf`	Test Pattern Generation Effort Evaluation of Reversible Circuits. RC Abhoy Kole, Robert Wille, Kamalika Datta, Indranil Sengupta
2017	J	`jnl`	Towards Reverse Engineering Reversible Logic. CoRR Samah Mohamed Saeed, Xiaotong Cui, Robert Wille, Alwin Zulehner, Kaijie Wu, Rolf Drechsler, Ramesh Karri
2017	C	`conf`	Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report. RC Zaid Al-Wardi, Robert Wille, Rolf Drechsler
2017	J	`jnl`	Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Pablo González de Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sánchez Espeso
2017	—	`conf`	Towards lightweight satisfiability solvers for self-verification. ISED Fritjof Bornebusch, Robert Wille, Rolf Drechsler
2017	J	`jnl`	Towards quantum reversible ternary coded decimal adder. Quantum Inf. Process. Majid Haghparast, Robert Wille, Asma Taheri Monfared
2017	A	`conf`	Verification of networked Labs-on-Chip architectures. DATE Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille
2017	—	`conf`	Verifikation von Networked Labs-on-Chip Architekturen. MBMV Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille
2016	C	`ed.`	2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016 FDL Rolf Drechsler, Robert Wille
2016	—	`conf`	An improved gate library for logic synthesis of optical circuits. ISED Shuchishman Burman, Kamalika Datta, Robert Wille, Indranil Sengupta, Rolf Drechsler
2016	J	`jnl`	Analyzing Inconsistencies in UML/OCL Models. J. Circuits Syst. Comput. Nils Przigoda, Robert Wille, Rolf Drechsler
2016	C	`conf`	Checking Reversibility of Boolean Functions. RC Robert Wille, Aaron Lye, Philipp Niemann
2016	C	`conf`	Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. MEMOCODE Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler
2016	J	`jnl`	Embedding of Large Boolean Functions for Reversible Logic. ACM J. Emerg. Technol. Comput. Syst. Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler
2016	A	`conf`	Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking. DATE Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Robert Wille, Giovanni De Micheli
2016	C	`conf`	Extracting frame conditions from operation contracts. Software Engineering Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
2016	—	`conf`	Fault Detection in Parity Preserving Reversible Circuits. ISMVL Nils Przigoda, Gerhard W. Dueck, Robert Wille, Rolf Drechsler
2016	C	`conf`	Frame conditions in symbolic representations of UML/OCL models. MEMOCODE Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler
2016	A	`conf`	From biochips to quantum circuits: computer-aided design for emerging technologies. ICCAD Robert Wille, Bing Li, Ulf Schlichtmann, Rolf Drechsler
2016	—	`conf`	From reversible logic to quantum circuits: Logic design for an emerging technology. SAMOS Robert Wille, Anupam Chattopadhyay, Rolf Drechsler
2016	J	`jnl`	Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits. ACM J. Emerg. Technol. Comput. Syst. Arighna Deb, Robert Wille, Oliver Keszöcze, Stefan Hillmich, Rolf Drechsler
2016	—	`conf`	Generating and checking control logic in the HDL-based design of reversible circuits. ISED Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
2016	A	`conf`	Ground setting properties for an efficient translation of OCL in SMT-based model finding. MoDELS Nils Przigoda, Robert Wille, Rolf Drechsler
2016	J	`jnl`	Guest Editorial Emerging Topics in Multiple-Valued Logic and Its Applications. IEEE J. Emerg. Sel. Topics Circuits Syst. Vincent C. Gaudet, Jon T. Butler, Robert Wille, Naofumi Homma
2016	Misc	`conf`	Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library. VLSID Laxmidhar Biswal, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman
2016	C	`conf`	Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. RC Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
2016	—	`conf`	Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits. ISMVL Md. Mazder Rahman, Gerhard W. Dueck, Anupam Chattopadhyay, Robert Wille
2016	—	`conf`	Integrating an SMT-Based ModelFinder into USE. MoDeVVa@MoDELS Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler
2016	—	`conf`	Logic Synthesis for Quantum State Generation. ISMVL Philipp Niemann, Rhitam Datta, Robert Wille
2016	—	`conf`	Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits. ASP-DAC Robert Wille, Oliver Keszöcze, Marcel Walter, Patrick Rohrs, Anupam Chattopadhyay, Rolf Drechsler
2016	—	`conf`	Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation. ISMVL Laxmidhar Biswal, Chandan Bandyopadhyay, Anupam Chattopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman
2016	J	`jnl`	QMDDs: Efficient Quantum Function Representation and Manipulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler
2016	—	`conf`	Re-Writing HDL Descriptions for Line-Aware Synthesis of Reversible Circuits. ISMVL Zaid Al-Wardi, Robert Wille, Rolf Drechsler
2016	J	`jnl`	Reliable quantum circuits have defects. XRDS Alexandru Paler, Austin G. Fowler, Robert Wille
2016	J	`jnl`	Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability. ACM J. Emerg. Technol. Comput. Syst. Arighna Deb, Debesh K. Das, Hafizur Rahaman, Robert Wille, Rolf Drechsler, Bhargab B. Bhattacharya
2016	J	`jnl`	SyReC: A hardware description language for the specification and synthesis of reversible circuits. Integr. Robert Wille, Eleonora Schönborn, Mathias Soeken, Rolf Drechsler
2016	A	`conf`	Synthesis of approximate coders for on-chip interconnects using reversible logic. DATE Robert Wille, Oliver Keszöcze, Stefan Hillmich, Marcel Walter, Alberto García Ortiz
2016	—	`conf`	Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. Modellierung Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
2016	—	`conf`	Towards a model-based verification methodology for Complex Swarm Systems (Invited paper). ISED Jonas Gomes Filho, Nils Przigoda, Robert Wille, Rolf Drechsler
2016	C	`conf`	Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits. RC Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato
2016	J	`jnl`	Verifying the structure and behavior in UML/OCL models using satisfiability solvers. IET Cyper-Phys. Syst.: Theory & Appl. Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler
2015	A	`conf`	A General and Exact Routing Methodology for Digital Microfluidic Biochips. ICCAD Oliver Keszöcze, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler
2015	C	`conf`	A Unified Formulation of Behavioral Semantics for SysML Models. MODELSWARD Christoph Hilken, Jan Peleska, Robert Wille
2015	A*	`conf`	A generic representation of CCSL time constraints for UML/MARTE models. DAC Judith Peters, Robert Wille, Nils Przigoda, Ulrich Kühne, Rolf Drechsler
2015	—	`conf`	An Efficient Reduction of Common Control Lines for Reversible Circuit Optimization. ISMVL Arighna Deb, Robert Wille, Rolf Drechsler, Debesh K. Das
2015	—	`conf`	An Examination of the NCV-\|u1 > Quantum Library Based on Minimal Circuits. ISMVL Arman Allahyari-Abhari, Robert Wille, Rolf Drechsler
2015	A	`conf`	Assisted generation of frame conditions for formal models. DATE Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
2015	A	`conf`	Automated feature localization for dynamically generated SystemC designs. DATE Jannis Stoppe, Robert Wille, Rolf Drechsler
2015	Misc	`conf`	BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits. VLSID Eleonora Schönborn, Kamalika Datta, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler
2015	A	`conf`	Checking concurrent behavior in UML/OCL models. MoDELS Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler
2015	C	`conf`	Contradiction Analysis for Inconsistent Formal Models. DDECS Nils Przigoda, Robert Wille, Rolf Drechsler
2015	J	`jnl`	Design of Microfluidic Biochips (Dagstuhl Seminar 15352). Dagstuhl Reports Krishnendu Chakrabarty, Tsung-Yi Ho, Robert Wille
2015	—	`conf`	Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits. ASP-DAC Aaron Lye, Robert Wille, Rolf Drechsler
2015	—	`conf`	Envisioning self-verification of electronic systems. ReCoSoC Rolf Drechsler, Martin Fränzle, Robert Wille
2015	A	`conf`	Extracting frame conditions from operation contracts. MoDELS Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
2015	A	`conf`	Formal Methods for Emerging Technologies. ICCAD Robert Wille, Rolf Drechsler
2015	—	`conf`	From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. ICMT Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
2015	C	`conf`	Leveraging the Analysis for Invariant Independence in Formal System Models. DSD Nils Przigoda, Robert Wille, Rolf Drechsler
2015	—	`conf`	Reverse BDD-based synthesis for splitter-free optical circuits. ASP-DAC Robert Wille, Oliver Keszöcze, Clemens Hopfmuller, Rolf Drechsler
2015	—	`conf`	Reversible computation. IGSC Rolf Drechsler, Robert Wille
2015	J	`jnl`	Scalable One-Pass Synthesis for Digital Microfluidic Biochips. IEEE Des. Test Robert Wille, Oliver Keszöcze, Rolf Drechsler, Tobias Boehnisch, Alexander Kroker
2015	C	`conf`	Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. RC Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille
2015	C	`conf`	Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits. RC Zaid Al-Wardi, Robert Wille, Rolf Drechsler
2015	C	`conf`	Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits. RC Abhoy Kole, Kamalika Datta, Indranil Sengupta, Robert Wille
2015	—	`conf`	Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. MoDeVVa@MoDELS Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler
2015	—	`conf`	Verbesserung der Fehlersuche in inkonsistenten formalen Modellen (Erweiterte Zusammenfassung). MBMV Nils Przigoda, Robert Wille, Rolf Drechsler
2015	C	`conf`	Verification-Driven Design Across Abstraction Levels: A Case Study. DSD Nils Przigoda, Jannis Stoppe, Julia Seiter, Robert Wille, Rolf Drechsler
2014	A	`conf`	Automated and quality-driven requirements engineering. ICCAD Rolf Drechsler, Mathias Soeken, Robert Wille
2014	C	`conf`	Automatic refinement checking for formal system models. FDL Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler
2014	J	`jnl`	Considering nearest neighbor constraints of quantum circuits at the reversible circuit level. Quantum Inf. Process. Robert Wille, Aaron Lye, Rolf Drechsler
2014	—	`conf`	Determining Cases of Scenarios to Improve Coverage in Simulation-based Verification. SBCCI Shuo Yang, Robert Wille, Rolf Drechsler
2014	—	`conf`	Efficient synthesis of quantum circuits implementing clifford group operations. ASP-DAC Philipp Niemann, Robert Wille, Rolf Drechsler
2014	J	`jnl`	Embedding of Large Boolean Functions for Reversible Logic. CoRR Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler
2014	C	`conf`	Equivalence Checking in Multi-level Quantum Systems. RC Philipp Niemann, Robert Wille, Rolf Drechsler
2014	A*	`conf`	Exact One-pass Synthesis of Digital Microfluidic Biochips. DAC Oliver Keszöcze, Robert Wille, Tsung-Yi Ho, Rolf Drechsler
2014	J	`jnl`	Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Robert Wille, Aaron Lye, Rolf Drechsler
2014	A	`conf`	Exact routing for digital microfluidic biochips with temporary blockages. ICCAD Oliver Keszöcze, Robert Wille, Rolf Drechsler
2014	—	`conf`	Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. TAP@STAF Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
2014	B	`conf`	Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. ICECCS Judith Peters, Robert Wille, Rolf Drechsler
2014	C	`conf`	Improving Coverage of Simulation-Based Verification by Dedicated Stimuli Generation. DSD Shuo Yang, Robert Wille, Rolf Drechsler
2014	J	`jnl`	Introduction to the Special Issue on Reversible Computation. ACM J. Emerg. Technol. Comput. Syst. Robert Wille, Rolf Drechsler, Mehdi Baradaran Tahoori
2014	—	`conf`	Optimal SWAP gate insertion for nearest neighbor quantum circuits. ASP-DAC Robert Wille, Aaron Lye, Rolf Drechsler
2014	C	`conf`	Optimizing DD-based synthesis of reversible circuits using negative control lines. DDECS Eleonora Schönborn, Kamalika Datta, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler
2014	C	`conf`	RevVis: Visualization of Structures and Properties in Reversible Circuits. RC Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler
2014	—	`conf`	Towards a Base Model for UML and OCL Verification. MoDeVVa@MoDELS Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla
2014	J	`jnl`	Trading off circuit lines and gate costs in the synthesis of reversible logic. Integr. Robert Wille, Mathias Soeken, D. Michael Miller, Rolf Drechsler
2014	—	`conf`	Validating SystemC Implementations Against Their Formal Specifications. SBCCI Jannis Stoppe, Robert Wille, Rolf Drechsler
2014	C	`conf`	Verifying consistency between activity diagrams and their corresponding OCL contracts. FDL Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler
2013	—	`conf`	A compact and efficient SAT encoding for quantum circuits. AFRICON Robert Wille, Nils Przigoda, Rolf Drechsler
2013	J	`jnl`	Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library. CoRR Zahra Sasanian, Robert Wille, D. Michael Miller
2013	C	`conf`	Cone of Influence Analysis at the Electronic System Level Using Machine Learning. DSD Jannis Stoppe, Robert Wille, Rolf Drechsler
2013	—	`conf`	Data extraction from SystemC designs using debug symbols and the SystemC API. ISVLSI Jannis Stoppe, Robert Wille, Rolf Drechsler
2013	A	`conf`	Determining relevant model elements for the verification of UML/OCL specifications. DATE Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler
2013	J	`jnl`	Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits. J. Multiple Valued Log. Soft Comput. Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler
2013	—	`conf`	Exact Template Matching Using Boolean Satisfiability. ISMVL Nabila Abdessaied, Mathias Soeken, Robert Wille, Rolf Drechsler
2013	C	`conf`	Exploiting Negative Control Lines in the Optimization of Reversible Circuits. RC Kamalika Datta, Gaurav Rathi, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler
2013	—	`conf`	Exploiting reversibility in the complete simulation of reversible circuits. AFRICON Robert Wille, Simon Stelter, Rolf Drechsler
2013	—	`conf`	Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits. ISMVL Robert Wille, Hongyan Zhang, Rolf Drechsler
2013	—	`conf`	Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. MBMV Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler
2013	A	`conf`	Improved SAT-based ATPG: more constraints, better compaction. ICCAD Stephan Eggersglüß, Robert Wille, Rolf Drechsler
2013	—	`conf`	Improving the mapping of reversible circuits to quantum circuits using multiple target lines. ASP-DAC Robert Wille, Mathias Soeken, Christian Otterstedt, Rolf Drechsler
2013	C	`conf`	Minimal Stimuli Generation in Simulation-Based Verification. DSD Shuo Yang, Robert Wille, Daniel Große, Rolf Drechsler
2013	C	`conf`	On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure. RC Philipp Niemann, Robert Wille, Rolf Drechsler
2013	—	`conf`	PASSAT 2.0: A multi-functional SAT-based testing framework. LATW Rolf Drechsler, Melanie Diepenbeck, Stephan Eggersglüß, Robert Wille
2013	C	`conf`	Reducing the Depth of Quantum Circuits Using Additional Circuit Lines. RC Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler
2013	C	`conf`	Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure. RC Arighna Deb, Debesh K. Das, Hafizur Rahaman, Bhargab B. Bhattacharya, Robert Wille, Rolf Drechsler
2013	—	`conf`	Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung. GI-Jahrestagung Rolf Drechsler, Mathias Soeken, Robert Wille
2013	—	`conf`	The SyReC hardware description language: Enabling scalable synthesis of reversible circuits. MWSCAS Robert Wille, Rolf Drechsler
2013	A	`conf`	Towards a generic verification methodology for system models. DATE Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler
2012	—	`conf`	A Synthesis Flow for Sequential Reversible Circuits. ISMVL Mathias Soeken, Robert Wille, Christian Otterstedt, Rolf Drechsler
2012	—	`conf`	Assisted Behavior Driven Development Using Natural Language Processing. TOOLS (50) Mathias Soeken, Robert Wille, Rolf Drechsler
2012	A	`conf`	Automatic design of low-power encoders using reversible circuit synthesis. DATE Robert Wille, Rolf Drechsler, Christof Osewold, Alberto García Ortiz
2012	—	`conf`	Circuit Line Minimization in the HDL-Based Synthesis of Reversible Logic. ISVLSI Robert Wille, Mathias Soeken, Eleonora Schönborn, Rolf Drechsler
2012	B	`conf`	Completeness-Driven Development. ICGT Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang Minh Le, Julia Seiter, Mathias Soeken, Robert Wille
2012	C	`conf`	Coverage-Driven Stimuli Generation. DSD Shuo Yang, Robert Wille, Daniel Große, Rolf Drechsler
2012	A	`conf`	Debugging of inconsistent UML/OCL models. DATE Robert Wille, Mathias Soeken, Rolf Drechsler
2012	A	`conf`	Eliminating invariants in UML/OCL models. DATE Mathias Soeken, Robert Wille, Rolf Drechsler
2012	J	`jnl`	Equivalence Checking of Reversible Circuits. J. Multiple Valued Log. Soft Comput. Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler
2012	—	`conf`	Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines. ISMVL Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler
2012	J	`jnl`	Foreword: Special Issue on Reversible Computation. J. Multiple Valued Log. Soft Comput. Rolf Drechsler, Irek Ulidowski, Robert Wille
2012	—	`conf`	Formal Specification Level. FDL (Selected Papers) Rolf Drechsler, Mathias Soeken, Robert Wille
2012	C	`conf`	Formal Specification Level: Towards verification-driven design based on natural language processing. FDL Rolf Drechsler, Mathias Soeken, Robert Wille
2012	—	`conf`	Generating formal system models from natural language descriptions. HLDVT Rolf Drechsler, Ian G. Harris, Robert Wille
2012	—	`conf`	Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits. ISMVL Mathias Soeken, Zahra Sasanian, Robert Wille, D. Michael Miller, Rolf Drechsler
2012	C	`conf`	Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. RC Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler
2012	A*	`conf`	Realizing reversible circuits using a new class of quantum gates. DAC Zahra Sasanian, Robert Wille, D. Michael Miller
2012	J	`jnl`	Reducing Reversible Circuit Cost by Adding Lines. J. Multiple Valued Log. Soft Comput. D. Michael Miller, Robert Wille, Rolf Drechsler
2012	J	`jnl`	RevKit: A Toolkit for Reversible Circuit Design. J. Multiple Valued Log. Soft Comput. Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
2012	—	`conf`	Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology - (Invited Paper). VDAT Rolf Drechsler, Robert Wille
2012	C	`ed.`	Reversible Computation - Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers RC Alexis De Vos, Robert Wille
2012	—	`conf`	Synthesis of Reversible Circuits Using Decision Diagrams. ISED Rolf Drechsler, Robert Wille
2012	—	`conf`	Synthesis of reversible circuits with minimal lines for large functions. ASP-DAC Mathias Soeken, Robert Wille, Christoph Hilken, Nils Przigoda, Rolf Drechsler
2012	C	`conf`	Using RC Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler
2011	—	`conf`	ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization. ISVLSI Robert Wille, Hongyan Zhang, Rolf Drechsler
2011	J	`jnl`	Debugging reversible circuits. Integr. Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler
2011	J	`jnl`	Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502). Dagstuhl Reports Kenichi Morita, Robert Wille
2011	—	`conf`	Designing a RISC CPU in Reversible Logic. ISMVL Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler
2011	—	`conf`	Designing a RISC CPU in Reversible Logic. MBMV Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler
2011	—	`conf`	Determining minimal testsets for reversible circuits using Boolean satisfiability. AFRICON Hongyan Zhang, Stefan Frehse, Robert Wille, Rolf Drechsler
2011	A	`conf`	Determining the minimal number of lines for large reversible circuits. DATE Robert Wille, Oliver Keszöcze, Rolf Drechsler
2011	C	`conf`	Efficient realization of control logic in reversible circuits. FDL Sebastian Offermann, Robert Wille, Rolf Drechsler
2011	—	`conf`	Elementary Quantum Gate Realizations for Multiple-Control Toffoli Gates. ISMVL D. Michael Miller, Robert Wille, Zahra Sasanian
2011	—	`conf`	Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. TAP@TOOLS Mathias Soeken, Robert Wille, Rolf Drechsler
2011	—	`conf`	From Truth Tables to Programming Languages: Progress in the Design of Reversible Circuits. ISMVL Rolf Drechsler, Robert Wille
2011	—	`conf`	Improved Fault Diagnosis for Reversible Circuits. Asian Test Symposium Hongyan Zhang, Robert Wille, Rolf Drechsler
2011	—	`conf`	Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms. EvoApplications (2) Rolf Drechsler, Alexander Finder, Robert Wille
2011	C	`conf`	RevKit: An Open Source Toolkit for the Design of Reversible Circuits. RC Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
2011	J	`jnl`	Synthesis of Quantum Circuits for Linear Nearest Neighbor Architectures. CoRR Mehdi Saeedi, Robert Wille, Rolf Drechsler
2011	J	`jnl`	Synthesis of quantum circuits for linear nearest neighbor architectures. Quantum Inf. Process. Mehdi Saeedi, Robert Wille, Rolf Drechsler
2011	—	`conf`	Towards automatic determination of problem bounds for object instantiation in static model verification. MoDeVVa@MoDELS Mathias Soeken, Robert Wille, Rolf Drechsler
2011	A	`conf`	Verifying dynamic aspects of UML models. DATE Mathias Soeken, Robert Wille, Rolf Drechsler
2010	J	`jnl`	BDD-Based Synthesis of Reversible Logic. Int. J. Appl. Metaheuristic Comput. Robert Wille, Rolf Drechsler
2010	—	`conf`	Efficient Simulation-Based Debugging of Reversible Logic. ISMVL Stefan Frehse, Robert Wille, Rolf Drechsler
2010	—	`conf`	Enhancing debugging of multiple missing control errors in reversible logic. ACM Great Lakes Symposium on VLSI Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler
2010	B	`conf`	Graph Transformation Units Guided by a SAT Solver. ICGT Hans-Jörg Kreowski, Sabine Kuske, Robert Wille
2010	—	`conf`	Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition. IDT Mathias Soeken, Robert Wille, Rolf Drechsler
2010	—	`conf`	Reducing Reversible Circuit Cost by Adding Lines. ISMVL D. Michael Miller, Robert Wille, Rolf Drechsler
2010	A*	`conf`	Reducing the number of lines in reversible circuits. DAC Robert Wille, Mathias Soeken, Rolf Drechsler
2010	—	`conf`	SAT-based ATPG for reversible circuits. IDT Hongyan Zhang, Robert Wille, Rolf Drechsler
2010	C	`conf`	SyReC: A Programming Language for Synthesis of Reversible Circuits. FDL Robert Wille, Sebastian Offermann, Rolf Drechsler
2010	—	`conf`	SyReC: A Programming Language for Synthesis of Reversible Circuits. MBMV Robert Wille, Sebastian Offermann, Rolf Drechsler
2010	J	`jnl`	Synthese reversibler Logik (Synthesizing Reversible Logic). it Inf. Technol. Robert Wille, Rolf Drechsler
2010	C	`conf`	Synthesizing multiplier in reversible logic. DDECS Sebastian Offermann, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
2010	—	`book`	Towards a Design Flow for Reversible Logic. Robert Wille, Rolf Drechsler
2010	—	`conf`	Verifying UML/OCL Models Using Boolean Satisfiability. MBMV Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
2010	A	`conf`	Verifying UML/OCL models using Boolean satisfiability. DATE Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
2010	C	`conf`	Window optimization of reversible and quantum circuits. DDECS Mathias Soeken, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
2009	A*	`conf`	BDD-based synthesis of reversible logic for large functions. DAC Robert Wille, Rolf Drechsler
2009	—	`conf`	Contradictory antecedent debugging in bounded model checking. ACM Great Lakes Symposium on VLSI Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler
2009	A	`conf`	Debugging of Toffoli networks. DATE Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler
2009	—	`conf`	Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic. RC@ETAPS Robert Wille, Rolf Drechsler
2009	—	`ch.`	Ein Entwurfsablauf für Reversible Schaltkreise. Ausgezeichnete Informatikdissertationen Robert Wille
2009	—	`conf`	Equivalence Checking of Reversible Circuits. ISMVL Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler
2009	—	`conf`	Equivalence Checking of Reversible Circuits. MBMV Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler
2009	—	`conf`	Evaluation of Cardinality Constraints on SMT-Based Debugging. ISMVL André Sülflow, Robert Wille, Görschwin Fey, Rolf Drechsler
2009	J	`jnl`	Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
2009	J	`jnl`	Exact Synthesis of Elementary Quantum Gate Circuits. J. Multiple Valued Log. Soft Comput. Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
2009	Misc	`conf`	Reversible Logic Synthesis with Output Permutation. VLSI Design Robert Wille, Daniel Große, Gerhard W. Dueck, Rolf Drechsler
2009	C	`conf`	SMT-based stimuli generation in the SystemC Verification library. FDL Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
2009	—	`conf`	SWORD - Module-based SAT Solving. Algorithms and Applications for Next Generation SAT Solvers Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler
2009	C	`conf`	Synthesizing Reversible Circuits for Irreversible Functions. DSD D. Michael Miller, Robert Wille, Gerhard W. Dueck
2009	—	`—`	Towards a design flow for reversible logic. Robert Wille
2008	C	`conf`	Contradiction Analysis for Constraint-based Random Simulation. FDL Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
2008	—	`conf`	Debugging Contradictory Constraints in Constraint-Based Random Simulation. FDL (Selected Papers) Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
2008	—	`conf`	Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares. ISMVL Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
2008	C	`conf`	Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. DSD Robert Wille, Görschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler
2008	A	`conf`	Quantified Synthesis of Reversible Logic. DATE Robert Wille, Hoang Minh Le, Gerhard W. Dueck, Daniel Große
2008	—	`conf`	RevLib: An Online Resource for Reversible Functions and Reversible Circuits. ISMVL Robert Wille, Daniel Große, Lisa Teuber, Gerhard W. Dueck, Rolf Drechsler
2008	—	`conf`	Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking. MBMV Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler
2008	—	`conf`	Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability. ISVLSI Robert Wille, Daniel Große, Mathias Soeken, Rolf Drechsler
2007	A	`conf`	Fast exact Toffoli network synthesis of reversible logic. ICCAD Robert Wille, Daniel Große
2007	—	`conf`	Formal Verification on the Word Level using SAT-like Proof Techniques. MBMV Görschwin Fey, Daniel Große, Stephan Eggersglüß, Robert Wille, Rolf Drechsler
2007	—	`conf`	SWORD: A SAT like Prover Using Word Level Information. VLSI-SoC (Selected Papers) Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
2007	C	`conf`	SWORD: A SAT like prover using word level information. VLSI-SoC Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
1993	—	`conf`	The chaos router chip: design and implementation of an adaptive router. VLSI Kevin Bolding, Sen-Ching S. Cheung, Sung-Eun Choi, Carl Ebeling, Soha Hassoun, Ton Anh Ngo, Robert Wille