Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

We've just launched a new service: our brand new dblp SPARQL query service. Read more about it in our latest blog post or try out some of the SPARQL queries linked on the dblp web pages below.

default search action

combined dblp search
author search
venue search
publication search

ask others

Robert Wille

> Home > Persons

Person information

affiliation: Technical University of Munich, Germany
affiliation (former): Johannes Kepler University Linz, Austria
affiliation (former): University of Bremen, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j103]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/FuscoZHSW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/FuscoZHSW25
Alessandra Fusco, Zain Amir Zaman, Souvik Hazra, Lorenzo Servadei, Robert Wille:
Enhancing FMCW Radar Gesture Classification With Physically Interpretable Data Augmentation. IEEE Access 13: 60556-60569 (2025)
[j102]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jossw/BurgholzerSPW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jossw/BurgholzerSPW25
Lukas Burgholzer, Yannick Stade, Tom Peham, Robert Wille:
MQT Core: The Backbone of the Munich Quantum Toolkit (MQT). J. Open Source Softw. 10(109): 7478 (2025)
[j101]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/mlst/ChenLWSWWCYL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlst/ChenLWSWWCYL25
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:
Validating large-scale quantum machine learning: efficient simulation of quantum support vector machines using tensor networks. Mach. Learn. Sci. Technol. 6(1): 15047 (2025)
[c385]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/KruseCRWL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/KruseCRWL25
Georg Kruse, Rodrigo Coelho, Andreas Rosskopf, Robert Wille, Jeanette Miriam Lorenz:
Benchmarking Quantum Reinforcement Learning. ICAART (1) 2025: 773-782
[c384]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/DraganKWL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/DraganKWL25
Theodora-Augustina Dragan, Alexander Künzner, Robert Wille, Jeanette Miriam Lorenz:
Continuous Quantum Reinforcement Learning for Robot Navigation. ICAART (1) 2025: 807-814
[c383]
- view
  authority control:
- export record
  dblp key:
  - conf/lascas/HofmannWW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lascas/HofmannWW25
Simon Toni Hofmann, Marcel Walter, Robert Wille:
Physical Design for Field-coupled Nanocomputing with Discretionary Cost Objectives. LASCAS 2025: 1-5
[c382]
- view
  authority control:
- export record
  dblp key:
  - conf/se/SchmidLRBZMW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/SchmidLRBZMW25
Ludwig Schmid, David F. Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille:
Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts. Software Engineering Companion 2025: 21
[c381]
- view
  authority control:
- export record
  dblp key:
  - conf/wacv/SunWFOSW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wacv/SunWFOSW25
