Prof. Dr. Robert Wille
Details
 |
ORCID |  |
Google Scholar |  |
Research Gate |
 |
Institute for Integrated Circuits, JKU |
Robert Wille is Chief Scientific Officer at the Software Competence Center Hagenberg GmbH, Austria and a Full and Distinguished Professor at the Technical University of Munich, Germany.
From 2002 to 2006, Robert Wille studied Computer Science (Diploma) at the University of Bremen. After successfully completing his doctorate in 2009 (summa cum laude), he worked as postdoc at the University of Bremen and, since 2013, as Senior Researcher in the Cyber-Physical Systems department of the German Research Center for Artificial Intelligence ( DFKI). Besides that, he served as lecturer at the University of Applied Science Bremen from 2010 to 2012 and was guest professor at the University of Potsdam in 2012 as well as the Technical University of Dresden in 2013/2014. From 2015 to 2022, he was Full Professor at the Johannes Kepler University Linz and head of the Institute for Integrated Circuits (at the age of 32 and as one of the youngest full professors in the field). In 2022, he moved to Munich—appointed through a “Leuchtturm”-procedure (i.e., direct appointment) and, additionally, through the “Distinguished Professorship”-program. Since 2020, he serves as Chief Scientific Officer at the Software Competence Center Hagenberg GmbH.
Robert Wille’s expertise covers a broad spectrum of topics with a particular focus on the development of automatic methods for the design, simulation, verification, and test of complex systems in hard- and software. He considers conventional technologies (from formal specifications to the realization) as well as future technologies (including quantum computing, mirofluidic biochips, field-coupled nanotechnologies, optical circuits, memristors, reversible circuits, and adiabatic circuits). Besides that, he frequently applies his expertise to complementary fields in cooperation with groups from other areas of Computer Science (e.g., Machine Learning, Software Development, Theoretical Computer Science, Database Systems, Operation Systems, and more) as well as Mechatronics and Electrical Engineering. Furthermore, his work on future technologies frequently exposes him to topics from physics, biology, chemistry, and optics. Also projects with legal sciences are within his portfolio.
Since 2007, Robert Wille published more than 400 journal and conference papers in this area and was repeatedly awarded ( e.g., with Best Paper Awards, e.g., at TCAD and ICCAD, an ERC Consolidator Grant, a Distinguished Professor appointment, a Google Research Award, and more). Besides that, he served as Associate Editor and Guest Editor for various renowned journals such as the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), the ACM Journal on Emerging Technologies in Computing Systems (JETC), or Springer’s Lecture Notes in Computer Science (LNCS). Additionally, he was General Chair and PC Chair for several conferences, is Executive Committee Member for DATE and ICCAD, served in numerous Program Committees, and organized several tutorials, seminars, workshops, and special sessions.
Publikationen
-
2024
-
Shuttling for Scalable Trapped-Ion Quantum Computers
Schoenberger, D., Hillmich, S., Brandl, M., & Wille, R. (2024). Shuttling for Scalable Trapped-Ion Quantum Computers. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1–1.
-
Towards Solving Short-Term Generation Scheduling Problems on Quantum Computers
Bruckner, S., Ferrarotti, F., Ramler, R., Wille, R., & Hillmich, S. (2024). Towards Solving Short-Term Generation Scheduling Problems on Quantum Computers. Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers, 164–170.
-
GrammarForge: Learning Program Input Grammars for Fuzz Testing
Sochor, H., Ferrarotti, F., & Wille, R. (2024). GrammarForge: Learning Program Input Grammars for Fuzz Testing. Software Engineering and Formal Methods, 272–289.
-
MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
Quetschlich, N., Burgholzer, L., & Wille, R. (2024). MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing. ACM Transactions on Quantum Computing.
-
Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers
Schoenberger, D., Hillmich, S., Brandl, M., & Wille, R. (2024). Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers (Extended Abstract). 2024 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition (DATE), 1–2.
-
Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers
Schoenberger, D., Hillmich, S., Brandl, M., & Wille, R. (2024). Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers. 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC).
-
2023
-
Compiler Optimization for Quantum Computing Using Reinforcement Learning
Quetschlich, N., Burgholzer, L., & Wille, R. (2023). Compiler Optimization for Quantum Computing Using Reinforcement Learning. 2023 60th ACM/IEEE Design Automation Conference (DAC).
-
Design Automation for Cryogenic CMOS Circuits
van Santen, V. M., Walter, M., Klemme, F., Parihar, S. S., Pahwa, G., Chauhan, Y. S., Wille, R., & Amrouch, H. (2023). Design Automation for Cryogenic CMOS Circuits. 2023 60th ACM/IEEE Design Automation Conference (DAC).
-
Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams
Hillmich, S., & Wille, R. (2024). Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams. Synthesis Lectures on Engineering, Science, and Technology.
-
Late Breaking Results From Hybrid Design Automation for Field-coupled Nanotechnologies
Hofmann, S., Walter, M., Servadei, L., & Wille, R. (2023). Late Breaking Results From Hybrid Design Automation for Field-coupled Nanotechnologies. 2023 60th ACM/IEEE Design Automation Conference (DAC).
-
Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams
Mato, K., Hillmich, S., & Wille, R. (2023). Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams. 2023 IEEE International Conference on Quantum Computing and Engineering (QCE).
-
Versatile Signal Distribution Networks for Scalable Placement and Routing of Field-coupled Nanocomputing Technologies
Walter, M., Hien, B., & Wille, R. (2023). Versatile Signal Distribution Networks for Scalable Placement and Routing of Field-coupled Nanocomputing Technologies. 2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
-
Error mitigation enables PET radiomic cancer characterization on quantum computers
Moradi, S., Spielvogel, C., Krajnc, D., Brandner, C., Hillmich, S., Wille, R., Traub-Weidinger, T., Li, X., Hacker, M., Drexler, W., & Papp, L. (2023). Error mitigation enables PET radiomic cancer characterization on quantum computers. European Journal of Nuclear Medicine and Molecular Imaging.
-
Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems
Mato, K., Hillmich, S., & Wille, R. (2023). Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems. 2023 IEEE International Conference on Quantum Software (QSW).
-
Predicting Good Quantum Circuit Compilation Options
Quetschlich, N., Burgholzer, L., & Wille, R. (2023). Predicting Good Quantum Circuit Compilation Options. 2023 IEEE International Conference on Quantum Software (QSW).
-
Recommending Solution Paths for Solving Optimization Problems with Quantum Computing
Poggel, B., Quetschlich, N., Burgholzer, L., Wille, R., & Lorenz, J. M. (2023). Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. 2023 IEEE International Conference on Quantum Software (QSW).
-
Scalable Physical Design for Silicon Dangling Bond Logic: How a 45° Turn Prevents the Reinvention of the Wheel
Hofmann, S., Walter, M., & Wille, R. (2023). Scalable Physical Design for Silicon Dangling Bond Logic: How a 45° Turn Prevents the Reinvention of the Wheel. 2023 IEEE 23rd International Conference on Nanotechnology (NANO).
-
Optimized Density Matrix Representations: Improving the Basis for Noise-Aware Quantum Circuit Design Tools
Grurl, T., Fuß, J., & Wille, R. (2023). Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools. 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL).
-
Towards an Automated Framework for Realizing Quantum Computing Solutions
Quetschlich, N., Burgholzer, L., & Wille, R. (2023). Towards an Automated Framework for Realizing Quantum Computing Solutions. 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL).
-
Efficient Implementation of LIMDDs for Quantum Circuit Simulation
Vinkhuijzen, L., Grurl, T., Hillmich, S., Brand, S., Wille, R., Laarman, A. (2023). Efficient Implementation of LIMDDs for Quantum Circuit Simulation. Model Checking Software. SPIN 2023. LNCS 13872. Springer,
-
Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction
Grurl, T., Pichler, C., Fuß, J., & Wille, R. (2023). Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction. 2023 36th International Conference on VLSI Design and 2023 22nd International Conference on Embedded Systems (VLSID).
-
Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept
Artner, M., Wallner, G., & Wille, R. (2023). Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept. Proceedings of the 18th International Conference on the Foundations of Digital Games.
-
Detection of Sensor-To-Sensor Variations using Explainable AI
Seifi, S., Schober, S. A., Carbonelli, C., Servadei, L., & Wille, R. (2023). Detection of Sensor-to-Sensor Variations Using Explainable AI. 2023 Smart Systems Integration Conference and Exhibition (SSI).
-
MQT QMAP: Efficient Quantum Circuit Mapping
Wille, R., & Burgholzer, L. (2023). MQT QMAP. Proceedings of the 2023 International Symposium on Physical Design.
-
A SAT Encoding for Optimal Clifford Circuit Synthesis
Schneider, S., Burgholzer, L., & Wille, R. (2023). A SAT Encoding for Optimal Clifford Circuit Synthesis. Proceedings of the 28th Asia and South Pacific Design Automation Conference.
-
Compilation of Entangling Gates for High-Dimensional Quantum Systems
Mato, K., Ringbauer, M., Hillmich, S., and Wille, R. (2023). Compilation of Entangling Gates for High-Dimensional Quantum Systems. In: Asia and South Pacific Design Automation Conference (ASPDAC). ACM.
-
Decision Diagrams for Quantum Computing
Wille, R., Hillmich, S., & Burgholzer, L. (2023). Decision Diagrams for Quantum Computing. In: Rasit O. Topaloglu (Ed.), Design Automation of Quantum Computers. Springer, 2023.
-
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
Peham, T., Burgholzer, L., & Wille, R. (2023). Equivalence Checking of Parameterized Quantum Circuits. Proceedings of the 28th Asia and South Pacific Design Automation Conference.
-
Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences
Burgholzer, L., & Wille, R. (2023). Exploiting Reversible Computing for Verification. Proceedings of the 28th Asia and South Pacific Design Automation Conference.
-
Software Tools for Decoding Quantum Low-Density Parity Check Codes
Berent, L., Burgholzer, L., & Wille, R. (2023). Software Tools for Decoding Quantum Low-Density Parity-Check Codes. Proceedings of the 28th Asia and South Pacific Design Automation Conference.
-
2022
-
Approximating Decision Diagrams for Quantum Circuit Simulation.
Hillmich, S., Zulehner, A., Kueng, R., Markov, I. L., & Wille, R. (2022). Approximating Decision Diagrams for Quantum Circuit Simulation. ACM Transactions on Quantum Computing, 3(4), 1–21.
-
Compact High-Performance Vibration Sensor Based on Single-Backplate MEMS Technology
Goswami, S., Bretthauer, C., Bogner, A., Basavanna, A., Anzinger, S., Haubold, M., Lorenz, G., Strasser, J., Weber, D., Servadei, L., & Wille, R. (2022). Compact High-Performance Vibration Sensor Based on Single-Backplate MEMS Technology. 2022 IEEE Sensors.
-
Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots.
Vieira, M. D., Ng, S. S. H., Walter, M., Wille, R., Walus, K., Ferreira, R. S., Neto, O. P. V., & Nacif, J. A. M. (2022). Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots. IEEE Design & Test, 39(6), 147–155.
-
Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking.
Ott, J., Servadei, L., Mauro, G., Stadelmayer, T., Santra, A., & Wille, R. (2022). Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking. International Conference on Machine Learning and Applications (ICMLA).
-
Utilizing Explainable AI for improving the Performance of Neural Networks.
Sun, Huawei, Servadei, Lorenzo, Feng, Hao, Stephan, Michael, Wille, Robert, & Santra, Avik. (2022). Utilizing Explainable AI for improving the Performance of Neural Networks (Version 1). arXiv.
-
MMFT Droplet Simulator: Efficient Simulation of Droplet-based Mocrofluidic Devices
Fink, G., Costamoling, F., & Wille, R. (2022). MMFT Droplet Simulator: Efficient Simulation of Droplet-based Microfluidic Devices. Software Impacts, 14, 100440.
-
Adaptive Compilation Mulit-Level Quantum Operations
Mato, K., Ringbauer, M., Hillmich, S., & Wille, R. (2022). Adaptive Compilation of Multi-Level Quantum Operations. 2022 IEEE International Conference on Quantum Computing and Engineering (QCE).
-
Simulation Paths for Quantum Circuit Simulation with Decision Diagrams
Burgholzer, L., Ploier, A., & Wille, R. (2023). Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42(4), 1113–1122.
-
Twenty Years of Successful Translational Research - A Case Study of Three COMET Centers
Bühler, K., Travniceck, C., Nowak, V., Weippl, E., Fischer, L., Ramler, R., & Wille, R. (2022). Twenty Years of Successful Translational Research: A Case Study of Three COMET Centers. Database and Expert Systems Applications - DEXA 2022 Workshops, 155–166.
-
Characteristics of Reversible Circuits for Error Detection
Burgholzer, L., Wille, R., & Kueng, R. (2022). Characteristics of reversible circuits for error detection. Array, 14, 100165.
-
Equivalence checking paradigms in quantum circuit design: A case study.
Peham, T., Burgholzer, L., & Wille, R. (2022). Equivalence checking paradigms in quantum circuit design. Proceedings of the 59th ACM/IEEE Design Automation Conference.
-
Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study
Takken, M., & Wille, R. (2022). Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study. Sensors, 22(14), 5392.
-
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, ans ZX-Calculus.
Wille, R., Burgholzer, L., Hillmich, S., Grurl, T., Ploier, A., & Peham, T. (2022). The basis of design tools for quantum computing. Proceedings of the 59th ACM/IEEE Design Automation Conference.
-
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond.
Berent, Lucas, Burgholzer, Lukas, & Wille, Robert. (2022). Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. Schloss Dagstuhl - Leibniz-Zentrum Für Informatik.
-
Channel Routing for Microfluidic Devices: A Comprehensive and Accessible Design Tool.
Ebner, P., Fink, G., & Wille, R. (2023). Channel Routing for Microfluidic Devices: A Comprehensive and Accessible Design Tool. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42(2), 533–543.
-
Handling Non-Unitaries in Quantum Circuit Equivalence Checking.
Burgholzer, L., & Wille, R. (2022). Handling non-unitaries in quantum circuit equivalence checking. Proceedings of the 59th ACM/IEEE Design Automation Conference.
-
Noise-aware Quantum Circuit Simulation With Decision Diagrams.
Grurl, T., Fus, J., & Wille, R. (2023). Noise-Aware Quantum Circuit Simulation With Decision Diagrams. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42(3), 860–873.
-
A Comprehensive Survey on Electronic Design Automation and Graph Neural Networks: Theory and Applications. Transactions on Design Automation of Electronic Systems (TODAES).
Sánchez, D., Servadei, L., Kiprit, G. N., Wille, R., & Ecker, W. (2023). A Comprehensive Survey on Electronic Design Automation and Graph Neural Networks: Theory and Applications. ACM Transactions on Design Automation of Electronic Systems, 28(2), 1–27.
-
Model-Driven Engineering of Safety and Security Software Systems: A Systematic Mapping Study and Future Research Directions.
Mashkoor, A., Egyed, A., Wille, R., & Stock, S. (2022). Model‐driven engineering of safety and security software systems: A systematic mapping study and future research directions. Journal of Software: Evolution and Process. Portico.
-
Design Automation for Continuous-Flow Lab-on-a-Chip Systems: A One-Pass Paradigm.
Huang, X., Pan, Y., Chen, Z., Guo, W., Wang, L., Li, Q., Wille, R., Ho, T.-Y., & Schlichtmann, U. (2023). Design Automation for Continuous-Flow Lab-on-a-Chip Systems: A One-Pass Paradigm. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42(1), 327–331.
-
Neural Network Robustness Analysis Using Sensor Simulations for a Graphene-Based Semiconductor Gas Sensor
Schober, S. A., Bahri, Y., Carbonelli, C., & Wille, R. (2022). Neural Network Robustness Analysis Using Sensor Simulations for a Graphene-Based Semiconductor Gas Sensor. Chemosensors, 10(5), 152.
-
Automatic Design of Microfluidic Gradient Generators.
Fink, G., Mitteramskogler, T., Hintermuller, M. A., Jakoby, B., & Wille, R. (2022). Automatic Design of Microfluidic Gradient Generators. IEEE Access, 10, 28155–28164.
-
Comprehensive and Accessible Channel Routing for Microfluidic Devices
Fink, G., Ebner, P., & Wille, R. (2022). Comprehensive and Accessible Channel Routing for Microfluidic Devices. 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE).
-
Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams
Burgholzer, L., Ploier, A., & Wille, R. (2022). Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE).
-
Clinical data classification with noisy intermediate scale quantum computers.
Moradi, S., Brandner, C., Spielvogel, C., Krajnc, D., Hillmich, S., Wille, R., Drexler, W., & Papp, L. (2022). Clinical data classification with noisy intermediate scale quantum computers. Scientific Reports, 12(1).
-
Tools for Quantum Computing Based on Decision Diagrams
Wille, R., Hillmich, S., & Burgholzer, L. (2022). Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing, 3(3), 1–17.
-
A Generic Sample Preparation Approach for Different Microfluidic Labs-on-Chips
Poddar, S., Fink, G., Haselmayr, W., & Wille, R. (2022). A Generic Sample Preparation Approach for Different Microfluidic Labs-on-Chips. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(11), 4612–4625.
-
Deep Reinforcement Learning for Optimization at Early Design Stages.
Servadei, L., Lee, J. H., Arjona Medina, J. A., Werner, M., Hochreiter, S., Ecker, W., & Wille, R. (2023). Deep Reinforcement Learning for Optimization at Early Design Stages. IEEE Design & Test, 40(1), 43–51.
-
Design Automation for Field-coupled Nanotechnologies.
Walter, M., Wille, R., Sill Torres, F., & Drechsler, R. (2022). Design Automation for Field-coupled Nanotechnologies.
-
Improving the Robustness of Microfluidic Networks
Fink, G., Ebner, P., Poddar, S., & Wille, R. (2022). Improving the Robustness of Microfluidic Networks. 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC).
-
Limiting the Search Space in Optimal Quantum Circuit Mapping
Burgholzer, L., Schneider, S., & Wille, R. (2022). Limiting the Search Space in Optimal Quantum Circuit Mapping. 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC).
-
2021
-
BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems
Huang, X., Pan, Y., Chen, Z., Guo, W., Wille, R., Ho, T.-Y., & Schlichtmann, U. (2021). BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems. 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD).
-
Decision Diagrams for Quantum Measurements with Shallow Circuits
Hillmich, S., Hadfield, C., Raymond, R., Mezzacapo, A., & Wille, R. (2021). Decision Diagrams for Quantum Measurements with Shallow Circuits. 2021 IEEE International Conference on Quantum Computing and Engineering (QCE).
-
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams
Burgholzer, L., Bauer, H., & Wille, R. (2021). Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. 2021 IEEE International Conference on Quantum Computing and Engineering (QCE).
-
Practical Assessment of Payload- Header Switching in Microfluidic Networks
Hamidović, M., Fink, G., Wille, R., Springer, A., & Haselmayr, W. (2021). Practical Assessment of Payload- Header Switching in Microfluidic Networks. Proceedings of the Eight Annual ACM International Conference on Nanoscale Computing and Communication.
-
Quantum k-community detection: Algorithm proposals and cross-architectural evaluation
Gemeinhardt, F. G., Wille, R., & Wimmer, M. (2021). Quantum k-community detection: algorithm proposals and cross-architectural evaluation. Quantum Information Processing, 20(9).
-
Towards a Stochastic Drift Simulation Model for Graphene-Based Gas Sensors
Schober, S. A., Carbonelli, C., Roth, A., Zoepfl, A., Travan, C., & Wille, R. (2022). Toward a Stochastic Drift Simulation Model for Graphene-Based Gas Sensors. IEEE Sensors Journal, 22(12), 11307–11316.
-
Accurate and Robust Malware Detection: Running XGBoost on Run-Time Data from Performance Counters
Elnaggar, R., Servadei, L., Mathur, S., Wille, R., Ecker, W., & Chakrabarty, K. (2022). Accurate and Robust Malware Detection: Running XGBoost on Runtime Data From Performance Counters. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(7), 2066–2079.
-
As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation
Hillmich, S., Kueng, R., Markov, I. L., & Wille, R. (2021). As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
-
Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures
Keszocze, O., Mohammadzadeh, N., & Wille, R. (2021). Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
-
Generic Sample Preparation for Different Microfluidic Platforms
Poddar, S., Fink, G., Haselmayr, W., & Wille, R. (2021). Generic Sample Preparation for Different Microfluidic Platforms. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
-
Stochastic Quantum Circuit Simulation Using Decision Diagrams
Grurl, T., Kueng, R., FuB, J., & Wille, R. (2021). Stochastic Quantum Circuit Simulation Using Decision Diagrams. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
-
Towards Automatic Design and Verification for Level 3 of the European Train Control System
Wille, R., Peham, T., Przigoda, J., & Przigoda, N. (2021). Towards Automatic Design and Verification for Level 3 of the European Train Control System. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
-
Visualizing Decision Diagrams for Quantum Computing
Wille, R., Burgholzer, L., & Artner, M. (2021). Visualizing Decision Diagrams for Quantum Computing (Special Session Summary). 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
-
Efficient Construction of Functional Representations for Quantum Algorithms
Burgholzer, L., Raymond, R., Sengupta, I., & Wille, R. (2021). Efficient Construction of Functional Representations for Quantum Algorithms. Lecture Notes in Computer Science, 227–241.
-
Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams
Grurl, T., Fub, J., & Wille, R. (2021). Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams. 2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL).
-
Simulating Defects in Environmental Sensor Networks Using Stochastic Sensor Models
Schober, S. A., Carbonelli, C., & Wille, R. (2021). Simulating Defects in Environmental Sensor Networks Using Stochastic Sensor Models. The 8th International Symposium on Sensor Science.
-
Efficient One-Pass Synthesis for Digital Microfluidic Biochips
Mohammadzadeh, N., Wille, R., & Keszocze, O. (2021). Efficient One-pass Synthesis for Digital Microfluidic Biochips. ACM Transactions on Design Automation of Electronic Systems, 26(4), 1–21.
-
SMT-Based Placement for System-on-Chip Design
Pointner, S., Wenzek, S., & Wille, R. (2021). SMT-Based Placement for System-on-Chip Design. 2021 IEEE International Symposium on Circuits and Systems (ISCAS).
-
Performance Aspects of Correctness-oriented Synthesis Flows
Bornebusch, F., Lüth, C., Wille, R., & Drechsler, R. (2021). Performance Aspects of Correctness-oriented Synthesis Flows. Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development.
-
QCEC: A JKQ Tool for Quantum Circuit Equivalence Checking
Burgholzer, L., & Wille, R. (2021). QCEC: A JKQ tool for quantum circuit equivalence checking. Software Impacts, 7, 100051.
-
Accurate and Efficient Simulation of Microfluidic Networks
Fink, G., Ebner, P., Hamidović, M., Haselmayr, W., & Wille, R. (2021). Accurate and Efficient Simulation of Microfluidic Networks. Proceedings of the 26th Asia and South Pacific Design Automation Conference.
-
Exploiting Quantum Teleportation in Quantum Circuit Mapping
Hillmich, S., Zulehner, A., & Wille, R. (2021). Exploiting Quantum Teleportation in Quantum Circuit Mapping. Proceedings of the 26th Asia and South Pacific Design Automation Conference.
-
One-Pass Synthesis for Field-coupled Nanocomputing Technologies
Walter, M., Haaswijk, W., Wille, R., Torres, F. S., & Drechsler, R. (2021). One-pass Synthesis for Field-coupled Nanocomputing Technologies. Proceedings of the 26th Asia and South Pacific Design Automation Conference.
-
Random Stimuli Generation for the Verification of Quantum Circuits
Burgholzer, L., Kueng, R., & Wille, R. (2021). Random Stimuli Generation for the Verification of Quantum Circuits. Proceedings of the 26th Asia and South Pacific Design Automation Conference.
-
2020
-
Automatic compiler optimization on embedded software through k-means clustering
Werner, M., Servadei, L., Wille, R., & Ecker, W. (2020). Automatic compiler optimization on embedded software through k-means clustering. Proceedings of the 2020 ACM/IEEE Workshop on Machine Learning for CAD.
-
Considering decoherence errors in the simulation of quantum circuits using decision diagrams
Grurl, T., Fuß, J., & Wille, R. (2020). Considering decoherence errors in the simulation of quantum circuits using decision diagrams. Proceedings of the 39th International Conference on Computer-Aided Design.
-
Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning
Servadei, L., Zheng, J., Arjona-Medina, J., Werner, M., Esen, V., Hochreiter, S., Ecker, W., & Wille, R. (2020). Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning. Proceedings of the 2020 ACM/IEEE Workshop on Machine Learning for CAD.
-
JKQ: JKU tools for quantum computing
Wille, R., Hillmich, S., & Burgholzer, L. (2020). JKQ. Proceedings of the 39th International Conference on Computer-Aided Design.
-
Verifying results of the IBM Qiskit quantum circuit compilation flow
Burgholzer, L., Raymond, R., & Wille, R. (2020). Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. 2020 IEEE International Conference on Quantum Computing and Engineering (QCE).
-
Advanced Equivalence Checking for Quantum Circuits
Burgholzer, L., & Wille, R. (2021). Advanced Equivalence Checking for Quantum Circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 40(9), 1810–1824.
-
Exploring the Potential Benefits of Alternative Quantum Computing Architectures
Deb, A., Dueck, G. W., & Wille, R. (2021). Exploring the Potential Benefits of Alternative Quantum Computing Architectures. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 40(9), 1825–1835.
-
Towards drift modeling of graphene-based gas sensors using stochastic simulation techniques
Schober, S. A., Carbonelli, C., Roth, A., Zoepfl, A., & Wille, R. (2020). Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques. 2020 IEEE SENSORS.
-
(Semi)automatic translation of legal regulations to formal representations: Expanding the horizon of EDA applications
Keszocze, O., Keiner, B., Richter, M., Antpöhler, G., & Wille, R. (2020). (Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications. Natural Language Processing for Electronic Design Automation, 1–11.
-
Cost estimation for configurable model-driven SoC designs using machine learning
Servadei, L., Mosca, E., Devarajegowda, K., Werner, M., Ecker, W., & Wille, R. (2020). Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning. Proceedings of the 2020 on Great Lakes Symposium on VLSI.
-
YASSi: Yet Another Symbolic Simulator Large (Tool Demo)
Pointner, S., Gonzalez-de-Aledo, P., & Wille, R. (2020). YASSi: Yet Another Symbolic Simulator Large (Tool Demo). Database and Expert Systems Applications, 25–31.
-
Advanced exact synthesis of Clifford+T Circuits
Niemann, P., Wille, R., & Drechsler, R. (2020). Advanced exact synthesis of Clifford+T circuits. Quantum Information Processing, 19(9).
-
ToPoliNano and fiction: Design tools for field-coupled nanocomputing
Garlando, U., Walter, M., Wille, R., Riente, F., Torres, F. S., & Drechsler, R. (2020). ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing. 2020 23rd Euromicro Conference on Digital System Design (DSD).
-
Bail on balancing: An alternative approach to the physical design of field-coupled nanocomputing circuits
Walter, M., Wille, R., Sill Torres, F., & Drechsler, R. (2020). Bail on Balancing: An Alternative Approach to the Physical Design of Field-Coupled Nanocomputing Circuits. 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
-
SAT-based exact physical design for field-coupled nanocomputing technologies
Walter, M., Haaswijk, W., Wille, R., Sill Torres, F., & Drechsler, R. (2020) SAT-based exact physical design for field-coupled nanocomputing technologies. IWLS 2020 - 29th International Workshop on Logic & Synthesis co-located with IEEE/ACM Design Automation Conference, San Francisco, CA, USA, July 18-19, 2020.