Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert Wille
Person information
- affiliation: Johannes Kepler University Linz, Austria
- affiliation: 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
- 2023
[j89]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)- [j88]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) - [j87]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) - [j86]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) - [j85]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) - [c304]Sarah Schneider, Lukas Burgholzer, Robert Wille:
A SAT Encoding for Optimal Clifford Circuit Synthesis. ASP-DAC 2023: 190-195 - [c303]Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille:
Compilation of Entangling Gates for High-Dimensional Quantum Systems. ASP-DAC 2023: 202-208 - [c302]Lukas Burgholzer, Robert Wille:
Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. ASP-DAC 2023: 429-435 - [c301]Tom Peham, Lukas Burgholzer, Robert Wille:
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. ASP-DAC 2023: 702-708 - [c300]Lucas Berent, Lukas Burgholzer, Robert Wille:
Software Tools for Decoding Quantum Low-Density Parity-Check Codes. ASP-DAC 2023: 709-714 - [c299]Robert Wille, Lukas Burgholzer:
MQT QMAP: Efficient Quantum Circuit Mapping. ISPD 2023: 198-204 - [i50]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) - [i49]Robert Wille, Lukas Burgholzer:
MQT QMAP: Efficient Quantum Circuit Mapping. CoRR abs/2301.11935 (2023) - [i48]Lukas Burgholzer, Alexander Ploier, Robert Wille:
Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation. CoRR abs/2302.06616 (2023) - 2022
- [j84]Gerold Fink, Tina Mitteramskogler, Marcus A. Hintermüller, Bernhard Jakoby, Robert Wille:
Automatic Design of Microfluidic Gradient Generators. IEEE Access 10: 28155-28164 (2022) - [j83]Lukas Burgholzer, Robert Wille, Richard Kueng:
Characteristics of reversible circuits for error detection. Array 14: 100165 (2022) - [j82]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) - [j81]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) - [j80]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) - [j79]Michel Takken, Robert Wille:
Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study. Sensors 22(14): 5392 (2022) - [d4]Gerold Fink, Florina Costamoling, Robert Wille:
MMFT Droplet Simulator: Efficient Simulation of Droplet-based Microfluidic Devices. Softw. Impacts 14: 100440 (2022) - [d3]Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille:
SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Softw. Impacts 14: 100451 (2022) - [j78]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) - [j77]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) - [c298]Gerold Fink, Philipp Ebner, Sudip Poddar, Robert Wille:
Improving the Robustness of Microfluidic Networks. ASP-DAC 2022: 68-73 - [c297]Lukas Burgholzer, Sarah Schneider, Robert Wille:
Limiting the Search Space in Optimal Quantum Circuit Mapping. ASP-DAC 2022: 466-471 - [c296]Sebastian A. Schober, Cecilia Carbonelli, Robert Wille:
Gas Discrimination Analysis of Neural Network Algorithms for a Graphene-Based Electronic Nose. CIVEMSA 2022: 1-6 - [c295]Tom Peham, Lukas Burgholzer, Robert Wille:
Equivalence checking paradigms in quantum circuit design: a case study. DAC 2022: 517-522 - [c294]Lukas Burgholzer, Robert Wille:
Handling non-unitaries in quantum circuit equivalence checking. DAC 2022: 529-534 - [c293]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 - [c292]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 - [c291]Gerold Fink, Philipp Ebner, Robert Wille:
Comprehensive and Accessible Channel Routing for Microfluidic Devices. DATE 2022: 44-47 - [c290]Lukas Burgholzer, Alexander Ploier, Robert Wille:
Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. DATE 2022: 64-67 - [c289]Gerold Fink, Medina Hamidovic, Werner Haselmayr, Robert Wille:
A Concept Towards Pressure-Controlled Microfluidic Networks. DDECS 2022: 118-123 - [c288]Katja Bühler, Cornelia Travniceck, 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 - [c287]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 - [c286]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 - [c285]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 - [c284]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 - [c283]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 - [c282]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 - [c281]Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille:
Adaptive Compilation of Multi-Level Quantum Operations. QCE 2022: 484-491 - [c280]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]Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille:
Optimal Railway Routing Using Virtual Subsections. RSSRail 2022: 63-79 - [c278]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]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]Lukas Burgholzer, Alexander Ploier, Robert Wille:
Simulation Paths for Quantum Circuit Simulation with Decision Diagrams. CoRR abs/2203.00703 (2022) - [i45]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]Nils Quetschlich, Lukas Burgholzer, Robert Wille:
MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. CoRR abs/2204.13719 (2022) - [i43]Sarah Schneider, Lukas Burgholzer, Robert Wille:
A SAT Encoding for Optimal Clifford Circuit Synthesis. CoRR abs/2208.11713 (2022) - [i42]Tom Peham, Lukas Burgholzer, Robert Wille:
Equivalence Checking of Quantum Circuits with the ZX-Calculus. CoRR abs/2208.12820 (2022) - [i41]Lucas Berent, Lukas Burgholzer, Robert Wille:
Software Tools for Decoding Quantum Low-Density Parity Check Codes. CoRR abs/2209.01180 (2022) - [i40]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]Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Predicting Good Quantum Circuit Compilation Options. CoRR abs/2210.08027 (2022) - [i38]Tom Peham, Lukas Burgholzer, Robert Wille:
On Optimal Subarchitectures for Quantum Circuit Mapping. CoRR abs/2210.09321 (2022) - [i37]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]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]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]Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Towards an Automated Framework for Realizing Quantum Computing Solutions. CoRR abs/2210.14928 (2022) - [i33]Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Compiler Optimization for Quantum Computing Using Reinforcement Learning. CoRR abs/2212.04508 (2022) - [i32]Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille:
SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. CoRR abs/2212.05903 (2022) - 2021
- [j76]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) - [j75]Felix Gemeinhardt, Robert Wille, Manuel Wimmer:
Quantum k-community detection: algorithm proposals and cross-architectural evaluation. Quantum Inf. Process. 20(9): 302 (2021) - [d2]Lukas Burgholzer, Robert Wille:
QCEC: A JKQ tool for quantum circuit equivalence checking. Softw. Impacts 7: 100051 (2021) - [j74]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]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]Lukas Burgholzer, Robert Wille:
Advanced Equivalence Checking for Quantum Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(9): 1810-1824 (2021) - [j71]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]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]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]Gerold Fink, Philipp Ebner, Medina Hamidovic, Werner Haselmayr, Robert Wille:
Accurate and Efficient Simulation of Microfluidic Networks. ASP-DAC 2021: 85-90 - [c276]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]Lukas Burgholzer, Richard Kueng, Robert Wille:
Random Stimuli Generation for the Verification of Quantum Circuits. ASP-DAC 2021: 767-772 - [c274]Stefan Hillmich, Alwin Zulehner, Robert Wille:
Exploiting Quantum Teleportation in Quantum Circuit Mapping. ASP-DAC 2021: 792-797 - [c273]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]Thomas Grurl, Richard Kueng, Jürgen Fuß, Robert Wille:
Stochastic Quantum Circuit Simulation Using Decision Diagrams. DATE 2021: 194-199 - [c271]Sudip Poddar, Gerold Fink, Werner Haselmayr, Robert Wille:
Generic Sample Preparation for Different Microfluidic Platforms. DATE 2021: 336-339 - [c270]Oliver Keszöcze, Naser Mohammadzadeh, Robert Wille:
Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures. DATE 2021: 344-349 - [c269]Robert Wille, Lukas Burgholzer, Michael Artner:
Visualizing Decision Diagrams for Quantum Computing (Special Session Summary). DATE 2021: 768-773 - [c268]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]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]Sebastian Pointner, Sven Wenzek, Robert Wille:
SMT-Based Placement for System-on-Chip Design. ISCAS 2021: 1-5 - [c265]Thomas Grurl, Jürgen Fuß, Robert Wille:
Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams. ISMVL 2021: 87-92 - [c264]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]Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Performance Aspects of Correctness-oriented Synthesis Flows. MODELSWARD 2021: 76-86 - [c262]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]Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille:
Decision Diagrams for Quantum Measurements with Shallow Circuits. QCE 2021: 24-34 - [c260]Lukas Burgholzer, Hartwig Bauer, Robert Wille:
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. QCE 2021: 199-206 - [c259]Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille:
Efficient Construction of Functional Representations for Quantum Algorithms. RC 2021: 227-241 - [d1]Atif Mashkoor, Robert Wille, Alexander Egyed, Sebastian Stock:
Data for a mapping study about the usage of MDE in Safety and Security Domain. Zenodo 2021 - [i31]Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille:
Efficient Construction of Functional Representations for Quantum Algorithms. CoRR abs/2103.08281 (2021) - [i30]Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille:
Decision Diagrams for Quantum Measurements with Shallow Circuits. CoRR abs/2105.06932 (2021) - [i29]Lukas Burgholzer, Hartwig Bauer, Robert Wille:
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. CoRR abs/2105.07045 (2021) - [i28]Lukas Burgholzer, Robert Wille:
Towards Verification of Dynamic Quantum Circuits. CoRR abs/2106.01099 (2021) - [i27]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]Lukas Burgholzer, Sarah Schneider, Robert Wille:
Limiting the Search Space in Optimal Quantum Circuit Mapping. CoRR abs/2112.00045 (2021) - 2020
- [j68]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]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]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]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]Kevin Verma, Hui Cao, Prithvi Mandapalli, Robert Wille:
Modeling and simulation of electrophoretic deposition coatings. J. Comput. Sci. 41: 101075 (2020) - [j63]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]Philipp Niemann, Robert Wille, Rolf Drechsler:
Advanced exact synthesis of Clifford+T circuits. Quantum Inf. Process. 19(1) (2020) - [j61]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]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]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]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]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]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]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]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]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]Stefan Hillmich, Alwin Zulehner, Robert Wille:
Concurrency in DD-based Quantum Circuit Simulation. ASP-DAC 2020: 115-120 - [c257]Alwin Zulehner, Stefan Hillmich, Igor L. Markov, Robert Wille:
Approximation of Quantum States Using Decision Diagrams. ASP-DAC 2020: 121-126 - [c256]Lukas Burgholzer, Robert Wille:
Improved DD-based Equivalence Checking of Quantum Circuits. ASP-DAC 2020: 127-132 - [c255]Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Towards Automatic Hardware Synthesis from Formal Specification to Implementation. ASP-DAC 2020: 375-380 - [c254]Lukas Burgholzer, Robert Wille:
The Power of Simulation for Equivalence Checking in Quantum Computing. DAC 2020: 1-6 - [c253]