Huawei Sun, Zixu Wang, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille:
GET-UP: GEomeTric-aware Depth Estimation with Radar Points UPsampling. WACV 2025: 1850-1860
[i89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-10266
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-10266
Xiangyuan Peng, Huawei Sun, Kay Bierzynski, Anton Fischbacher, Lorenzo Servadei, Robert Wille:
MutualForce: Mutual-Aware Enhancement for 4D Radar-LiDAR 3D Object Detection. CoRR abs/2501.10266 (2025)
[i88]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-15528
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-15528
Sarah Seifi, Tobias Sukianto, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille:
Complying with the EU AI Act: Innovations in Explainable and User-Centric Hand Gesture Recognition. CoRR abs/2503.15528 (2025)
[i87]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-24091
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-24091
Xiangyuan Peng, Miao Tang, Huawei Sun, Lorenzo Servadei, Robert Wille:
4D mmWave Radar in Adverse Environments for Autonomous Driving: A Survey. CoRR abs/2503.24091 (2025)
2024
[j100]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/SponnerSWWK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/SponnerSWWK24
Max Sponner, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar:
Leveraging Temporal Patterns: Automated Augmentation to Create Temporal Early Exit Networks for Efficient Edge AI. IEEE Access 12: 169787-169804 (2024)
[j99]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/quantum/BerentBDEW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/quantum/BerentBDEW24
Lucas Berent, Lukas Burgholzer, Peter-Jan H. S. Derks, Jens Eisert, Robert Wille:
Decoding quantum color codes with MaxSAT. Quantum 8: 1506 (2024)
[j98]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/SerajehhassaniSRPWS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/SerajehhassaniSRPWS24
Fatemeh Serajeh-hassani, Mohammad Sadrosadati, Nezam Rohbani, Sebastian Pointner, Robert Wille, Hamid Sarbazi-Azad:
An Efficient FPGA Architecture with Turn-Restricted Switch Boxes. ACM Trans. Design Autom. Electr. Syst. 29(3): 42:1-42:18 (2024)
[c380]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/SchoenbergerHBW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/SchoenbergerHBW24
Daniel Schönberger, Stefan Hillmich, Matthias Brandl, Robert Wille:
Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers. ASPDAC 2024: 127-133
[c379]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/DrewniokWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/DrewniokWW24
Jan Drewniok, Marcel Walter, Robert Wille:
The Need for Speed: Efficient Exact Simulation of Silicon Dangling Bond Logic. ASPDAC 2024: 576-581
[c378]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/atmos/EngelsW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atmos/EngelsW24
Stefan Engels, Robert Wille:
Towards an Optimization Pipeline for the Design of Train Control Systems with Hybrid Train Detection (Short Paper). ATMOS 2024: 12:1-12:6
[c377]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/MatoHW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/MatoHW24
Kevin Mato, Stefan Hillmich, Robert Wille:
Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams. DAC 2024: 50:1-50:6
[c376]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/FuWH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/FuWH24
Rongliang Fu, Robert Wille, Tsung-Yi Ho:
RCGP: An Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits based on Efficient Cartesian Genetic Programming. DAC 2024: 219:1-219:6
[c375]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/SchmidPW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/SchmidPW24
Ludwig Schmid, Sunghye Park, Robert Wille:
Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers. DAC 2024: 267:1-267:6
[c374]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HofmannWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HofmannWW24
Simon Toni Hofmann, Marcel Walter, Robert Wille:
Late Breaking Results: Wiring Reduction for Field-coupled Nanotechnologies. DAC 2024: 342:1-342:2
[c373]
- view
  authority control:
- export record
  dblp key:
  - conf/date/AlmudeverWSHA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/AlmudeverWSHA24
Carmen G. Almudéver, Robert Wille, Fabio Sebastiano, Nadia Haider, Eduard Alarcón:
From Designing Quantum Processors to Large-Scale Quantum Computing Systems. DATE 2024: 1-10
[c372]
- view
  authority control:
- export record
  dblp key:
  - conf/date/EmmerichEW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/EmmerichEW24
Maria Emmerich, Philipp Ebner, Robert Wille:
Design Automation for Organs-on-Chip. DATE 2024: 1-6
[c371]
- view
  authority control:
- export record
  dblp key:
  - conf/date/EngelsW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/EngelsW24
Stefan Engels, Robert Wille:
Late Breaking Results: Iterative Design Automation for Train Control with Hybrid Train Detection. DATE 2024: 1-2
[c370]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HofmannWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HofmannWW24
Simon Toni Hofmann, Marcel Walter, Robert Wille:
MNT Bench: Benchmarking Software and Layout Libraries for Field-Coupled Nanocomputing. DATE 2024: 1-2
[c369]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SchonbergerHBW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SchonbergerHBW24
Daniel Schönberger, Stefan Hillmich, Matthias Brandl, Robert Wille:
Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers (Extended Abstract). DATE 2024: 1-2
[c368]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WalterCNWWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WalterCNWWW24
Marcel Walter, Jeremiah Croshaw, Samuel Sze Hang Ng, Konrad Walus, Robert A. Wolkow, Robert Wille:
Towards Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H -Si $(100)-2\times 1$ Surface. DATE 2024: 1-2
[c367]
- view
  authority control:
- export record
  dblp key:
  - conf/date/Wille24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/Wille24
Robert Wille:
Design Automation for Quantum Computing: Intermediate Stage Report of the ERC Consolidator Grant "DAQC". DATE 2024: 1-6
[c366]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fedcsis/EngelsW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/EngelsW24
Stefan Engels, Robert Wille:
Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control. FedCSIS 2024: 585-590
[c365]
- view
  authority control:
- export record
  dblp key:
  - conf/fmec/SponnerSWWK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmec/SponnerSWWK24
Max Sponner, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar:
Harnessing Temporal Information for Efficient Edge AI. FMEC 2024: 5-13
[c364]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/KruseDWL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/KruseDWL24
Georg Kruse, Theodora-Augustina Dragan, Robert Wille, Jeanette Miriam Lorenz:
Variational Quantum Circuit Design for Quantum Reinforcement Learning on Continuous Environments. ICAART (3) 2024: 393-400
[c363]
- view
  authority control:
- export record
  dblp key:
  - conf/icann/PengTSBSW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icann/PengTSBSW24
Xiangyuan Peng, Miao Tang, Huawei Sun, Kay Bierzynski, Lorenzo Servadei, Robert Wille:
MUFASA: Multi-view Fusion and Adaptation Network with Spatial Awareness for Radar Object Detection. ICANN (2) 2024: 168-184
[c362]
- view
  authority control:
- export record
  dblp key:
  - conf/icpp/JiangFBWHH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/JiangFBWHH24
Shui Jiang, Rongliang Fu, Lukas Burgholzer, Robert Wille, Tsung-Yi Ho, Tsung-Wei Huang:
FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagram and Flat Array. ICPP 2024: 388-399
[c361]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeesensors/SlivkoMBSW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeesensors/SlivkoMBSW24
Evgenia Slivko, Gianfranco Mauro, Kay Bierzynski, Lorenzo Servadei, Robert Wille:
Wave Dynamic Time Warping Algorithm for Periodic Signal Similarity Estimation. IEEE SENSORS 2024: 1-4
[c360]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/SunFOSW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/SunFOSW24
Huawei Sun, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille:
CaFNet: A Confidence-Driven Framework for Radar Camera Depth Estimation. IROS 2024: 2734-2740
[c359]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/KunasaikaranMW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/KunasaikaranMW24
Jagatheesan Kunasaikaran, Kevin Mato, Robert Wille:
A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures. ISMVL 2024: 91-96
[c358]
- view
  authority control:
- export record
  dblp key:
  - conf/isqed/HofmannWSW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isqed/HofmannWSW24
Simon Toni Hofmann, Marcel Walter, Lorenzo Servadei, Robert Wille:
Thinking Outside the Clock: Physical Design for Field-coupled Nanocomputing with Deep Reinforcement Learning. ISQED 2024: 1-8
[c357]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/HienWSKPPCAW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/HienWSKPPCAW24
Benjamin Hien, Marcel Walter, Victor M. van Santen, Florian Klemme, Shivendra Singh Parihar, Girish Pahwa, Yogesh Singh Chauhan, Hussam Amrouch, Robert Wille:
Technology Mapping for Cryogenic CMOS Circuits. ISVLSI 2024: 272-277
[c356]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/EbnerW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/EbnerW24
Philipp Ebner, Robert Wille:
Automatic Validation and Design of Microfluidic Devices Following the ISO 22916 Standard. ISVLSI 2024: 278-283
[c355]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/SunFMOSSW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/SunFMOSSW24
Huawei Sun, Hao Feng, Gianfranco Mauro, Julius Ott, Georg Stettinger, Lorenzo Servadei, Robert Wille:
Enhanced Radar Perception via Multi-Task Learning: Towards Refined Data for Sensor Fusion Applications. IV 2024: 3179-3184
[c354]
- view
  authority control:
- export record
  dblp key:
  - conf/profes/BrucknerFRWH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/profes/BrucknerFRWH24
S. Bruckner, Flavio Ferrarotti, Rudolf Ramler, Robert Wille, Stefan Hillmich:
Towards Solving Short-Term Generation Scheduling Problems on Quantum Computers. PROFES (Industry-, Workshop-, and Doctoral Symposium Papers) 2024: 164-170
[c353]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/QuetschlichSMW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/QuetschlichSMW24
Nils Quetschlich, Mathias Soeken, Prakash Murali, Robert Wille:
Utilizing Resource Estimation for the Development of Quantum Computing Applications. QCE 2024: 232-238
[c352]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/QuetschlichFOHW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/QuetschlichFOHW24
Nils Quetschlich, Tobias Forster, Adrian Osterwind, Domenik Helms, Robert Wille:
Towards Equivalence Checking of Classical Circuits Using Quantum Computing. QCE 2024: 268-274
[c351]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/XuCW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/XuCW24
Xiaotian Xu, Kuan-Cheng Chen, Robert Wille:
HamilToniQ: An Open-Source Benchmark Toolkit for Quantum Computers. QCE 2024: 518-519
[c350]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/WilleSSESSB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/WilleSSESSB24
Robert Wille, Ludwig Schmid, Yannick Stade, Jorge Echavarria, Martin Schulz, Laura Brandon Schulz, Lukas Burgholzer:
QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack. QCE 2024: 573-574
[c349]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/StadeSBW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/StadeSBW24
Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille:
An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. QCE 2024: 784-795
[c348]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/VolpeQGTW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/VolpeQGTW24
Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille:
A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem. QCE 2024: 1014-1025
[c347]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/SchonbergerHBW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/SchonbergerHBW24
Daniel Schönberger, Stefan Hillmich, Matthias Brandl, Robert Wille:
Using Compiler Frameworks for the Evaluation of Hardware Design Choices in Trapped-Ion Quantum Computers. QCE 2024: 1102-1108
[c346]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/KruseCRWL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/KruseCRWL24
Georg Kruse, Rodrigo Coelho, Andreas Rosskopf, Robert Wille, Jeanette Miriam Lorenz:
Hamiltonian-Based Quantum Reinforcement Learning for Neural Combinatorial Optimization. QCE 2024: 1617-1627
[c345]
- view
  authority control:
- export record
  dblp key:
  - conf/qsw/WilleBFKMPQRSSSSB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsw/WilleBFKMPQRSSSSB24
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:
The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing. QSW 2024: 1-8
[c344]
- view
  authority control:
- export record
  dblp key:
  - conf/qsw/VolpeQGTW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsw/VolpeQGTW24
Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille:
Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers. QSW 2024: 46-57
[c343]
- view
  authority control:
- export record
  dblp key:
  - conf/qsw/QuetschlichKWRBLW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsw/QuetschlichKWRBLW24
Nils Quetschlich, Florian J. Kiwit, Maximilian A. Wolf, Carlos A. Riofrío, Lukas Burgholzer, André Luckow, Robert Wille:
Towards Application-Aware Quantum Circuit Compilation. QSW 2024: 135-142
[c342]
- view
  authority control:
- export record
  dblp key:
  - conf/qsw/SanderFBW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsw/SanderFBW24
Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer, Robert Wille:
Stripping Quantum Decision Diagrams of their Identity. QSW 2024: 168-174
[c341]
- view
  authority control:
- export record
  dblp key:
  - conf/samos/SponnerSWWK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/samos/SponnerSWWK24
Max Sponner, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar:
Efficient Post-training Augmentation for Adaptive Inference in Heterogeneous and Distributed IoT Environments. SAMOS 2024: 99-108
[c340]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/KayaEFSHMBWS024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/KayaEFSHMBWS024
Ercüment Kaya, Jorge Echavarria, Muhammad Nufail Farooqi, Aleksandra Swierkowska, Patrick Hopf, Burak Mete, Lukas Burgholzer, Robert Wille, Laura Brandon Schulz, Martin Schulz:
A Software Platform to Support Disaggregated Quantum Accelerators. SC Workshops 2024: 1646-1653
[c339]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/SochorFW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/SochorFW24
Hannes Sochor, Flavio Ferrarotti, Robert Wille:
GrammarForge: Learning Program Input Grammars for Fuzz Testing. SEFM 2024: 272-289
[c338]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/LahiriKMBBSBBWD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/LahiriKMBBSBBWD24
Sneha Lahiri, Megha Kesh, Rupsa Mandal, Anirban Bhattacharjee, Sovan Bhattacharya, Dola Sinha, Chandan Bandyopadhyay, Laxmidhar Biswal, Robert Wille, Rolf Drechsler:
A Dynamic Programming Based Graph Traversal Approach for Efficient Implementation of Nearest Neighbor Architecture in 2D. VLSID 2024: 306-311
[c337]
- view
  authority control:
- export record
  dblp key:
  - conf/xai/SeifiSSCSW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xai/SeifiSSCSW24
Sarah Seifi, Tobias Sukianto, Maximilian Strobel, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille:
XentricAI: A Gesture Sensing Calibration Approach Through Explainable and User-Centric AI. xAI (3) 2024: 232-246
[c336]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-10864
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-10864
Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille, Dieter Kranzlmüller:
Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware. QPL 2024: 96-116
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/2024
Jinjun Xiong, Robert Wille:
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. ACM 2024, ISBN 979-8-4007-1077-3 [contents]
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/10/BerentBDEW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BerentBDEW24
Lucas Berent, Lukas Burgholzer, Peter-Jan H. S. Derks, Jens Eisert, Robert Wille:
Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes. Version 2. Zenodo, 2024 [all versions]
[d7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/HillmannBQEWR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/HillmannBQEWR24
Timo Hillmann, Lucas Berent, Armanda Ottaviano Quintavalle, Jens Eisert, Robert Wille, Joschka Roffe:
Simulation results for "Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes". Zenodo, 2024
[i86]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-07957
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-07957
Max Sponner, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar:
Efficient Post-Training Augmentation for Adaptive Inference in Heterogeneous and Distributed IoT Environments. CoRR abs/2403.07957 (2024)
[i85]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-07958
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-07958
Max Sponner, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar:
Temporal Decisions: Leveraging Temporal Correlation for Efficient Decisions in Early Exit Neural Networks. CoRR abs/2403.07958 (2024)
[i84]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-06165
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-06165
Huawei Sun, Hao Feng, Gianfranco Mauro, Julius Ott, Georg Stettinger, Lorenzo Servadei, Robert Wille:
Enhanced Radar Perception via Multi-Task Learning: Towards Refined Data for Sensor Fusion Applications. CoRR abs/2404.06165 (2024)
[i83]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-13971
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-13971
Xiaotian Xu, Kuan-Cheng Chen, Robert Wille:
HamilToniQ: An Open-Source Benchmark Toolkit for Quantum Computers. CoRR abs/2404.13971 (2024)
[i82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-02630
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-02630
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:
cuTN-QSVM: cuTensorNet-accelerated Quantum Support Vector Machine with cuQuantum SDK. CoRR abs/2405.02630 (2024)
[i81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-07790
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-07790
Georg Kruse, Rodrigo Coehlo, Andreas Rosskopf, Robert Wille, Jeanette Miriam Lorenz:
Hamiltonian-based Quantum Reinforcement Learning for Neural Combinatorial Optimization. CoRR abs/2405.07790 (2024)
[i80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-08068
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-08068
Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille:
An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. CoRR abs/2405.08068 (2024)
[i79]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-17543
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-17543
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:
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing. CoRR abs/2405.17543 (2024)
[i78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-18977
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-18977
Stefan Engels, Robert Wille:
Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control. CoRR abs/2405.18977 (2024)
[i77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-11959
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-11959
Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer, Robert Wille:
Stripping Quantum Decision Diagrams of their Identity. CoRR abs/2406.11959 (2024)
[i76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-12840
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-12840
Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille:
Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers. CoRR abs/2406.12840 (2024)
[i75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-18655
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-18655
Timo Hillmann, Lucas Berent, Armanda Ottaviano Quintavalle, Jens Eisert, Robert Wille, Joschka Roffe:
Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes. CoRR abs/2406.18655 (2024)
[i74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-00697
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-00697
Huawei Sun, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille:
CaFNet: A Confidence-Driven Framework for Radar Camera Depth Estimation. CoRR abs/2407.00697 (2024)
[i73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-00565
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-00565
Xiangyuan Peng, Miao Tang, Huawei Sun, Kay Bierzynski, Lorenzo Servadei, Robert Wille:
MUFASA: Multi-View Fusion and Adaptation Network with Spatial Awareness for Radar Object Detection. CoRR abs/2408.00565 (2024)
[i72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-03613
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-03613
Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille:
A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem. CoRR abs/2408.03613 (2024)
[i71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-11894
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-11894
Tom Peham, Ludwig Schmid, Lucas Berent, Markus Müller, Robert Wille:
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes. CoRR abs/2408.11894 (2024)
[i70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-14539
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-14539
Nils Quetschlich, Tobias Forster, Adrian Osterwind, Domenik Helms, Robert Wille:
Towards Equivalence Checking of Classical Circuits Using Quantum Computing. CoRR abs/2408.14539 (2024)
[i69]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-02720
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-02720
Huawei Sun, Zixu Wang, Hao Feng, Julius Ott, Lorenzo Servadei, Robert Wille:
GET-UP: GEomeTric-aware Depth Estimation with Radar Points UPsampling. CoRR abs/2409.02720 (2024)
[i68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-02854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-02854
Kevin Mato, Martin Ringbauer, Lukas Burgholzer, Robert Wille:
MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing. CoRR abs/2410.02854 (2024)
[i67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-10946
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-10946
Aaron Sander, Lukas Burgholzer, Robert Wille:
Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator. CoRR abs/2410.10946 (2024)
[i66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-12806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-12806
Sarah Seifi, Tobias Sukianto, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille:
Interpretable Rule-Based System for Radar-Based Gesture Sensing: Enhancing Transparency and Personalization in AI. CoRR abs/2410.12806 (2024)
[i65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-09738
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-09738
Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille:
Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. CoRR abs/2411.09738 (2024)
[i64]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-18682
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-18682
Yannick Stade, Lukas Burgholzer, Robert Wille:
Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation. CoRR abs/2411.18682 (2024)
[i63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-16380
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-16380
Huawei Sun, Nastassia Vysotskaya, Tobias Sukianto, Hao Feng, Julius Ott, Xiangyuan Peng, Lorenzo Servadei, Robert Wille:
LiRCDepth: Lightweight Radar-Camera Depth Estimation via Knowledge Distillation and Uncertainty Guidance. CoRR abs/2412.16380 (2024)
2023
[j97]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/apin/MauroMOSWCM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/MauroMOSWCM23
Gianfranco Mauro, Ignacio Martinez-Rodriguez, Julius Ott, Lorenzo Servadei, Robert Wille, Manuel P. Cuéllar, Diego P. Morales-Santos:
Context-adaptable radar-based people counting via few-shot learning. Appl. Intell. 53(21): 25359-25387 (2023)
[j96]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/ServadeiLAWHEW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/ServadeiLAWHEW23
Lorenzo Servadei, Jin Hwa Lee, José Antonio Arjona-Medina, Michael Werner, Sepp Hochreiter, Wolfgang Ecker, Robert Wille:
Deep Reinforcement Learning for Optimization at Early Design Stages. IEEE Des. Test 40(1): 43-51 (2023)
[j95]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/OConnorWPB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/OConnorWPB23
Ian O'Connor, Robert Wille, Andy D. Pimentel, Valeria Bertacco:
Postpandemic Conferences: The DATE 2023 Experience. IEEE Des. Test 40(5): 104-112 (2023)
[j94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/quantum/QuetschlichBW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/quantum/QuetschlichBW23
Nils Quetschlich, Lukas Burgholzer, Robert Wille:
MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. Quantum 7: 1062 (2023)
[j93]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/smr/MashkoorEWS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/MashkoorEWS23
Atif Mashkoor, Alexander Egyed, Robert Wille, Sebastian Stock:
Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions. J. Softw. Evol. Process. 35(7) (2023)
[j92]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/HuangPCGWLWHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/HuangPCGWLWHS23
Xing Huang, Youlin Pan, Zhen Chen, Wenzhong Guo, Lu Wang, Qingshan Li, Robert Wille, Tsung-Yi Ho, Ulf Schlichtmann:
Design Automation for Continuous-Flow Lab-on-a-Chip Systems: A One-Pass Paradigm. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(1): 327-331 (2023)
[j91]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/EbnerFW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/EbnerFW23
Philipp Ebner, Gerold Fink, Robert Wille:
Channel Routing for Microfluidic Devices: A Comprehensive and Accessible Design Tool. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(2): 533-543 (2023)
[j90]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/GrurlFW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/GrurlFW23
Thomas Grurl, Jürgen Fuß, Robert Wille:
Noise-Aware Quantum Circuit Simulation With Decision Diagrams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(3): 860-873 (2023)
[j89]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/BurgholzerPW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/BurgholzerPW23
Lukas Burgholzer, Alexander Ploier, Robert Wille:
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. 42(4): 1113-1122 (2023)
[j88]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/SanchezSKWE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/SanchezSKWE23
Daniela Sánchez, Lorenzo Servadei, Gamze Naz Kiprit, Robert Wille, Wolfgang Ecker:
A Comprehensive Survey on Electronic Design Automation and Graph Neural Networks: Theory and Applications. ACM Trans. Design Autom. Electr. Syst. 28(2): 15:1-15:27 (2023)
[c335]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/SchneiderBW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/SchneiderBW23
Sarah Schneider, Lukas Burgholzer, Robert Wille:
A SAT Encoding for Optimal Clifford Circuit Synthesis. ASP-DAC 2023: 190-195
[c334]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/MatoRHW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/MatoRHW23
Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille:
Compilation of Entangling Gates for High-Dimensional Quantum Systems. ASP-DAC 2023: 202-208
[c333]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/BurgholzerW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/BurgholzerW23
Lukas Burgholzer, Robert Wille:
Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. ASP-DAC 2023: 429-435
[c332]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/PehamBW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/PehamBW23
Tom Peham, Lukas Burgholzer, Robert Wille:
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. ASP-DAC 2023: 702-708
[c331]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/BerentBW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/BerentBW23
Lucas Berent, Lukas Burgholzer, Robert Wille:
Software Tools for Decoding Quantum Low-Density Parity-Check Codes. ASP-DAC 2023: 709-714
[c330]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/atmos/EngelsPW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atmos/EngelsPW23
Stefan Engels, Tom Peham, Robert Wille:
A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. ATMOS 2023: 6:1-6:17
[c329]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/PiazzaRW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PiazzaRW23
Carla Piazza, Riccardo Romanello, Robert Wille:
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. CILC 2023
[c328]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HofmannWSW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HofmannWSW23
Simon Toni Hofmann, Marcel Walter, Lorenzo Servadei, Robert Wille:
Late Breaking Results From Hybrid Design Automation for Field-coupled Nanotechnologies. DAC 2023: 1-2
[c327]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/QuetschlichBW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/QuetschlichBW23
Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Compiler Optimization for Quantum Computing Using Reinforcement Learning. DAC 2023: 1-6
[c326]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/SantenWKPPCWA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/SantenWKPPCWA23
Victor M. van Santen, Marcel Walter, Florian Klemme, Shivendra Singh Parihar, Girish Pahwa, Yogesh Singh Chauhan, Robert Wille, Hussam Amrouch:
Design Automation for Cryogenic CMOS Circuits. DAC 2023: 1-6
[c325]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/FinkCEW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/FinkCEW23
Gerold Fink, Florina Costamoling, Philipp Ebner, Robert Wille:
Efficient Simulation of Droplet Merging in Channel-Based Microfluidic Devices. DSD 2023: 539-544
[c324]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/EbnerW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/EbnerW23
Philipp Ebner, Robert Wille:
CFD for Microfluidics: A Workflow for Setting Up the Simulation of Microfluidic Devices. DSD 2023: 770-775
[c323]
- view
  authority control:
- export record
  dblp key:
  - conf/fdg/ArtnerWW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdg/ArtnerWW23
Michael Artner, Guenter Wallner, Robert Wille:
Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept. FDG 2023: 42:1-42:4
[c322]
- view
  authority control:
- export record
  dblp key:
  - conf/icassp/OttSARMLSSSW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icassp/OttSARMLSSSW23
Julius Ott, Lorenzo Servadei, Jose A. Arjona-Medina, Enrico Rinaldi, Gianfranco Mauro, Daniela Sanchez Lopera, Michael Stephan, Thomas Stadelmayer, Avik Santra, Robert Wille:
MEET: A Monte Carlo Exploration-Exploitation Trade-Off for Buffer Sampling. ICASSP 2023: 1-5
[c321]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeesensors/MitteramskoglerEFWWJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeesensors/MitteramskoglerEFWWJ23
Tina Mitteramskogler, Rafael Ecker, Andreas Fuchsluger, Thomas Wilfinger, Robert Wille, Bernhard Jakoby:
Analysis of Liquid Morphologies in Curved Open Microchannels. SENSORS 2023: 1-4
[c320]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/QuetschlichBW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/QuetschlichBW23
Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Towards an Automated Framework for Realizing Quantum Computing Solutions. ISMVL 2023: 134-140
[c319]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/GrurlFW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/GrurlFW23
Thomas Grurl, Jürgen Fuß, Robert Wille:
Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools. ISMVL 2023: 141-146
[c318]
- view
  authority control:
- export record
  dblp key:
  - conf/ispd/WilleB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispd/WilleB23
Robert Wille, Lukas Burgholzer:
MQT QMAP: Efficient Quantum Circuit Mapping. ISPD 2023: 198-204
[c317]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/WalterHW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/WalterHW23
Marcel Walter, Benjamin Hien, Robert Wille:
Versatile Signal Distribution Networks for Scalable Placement and Routing of Field-coupled Nanocomputing Technologies. ISVLSI 2023: 1-6
[c316]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/SunFSSW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/SunFSSW23
Huawei Sun, Hao Feng, Georg Stettinger, Lorenzo Servadei, Robert Wille:
Multi-Task Cross-Modality Attention-Fusion for 2D Object Detection. ITSC 2023: 3619-3626
[c315]
- view
  authority control:
- export record
  dblp key:
  - conf/metroi/SchoberCW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/metroi/SchoberCW23
Sebastian A. Schober, Cecilia Carbonelli, Robert Wille:
An IoT-Based Anomaly Detection and Identification Approach for Gas Sensor Networks. MetroInd4.0&IoT 2023: 415-420
[c314]
- view
  authority control:
- export record
  dblp key:
  - conf/nanoarch/DrewniokWW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nanoarch/DrewniokWW23
Jan Drewniok, Marcel Walter, Robert Wille:
Minimal Design of SiDB Gates: An Optimal Basis for Circuits Based on Silicon Dangling Bonds. NANOARCH 2023: 5:1-5:6
[c313]
- view
  authority control:
- export record
  dblp key:
  - conf/nanoarch/WalterDNWW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nanoarch/WalterDNWW23
Marcel Walter, Jan Drewniok, Samuel Sze Hang Ng, Konrad Walus, Robert Wille:
Reducing the Complexity of Operational Domain Computation in Silicon Dangling Bond Logic. NANOARCH 2023: 9:1-9:6
[c312]
- view
  authority control:
- export record
  dblp key:
  - conf/nanoarch/HofmannWW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nanoarch/HofmannWW23
Simon Toni Hofmann, Marcel Walter, Robert Wille:
Post-Layout Optimization for Field-coupled Nanotechnologies. NANOARCH 2023: 10:1-10:6
[c311]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/SanderBW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/SanderBW23
Aaron Sander, Lukas Burgholzer, Robert Wille:
Towards Hamiltonian Simulation with Decision Diagrams. QCE 2023: 283-294
[c310]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/SchulzSRW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/SchulzSRW23
Martin Schulz, Laura Brandon Schulz, Martin Ruefenacht, Robert Wille:
Towards the Munich Quantum Software Stack: Enabling Efficient Access and Tool Support for Quantum Computers. QCE 2023: 399-400
[c309]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/QuetschlichKBW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/QuetschlichKBW23
Nils Quetschlich, Vincent Koch, Lukas Burgholzer, Robert Wille:
A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem. QCE 2023: 642-647
[c308]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/QuetschlichBW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/QuetschlichBW23
Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level. QCE 2023: 757-767
[c307]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/PehamBKWB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/PehamBKWB23
Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer:
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. QCE 2023: 802-813
[c306]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/MatoHW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/MatoHW23
Kevin Mato, Stefan Hillmich, Robert Wille:
Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams. QCE 2023: 978-989
[c305]
- view
  authority control:
- export record
  dblp key:
  - conf/qsw/QuetschlichBW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsw/QuetschlichBW23
Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Predicting Good Quantum Circuit Compilation Options. QSW 2023: 43-53
[c304]
- view
  authority control:
- export record
  dblp key:
  - conf/qsw/PoggelQBWL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsw/PoggelQBWL23
Benedikt Poggel, Nils Quetschlich, Lukas Burgholzer, Robert Wille, Jeanette Miriam Lorenz:
Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. QSW 2023: 60-67
[c303]
- view
  authority control:
- export record
  dblp key:
  - conf/qsw/MatoHW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsw/MatoHW23
Kevin Mato, Stefan Hillmich, Robert Wille:
Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems. QSW 2023: 155-161
[c302]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/VinkhuijzenGHBWL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/VinkhuijzenGHBWL23
Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman:
Efficient Implementation of LIMDDs for Quantum Circuit Simulation. SPIN 2023: 3-21
[c301]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/GrurlPFW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/GrurlPFW23
Thomas Grurl, Christoph Pichler, Jürgen Fuß, Robert Wille:
Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction. VLSID 2023: 301-306
[d6]
- view
  authority control:
- export record
  dblp key:
  - data/10/BerentBDEW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BerentBDEW23
Lucas Berent, Lukas Burgholzer, Peter-Jan H. S. Derks, Jens Eisert, Robert Wille:
Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes. Version 1. Zenodo, 2023 [all versions]
[d5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BerentHEWR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BerentHEWR23
Lucas Berent, Timo Hillmann, Jens Eisert, Robert Wille, Joschka Roffe:
Dataset containing raw simulation data for a paper on decoding bosonic quantum LDPC codes. Zenodo, 2023
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/SchmidLBZMWR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/SchmidLBZMWR23
Ludwig Schmid, David F. Locher, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille, Manuel Rispler:
Evaluation data for "Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts". Version 1. Zenodo, 2023 [all versions]
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/SchmidLBZMWR23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/SchmidLBZMWR23a
Ludwig Schmid, David F. Locher, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille, Manuel Rispler:
Evaluation data for "Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts". Version 2. Zenodo, 2023 [all versions]
[i62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-04147
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-04147
Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham:
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus. CoRR abs/2301.04147 (2023)
[i61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-11935
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-11935
Robert Wille, Lukas Burgholzer:
MQT QMAP: Efficient Quantum Circuit Mapping. CoRR abs/2301.11935 (2023)
[i60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-06616
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-06616
Lukas Burgholzer, Alexander Ploier, Robert Wille:
Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation. CoRR abs/2302.06616 (2023)
[i59]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-01674
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-01674
Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer:
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. CoRR abs/2305.01674 (2023)
[i58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-02337
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-02337
Aaron Sander, Lukas Burgholzer, Robert Wille:
Towards Hamiltonian Simulation with Decision Diagrams. CoRR abs/2305.02337 (2023)
[i57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-07052
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-07052
Jagatheesan Kunasaikaran, Kevin Mato, Robert Wille:
A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures. CoRR abs/2305.07052 (2023)
[i56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-10850
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-10850
Sarah Seifi, Sebastian A. Schober, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille:
Detection of Sensor-To-Sensor Variations using Explainable AI. CoRR abs/2306.10850 (2023)
[i55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-08339
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-08339
Huawei Sun, Hao Feng, Georg Stettinger, Lorenzo Servadei, Robert Wille:
Multi-Task Cross-Modality Attention-Fusion for 2D Object Detection. CoRR abs/2307.08339 (2023)
[i54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-02572
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-02572
Stefan Engels, Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille:
Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System. CoRR abs/2308.02572 (2023)
[i53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-05686
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-05686
Max Sponner, Julius Ott, Lorenzo Servadei, Bernd Waschneck, Robert Wille, Akash Kumar:
Temporal Patience: Efficient Adaptive Deep Learning for Embedded Radar Data Processing. CoRR abs/2309.05686 (2023)
[i52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-08656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-08656
Ludwig Schmid, David F. Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille:
Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts. CoRR abs/2309.08656 (2023)
[i51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-05557
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-05557
Michel Takken, Robert Wille:
Accelerating CFD Simulations of Microfluidic Devices by Exploiting Higher Levels of Abstraction. CoRR abs/2310.05557 (2023)
[i50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-01328
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-01328
Lucas Berent, Timo Hillmann, Jens Eisert, Robert Wille, Joschka Roffe:
Analog information decoding of bosonic quantum LDPC codes. CoRR abs/2311.01328 (2023)
[i49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-12042
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-12042
Marcel Walter, Jeremiah Croshaw, Samuel Sze Hang Ng, Konrad Walus, Robert A. Wolkow, Robert Wille:
Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H-Si(100)2x1 Surface. CoRR abs/2311.12042 (2023)
[i48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-14164
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-14164
Ludwig Schmid, Sunghye Park, Seokhyeong Kang, Robert Wille:
Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers. CoRR abs/2311.14164 (2023)
2022
[j87]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/FinkMHJW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/FinkMHJW22
Gerold Fink, Tina Mitteramskogler, Marcus A. Hintermüller, Bernhard Jakoby, Robert Wille:
Automatic Design of Microfluidic Gradient Generators. IEEE Access 10: 28155-28164 (2022)
[j86]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/array/BurgholzerWK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/array/BurgholzerWK22
Lukas Burgholzer, Robert Wille, Richard Kueng:
Characteristics of reversible circuits for error detection. Array 14: 100165 (2022)
[j85]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/VieiraNWWW0NN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/VieiraNWWW0NN22
Maria D. Vieira, Samuel S. H. Ng, Marcel Walter, Robert Wille, Konrad Walus, Ricardo S. Ferreira, Omar P. Vilela Neto, José Augusto Miranda Nacif:
Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots. IEEE Des. Test 39(6): 147-155 (2022)
[j84]
- view
  authority control:
- export record
  dblp key:
  - journals/esticas/PehamBW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esticas/PehamBW22
Tom Peham, Lukas Burgholzer, Robert Wille:
Equivalence Checking of Quantum Circuits With the ZX-Calculus. IEEE J. Emerg. Sel. Topics Circuits Syst. 12(3): 662-675 (2022)
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/WilleD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/WilleD22
Robert Wille, Rolf Drechsler:
Introduction to the Special Issue on Design Automation for Quantum Computing. ACM J. Emerg. Technol. Comput. Syst. 18(1): 10:1-10:2 (2022)
[j82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/TakkenW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/TakkenW22
Michel Takken, Robert Wille:
Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study. Sensors 22(14): 5392 (2022)
[j81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/simpa/FinkCW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpa/FinkCW22
Gerold Fink, Florina Costamoling, Robert Wille:
MMFT Droplet Simulator: Efficient Simulation of Droplet-based Microfluidic Devices. Softw. Impacts 14: 100440 (2022)
[j80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/simpa/AdarshBMW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpa/AdarshBMW22
Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille:
SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Softw. Impacts 14: 100451 (2022)
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ElnaggarSMWEC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ElnaggarSMWEC22
Rana Elnaggar, Lorenzo Servadei, Shubham Mathur, Robert Wille, Wolfgang Ecker, Krishnendu Chakrabarty:
Accurate and Robust Malware Detection: Running XGBoost on Runtime Data From Performance Counters. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(7): 2066-2079 (2022)
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/PoddarFHW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/PoddarFHW22
Sudip Poddar, Gerold Fink, Werner Haselmayr, Robert Wille:
A Generic Sample Preparation Approach for Different Microfluidic Labs-on-Chips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4612-4625 (2022)
[c300]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/FinkEPW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/FinkEPW22
Gerold Fink, Philipp Ebner, Sudip Poddar, Robert Wille:
Improving the Robustness of Microfluidic Networks. ASP-DAC 2022: 68-73
[c299]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/BurgholzerSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/BurgholzerSW22
Lukas Burgholzer, Sarah Schneider, Robert Wille:
Limiting the Search Space in Optimal Quantum Circuit Mapping. ASP-DAC 2022: 466-471
[c298]
- view
  authority control:
- export record
  dblp key:
  - conf/civemsa/SchoberCW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/civemsa/SchoberCW22
Sebastian A. Schober, Cecilia Carbonelli, Robert Wille:
Gas Discrimination Analysis of Neural Network Algorithms for a Graphene-Based Electronic Nose. CIVEMSA 2022: 1-6
[c297]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/PehamBW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/PehamBW22
Tom Peham, Lukas Burgholzer, Robert Wille:
Equivalence checking paradigms in quantum circuit design: a case study. DAC 2022: 517-522
[c296]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/BurgholzerW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/BurgholzerW22
Lukas Burgholzer, Robert Wille:
Handling non-unitaries in quantum circuit equivalence checking. DAC 2022: 529-534
[c295]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/WalterNWW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/WalterNWW22
Marcel Walter, Samuel Sze Hang Ng, Konrad Walus, Robert Wille:
Hexagons are the bestagons: design automation for silicon dangling bond logic. DAC 2022: 739-744
[c294]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/WilleBHGPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/WilleBHGPP22
Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham:
The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus. DAC 2022: 1367-1370
[c293]
- view
  authority control:
- export record
  dblp key:
  - conf/date/FinkEW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/FinkEW22
Gerold Fink, Philipp Ebner, Robert Wille:
Comprehensive and Accessible Channel Routing for Microfluidic Devices. DATE 2022: 44-47
[c292]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BurgholzerPW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BurgholzerPW22
Lukas Burgholzer, Alexander Ploier, Robert Wille:
Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. DATE 2022: 64-67
[c291]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/FinkHHW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/FinkHHW22
Gerold Fink, Medina Hamidovic, Werner Haselmayr, Robert Wille:
A Concept Towards Pressure-Controlled Microfluidic Networks. DDECS 2022: 118-123
[c290]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/BuhlerTNWFRW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/BuhlerTNWFRW22
Katja Bühler, Cornelia Travnicek, Veronika Nowak, Edgar R. Weippl, Lukas Fischer, Rudolf Ramler, Robert Wille:
Twenty Years of Successful Translational Research: A Case Study of Three COMET Centers. DEXA Workshops 2022: 155-166
[c289]
- view
  authority control:
- export record
  dblp key:
  - conf/icassp/ServadeiSOSHSLW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icassp/ServadeiSOSHSLW22
Lorenzo Servadei, Huawei Sun, Julius Ott, Michael Stephan, Souvik Hazra, Thomas Stadelmayer, Daniela Sanchez Lopera, Robert Wille, Avik Santra:
Label-Aware Ranked Loss for Robust People Counting Using Automotive In-Cabin Radar. ICASSP 2022: 3883-3887
[c288]
- view
  authority control:
- export record
  dblp key:
  - conf/icmla/OttSMSSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/OttSMSSW22
Julius Ott, Lorenzo Servadei, Gianfranco Mauro, Thomas Stadelmayer, Avik Santra, Robert Wille:
Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking. ICMLA 2022: 1476-1483
[c287]
- view
  authority control:
- export record
  dblp key:
  - conf/icmla/SunSFSSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/SunSFSSW22
Huawei Sun, Lorenzo Servadei, Hao Feng, Michael Stephan, Avik Santra, Robert Wille:
Utilizing Explainable AI for improving the Performance of Neural Networks. ICMLA 2022: 1775-1782
[c286]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeesam/HazraFKSSWWS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeesam/HazraFKSSWWS22
Souvik Hazra, Hao Feng, Gamze Naz Kiprit, Michael Stephan, Lorenzo Servadei, Robert Wille, Robert Weigel, Avik Santra:
Cross-modal Learning of Graph Representations using Radar Point Cloud for Long-Range Gesture Recognition. SAM 2022: 350-354
[c285]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeesensors/GoswamiBBBAHLSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeesensors/GoswamiBBBAHLSW22
Somu Goswami, Christian Bretthauer, Andreas Bogner, Abhiraj Basavanna, Sebastian Anzinger, Marco Haubold, Gunar Lorenz, Johann Strasser, Daniel Weber, Lorenzo Servadei, Robert Wille:
Compact High-Performance Vibration Sensor Based on Single-Backplate MEMS Technology. IEEE SENSORS 2022: 1-4
[c284]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/BiukiMWS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/BiukiMWS22
Amirmohammad Biuki, Naser Mohammadzadeh, Robert Wille, Sahar Sargaran:
Exact Mapping of Quantum Circuit Partitions to Building Blocks of the SAQIP Architecture. ISVLSI 2022: 402-405
[c283]
- view
  authority control:
- export record
  dblp key:
  - conf/nanoarch/WalterW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nanoarch/WalterW22
Marcel Walter, Robert Wille:
Efficient Multi-Path Signal Routing for Field-coupled Nanotechnologies. NANOARCH 2022: 7:1-7:6
[c282]
- view
  authority control:
- export record
  dblp key:
  - conf/nanoarch/LambooyWW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nanoarch/LambooyWW22
Willem Lambooy, Marcel Walter, Robert Wille:
Exploiting the Third Dimension: Stackable Quantum-dot Cellular Automata. NANOARCH 2022: 9:1-9:6
[c281]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/MatoRHW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/MatoRHW22
Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille:
Adaptive Compilation of Multi-Level Quantum Operations. QCE 2022: 484-491
[c280]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/HillmichBSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/HillmichBSW22
Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille:
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. RC 2022: 93-107
[c279]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/PehamPPW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/PehamPPW22
Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille:
Optimal Railway Routing Using Virtual Subsections. RSSRail 2022: 63-79
[c278]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/BerentBW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BerentBW22
Lucas Berent, Lukas Burgholzer, Robert Wille:
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. SAT 2022: 18:1-18:17
[i47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-00698
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-00698
Lucas Berent, Lukas Burgholzer, Robert Wille:
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. CoRR abs/2203.00698 (2022)
[i46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-00703
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-00703
Lukas Burgholzer, Alexander Ploier, Robert Wille:
Simulation Paths for Quantum Circuit Simulation with Decision Diagrams. CoRR abs/2203.00703 (2022)
[i45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-17066
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-17066
Souvik Hazra, Hao Feng, Gamze Naz Kiprit, Michael Stephan, Lorenzo Servadei, Robert Wille, Robert Weigel, Avik Santra:
Cross-modal Learning of Graph Representations using Radar Point Cloud for Long-Range Gesture Recognition. CoRR abs/2203.17066 (2022)
[i44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-13719
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-13719
Nils Quetschlich, Lukas Burgholzer, Robert Wille:
MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. CoRR abs/2204.13719 (2022)
[i43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-11713
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-11713
Sarah Schneider, Lukas Burgholzer, Robert Wille:
A SAT Encoding for Optimal Clifford Circuit Synthesis. CoRR abs/2208.11713 (2022)
[i42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-12820
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-12820
Tom Peham, Lukas Burgholzer, Robert Wille:
Equivalence Checking of Quantum Circuits with the ZX-Calculus. CoRR abs/2208.12820 (2022)
[i41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-01180
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-01180
Lucas Berent, Lukas Burgholzer, Robert Wille:
Software Tools for Decoding Quantum Low-Density Parity Check Codes. CoRR abs/2209.01180 (2022)
[i40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-04686
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-04686
Huawei Sun, Lorenzo Servadei, Hao Feng, Michael Stephan, Robert Wille, Avik Santra:
Utilizing Explainable AI for improving the Performance of Neural Networks. CoRR abs/2210.04686 (2022)
[i39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-08027
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-08027
Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Predicting Good Quantum Circuit Compilation Options. CoRR abs/2210.08027 (2022)
[i38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-09321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-09321
Tom Peham, Lukas Burgholzer, Robert Wille:
On Optimal Subarchitectures for Quantum Circuit Mapping. CoRR abs/2210.09321 (2022)
[i37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-12166
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-12166
Tom Peham, Lukas Burgholzer, Robert Wille:
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. CoRR abs/2210.12166 (2022)
[i36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-13545
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-13545
Julius Ott, Lorenzo Servadei, Jose A. Arjona-Medina, Enrico Rinaldi, Gianfranco Mauro, Daniela Sanchez Lopera, Michael Stephan, Thomas Stadelmayer, Avik Santra, Robert Wille:
MEET: A Monte Carlo Exploration-Exploitation Trade-off for Buffer Sampling. CoRR abs/2210.13545 (2022)
[i35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-14532
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-14532
Julius Ott, Lorenzo Servadei, Gianfranco Mauro, Thomas Stadelmayer, Avik Santra, Robert Wille:
Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking. CoRR abs/2210.14532 (2022)
[i34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-14928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-14928
Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Towards an Automated Framework for Realizing Quantum Computing Solutions. CoRR abs/2210.14928 (2022)
[i33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-04508
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-04508
Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Compiler Optimization for Quantum Computing Using Reinforcement Learning. CoRR abs/2212.04508 (2022)
[i32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-05903
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-05903
Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille:
SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. CoRR abs/2212.05903 (2022)
2021
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/BhattacharjeeBM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/BhattacharjeeBM21
Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman:
An ant colony based mapping of quantum circuits to nearest neighbor architectures. Integr. 78: 11-24 (2021)
[j76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/qip/GemeinhardtWW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qip/GemeinhardtWW21
Felix Gemeinhardt, Robert Wille, Manuel Wimmer:
Quantum k-community detection: algorithm proposals and cross-architectural evaluation. Quantum Inf. Process. 20(9): 302 (2021)
[j75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/simpa/BurgholzerW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpa/BurgholzerW21
Lukas Burgholzer, Robert Wille:
QCEC: A JKQ tool for quantum circuit equivalence checking. Softw. Impacts 7: 100051 (2021)
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ShayanBWCK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ShayanBWCK21
Mohammed Shayan, Sukanta Bhattacharjee, Robert Wille, Krishnendu Chakrabarty, Ramesh Karri:
How Secure Are Checkpoint-Based Defenses in Digital Microfluidic Biochips? IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(1): 143-156 (2021)
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/FinkHHW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/FinkHHW21
Gerold Fink, Medina Hamidovic, Werner Haselmayr, Robert Wille:
Automatic Design of Droplet-Based Microfluidic Ring Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(2): 339-349 (2021)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/BurgholzerW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/BurgholzerW21
Lukas Burgholzer, Robert Wille:
Advanced Equivalence Checking for Quantum Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(9): 1810-1824 (2021)
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/DebDW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/DebDW21
Arighna Deb, Gerhard W. Dueck, Robert Wille:
Exploring the Potential Benefits of Alternative Quantum Computing Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(9): 1825-1835 (2021)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/PoddarBWB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/PoddarBWB20
Sudip Poddar, Tapalina Banerjee, Robert Wille, Bhargab B. Bhattacharya:
Robust Multi-Target Sample Preparation on MEDA Biochips Obviating Waste Production. ACM Trans. Design Autom. Electr. Syst. 26(1): 7:1-7:29 (2021)
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/MohammadzadehWK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/MohammadzadehWK21
Naser Mohammadzadeh, Robert Wille, Oliver Keszöcze:
Efficient One-pass Synthesis for Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. 26(4): 27:1-27:21 (2021)
[c277]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/FinkEHHW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/FinkEHHW21
Gerold Fink, Philipp Ebner, Medina Hamidovic, Werner Haselmayr, Robert Wille:
Accurate and Efficient Simulation of Microfluidic Networks. ASP-DAC 2021: 85-90
[c276]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/WalterHWTD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/WalterHWTD21
Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler:
One-pass Synthesis for Field-coupled Nanocomputing Technologies. ASP-DAC 2021: 574-580
[c275]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/BurgholzerKW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/BurgholzerKW21
Lukas Burgholzer, Richard Kueng, Robert Wille:
Random Stimuli Generation for the Verification of Quantum Circuits. ASP-DAC 2021: 767-772
[c274]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/HillmichZW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/HillmichZW21
Stefan Hillmich, Alwin Zulehner, Robert Wille:
Exploiting Quantum Teleportation in Quantum Circuit Mapping. ASP-DAC 2021: 792-797
[c273]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HillmichKMW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HillmichKMW21
Stefan Hillmich, Richard Kueng, Igor L. Markov, Robert Wille:
As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. DATE 2021: 188-193
[c272]
- view
  authority control:
- export record
  dblp key:
  - conf/date/GrurlKFW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/GrurlKFW21
Thomas Grurl, Richard Kueng, Jürgen Fuß, Robert Wille:
Stochastic Quantum Circuit Simulation Using Decision Diagrams. DATE 2021: 194-199
[c271]
- view
  authority control:
- export record
  dblp key:
  - conf/date/PoddarFHW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/PoddarFHW21
Sudip Poddar, Gerold Fink, Werner Haselmayr, Robert Wille:
Generic Sample Preparation for Different Microfluidic Platforms. DATE 2021: 336-339
[c270]
- view
  authority control:
- export record
  dblp key:
  - conf/date/KeszoczeMW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/KeszoczeMW21
Oliver Keszöcze, Naser Mohammadzadeh, Robert Wille:
Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures. DATE 2021: 344-349
[c269]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WilleBA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WilleBA21
Robert Wille, Lukas Burgholzer, Michael Artner:
Visualizing Decision Diagrams for Quantum Computing (Special Session Summary). DATE 2021: 768-773
[c268]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WillePPP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WillePPP21
Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda:
Towards Automatic Design and Verification for Level 3 of the European Train Control System. DATE 2021: 974-979
[c267]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/HuangPCGWHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/HuangPCGWHS21
Xing Huang, Youlin Pan, Zhen Chen, Wenzhong Guo, Robert Wille, Tsung-Yi Ho, Ulf Schlichtmann:
BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems. ICCAD 2021: 1-8
[c266]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/PointnerWW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/PointnerWW21
Sebastian Pointner, Sven Wenzek, Robert Wille:
SMT-Based Placement for System-on-Chip Design. ISCAS 2021: 1-5
[c265]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/GrurlFW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/GrurlFW21
Thomas Grurl, Jürgen Fuß, Robert Wille:
Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams. ISMVL 2021: 87-92
[c264]
- view
  authority control:
- export record
  dblp key:
  - conf/mlcad/LoperaSKHWE21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mlcad/LoperaSKHWE21
Daniela Sanchez Lopera, Lorenzo Servadei, Gamze Naz Kiprit, Souvik Hazra, Robert Wille, Wolfgang Ecker:
A Survey of Graph Neural Networks for Electronic Design Automation. MLCAD 2021: 1-6
[c263]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/BornebuschLWD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/BornebuschLWD21
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Performance Aspects of Correctness-oriented Synthesis Flows. MODELSWARD 2021: 76-86
[c262]
- view
  authority control:
- export record
  dblp key:
  - conf/nanocom/HamidovicFWSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nanocom/HamidovicFWSH21
Medina Hamidovic, Gerold Fink, Robert Wille, Andreas Springer, Werner Haselmayr:
Practical Assessment of Payload- Header Switching in Microfluidic Networks. NANOCOM 2021: 12:1-12:6
[c261]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/HillmichHRMW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/HillmichHRMW21
Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille:
Decision Diagrams for Quantum Measurements with Shallow Circuits. QCE 2021: 24-34
[c260]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/BurgholzerBW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/BurgholzerBW21
Lukas Burgholzer, Hartwig Bauer, Robert Wille:
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. QCE 2021: 199-206
[c259]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/BurgholzerR0W21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/BurgholzerR0W21
Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille:
Efficient Construction of Functional Representations for Quantum Algorithms. RC 2021: 227-241
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/MashkoorWES21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/MashkoorWES21
Atif Mashkoor, Robert Wille, Alexander Egyed, Sebastian Stock:
Data for a mapping study about the usage of MDE in Safety and Security Domain. Version 2. Zenodo, 2021 [all versions]
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/MashkoorWES21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/MashkoorWES21a
Atif Mashkoor, Robert Wille, Alexander Egyed, Sebastian Stock:
Data for a mapping study about the usage of MDE in Safety and Security Domain. Version 1. Zenodo, 2021 [all versions]
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-08281
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-08281
Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille:
Efficient Construction of Functional Representations for Quantum Algorithms. CoRR abs/2103.08281 (2021)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-06932
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-06932
Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille:
Decision Diagrams for Quantum Measurements with Shallow Circuits. CoRR abs/2105.06932 (2021)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-07045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-07045
Lukas Burgholzer, Hartwig Bauer, Robert Wille:
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. CoRR abs/2105.07045 (2021)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2106-01099
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-01099
Lukas Burgholzer, Robert Wille:
Towards Verification of Dynamic Quantum Circuits. CoRR abs/2106.01099 (2021)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-05876
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-05876
Lorenzo Servadei, Huawei Sun, Julius Ott, Michael Stephan, Souvik Hazra, Thomas Stadelmayer, Daniela Sanchez Lopera, Robert Wille, Avik Santra:
Label-Aware Ranked Loss for robust People Counting using Automotive in-cabin Radar. CoRR abs/2110.05876 (2021)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2112-00045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-00045
Lukas Burgholzer, Sarah Schneider, Robert Wille:
Limiting the Search Space in Optimal Quantum Circuit Mapping. CoRR abs/2112.00045 (2021)
2020
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/ei/FinkHSWH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ei/FinkHSWH20
Gerold Fink, Medina Hamidovic, Andreas Springer, Robert Wille, Werner Haselmayr:
Design and realization of flexible droplet-based lab-on-a-chip devices. Elektrotech. Informationstechnik 137(3): 113-120 (2020)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/ijhpca/VermaMPW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijhpca/VermaMPW20
Kevin Verma, Christopher McCabe, Chong Peng, Robert Wille:
A PCISPH implementation using distributed multi-GPU acceleration for simulating industrial engineering applications. Int. J. High Perform. Comput. Appl. 34(4) (2020)
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/ThangkhiewZWDS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/ThangkhiewZWDS20
Phrangboklang Lyngton Thangkhiew, Alwin Zulehner, Robert Wille, Kamalika Datta, Indranil Sengupta:
An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD). Integr. 71: 125-133 (2020)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/TorresNWD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/TorresNWD20
Frank Sill Torres, Philipp Niemann, Robert Wille, Rolf Drechsler:
Near Zero-Energy Computation Using Quantum-Dot Cellular Automata. ACM J. Emerg. Technol. Comput. Syst. 16(1): 11:1-11:16 (2020)
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/jocs/VermaCMW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jocs/VermaCMW20
Kevin Verma, Hui Cao, Prithvi Mandapalli, Robert Wille:
Modeling and simulation of electrophoretic deposition coatings. J. Comput. Sci. 41: 101075 (2020)
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/TorresSFWNFNCWN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/TorresSFWNFNCWN20
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:
On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata. Microprocess. Microsystems 76: 103109 (2020)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/qip/NiemannWD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qip/NiemannWD20
Philipp Niemann, Robert Wille, Rolf Drechsler:
Advanced exact synthesis of Clifford+T circuits. Quantum Inf. Process. 19(1) (2020)
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/ServadeiMZDWEW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/ServadeiMZDWEW20
Lorenzo Servadei, Edoardo Mosca, Elena Zennaro, Keerthikumara Devarajegowda, Michael Werner, Wolfgang Ecker, Robert Wille:
Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation. IEEE Trans. Computers 69(6): 856-867 (2020)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/GrimmerHW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/GrimmerHW20
Andreas Grimmer, Werner Haselmayr, Robert Wille:
Automatic Droplet Sequence Generation for Microfluidic Networks With Passive Droplet Routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(2): 387-396 (2020)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/BhattacharjeeWH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/BhattacharjeeWH20
Sukanta Bhattacharjee, Robert Wille, Juinn-Dar Huang, Bhargab B. Bhattacharya:
Storage-Aware Algorithms for Dilution and Mixture Preparation With Flow-Based Lab-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(4): 816-829 (2020)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/KoleHDWS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/KoleHDWS20
Abhoy Kole, Stefan Hillmich, Kamalika Datta, Robert Wille, Indranil Sengupta:
Improved Mapping of Quantum Circuits to IBM QX Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10): 2375-2383 (2020)
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZhuHLHWYWS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZhuHLHWYWS20
Ying Zhu, Xing Huang, Bing Li, Tsung-Yi Ho, Qin Wang, Hailong Yao, Robert Wille, Ulf Schlichtmann:
Multicontrol: Advanced Control-Logic Synthesis for Flow-Based Microfluidic Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10): 2489-2502 (2020)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/FinkGHHW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/FinkGHHW20
Gerold Fink, Andreas Grimmer, Medina Hamidovic, Werner Haselmayr, Robert Wille:
Robustness Analysis for Droplet-Based Microfluidic Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10): 2696-2707 (2020)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/NiemannZDW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/NiemannZDW20
Philipp Niemann, Alwin Zulehner, Rolf Drechsler, Robert Wille:
Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12): 4657-4668 (2020)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/tetc/CuiSZWWDK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tetc/CuiSZWWDK20
Xiaotong Cui, Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Kaijie Wu, Rolf Drechsler, Ramesh Karri:
On the Difficulty of Inserting Trojans in Reversible Computing Architectures. IEEE Trans. Emerg. Top. Comput. 8(4): 960-972 (2020)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/RoyBWB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/RoyBWB20
Pushpita Roy, Ansuman Banerjee, Robert Wille, Bhargab B. Bhattacharya:
Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips. ACM Trans. Design Autom. Electr. Syst. 25(1): 10:1-10:37 (2020)
[c258]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/HillmichZW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/HillmichZW20
Stefan Hillmich, Alwin Zulehner, Robert Wille:
Concurrency in DD-based Quantum Circuit Simulation. ASP-DAC 2020: 115-120
[c257]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/ZulehnerHMW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/ZulehnerHMW20
Alwin Zulehner, Stefan Hillmich, Igor L. Markov, Robert Wille:
Approximation of Quantum States Using Decision Diagrams. ASP-DAC 2020: 121-126
[c256]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/BurgholzerW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/BurgholzerW20
Lukas Burgholzer, Robert Wille:
Improved DD-based Equivalence Checking of Quantum Circuits. ASP-DAC 2020: 127-132
[c255]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/BornebuschLWD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/BornebuschLWD20
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Towards Automatic Hardware Synthesis from Formal Specification to Implementation. ASP-DAC 2020: 375-380
[c254]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/BurgholzerW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/BurgholzerW20
Lukas Burgholzer, Robert Wille:
The Power of Simulation for Equivalence Checking in Quantum Computing. DAC 2020: 1-6
[c253]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HillmichMW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HillmichMW20
Stefan Hillmich, Igor L. Markov, Robert Wille:
Just Like the Real Thing: Fast Weak Simulation of Quantum Computation. DAC 2020: 1-6
[c252]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/WalterWTGD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/WalterWTGD20
Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler:
Verification for Field-coupled Nanocomputing Circuits. DAC 2020: 1-6
[c251]
- view
  authority control:
- export record
  dblp key:
  - conf/date/DebDW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/DebDW20
Arighna Deb, Gerhard W. Dueck, Robert Wille:
Towards Exploring the Potential of Alternative Quantum Computing Architectures. DATE 2020: 682-685
[c250]
- view
  authority control:
- export record
  dblp key:
  - conf/date/AlmudeverLWG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/AlmudeverLWG20
Carmen G. Almudéver, Lingling Lao, Robert Wille, Gian Giacomo Guerreschi:
Realizing Quantum Algorithms on Real Quantum Computing Devices. DATE 2020: 864-872
[c249]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RingBLWD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RingBLWD20
Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Verification Runtime Analysis: Get the Most Out of Partial Verification. DATE 2020: 873-878
[c248]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/PointnerAW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/PointnerAW20
Sebastian Pointner, Pablo González de Aledo, Robert Wille:
YASSi: Yet Another Symbolic Simulator Large (Tool Demo). DEXA Workshops 2020: 25-31
[c247]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/GarlandoWWRTD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/GarlandoWWRTD20
Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler:
ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing. DSD 2020: 408-415
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/ServadeiMDWEW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/ServadeiMDWEW20
Lorenzo Servadei, Edoardo Mosca, Keerthikumara Devarajegowda, Michael Werner, Wolfgang Ecker, Robert Wille:
Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning. ACM Great Lakes Symposium on VLSI 2020: 405-410
[c245]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/GrurlFW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/GrurlFW20
Thomas Grurl, Jürgen Fuß, Robert Wille:
Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams. ICCAD 2020: 140:1-140:7
[c244]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/WilleHB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/WilleHB20
Robert Wille, Stefan Hillmich, Lukas Burgholzer:
JKQ: JKU Tools for Quantum Computing. ICCAD 2020: 154:1-154:5
[c243]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeesensors/SchoberCRZW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeesensors/SchoberCRZW20
Sebastian A. Schober, Cecilia Carbonelli, Alexandra Roth, Alexander Zoepfl, Robert Wille:
Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques. IEEE SENSORS 2020: 1-4
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/WilleHB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/WilleHB20
Robert Wille, Stefan Hillmich, Lukas Burgholzer:
Efficient and Correct Compilation of Quantum Circuits. ISCAS 2020: 1-5
[c241]
- view
  authority control:
- export record
  dblp key:
  - conf/isdcs/KeszoczeWD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isdcs/KeszoczeWD20
Oliver Keszöcze, Robert Wille, Rolf Drechsler:
One-pass Synthesis for Digital Microfluidic Biochips: A Survey. ISDCS 2020: 1-6
[c240]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/BhattacharjeeBM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/BhattacharjeeBM20
Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman:
Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm. ISMVL 2020: 40-45
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/GrurlFHBW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/GrurlFHBW20
Thomas Grurl, Jürgen Fuß, Stefan Hillmich, Lukas Burgholzer, Robert Wille:
Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. ISMVL 2020: 176-181
[c238]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/WalterWTD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/WalterWTD20
Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler:
Bail on Balancing: An Alternative Approach to the Physical Design of Field-Coupled Nanocomputing Circuits. ISVLSI 2020: 66-71
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/mlcad/ServadeiZAWEHEW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mlcad/ServadeiZAWEHEW20
Lorenzo Servadei, Jiapeng Zheng, Jose A. Arjona-Medina, Michael Werner, Volkan Esen, Sepp Hochreiter, Wolfgang Ecker, Robert Wille:
Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning. MLCAD 2020: 37-42
[c236]
- view
  authority control:
- export record
  dblp key:
  - conf/mlcad/WernerSWE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mlcad/WernerSWE20
Michael Werner, Lorenzo Servadei, Robert Wille, Wolfgang Ecker:
Automatic compiler optimization on embedded software through k-means clustering. MLCAD 2020: 157-162
[c235]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/BornebuschLWD20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/BornebuschLWD20a
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. MODELSWARD (Revised Selected Papers) 2020: 26-48
[c234]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/BornebuschLWD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/BornebuschLWD20
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Integer Overflow Detection in Hardware Designs at the Specification Level. MODELSWARD 2020: 41-48
[c233]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/BurgholzerRW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/BurgholzerRW20
Lukas Burgholzer, Rudy Raymond, Robert Wille:
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. QCE 2020: 356-365
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/vdat/BandyopadhyayWD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vdat/BandyopadhyayWD20
Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman:
Post Synthesis-Optimization of Reversible Circuit using Template Matching. VDAT 2020: 1-4
[p3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - series/lncs/ZulehnerW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/ZulehnerW20
Alwin Zulehner, Robert Wille:
Simulation and Design of Quantum Circuits. Selected Results of the COST Action IC1405 2020: 60-82
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-08420
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-08420
Lukas Burgholzer, Robert Wille:
Advanced Equivalence Checking for Quantum Circuits. CoRR abs/2004.08420 (2020)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-08471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-08471
Atif Mashkoor, Alexander Egyed, Robert Wille:
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study. CoRR abs/2004.08471 (2020)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-01000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-01000
Carmen G. Almudéver, Lingling Lao, Robert Wille, Gian Giacomo Guerreschi:
Realizing Quantum Algorithms on Real Quantum Computing Devices. CoRR abs/2007.01000 (2020)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-07288
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-07288
Lukas Burgholzer, Richard Kueng, Robert Wille:
Random Stimuli Generation for the Verification of Quantum Circuits. CoRR abs/2011.07288 (2020)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-02037
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-02037
Lukas Burgholzer, Robert Wille, Richard Kueng:
Characteristics of Reversible Circuits for Error Detection. CoRR abs/2012.02037 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/SaeedMZWK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/SaeedMZWK19
Samah Mohamed Saeed, Nithin Mahendran, Alwin Zulehner, Robert Wille, Ramesh Karri:
Identification of Synthesis Approaches for IP/IC Piracy of Reversible Circuits. ACM J. Emerg. Technol. Comput. Syst. 15(3): 23:1-23:17 (2019)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/GrimmerHHW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/GrimmerHHW19
Andreas Grimmer, Medina Hamidovic, Werner Haselmayr, Robert Wille:
Advanced Simulation of Droplet Microfluidics. ACM J. Emerg. Technol. Comput. Syst. 15(3): 26:1-26:16 (2019)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/WalterWGTD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/WalterWGTD19
Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler:
Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is NP-complete (Research Note). ACM J. Emerg. Technol. Comput. Syst. 15(3): 29:1-29:10 (2019)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/PalerFW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/PalerFW19
Alexandru Paler, Austin G. Fowler, Robert Wille:
Faster manipulation of large quantum circuits using wire label reference diagrams. Microprocess. Microsystems 66: 55-66 (2019)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/ServadeiZFDEW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/ServadeiZFDEW19
Lorenzo Servadei, Elena Zennaro, Tobias Fritz, Keerthikumara Devarajegowda, Wolfgang Ecker, Robert Wille:
Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications. Microprocess. Microsystems 71 (2019)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/ncn/HamidovicHGWS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ncn/HamidovicHGWS19
Medina Hamidovic, Werner Haselmayr, Andreas Grimmer, Robert Wille, Andreas Springer:
Passive droplet control in microfluidic networks: A survey and new perspectives on their practical realization. Nano Commun. Networks 19: 33-46 (2019)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZulehnerW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZulehnerW19
Alwin Zulehner, Robert Wille:
Advanced Simulation of Quantum Computations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(5): 848-859 (2019)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/GrimmerHW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/GrimmerHW19
Andreas Grimmer, Werner Haselmayr, Robert Wille:
Automated Dimensioning of Networked Labs-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(7): 1216-1225 (2019)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZulehnerPW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZulehnerPW19
Alwin Zulehner, Alexandru Paler, Robert Wille:
An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(7): 1226-1236 (2019)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/PoddarWRB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/PoddarWRB19
Sudip Poddar, Robert Wille, Hafizur Rahaman, Bhargab B. Bhattacharya:
Error-Oblivious Sample Preparation With Digital Microfluidic Lab-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(10): 1886-1899 (2019)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/SaeedWK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/SaeedWK19
Samah Mohamed Saeed, Robert Wille, Ramesh Karri:
Locking the Design of Building Blocks for Quantum Circuits. ACM Trans. Embed. Comput. Syst. 18(5s): 60:1-60:15 (2019)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/tmbmc/FinkHWH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tmbmc/FinkHWH19
Gerold Fink, Medina Hamidovic, Robert Wille, Werner Haselmayr:
Passive Droplet Control in Two-Dimensional Microfluidic Networks. IEEE Trans. Mol. Biol. Multi Scale Commun. 5(3): 189-206 (2019)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/tvlsi/HuhnFWD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/HuhnFWD19
Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler:
Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits. IEEE Trans. Very Large Scale Integr. Syst. 27(4): 875-887 (2019)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tvlsi/SaeedZWDK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/SaeedZWDK19
Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Rolf Drechsler, Ramesh Karri:
Reversible Circuits: IC/IP Piracy Attacks and Countermeasures. IEEE Trans. Very Large Scale Integr. Syst. 27(11): 2523-2535 (2019)
[c231]
- view
  authority control:
- export record
  dblp key:
  - conf/acss/PoddarWRB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acss/PoddarWRB19
Sudip Poddar, Robert Wille, Hafizur Rahaman, Bhargab B. Bhattacharya:
Effect of Volumetric Split-Errors on Reactant-Concentration During Sample Preparation with Microfluidic Biochips. ACSS (2) 2019: 159-165
[c230]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/ZulehnerW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/ZulehnerW19
Alwin Zulehner, Robert Wille:
Compiling SU(4) quantum circuits to IBM QX architectures. ASP-DAC 2019: 185-190
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/WalterWTGD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/WalterWTGD19
Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler:
Scalable design for field-coupled nanocomputing circuits. ASP-DAC 2019: 197-202
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/ZulehnerD0W19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/ZulehnerD0W19
Alwin Zulehner, Kamalika Datta, Indranil Sengupta, Robert Wille:
A staircase structure for scalable and efficient synthesis of memristor-aided logic. ASP-DAC 2019: 237-242
[c227]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/ZhongWC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/ZhongWC19
Zhanwei Zhong, Robert Wille, Krishnendu Chakrabarty:
Robust sample preparation on digital microfluidic biochips. ASP-DAC 2019: 474-480
[c226]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/ZulehnerFW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/ZulehnerFW19
Alwin Zulehner, Michael P. Frank, Robert Wille:
Design automation for adiabatic circuits. ASP-DAC 2019: 669-674
[c225]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/WilleBZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/WilleBZ19
Robert Wille, Lukas Burgholzer, Alwin Zulehner:
Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. DAC 2019: 142
[c224]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ZulehnerW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ZulehnerW19
Alwin Zulehner, Robert Wille:
Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations. DATE 2019: 90-95
[c223]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ZulehnerNDW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ZulehnerNDW19
Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille:
Accuracy and Compactness in Decision Diagrams for Quantum Computation. DATE 2019: 280-283
[c222]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RingBLWD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RingBLWD19
Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Better Late Than Never : Verification of Embedded Systems After Deployment. DATE 2019: 890-895
[c221]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WilleMN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WilleMN19
Robert Wille, Rod Van Meter, Yehuda Naveh:
IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers. DATE 2019: 1234-1240
[c220]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ServadeiZDMEW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ServadeiZDMEW19
Lorenzo Servadei, Elena Zennaro, Keerthikumara Devarajegowda, Martin Manzinger, Wolfgang Ecker, Robert Wille:
Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision. DATE 2019: 1277-1280
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/PointnerAW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/PointnerAW19
Sebastian Pointner, Pablo González de Aledo, Robert Wille:
Generic Error Localization for the Electronic System Level. DDECS 2019: 1-4
[c218]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/WilleHAT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/WilleHAT19
Robert Wille, Majid Haghparast, Smaran Adarsh, Tanmay Tanmay:
Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines. ICCAD 2019: 1-7
[c217]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ZulehnerHW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ZulehnerHW19
Alwin Zulehner, Stefan Hillmich, Robert Wille:
How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing. ICCAD 2019: 1-7
[c216]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/PointnerGW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/PointnerGW19
Sebastian Pointner, Andreas Grimmer, Robert Wille:
Exact Stimuli Minimization for Simulation-Based Verification. ISCAS 2019: 1-5
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/ised/BanerjeePWB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ised/BanerjeePWB19
Tapalina Banerjee, Sudip Poddar, Robert Wille, Bhargab B. Bhattacharya:
Flow-Based Passive Microfluidic Architecture for Homogeneous Mixing. ISED 2019: 8138-8143
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/ZulehnerNDW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/ZulehnerNDW19
Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille:
One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. ISMVL 2019: 1-6
[c213]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/PrzigodaPW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/PrzigodaPW19
Nils Przigoda, Judith Przigoda, Robert Wille:
Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community. ISMVL 2019: 61-66
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/PointnerFHW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/PointnerFHW19
Sebastian Pointner, Oliver Frank, Christoph Hazott, Robert Wille:
Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows. ISVLSI 2019: 241-246
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/Serajeh-hassani19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/Serajeh-hassani19
Fatemeh Serajeh-hassani, Mohammad Sadrosadati, Sebastian Pointner, Robert Wille, Hamid Sarbazi-Azad:
Focus on What is Needed: Area and Power Efficient FPGAs Using Turn-Restricted Switch Boxes. ISVLSI 2019: 615-620
[c210]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/WilleWTGD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/WilleWTGD19
Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, Rolf Drechsler:
Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-Coupled Nanotechnologies. ISVLSI 2019: 651-656
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/itc-asia/PointnerW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc-asia/PointnerW19
Sebastian Pointner, Robert Wille:
Did We Test Enough? Functional Coverage for Post-Silicon Validation. ITC-Asia 2019: 31-36
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/nanocom/HamidovicMFWSH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nanocom/HamidovicMFWSH19
Medina Hamidovic, Uli Marta, Gerold Fink, Robert Wille, Andreas Springer, Werner Haselmayr:
Information Encoding in Droplet-Based Microfluidic Systems: First Practical Study. NANOCOM 2019: 26:1-26:6
[c207]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/VermaOW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/VermaOW19
Kevin Verma, Johannes Oder, Robert Wille:
Simulating Industrial Electrophoretic Deposition on Distributed Memory Architectures. PDP 2019: 414-421
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/ZulehnerBW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ZulehnerBW19
Alwin Zulehner, Hartwig Bauer, Robert Wille:
Evaluating the Flexibility of A* for Mapping Quantum Circuits. RC 2019: 171-190
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/BhattacharjeeBW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/BhattacharjeeBW19
Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman:
Improved Look-Ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits. VLSID 2019: 203-208
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1901-00353
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-00353
Sudip Poddar, Robert Wille, Hafizur Rahaman, Bhargab B. Bhattacharya:
Dilution with Digital Microfluidic Biochips: How Unbalanced Splits Corrupt Target-Concentration. CoRR abs/1901.00353 (2019)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1902-03698
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-03698
Alexandru Paler, Austin G. Fowler, Robert Wille:
Reliable quantum circuits have defects. CoRR abs/1902.03698 (2019)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-02477
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-02477
Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler:
fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits. CoRR abs/1905.02477 (2019)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-02352
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-02352
Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille:
One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. CoRR abs/1906.02352 (2019)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-12691
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-12691
Alwin Zulehner, Stefan Hillmich, Robert Wille:
How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing. CoRR abs/1911.12691 (2019)
2018
[b3]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0045943
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0045943
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Springer 2018, ISBN 978-3-319-72813-1
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/PrzigodaNFWD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/PrzigodaNFWD18
Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler:
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements. Comput. Lang. Syst. Struct. 54: 512-527 (2018)
[j37]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/WilleL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/WilleL18
Robert Wille, Martin Lukac:
Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic. FLAP 5(9): 1777-1778 (2018)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/mj/BandyopadhyayDW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mj/BandyopadhyayDW18
Chandan Bandyopadhyay, Rakesh Das, Robert Wille, Rolf Drechsler, Hafizur Rahaman:
Synthesis of circuits based on all-optical Mach-Zehnder Interferometers using Binary Decision Diagrams. Microelectron. J. 71: 19-29 (2018)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/GrimmerHSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/GrimmerHSW18
Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille:
Design of Application-Specific Architectures for Networked Labs-on-Chips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(1): 193-202 (2018)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZulehnerW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZulehnerW18
Alwin Zulehner, Robert Wille:
One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(5): 996-1008 (2018)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/WangZYHWC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/WangZYHWC18
Qin Wang, Hao Zou, Hailong Yao, Tsung-Yi Ho, Robert Wille, Yici Cai:
Physical Co-Design of Flow and Control Layers for Flow-Based Microfluidic Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(6): 1157-1170 (2018)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/TorresWND18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/TorresWND18
Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler:
An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(12): 3031-3041 (2018)
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/GrimmerKHW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/GrimmerKHW18
Andreas Grimmer, Berislav Klepic, Tsung-Yi Ho, Robert Wille:
Sound valve-control for programmable microfluidic devices. ASP-DAC 2018: 40-45
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/ZulehnerW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/ZulehnerW18
Alwin Zulehner, Robert Wille:
Exploiting coding techniques for logic synthesis of reversible circuits. ASP-DAC 2018: 670-675
[c202]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WalterWGTD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WalterWGTD18
Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler:
An exact method for design exploration of quantum-dot cellular automata. DATE 2018: 503-508
[c201]
- view
  authority control:
- export record
  dblp key:
  - conf/date/NiemannWD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/NiemannWD18
Philipp Niemann, Robert Wille, Rolf Drechsler:
Improved synthesis of Clifford+T quantum functionality. DATE 2018: 597-600
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ZulehnerPW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ZulehnerPW18
Alwin Zulehner, Alexandru Paler, Robert Wille:
Efficient mapping of quantum circuits to the IBM QX architectures. DATE 2018: 1135-1138
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ZulehnerW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ZulehnerW18
Alwin Zulehner, Robert Wille:
Pushing the number of qubits below the "minimum": Realizing compact boolean components for quantum logic. DATE 2018: 1179-1182
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BhattacharjeeWH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BhattacharjeeWH18
Sukanta Bhattacharjee, Robert Wille, Juinn-Dar Huang, Bhargab B. Bhattacharya:
Storage-aware sample preparation using flow-based microfluidic Labs-on-Chip. DATE 2018: 1399-1404
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/TorresWWNGD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/TorresWWNGD18
Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Große, Rolf Drechsler:
Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata. DSD 2018: 649-656
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/Wille0DS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/Wille0DS18
Robert Wille, Bing Li, Rolf Drechsler, Ulf Schlichtmann:
Automatic Design of Microfluidic Devices. FDL 2018: 5-16
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/hpec/VermaPSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpec/VermaPSW18
Kevin Verma, Chong Peng, Kamil Szewc, Robert Wille:
AMulti-GPU PCISPH Implementation with Efficient Memory Transfers. HPEC 2018: 1-7
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/SaeedCZWD0K18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/SaeedCZWD0K18
Samah Mohamed Saeed, Xiaotong Cui, Alwin Zulehner, Robert Wille, Rolf Drechsler, Kaijie Wu, Ramesh Karri:
IC/IP piracy assessment of reversible logic. ICCAD 2018: 5
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ZhuLHWYWS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ZhuLHWYWS18
Ying Zhu, Bing Li, Tsung-Yi Ho, Qin Wang, Hailong Yao, Robert Wille, Ulf Schlichtmann:
Multi-channel and fault-tolerant control multiplexing for flow-based microfluidic biochips. ICCAD 2018: 123
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/WilleFN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/WilleFN18
Robert Wille, Austin G. Fowler, Yehuda Naveh:
Computer-aided design for quantum computation. ICCAD 2018: 128
[c191]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ictai/ServadeiZDEW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/ServadeiZDEW18
Lorenzo Servadei, Elena Zennaro, Keerthikumara Devarajegowda, Wolfgang Ecker, Robert Wille:
Quality Assessment of Generated Hardware Designs Using Statistical Analysis and Machine Learning. CIMA@ICTAI 2018: 14-27
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/VermaAW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/VermaAW18
Kevin Verma, Luis Ayuso, Robert Wille:
Parallel Simulation of Electrophoretic Deposition for Industrial Automotive Applications. HPCS 2018: 468-475
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/Al-WardiWD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/Al-WardiWD18
Zaid Al-Wardi, Robert Wille, Rolf Drechsler:
Synthesis of Reversible Circuits Using Conventional Hardware Description Languages. ISMVL 2018: 97-102
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/ZulehnerRDSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/ZulehnerRDSW18
Alwin Zulehner, P. Mercy Nesa Rani, Kamalika Datta, Indranil Sengupta, Robert Wille:
Generalizing the Concept of Scalable Reversible Circuit Synthesis for Multiple-Valued Logic. ISMVL 2018: 115-120
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/BhattacharjeeBW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/BhattacharjeeBW18
Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman:
A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits. ISVLSI 2018: 305-310
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/NiemannPWD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/NiemannPWD18
Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler:
Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. MODELSWARD 2018: 139-151
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/NiemannPWD18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/NiemannPWD18a
Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler:
Generation and Validation of Frame Conditions in Formal Models. MODELSWARD (Revised Selected Papers) 2018: 259-283
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/nanocom/HamidovicHGWS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nanocom/HamidovicHGWS18
Medina Hamidovic, Werner Haselmayr, Andreas Grimmer, Robert Wille, Andreas Springer:
Comparison of switching principles in microfluidic bus networks. NANOCOM 2018: 23:1-23:6
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/ZulehnerW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ZulehnerW18
Alwin Zulehner, Robert Wille:
QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report). RC 2018: 244-250
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/KeszoczeIWCD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/KeszoczeIWCD18
Oliver Keszöcze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler:
Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips. VLSID 2018: 121-126
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/WilleCDK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/WilleCDK18
Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler, Priyank Kalla:
Emerging Circuit Technologies: An Overview on the Next Generation of Circuits. Advanced Logic Synthesis 2018: 43-67
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-07241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-07241
Alexandru Paler, Alwin Zulehner, Robert Wille:
NISQ circuit compilers: search space structure and heuristics. CoRR abs/1806.07241 (2018)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-02421
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-02421
Alwin Zulehner, Michael P. Frank, Robert Wille:
Design Automation for Adiabatic Circuits. CoRR abs/1809.02421 (2018)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1810-01164
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-01164
Andreas Grimmer, Medina Hamidovic, Werner Haselmayr, Robert Wille:
Advanced Simulation of Droplet Microfluidics. CoRR abs/1810.01164 (2018)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-03894
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-03894
Frank Sill Torres, Philipp Niemann, Robert Wille, Rolf Drechsler:
Breaking Landauer's Limit\\Using Quantum-dot Cellular Automata. CoRR abs/1811.03894 (2018)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-06011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-06011
Alexandru Paler, Austin G. Fowler, Robert Wille:
Faster manipulation of large quantum circuits using wire label reference diagrams. CoRR abs/1811.06011 (2018)
2017
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/ijar/GrimmerCW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/GrimmerCW17
Andreas Grimmer, Joachim Clemens, Robert Wille:
Formal methods for reasoning and uncertainty reduction in evidential grid maps. Int. J. Approx. Reason. 87: 23-39 (2017)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/DebWKSD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/DebWKSD17
Arighna Deb, Robert Wille, Oliver Keszöcze, Saeideh Shirinzadeh, Rolf Drechsler:
Synthesis of optical circuits using binary decision diagrams. Integr. 59: 42-51 (2017)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/jolpe/WilleKOTD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolpe/WilleKOTD17
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler:
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs. J. Low Power Electron. 13(4): 633-641 (2017)
[j28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/qic/PalerFW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qic/PalerFW17
Alexandru Paler, Austin G. Fowler, Robert Wille:
Online scheduled execution of quantum circuits protected by surface codes. Quantum Inf. Comput. 17(15&16): 1335-1348 (2017)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/qip/HaghparastWM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qip/HaghparastWM17
Majid Haghparast, Robert Wille, Asma Taheri Monfared:
Towards quantum reversible ternary coded decimal adder. Quantum Inf. Process. 16(11): 284 (2017)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/AledoPWDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/AledoPWDS17
Pablo González de Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sánchez Espeso:
Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(3): 475-488 (2017)
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/HuhnFWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/HuhnFWD17
Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler:
Enhancing robustness of sequential circuits using application-specific knowledge and formal methods. ASP-DAC 2017: 182-187
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/GrimmerWYHW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/GrimmerWYHW17
Andreas Grimmer, Qin Wang, Hailong Yao, Tsung-Yi Ho, Robert Wille:
Close-to-optimal placement and routing for continuous-flow microfluidic biochips. ASP-DAC 2017: 530-535
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/KeszoczeLGWCD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/KeszoczeLGWCD17
Oliver Keszöcze, Zipeng Li, Andreas Grimmer, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler:
Exact routing for micro-electrode-dot-array digital microfluidic biochips. ASP-DAC 2017: 708-713
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/GrimmerHSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/GrimmerHSW17
Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille:
A Discrete Model for Networked Labs-on-Chips: Linking the Physical World to Design Automation. DAC 2017: 50:1-50:6
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ZulehnerW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ZulehnerW17
Alwin Zulehner, Robert Wille:
Make it reversible: Efficient embedding of non-reversible functions. DATE 2017: 458-463
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ZulehnerW17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ZulehnerW17a
Alwin Zulehner, Robert Wille:
Taking one-to-one mappings for granted: Advanced logic design of encoder circuits. DATE 2017: 818-823
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/date/GrimmerHSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/GrimmerHSW17
Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille:
Verification of networked Labs-on-Chip architectures. DATE 2017: 1679-1684
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/RaucheneckerW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/RaucheneckerW17
Andreas Rauchenecker, Robert Wille:
An efficient physical design of fully-testable BDD-based circuits. DDECS 2017: 6-11
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/GogollaHNW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/GogollaHNW17
Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille:
Formulating Model Verification Tasks Prover-Independently as UML Diagrams. ECMFA 2017: 232-247
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/HaselmayrGW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/HaselmayrGW17
Werner Haselmayr, Andreas Grimmer, Robert Wille:
Stochastic Computing Using Droplet-Based Microfluidics. EUROCAST (2) 2017: 204-211
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/DijkWM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/DijkWM17
Tom van Dijk, Robert Wille, Robert Meolic:
Tagged BDDs: Combining reduction rules from different decision diagram types. FMCAD 2017: 108-115
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/hpec/VermaSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpec/VermaSW17
Kevin Verma, Kamil Szewc, Robert Wille:
Advanced load balancing for SPH simulations on multi-GPU architectures. HPEC 2017: 1-7
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/HaselmayrBGZSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/HaselmayrBGZSW17
Werner Haselmayr, Andrea Biral, Andreas Grimmer, Andrea Zanella, Andreas Springer, Robert Wille:
Addressing multiple nodes in networked labs-on-chips without payload re-injection. ICC 2017: 1-6
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/DebWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/DebWD17
Arighna Deb, Robert Wille, Rolf Drechsler:
Dedicated synthesis for MZI-based optical circuits based on AND-inverter graphs. ICCAD 2017: 233-238
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/SaeedMZWK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/SaeedMZWK17
Samah Mohamed Saeed, Nithin Mahendran, Alwin Zulehner, Robert Wille, Ramesh Karri:
Identifying Reversible Circuit Synthesis Approaches to Enable IP Piracy Attacks. ICCD 2017: 537-540
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/ised/BornebuschWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ised/BornebuschWD17
Fritjof Bornebusch, Robert Wille, Rolf Drechsler:
Towards lightweight satisfiability solvers for self-verification. ISED 2017: 1-5
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/ZulehnerW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/ZulehnerW17
Alwin Zulehner, Robert Wille:
Skipping Embedding in the Design of Reversible Circuits. ISMVL 2017: 173-178
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/Al-WardiWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/Al-WardiWD17
Zaid Al-Wardi, Robert Wille, Rolf Drechsler:
Extensions to the Reversible Hardware Description Language SyReC. ISMVL 2017: 185-190
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/DebWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/DebWD17
Arighna Deb, Robert Wille, Rolf Drechsler:
OR-Inverter Graphs for the Synthesis of Optical Circuits. ISMVL 2017: 278-283
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/StoppeKLWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/StoppeKLWD17
Jannis Stoppe, Oliver Keszöcze, Maximilian Luenert, Robert Wille, Rolf Drechsler:
BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips. ISVLSI 2017: 170-175
[c161]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/GrimmerHSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GrimmerHSW17
Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille:
Verifikation von Networked Labs-on-Chip Architekturen. MBMV 2017: 41-42
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/PrzigodaNPHWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/PrzigodaNPHWD17
Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler:
More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. MEMOCODE 2017: 77-86
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/mixdes/RaucheneckerOW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mixdes/RaucheneckerOW17
Andreas Rauchenecker, Timm Ostermann, Robert Wille:
Exploiting reversible logic design for implementing adiabatic circuits. MIXDES 2017: 264-270
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Al-WardiWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Al-WardiWD17
Zaid Al-Wardi, Robert Wille, Rolf Drechsler:
Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report. RC 2017: 102-108
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/KoleWD017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/KoleWD017
Abhoy Kole, Robert Wille, Kamalika Datta, Indranil Sengupta:
Test Pattern Generation Effort Evaluation of Reversible Circuits. RC 2017: 162-175
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/SurhonneCW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/SurhonneCW17
Anmol Prakash Surhonne, Anupam Chattopadhyay, Robert Wille:
Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits - Work in Progress Report. RC 2017: 176-182
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/ZulehnerGW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ZulehnerGW17
Alwin Zulehner, Stefan Gasser, Robert Wille:
Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A ^* ∗. RC 2017: 185-201
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/NiemannZWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/NiemannZWD17
Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler:
Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. RC 2017: 214-231
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/ZulehnerW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ZulehnerW17
Alwin Zulehner, Robert Wille:
Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs. RC 2017: 232-247
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/socc/WilleL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socc/WilleL17
Robert Wille, Bing Li:
Design automation for Labs-on-Chip: A new "playground" for SoC designers. SoCC 2017: 1-2
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SaeedCWZ0DK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SaeedCWZ0DK17
Samah Mohamed Saeed, Xiaotong Cui, Robert Wille, Alwin Zulehner, Kaijie Wu, Rolf Drechsler, Ramesh Karri:
Towards Reverse Engineering Reversible Logic. CoRR abs/1704.08397 (2017)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CuiSZWD0K17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CuiSZWD0K17
Xiaotong Cui, Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Rolf Drechsler, Kaijie Wu, Ramesh Karri:
On the Difficulty of Inserting Trojans in Reversible Computing Architectures. CoRR abs/1705.00767 (2017)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ZulehnerW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZulehnerW17
Alwin Zulehner, Robert Wille:
Advanced Simulation of Quantum Computations: Compact Representation Rather than Hardware Power. CoRR abs/1707.00865 (2017)
[i7]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/YamashitaHWC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/YamashitaHWC17
Shigeru Yamashita, Tsung-Yi Ho, Robert Wille, Krishnendu Chakrabarty:
Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering (NII Shonan Meeting 2017-1). NII Shonan Meet. Rep. 2017 (2017)
2016
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/crossroads/PalerFW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/crossroads/PalerFW16
Alexandru Paler, Austin G. Fowler, Robert Wille:
Reliable quantum circuits have defects. XRDS 23(1): 34-38 (2016)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/esticas/GaudetBWH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esticas/GaudetBWH16
Vincent C. Gaudet, Jon T. Butler, Robert Wille, Naofumi Homma:
Guest Editorial Emerging Topics in Multiple-Valued Logic and Its Applications. IEEE J. Emerg. Sel. Topics Circuits Syst. 6(1): 1-4 (2016)
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iet-cps/PrzigodaSWD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-cps/PrzigodaSWD16
Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler:
Verifying the structure and behavior in UML/OCL models using satisfiability solvers. IET Cyper-Phys. Syst.: Theory & Appl. 1(1): 49-59 (2016)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/WilleSSD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/WilleSSD16
Robert Wille, Eleonora Schönborn, Mathias Soeken, Rolf Drechsler:
SyReC: A hardware description language for the specification and synthesis of reversible circuits. Integr. 53: 39-53 (2016)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/jcsc/PrzigodaWD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcsc/PrzigodaWD16
Nils Przigoda, Robert Wille, Rolf Drechsler:
Analyzing Inconsistencies in UML/OCL Models. J. Circuits Syst. Comput. 25(3): 1640021:1-1640021:21 (2016)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/DebDRWDB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/DebDRWDB16
Arighna Deb, Debesh K. Das, Hafizur Rahaman, Robert Wille, Rolf Drechsler, Bhargab B. Bhattacharya:
Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability. ACM J. Emerg. Technol. Comput. Syst. 12(4): 34:1-34:29 (2016)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/SoekenWKMD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/SoekenWKMD16
Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler:
Embedding of Large Boolean Functions for Reversible Logic. ACM J. Emerg. Technol. Comput. Syst. 12(4): 41:1-41:26 (2016)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/DebWKHD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/DebWKHD16
Arighna Deb, Robert Wille, Oliver Keszöcze, Stefan Hillmich, Rolf Drechsler:
Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits. ACM J. Emerg. Technol. Comput. Syst. 13(1): 11:1-11:13 (2016)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/NiemannWMTD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/NiemannWMTD16
Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler:
QMDDs: Efficient Quantum Function Representation and Manipulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(1): 86-99 (2016)
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/WilleKWRCD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/WilleKWRCD16
Robert Wille, Oliver Keszöcze, Marcel Walter, Patrick Rohrs, Anupam Chattopadhyay, Rolf Drechsler:
Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits. ASP-DAC 2016: 292-297
[c150]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/date/AmaruGW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/AmaruGW16
Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Robert Wille, Giovanni De Micheli:
Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking. DATE 2016: 175-180
[c149]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/date/WilleKHWO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WilleKHWO16
Robert Wille, Oliver Keszöcze, Stefan Hillmich, Marcel Walter, Alberto García Ortiz:
Synthesis of approximate coders for on-chip interconnects using reversible logic. DATE 2016: 1140-1143
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/WilleLSD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/WilleLSD16
Robert Wille, Bing Li, Ulf Schlichtmann, Rolf Drechsler:
From biochips to quantum circuits: computer-aided design for emerging technologies. ICCAD 2016: 132
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/ised/BurmanDW0D16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ised/BurmanDW0D16
Shuchishman Burman, Kamalika Datta, Robert Wille, Indranil Sengupta, Rolf Drechsler:
An improved gate library for logic synthesis of optical circuits. ISED 2016: 1-6
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/ised/WilleKOTD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ised/WilleKOTD16
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler:
Generating and checking control logic in the HDL-based design of reversible circuits. ISED 2016: 7-12
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/ised/FilhoPWD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ised/FilhoPWD16
Jonas Gomes Filho, Nils Przigoda, Robert Wille, Rolf Drechsler:
Towards a model-based verification methodology for Complex Swarm Systems (Invited paper). ISED 2016: 18-23
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/Al-WardiWD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/Al-WardiWD16
Zaid Al-Wardi, Robert Wille, Rolf Drechsler:
Re-Writing HDL Descriptions for Line-Aware Synthesis of Reversible Circuits. ISMVL 2016: 31-36
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/PrzigodaDWD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/PrzigodaDWD16
Nils Przigoda, Gerhard W. Dueck, Robert Wille, Rolf Drechsler:
Fault Detection in Parity Preserving Reversible Circuits. ISMVL 2016: 44-49
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/RahmanDCW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/RahmanDCW16
Md. Mazder Rahman, Gerhard W. Dueck, Anupam Chattopadhyay, Robert Wille:
Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits. ISMVL 2016: 144-149
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/BiswalBCWDR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/BiswalBCWDR16
Laxmidhar Biswal, Chandan Bandyopadhyay, Anupam Chattopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman:
Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation. ISMVL 2016: 156-161
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/NiemannDW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/NiemannDW16
Philipp Niemann, Rhitam Datta, Robert Wille:
Logic Synthesis for Quantum State Generation. ISMVL 2016: 247-252
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/PrzigodaFNWD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/PrzigodaFNWD16
Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler:
Frame conditions in symbolic representations of UML/OCL models. MEMOCODE 2016: 65-70
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/PetersPWD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/PetersPWD16
Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler:
Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models. MEMOCODE 2016: 78-84
[c137]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/modellierung/HilkenNGW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modellierung/HilkenNGW16
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. Modellierung 2016: 117-124
[c136]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/PrzigodaHPWGD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PrzigodaHPWGD16
Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler:
Integrating an SMT-Based ModelFinder into USE. MoDeVVa@MoDELS 2016: 40-45
[c135]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/models/PrzigodaWD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PrzigodaWD16
Nils Przigoda, Robert Wille, Rolf Drechsler:
Ground setting properties for an efficient translation of OCL in SMT-based model finding. MoDELS 2016: 261-271
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/WilleKOTD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/WilleKOTD16
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler:
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. RC 2016: 160-166
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/WilleQIYM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/WilleQIYM16
Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato:
Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits. RC 2016: 181-196
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/WilleLN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/WilleLN16
Robert Wille, Aaron Lye, Philipp Niemann:
Checking Reversibility of Boolean Functions. RC 2016: 322-337
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/samos/WilleCD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/samos/WilleCD16
Robert Wille, Anupam Chattopadhyay, Rolf Drechsler:
From reversible logic to quantum circuits: Logic design for an emerging technology. SAMOS 2016: 268-274
[c130]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/NiemannHGW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/NiemannHGW16
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Extracting frame conditions from operation contracts. Software Engineering 2016: 89-90
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/BiswalBWDR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/BiswalBWDR16
Laxmidhar Biswal, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman:
Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library. VLSID 2016: 573-574
[e2]
- view
- export record
  dblp key:
  - conf/fdl/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/2016
Rolf Drechsler, Robert Wille:
2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. IEEE 2016, ISBN 979-10-92279-17-7 [contents]
2015
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/WilleKDBK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/WilleKDBK15
Robert Wille, Oliver Keszöcze, Rolf Drechsler, Tobias Boehnisch, Alexander Kroker:
Scalable One-Pass Synthesis for Digital Microfluidic Biochips. IEEE Des. Test 32(6): 41-50 (2015)
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/WilleKHD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/WilleKHD15
Robert Wille, Oliver Keszöcze, Clemens Hopfmuller, Rolf Drechsler:
Reverse BDD-based synthesis for splitter-free optical circuits. ASP-DAC 2015: 172-177
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/LyeWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/LyeWD15
Aaron Lye, Robert Wille, Rolf Drechsler:
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits. ASP-DAC 2015: 178-183
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/PetersWPKD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/PetersWPKD15
Judith Peters, Robert Wille, Nils Przigoda, Ulrich Kühne, Rolf Drechsler:
A generic representation of CCSL time constraints for UML/MARTE models. DAC 2015: 122:1-122:6
[c125]
- view
- export record
  dblp key:
  - conf/date/StoppeWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/StoppeWD15
Jannis Stoppe, Robert Wille, Rolf Drechsler:
Automated feature localization for dynamically generated SystemC designs. DATE 2015: 277-280
[c124]
- view
- export record
  dblp key:
  - conf/date/NiemannHGW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/NiemannHGW15
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Assisted generation of frame conditions for formal models. DATE 2015: 309-312
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/PrzigodaWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/PrzigodaWD15
Nils Przigoda, Robert Wille, Rolf Drechsler:
Contradiction Analysis for Inconsistent Formal Models. DDECS 2015: 171-176
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/PrzigodaWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/PrzigodaWD15
Nils Przigoda, Robert Wille, Rolf Drechsler:
Leveraging the Analysis for Invariant Independence in Formal System Models. DSD 2015: 359-366
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/PrzigodaSSWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/PrzigodaSSWD15
Nils Przigoda, Jannis Stoppe, Julia Seiter, Robert Wille, Rolf Drechsler:
Verification-Driven Design Across Abstraction Levels: A Case Study. DSD 2015: 375-382
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/green/DrechslerW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/green/DrechslerW15
Rolf Drechsler, Robert Wille:
Reversible computation. IGSC 2015: 1-5
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/WilleD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/WilleD15
Robert Wille, Rolf Drechsler:
Formal Methods for Emerging Technologies. ICCAD 2015: 65-70
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/KeszoczeWCD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/KeszoczeWCD15
Oliver Keszöcze, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler:
A General and Exact Routing Methodology for Digital Microfluidic Biochips. ICCAD 2015: 874-881
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/HilkenNGW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/HilkenNGW15
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. ICMT 2015: 149-165
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/DebWDD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/DebWDD15
Arighna Deb, Robert Wille, Rolf Drechsler, Debesh K. Das:
An Efficient Reduction of Common Control Lines for Reversible Circuit Optimization. ISMVL 2015: 14-19
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/Allahyari-Abhari15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/Allahyari-Abhari15
Arman Allahyari-Abhari, Robert Wille, Rolf Drechsler:
An Examination of the NCV-|u1 > Quantum Library Based on Minimal Circuits. ISMVL 2015: 42-47
[c114]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/PrzigodaWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/PrzigodaWD15
Nils Przigoda, Robert Wille, Rolf Drechsler:
Verbesserung der Fehlersuche in inkonsistenten formalen Modellen (Erweiterte Zusammenfassung). MBMV 2015: 165-172
[c113]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/PrzigodaPSWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PrzigodaPSWD15
Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler:
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. MoDeVVa@MoDELS 2015: 44-47
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/models/PrzigodaHWPD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PrzigodaHWPD15
Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler:
Checking concurrent behavior in UML/OCL models. MoDELS 2015: 176-185
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/models/NiemannHGW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/NiemannHGW15
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Extracting frame conditions from operation contracts. MoDELS 2015: 266-275
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/HilkenPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/HilkenPW15
Christoph Hilken, Jan Peleska, Robert Wille:
A Unified Formulation of Behavioral Semantics for SysML Models. MODELSWARD 2015: 263-271
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Al-WardiWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Al-WardiWD15
Zaid Al-Wardi, Robert Wille, Rolf Drechsler:
Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits. RC 2015: 233-247
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/NiemannBCJW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/NiemannBCJW15
Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille:
Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. RC 2015: 248-264
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/KoleDSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/KoleDSW15
Abhoy Kole, Kamalika Datta, Indranil Sengupta, Robert Wille:
Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits. RC 2015: 273-278
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/recosoc/DrechslerFW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/recosoc/DrechslerFW15
Rolf Drechsler, Martin Fränzle, Robert Wille:
Envisioning self-verification of electronic systems. ReCoSoC 2015: 1-6
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/SchonbornDWSRD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/SchonbornDWSRD15
Eleonora Schönborn, Kamalika Datta, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler:
BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits. VLSID 2015: 435-440
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/ChakrabartyHW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/ChakrabartyHW15
Krishnendu Chakrabarty, Tsung-Yi Ho, Robert Wille:
Design of Microfluidic Biochips (Dagstuhl Seminar 15352). Dagstuhl Reports 5(8): 34-53 (2015)
2014
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/WilleSMD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/WilleSMD14
Robert Wille, Mathias Soeken, D. Michael Miller, Rolf Drechsler:
Trading off circuit lines and gate costs in the synthesis of reversible logic. Integr. 47(2): 284-294 (2014)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/WilleDT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/WilleDT14
Robert Wille, Rolf Drechsler, Mehdi Baradaran Tahoori:
Introduction to the Special Issue on Reversible Computation. ACM J. Emerg. Technol. Comput. Syst. 11(2): 8:1-8:2 (2014)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/qip/WilleLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qip/WilleLD14
Robert Wille, Aaron Lye, Rolf Drechsler:
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level. Quantum Inf. Process. 13(2): 185-199 (2014)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/WilleLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/WilleLD14
Robert Wille, Aaron Lye, Rolf Drechsler:
Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(12): 1818-1831 (2014)
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/NiemannWD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/NiemannWD14
Philipp Niemann, Robert Wille, Rolf Drechsler:
Efficient synthesis of quantum circuits implementing clifford group operations. ASP-DAC 2014: 483-488
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/WilleLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/WilleLD14
Robert Wille, Aaron Lye, Rolf Drechsler:
Optimal SWAP gate insertion for nearest neighbor quantum circuits. ASP-DAC 2014: 489-494
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/KeszoczeWHD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/KeszoczeWHD14
Oliver Keszöcze, Robert Wille, Tsung-Yi Ho, Rolf Drechsler:
Exact One-pass Synthesis of Digital Microfluidic Biochips. DAC 2014: 142:1-142:6
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/SchonbornDWSRD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/SchonbornDWSRD14
Eleonora Schönborn, Kamalika Datta, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler:
Optimizing DD-based synthesis of reversible circuits using negative control lines. DDECS 2014: 129-134
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/YangWD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/YangWD14
Shuo Yang, Robert Wille, Rolf Drechsler:
Improving Coverage of Simulation-Based Verification by Dedicated Stimuli Generation. DSD 2014: 599-606
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/HilkenSWKD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/HilkenSWKD14
Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler:
Verifying consistency between activity diagrams and their corresponding OCL contracts. FDL 2014: 1-7
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/SeiterWKD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/SeiterWKD14
Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler:
Automatic refinement checking for formal system models. FDL 2014: 1-8
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/KeszoczeWD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/KeszoczeWD14
Oliver Keszöcze, Robert Wille, Rolf Drechsler:
Exact routing for digital microfluidic biochips with temporary blockages. ICCAD 2014: 405-410
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/DrechslerSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/DrechslerSW14
Rolf Drechsler, Mathias Soeken, Robert Wille:
Automated and quality-driven requirements engineering. ICCAD 2014: 586-590
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/PetersWD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/PetersWD14
Judith Peters, Robert Wille, Rolf Drechsler:
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. ICECCS 2014: 116-125
[c94]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/HilkenNWG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HilkenNWG14
Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla:
Towards a Base Model for UML and OCL Verification. MoDeVVa@MoDELS 2014: 59-68
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/WilleSSDD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/WilleSSDD14
Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler:
RevVis: Visualization of Structures and Properties in Reversible Circuits. RC 2014: 111-124
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/NiemannWD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/NiemannWD14
Philipp Niemann, Robert Wille, Rolf Drechsler:
Equivalence Checking in Multi-level Quantum Systems. RC 2014: 201-215
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcci/YangWD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcci/YangWD14
Shuo Yang, Robert Wille, Rolf Drechsler:
Determining Cases of Scenarios to Improve Coverage in Simulation-based Verification. SBCCI 2014: 11:1-11:7
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcci/StoppeWD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcci/StoppeWD14
Jannis Stoppe, Robert Wille, Rolf Drechsler:
Validating SystemC Implementations Against Their Formal Specifications. SBCCI 2014: 13:1-13:8
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HilkenNGW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HilkenNGW14
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. TAP@STAF 2014: 99-116
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SoekenWKMD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SoekenWKMD14
Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler:
Embedding of Large Boolean Functions for Reversible Logic. CoRR abs/1408.3586 (2014)
2013
[j11]
- view
  - electronic edition @ oldcitypublishing.com
  - details & citations
- export record
  dblp key:
  - journals/mvl/WilleSPD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mvl/WilleSPD13
Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler:
Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits. J. Multiple Valued Log. Soft Comput. 21(5-6): 627-640 (2013)
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/africon/WillePD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africon/WillePD13
Robert Wille, Nils Przigoda, Rolf Drechsler:
A compact and efficient SAT encoding for quantum circuits. AFRICON 2013: 1-6
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/africon/WilleSD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africon/WilleSD13
Robert Wille, Simon Stelter, Rolf Drechsler:
Exploiting reversibility in the complete simulation of reversible circuits. AFRICON 2013: 1-6
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/WilleSOD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/WilleSOD13
Robert Wille, Mathias Soeken, Christian Otterstedt, Rolf Drechsler:
Improving the mapping of reversible circuits to quantum circuits using multiple target lines. ASP-DAC 2013: 145-150
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SeiterWSD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SeiterWSD13
Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler:
Determining relevant model elements for the verification of UML/OCL specifications. DATE 2013: 1189-1192
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WilleGSKD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WilleGSKD13
Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler:
Towards a generic verification methodology for system models. DATE 2013: 1193-1196
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/YangWGD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/YangWGD13
Shuo Yang, Robert Wille, Daniel Große, Rolf Drechsler:
Minimal Stimuli Generation in Simulation-Based Verification. DSD 2013: 439-444
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/StoppeWD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/StoppeWD13
Jannis Stoppe, Robert Wille, Rolf Drechsler:
Cone of Influence Analysis at the Electronic System Level Using Machine Learning. DSD 2013: 582-587
[c81]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/gi/DrechslerW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/DrechslerW13
Rolf Drechsler, Mathias Soeken, Robert Wille:
Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung. GI-Jahrestagung 2013: 151
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/EggersglussWD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/EggersglussWD13
Stephan Eggersglüß, Robert Wille, Rolf Drechsler:
Improved SAT-based ATPG: more constraints, better compaction. ICCAD 2013: 85-90
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/WilleZD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/WilleZD13
Robert Wille, Hongyan Zhang, Rolf Drechsler:
Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits. ISMVL 2013: 29-34
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/AbdessaiedSWD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/AbdessaiedSWD13
Nabila Abdessaied, Mathias Soeken, Robert Wille, Rolf Drechsler:
Exact Template Matching Using Boolean Satisfiability. ISMVL 2013: 328-333
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/StoppeWD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/StoppeWD13
Jannis Stoppe, Robert Wille, Rolf Drechsler:
Data extraction from SystemC designs using debug symbols and the SystemC API. ISVLSI 2013: 26-31
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/latw/DrechslerDEW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/DrechslerDEW13
Rolf Drechsler, Melanie Diepenbeck, Stephan Eggersglüß, Robert Wille:
PASSAT 2.0: A multi-functional SAT-based testing framework. LATW 2013: 1
[c75]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/SoekenWKD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SoekenWKD13
Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler:
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. MBMV 2013: 99-103
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/mwscas/WilleD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mwscas/WilleD13
Robert Wille, Rolf Drechsler:
The SyReC hardware description language: Enabling scalable synthesis of reversible circuits. MWSCAS 2013: 1063-1066
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/NiemannWD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/NiemannWD13
Philipp Niemann, Robert Wille, Rolf Drechsler:
On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure. RC 2013: 125-140
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/DebDRBWD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/DebDRBWD13
Arighna Deb, Debesh K. Das, Hafizur Rahaman, Bhargab B. Bhattacharya, Robert Wille, Rolf Drechsler:
Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure. RC 2013: 182-195
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/DattaRWSRD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/DattaRWSRD13
Kamalika Datta, Gaurav Rathi, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler:
Exploiting Negative Control Lines in the Optimization of Reversible Circuits. RC 2013: 209-220
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/AbdessaiedWSD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/AbdessaiedWSD13
Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler:
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines. RC 2013: 221-233
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SasanianWM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SasanianWM13
Zahra Sasanian, Robert Wille, D. Michael Miller:
Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library. CoRR abs/1309.1419 (2013)
2012
[j10]
- view
  - electronic edition @ oldcitypublishing.com
  - details & citations
- export record
  dblp key:
  - journals/mvl/DrechslerUW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mvl/DrechslerUW12
Rolf Drechsler, Irek Ulidowski, Robert Wille:
Foreword: Special Issue on Reversible Computation. J. Multiple Valued Log. Soft Comput. 18(1): 1-3 (2012)
[j9]
- view
  - electronic edition @ oldcitypublishing.com
  - details & citations
- export record
  dblp key:
  - journals/mvl/SoekenFWD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mvl/SoekenFWD12
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler:
RevKit: A Toolkit for Reversible Circuit Design. J. Multiple Valued Log. Soft Comput. 18(1): 55-65 (2012)
[j8]
- view
  - electronic edition @ oldcitypublishing.com
  - details & citations
- export record
  dblp key:
  - journals/mvl/MillerWD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mvl/MillerWD12
D. Michael Miller, Robert Wille, Rolf Drechsler:
Reducing Reversible Circuit Cost by Adding Lines. J. Multiple Valued Log. Soft Comput. 19(1-3): 185-201 (2012)
[j7]
- view
  - electronic edition @ oldcitypublishing.com
  - details & citations
- export record
  dblp key:
  - journals/mvl/WilleGMD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mvl/WilleGMD12
Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler:
Equivalence Checking of Reversible Circuits. J. Multiple Valued Log. Soft Comput. 19(4): 361-378 (2012)
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/SoekenWHPD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/SoekenWHPD12
Mathias Soeken, Robert Wille, Christoph Hilken, Nils Przigoda, Rolf Drechsler:
Synthesis of reversible circuits with minimal lines for large functions. ASP-DAC 2012: 85-92
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/SasanianWM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/SasanianWM12
Zahra Sasanian, Robert Wille, D. Michael Miller:
Realizing reversible circuits using a new class of quantum gates. DAC 2012: 36-41
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WilleDOO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WilleDOO12
Robert Wille, Rolf Drechsler, Christof Osewold, Alberto García Ortiz:
Automatic design of low-power encoders using reversible circuit synthesis. DATE 2012: 1036-1041
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WilleSD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WilleSD12
Robert Wille, Mathias Soeken, Rolf Drechsler:
Debugging of inconsistent UML/OCL models. DATE 2012: 1078-1083
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SoekenWD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SoekenWD12
Mathias Soeken, Robert Wille, Rolf Drechsler:
Eliminating invariants in UML/OCL models. DATE 2012: 1142-1145
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/YangWGD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/YangWGD12
Shuo Yang, Robert Wille, Daniel Große, Rolf Drechsler:
Coverage-Driven Stimuli Generation. DSD 2012: 525-528
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/DrechslerSW12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/DrechslerSW12a
Rolf Drechsler, Mathias Soeken, Robert Wille:
Formal Specification Level. FDL (Selected Papers) 2012: 37-52
[c62]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fdl/DrechslerSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/DrechslerSW12
Rolf Drechsler, Mathias Soeken, Robert Wille:
Formal Specification Level: Towards verification-driven design based on natural language processing. FDL 2012: 53-58
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/DrechslerDGKLSSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/DrechslerDGKLSSW12
Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang Minh Le, Julia Seiter, Mathias Soeken, Robert Wille:
Completeness-Driven Development. ICGT 2012: 38-50
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/DrechslerHW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/DrechslerHW12
Rolf Drechsler, Ian G. Harris, Robert Wille:
Generating formal system models from natural language descriptions. HLDVT 2012: 164-165
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/ised/DrechslerW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ised/DrechslerW12
Rolf Drechsler, Robert Wille:
Synthesis of Reversible Circuits Using Decision Diagrams. ISED 2012: 1-5
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/WilleSPD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/WilleSPD12
Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler:
Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines. ISMVL 2012: 69-74
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/SoekenSWMD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/SoekenSWMD12
Mathias Soeken, Zahra Sasanian, Robert Wille, D. Michael Miller, Rolf Drechsler:
Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits. ISMVL 2012: 173-178
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/SoekenWOD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/SoekenWOD12
Mathias Soeken, Robert Wille, Christian Otterstedt, Rolf Drechsler:
A Synthesis Flow for Sequential Reversible Circuits. ISMVL 2012: 299-304
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/WilleSSD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/WilleSSD12
Robert Wille, Mathias Soeken, Eleonora Schönborn, Rolf Drechsler:
Circuit Line Minimization in the HDL-Based Synthesis of Reversible Logic. ISVLSI 2012: 213-218
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/SeiterSWD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/SeiterSWD12
Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler:
Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. RC 2012: 183-196
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/SoekenWMD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/SoekenWMD12
Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler:
Using πDDs in the Design of Reversible Circuits. RC 2012: 197-203
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/SoekenWD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/SoekenWD12
Mathias Soeken, Robert Wille, Rolf Drechsler:
Assisted Behavior Driven Development Using Natural Language Processing. TOOLS (50) 2012: 269-287
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/vdat/DrechslerW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vdat/DrechslerW12
Rolf Drechsler, Robert Wille:
Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology - (Invited Paper). VDAT 2012: 383-392
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/2011
Alexis De Vos, Robert Wille:
Reversible Computation - Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. Lecture Notes in Computer Science 7165, Springer 2012, ISBN 978-3-642-29516-4 [contents]
2011
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/WilleGFDD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/WilleGFDD11
Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler:
Debugging reversible circuits. Integr. 44(1): 51-61 (2011)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/qip/SaeediWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qip/SaeediWD11
Mehdi Saeedi, Robert Wille, Rolf Drechsler:
Synthesis of quantum circuits for linear nearest neighbor architectures. Quantum Inf. Process. 10(3): 355-377 (2011)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/africon/ZhangFWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africon/ZhangFWD11
Hongyan Zhang, Stefan Frehse, Robert Wille, Rolf Drechsler:
Determining minimal testsets for reversible circuits using Boolean satisfiability. AFRICON 2011: 1-6
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/ZhangWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/ZhangWD11
Hongyan Zhang, Robert Wille, Rolf Drechsler:
Improved Fault Diagnosis for Reversible Circuits. Asian Test Symposium 2011: 207-212
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SoekenWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SoekenWD11
Mathias Soeken, Robert Wille, Rolf Drechsler:
Verifying dynamic aspects of UML models. DATE 2011: 1077-1082
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WilleKD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WilleKD11
Robert Wille, Oliver Keszöcze, Rolf Drechsler:
Determining the minimal number of lines for large reversible circuits. DATE 2011: 1204-1207
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/evoW/DrechslerFW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evoW/DrechslerFW11
Rolf Drechsler, Alexander Finder, Robert Wille:
Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms. EvoApplications (2) 2011: 151-161
[c45]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fdl/OffermannWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/OffermannWD11
Sebastian Offermann, Robert Wille, Rolf Drechsler:
Efficient realization of control logic in reversible circuits. FDL 2011: 1-7
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/DrechslerW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/DrechslerW11
Rolf Drechsler, Robert Wille:
From Truth Tables to Programming Languages: Progress in the Design of Reversible Circuits. ISMVL 2011: 78-85
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/WilleSGSD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/WilleSGSD11
Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler:
Designing a RISC CPU in Reversible Logic. ISMVL 2011: 170-175
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/MillerWS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/MillerWS11
D. Michael Miller, Robert Wille, Zahra Sasanian:
Elementary Quantum Gate Realizations for Multiple-Control Toffoli Gates. ISMVL 2011: 288-293
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/WilleZD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/WilleZD11
Robert Wille, Hongyan Zhang, Rolf Drechsler:
ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization. ISVLSI 2011: 120-125
[c40]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/WilleSGSD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WilleSGSD11
Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler:
Designing a RISC CPU in Reversible Logic. MBMV 2011: 249-258
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SoekenWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SoekenWD11
Mathias Soeken, Robert Wille, Rolf Drechsler:
Towards automatic determination of problem bounds for object instantiation in static model verification. MoDeVVa@MoDELS 2011: 2:1-2:4
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/SoekenFWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/SoekenFWD11
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler:
RevKit: An Open Source Toolkit for the Design of Reversible Circuits. RC 2011: 64-76
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SoekenWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SoekenWD11
Mathias Soeken, Robert Wille, Rolf Drechsler:
Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. TAP@TOOLS 2011: 152-170
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SaeediWD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SaeediWD11
Mehdi Saeedi, Robert Wille, Rolf Drechsler:
Synthesis of Quantum Circuits for Linear Nearest Neighbor Architectures. CoRR abs/1110.6412 (2011)
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/MoritaW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/MoritaW11
Kenichi Morita, Robert Wille:
Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502). Dagstuhl Reports 1(12): 47-61 (2011)
2010
[b2]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0025733
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0025733
Robert Wille, Rolf Drechsler:
Towards a Design Flow for Reversible Logic. Springer 2010, ISBN 978-90-481-9578-7, pp. I-XIII, 1-184
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijamc-igi/WilleD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijamc-igi/WilleD10
Robert Wille, Rolf Drechsler:
BDD-Based Synthesis of Reversible Logic. Int. J. Appl. Metaheuristic Comput. 1(4): 25-41 (2010)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/it/WilleD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/WilleD10
Robert Wille, Rolf Drechsler:
Synthese reversibler Logik (Synthesizing Reversible Logic). it Inf. Technol. 52(1): 30-38 (2010)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/WilleSD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/WilleSD10
Robert Wille, Mathias Soeken, Rolf Drechsler:
Reducing the number of lines in reversible circuits. DAC 2010: 647-652
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SoekenWKGD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SoekenWKGD10
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler:
Verifying UML/OCL models using Boolean satisfiability. DATE 2010: 1341-1344
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/OffermannWDD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/OffermannWDD10
Sebastian Offermann, Robert Wille, Gerhard W. Dueck, Rolf Drechsler:
Synthesizing multiplier in reversible logic. DDECS 2010: 335-340
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/SoekenWDD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/SoekenWDD10
Mathias Soeken, Robert Wille, Gerhard W. Dueck, Rolf Drechsler:
Window optimization of reversible and quantum circuits. DDECS 2010: 341-345
[c32]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fdl/WilleOD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/WilleOD10
Robert Wille, Sebastian Offermann, Rolf Drechsler:
SyReC: A Programming Language for Synthesis of Reversible Circuits. FDL 2010: 184-189
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KreowskiKW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KreowskiKW10
Hans-Jörg Kreowski, Sabine Kuske, Robert Wille:
Graph Transformation Units Guided by a SAT Solver. ICGT 2010: 27-42
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/JungFWD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/JungFWD10
Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler:
Enhancing debugging of multiple missing control errors in reversible logic. ACM Great Lakes Symposium on VLSI 2010: 465-470
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/idt/SoekenWD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idt/SoekenWD10
Mathias Soeken, Robert Wille, Rolf Drechsler:
Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition. IDT 2010: 143-148
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/idt/ZhangWD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idt/ZhangWD10
Hongyan Zhang, Robert Wille, Rolf Drechsler:
SAT-based ATPG for reversible circuits. IDT 2010: 149-154
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/FrehseWD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/FrehseWD10
Stefan Frehse, Robert Wille, Rolf Drechsler:
Efficient Simulation-Based Debugging of Reversible Logic. ISMVL 2010: 156-161
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/MillerWD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/MillerWD10
D. Michael Miller, Robert Wille, Rolf Drechsler:
Reducing Reversible Circuit Cost by Adding Lines. ISMVL 2010: 217-222
[c25]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/WilleOD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WilleOD10
Robert Wille, Sebastian Offermann, Rolf Drechsler:
SyReC: A Programming Language for Synthesis of Reversible Circuits. MBMV 2010: 21-30
[c24]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/SoekenWKGD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SoekenWKGD10
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler:
Verifying UML/OCL Models Using Boolean Satisfiability. MBMV 2010: 57-66

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b1]
- view
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/de/Wille2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Wille2009
Robert Wille:
Towards a design flow for reversible logic. University of Bremen, 2009, pp. 1-158
[j2]
- view
  - electronic edition @ oldcitypublishing.com
  - details & citations
- export record
  dblp key:
  - journals/mvl/GrosseWDD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mvl/GrosseWDD09
Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler:
Exact Synthesis of Elementary Quantum Gate Circuits. J. Multiple Valued Log. Soft Comput. 15(4): 283-300 (2009)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/GrosseWDD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/GrosseWDD09
Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler:
Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(5): 703-715 (2009)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/WilleD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/WilleD09
Robert Wille, Rolf Drechsler:
BDD-based synthesis of reversible logic for large functions. DAC 2009: 270-275
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WilleGFDD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WilleGFDD09
Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler:
Debugging of Toffoli networks. DATE 2009: 1284-1289
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/MillerWD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/MillerWD09
D. Michael Miller, Robert Wille, Gerhard W. Dueck:
Synthesizing Reversible Circuits for Irreversible Functions. DSD 2009: 749-756
[c20]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fdl/WilleGHD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/WilleGHD09
Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler:
SMT-based stimuli generation in the SystemC Verification library. FDL 2009: 1-6
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/GrosseWKD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/GrosseWKD09
Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler:
Contradictory antecedent debugging in bounded model checking. ACM Great Lakes Symposium on VLSI 2009: 173-176
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/SulflowWFD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/SulflowWFD09
André Sülflow, Robert Wille, Görschwin Fey, Rolf Drechsler:
Evaluation of Cardinality Constraints on SMT-Based Debugging. ISMVL 2009: 298-303
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/WilleGMD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/WilleGMD09
Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler:
Equivalence Checking of Reversible Circuits. ISMVL 2009: 324-330
[c16]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/WilleGMD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WilleGMD09
Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler:
Equivalence Checking of Reversible Circuits. MBMV 2009: 67-76
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/WilleGDD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/WilleGDD09
Robert Wille, Daniel Große, Gerhard W. Dueck, Rolf Drechsler:
Reversible Logic Synthesis with Output Permutation. VLSI Design 2009: 189-194
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/WilleD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WilleD10
Robert Wille, Rolf Drechsler:
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic. RC@ETAPS 2009: 57-70
[p1]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/gi/Wille09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/Wille09
Robert Wille:
Ein Entwurfsablauf für Reversible Schaltkreise. Ausgezeichnete Informatikdissertationen 2009: 291-300
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/WilleJSD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/WilleJSD09
Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler:
SWORD - Module-based SAT Solving. Algorithms and Applications for Next Generation SAT Solvers 2009
2008
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WilleLDG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WilleLDG08
Robert Wille, Hoang Minh Le, Gerhard W. Dueck, Daniel Große:
Quantified Synthesis of Reversible Logic. DATE 2008: 1015-1020
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/WilleFMALD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/WilleFMALD08
Robert Wille, Görschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler:
Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. DSD 2008: 542-549
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/GrosseWSD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/GrosseWSD08
Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler:
Contradiction Analysis for Constraint-based Random Simulation. FDL 2008: 130-135
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/GrosseWSD08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/GrosseWSD08a
Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler:
Debugging Contradictory Constraints in Constraint-Based Random Simulation. FDL (Selected Papers) 2008: 273-290
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/GrosseWDD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/GrosseWDD08
Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler:
Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares. ISMVL 2008: 214-219
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/WilleGTDD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/WilleGTDD08
Robert Wille, Daniel Große, Lisa Teuber, Gerhard W. Dueck, Rolf Drechsler:
RevLib: An Online Resource for Reversible Functions and Reversible Circuits. ISMVL 2008: 220-225
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/WilleGSD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/WilleGSD08
Robert Wille, Daniel Große, Mathias Soeken, Rolf Drechsler:
Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability. ISVLSI 2008: 411-416
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/GrosseWKD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GrosseWKD08
Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler:
Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking. MBMV 2008: 169-178
2007
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/WilleG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/WilleG07
Robert Wille, Daniel Große:
Fast exact Toffoli network synthesis of reversible logic. ICCAD 2007: 60-64
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/FeyGEWD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/FeyGEWD07
Görschwin Fey, Daniel Große, Stephan Eggersglüß, Robert Wille, Rolf Drechsler:
Formal Verification on the Word Level using SAT-like Proof Techniques. MBMV 2007: 81-90
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/vlsi/WilleFGGED07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsi/WilleFGGED07
Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler:
SWORD: A SAT like Prover Using Word Level Information. VLSI-SoC (Selected Papers) 2007: 1-17
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsi/WilleFGED07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsi/WilleFGED07
Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler:
SWORD: A SAT like prover using word level information. VLSI-SoC 2007: 88-93

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1993
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vlsi/BoldingCCEHNW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsi/BoldingCCEHNW93
Kevin Bolding, Sen-Ching S. Cheung, Sung-Eun Choi, Carl Ebeling, Soha Hassoun, Ton Anh Ngo, Robert Wille:
The chaos router chip: design and implementation of an adaptive router. VLSI 1993: 311-320

Coauthor Index

see FAQ