


Остановите войну!
for scientists:


default search action
Robert 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]