Robert Wille
#142,064
Most Influential Person Now
Researcher ORCID ID = 0000-0002-4993-7860
Robert Wille's AcademicInfluence.com Rankings
Robert Willecomputer-science Degrees
Computer Science
#6883
World Rank
#7249
Historical Rank
Computer Engineering
#79
World Rank
#80
Historical Rank
Theoretical Computer Science
#96
World Rank
#96
Historical Rank
Machine Learning
#2377
World Rank
#2406
Historical Rank

Download Badge
Computer Science
Why Is Robert Wille Influential?
(Suggest an Edit or Addition)Robert Wille's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- RevLib: An Online Resource for Reversible Functions and Reversible Circuits (2008) (433)
- BDD-based synthesis of reversible logic for large functions (2009) (324)
- An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures (2017) (246)
- Synthesis of quantum circuits for linear nearest neighbor architectures (2011) (187)
- Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques (2009) (184)
- Verifying UML/OCL models using Boolean satisfiability (2010) (155)
- Elementary Quantum Gate Realizations for Multiple-Control Toffoli Gates (2011) (143)
- Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations (2019) (140)
- Towards a Design Flow for Reversible Logic (2010) (116)
- RevKit: A Toolkit for Reversible Circuit Design (2012) (110)
- Synthesis of reversible circuits with minimal lines for large functions (2012) (105)
- Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits (2016) (103)
- An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata (2018) (95)
- QMDDs: Efficient Quantum Function Representation and Manipulation (2016) (89)
- Equivalence Checking of Reversible Circuits (2009) (89)
- RevKit: An Open Source Toolkit for the Design of Reversible Circuits (2011) (87)
- Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits (2015) (87)
- Assisted Behavior Driven Development Using Natural Language Processing (2012) (86)
- Advanced Simulation of Quantum Computations (2017) (86)
- Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures (2014) (86)
- Efficient mapping of quantum circuits to the IBM QX architectures (2017) (83)
- Compiling SU(4) quantum circuits to IBM QX architectures (2018) (79)
- Reducing Reversible Circuit Cost by Adding Lines (2010) (75)
- Exact one-pass synthesis of digital microfluidic biochips (2014) (70)
- Optimal SWAP gate insertion for nearest neighbor quantum circuits (2014) (69)
- Reducing the number of lines in reversible circuits (2010) (66)
- Verifying dynamic aspects of UML models (2011) (65)
- SyReC: A Programming Language for Synthesis of Reversible Circuits (2010) (64)
- SWORD: A SAT like prover using word level information (2007) (60)
- Realizing reversible circuits using a new class of quantum gates (2012) (59)
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (2011) (59)
- Trading off circuit lines and gate costs in the synthesis of reversible logic (2014) (57)
- Improved SAT-based ATPG: More constraints, better compaction (2013) (56)
- Automatic design of low-power encoders using reversible circuit synthesis (2012) (56)
- One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic (2018) (54)
- IBM’s Qiskit Tool Chain: Working with and Developing for Real Quantum Computers (2019) (54)
- Reversible Logic Synthesis with Output Permutation (2009) (53)
- Improving the mapping of reversible circuits to quantum circuits using multiple target lines (2013) (52)
- Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares (2008) (50)
- Determining the minimal number of lines for large reversible circuits (2011) (49)
- Embedding of Large Boolean Functions for Reversible Logic (2014) (48)
- Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic (2010) (47)
- Close-to-optimal placement and routing for continuous-flow microfluidic biochips (2017) (46)
- A general and exact routing methodology for Digital Microfluidic Biochips (2015) (45)
- Quantified Synthesis of Reversible Logic (2008) (45)
- From Truth Tables to Programming Languages: Progress in the Design of Reversible Circuits (2011) (44)
- Synthesis of Reversible Functions Beyond Gate Count and Quantum Cost (2010) (44)
- Exact routing for digital microfluidic biochips with temporary blockages (2014) (44)
- Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition (2010) (44)
- Fast exact toffoli network synthesis of reversible logic (2007) (44)
- Make it reversible: Efficient embedding of non-reversible functions (2017) (41)
- Advanced Equivalence Checking for Quantum Circuits (2020) (41)
- Exact routing for micro-electrode-dot-array digital microfluidic biochips (2017) (40)
- How to Efficiently Handle Complex Values?: Implementing Decision Diagrams for Quantum Computing (2019) (40)
- Exploiting Negative Control Lines in the Optimization of Reversible Circuits (2013) (38)
- Debugging of Toffoli networks (2009) (37)
- SMT-based stimuli generation in the SystemC Verification library (2009) (37)
- ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization (2011) (37)
- Efficient synthesis of quantum circuits implementing clifford group operations (2014) (37)
- Debugging of inconsistent UML/OCL models (2012) (37)
- Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms (2011) (35)
- Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines (2012) (33)
- The chaos router chip: design and implementation of an adaptive router (1993) (33)
- Formal Specification Level: Towards verification-driven design based on natural language processing (2012) (32)
- Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations (2019) (31)
- Window optimization of reversible and quantum circuits (2010) (31)
- An exact method for design exploration of quantum-dot cellular automata (2018) (30)
- Scalable One-Pass Synthesis for Digital Microfluidic Biochips (2015) (29)
- Synthesizing Reversible Circuits for Irreversible Functions (2009) (28)
- Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A ^* ∗ (2017) (27)
- Synthesis of approximate coders for on-chip interconnects using reversible logic (2016) (27)
- Simulation before fabrication: a case study on the utilization of simulators for the design of droplet microfluidic networks (2018) (27)
- Keynote: Formal specification level: Towards verification-driven design based on natural language processing (2012) (27)
- Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow (2020) (26)
- Equivalence Checking in Multi-level Quantum Systems (2014) (26)
- Reverse BDD-based synthesis for splitter-free optical circuits (2015) (25)
- Automated Dimensioning of Networked Labs-on-Chip (2019) (25)
- SyReC: A hardware description language for the specification and synthesis of reversible circuits (2016) (25)
- Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits (2016) (25)
- Advanced Simulation of Droplet Microfluidics (2018) (25)
- Reducing the Depth of Quantum Circuits Using Additional Circuit Lines (2013) (24)
- Design of Application-Specific Architectures for Networked Labs-on-Chips (2018) (24)
- A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits (2018) (24)
- Exact Template Matching Using Boolean Satisfiability (2013) (23)
- Taking one-to-one mappings for granted: Advanced logic design of encoder circuits (2017) (23)
- Completeness-Driven Development (2012) (23)
- Analyzing Inconsistencies in UML/OCL Models (2016) (23)
- Ground setting properties for an efficient translation of OCL in SMT-based model finding (2016) (23)
- Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (2014) (23)
- Logic Synthesis for Quantum State Generation (2016) (22)
- Physical Co-Design of Flow and Control Layers for Flow-Based Microfluidic Biochips (2018) (22)
- Decision Diagrams for Quantum Measurements with Shallow Circuits (2021) (22)
- Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology - (Invited Paper) (2012) (22)
- Improved synthesis of Clifford+T quantum functionality (2018) (22)
- Checking concurrent behavior in UML/OCL models (2015) (22)
- Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits (2012) (21)
- Towards quantum reversible ternary coded decimal adder (2017) (21)
- Verifying the structure and behavior in UML/OCL models using satisfiability solvers (2016) (21)
- Scalable design for field-coupled nanocomputing circuits (2019) (21)
- Data extraction from SystemC designs using debug symbols and the SystemC API (2013) (21)
- Exact Synthesis of Elementary Quantum Gate Circuits (2009) (20)
- Considering nearest neighbor constraints of quantum circuits at the reversible circuit level (2014) (20)
- Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking (2016) (20)
- JKQ: JKU Tools for Quantum Computing (2020) (20)
- Synthesizing multiplier in reversible logic (2010) (20)
- Accuracy and Compactness in Decision Diagrams for Quantum Computation (2019) (19)
- BDD-Based Synthesis of Reversible Logic (2010) (19)
- Improved DD-based Equivalence Checking of Quantum Circuits (2020) (19)
- Exploiting reversible logic design for implementing adiabatic circuits (2017) (19)
- A discrete model for Networked Labs-on-Chips: Linking the physical world to design automation (2017) (18)
- Sound valve-control for programmable microfluidic devices (2018) (18)
- Multi-Channel and Fault-Tolerant Control Multiplexing for Flow-Based Microfluidic Biochips (2018) (18)
- Error-Oblivious Sample Preparation With Digital Microfluidic Lab-on-Chip (2019) (17)
- Passive droplet control in microfluidic networks: A survey and new perspectives on their practical realization (2019) (17)
- Coverage-Driven Stimuli Generation (2012) (16)
- A generic representation of CCSL time constraints for UML/MARTE models (2015) (16)
- Synthesis of Arbitrary Quantum Circuits to Topological Assembly: Systematic, Online and Compact (2017) (16)
- Circuit Line Minimization in the HDL-Based Synthesis of Reversible Logic (2012) (16)
- Determining relevant model elements for the verification of UML/OCL specifications (2013) (15)
- Improved Mapping of Quantum Circuits to IBM QX Architectures (2020) (15)
- Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs (2017) (15)
- Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL (2014) (15)
- Frame conditions in symbolic representations of UML/OCL models (2016) (15)
- Meander Designer: Automatically Generating Meander Channel Designs (2018) (15)
- Assisted generation of frame conditions for formal models (2015) (15)
- fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits (2019) (14)
- From biochips to quantum circuits: Computer-aided design for emerging technologies (2016) (14)
- Designing a RISC CPU in Reversible Logic (2011) (14)
- NISQ circuit compilers: search space structure and heuristics (2018) (14)
- Random Stimuli Generation for the Verification of Quantum Circuits (2020) (14)
- Tagged BDDs: Combining reduction rules from different decision diagram types (2017) (14)
- Exploiting Quantum Teleportation in Quantum Circuit Mapping (2020) (14)
- Just Like the Real Thing: Fast Weak Simulation of Quantum Computation (2020) (14)
- Exploiting coding techniques for logic synthesis of reversible circuits (2018) (13)
- Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation (2016) (13)
- A Survey of Graph Neural Networks for Electronic Design Automation (2021) (13)
- Extracting frame conditions from operation contracts (2015) (13)
- Wire recycling for quantum circuit optimization (2016) (13)
- BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits (2015) (13)
- Addressing multiple nodes in networked labs-on-chips without payload re-injection (2017) (13)
- Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions (2015) (13)
- Verifying consistency between activity diagrams and their corresponding OCL contracts (2014) (13)
- Advanced load balancing for SPH simulations on multi-GPU architectures (2017) (13)
- A Synthesis Flow for Sequential Reversible Circuits (2012) (13)
- Optimizing DD-based synthesis of reversible circuits using negative control lines (2014) (13)
- Multicontrol: Advanced Control-Logic Synthesis for Flow-Based Microfluidic Biochips (2020) (13)
- Formal Specification Level (2012) (13)
- Contradiction Analysis for Inconsistent Formal Models (2015) (13)
- Contradiction analysis for constraint-based random simulation (2008) (13)
- From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification (2015) (12)
- Storage-aware sample preparation using flow-based microfluidic Labs-on-Chip (2018) (12)
- Automatic Droplet Sequence Generation for Microfluidic Networks With Passive Droplet Routing (2020) (12)
- Debugging reversible circuits (2011) (12)
- Realizing Quantum Algorithms on Real Quantum Computing Devices (2020) (12)
- An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD) (2020) (12)
- Design automation for adiabatic circuits (2018) (12)
- On the Difficulty of Inserting Trojans in Reversible Computing Architectures (2017) (12)
- Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits (2016) (12)
- Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability (2008) (12)
- An introduction to reversible circuit design (2011) (12)
- Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is NP-complete (Research Note) (2019) (11)
- Synchronization of Clocked Field-Coupled Circuits (2018) (11)
- Evaluation of SAT like Proof Techniques for Formal Verification of Word Level Circuits (2007) (11)
- As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation (2020) (11)
- Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits (2016) (11)
- On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure (2013) (11)
- Evaluation of Cardinality Constraints on SMT-Based Debugging (2009) (11)
- Verification-Driven Design Across Abstraction Levels: A Case Study (2015) (11)
- A compact and efficient SAT encoding for quantum circuits (2013) (11)
- Visualizing Decision Diagrams for Quantum Computing (2020) (11)
- Limiting the Search Space in Optimal Quantum Circuit Mapping (2021) (11)
- Automated feature localization for dynamically generated SystemC designs (2015) (11)
- Verification of networked Labs-on-Chip architectures (2017) (11)
- Towards a generic verification methodology for system models (2013) (11)
- Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata (2018) (11)
- Envisioning self-verification of electronic systems (2015) (11)
- MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing (2022) (10)
- Enhancing debugging of multiple missing control errors in reversible logic (2010) (10)
- Introducing Design Automation for Quantum Computing (2020) (10)
- Validating SystemC implementations against their formal specifications (2014) (10)
- Towards Reverse Engineering Reversible Logic (2017) (10)
- Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators (2020) (10)
- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams (2012) (10)
- The Power of Simulation for Equivalence Checking in Quantum Computing (2020) (10)
- Breaking Landauer's Limit\\Using Quantum-dot Cellular Automata (2018) (10)
- Clinical data classification with noisy intermediate scale quantum computers (2021) (10)
- Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation (2020) (10)
- Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams (2020) (10)
- Approximation of Quantum States Using Decision Diagrams (2020) (9)
- From reversible logic to quantum circuits: Logic design for an emerging technology (2016) (9)
- Synthesis of circuits based on all-optical Mach-Zehnder Interferometers using Binary Decision Diagrams (2018) (9)
- Minimal Stimuli Generation in Simulation-Based Verification (2013) (9)
- Generating formal system models from natural language descriptions (2012) (9)
- Foreword: Special Issue on Reversible Computation (2012) (9)
- Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification (2017) (9)
- Fault Detection in Parity Preserving Reversible Circuits (2016) (9)
- Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-Coupled Nanotechnologies (2019) (9)
- SAT-based ATPG for reversible circuits (2010) (9)
- Efficient Simulation-Based Debugging of Reversible Logic (2010) (9)
- A staircase structure for scalable and efficient synthesis of memristor-aided logic (2019) (9)
- Automatic refinement checking for formal system models (2014) (9)
- Towards lightweight satisfiability solvers for self-verification (2017) (9)
- FAST AND FLEXIBLE DRUG SCREENING USING A PURE HYDRODYNAMIC DROPLET CONTROL (2018) (9)
- Advanced exact synthesis of Clifford+T circuits (2020) (9)
- A unified formulation of behavioral semantics for SysML models (2015) (9)
- Towards automatic determination of problem bounds for object instantiation in static model verification (2011) (8)
- Concurrency in DD-based Quantum Circuit Simulation (2020) (8)
- Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models (2016) (8)
- Near Zero-Energy Computation Using Quantum-Dot Cellular Automata (2018) (8)
- Reversible Circuits: IC/IP Piracy Attacks and Countermeasures (2019) (8)
- Storage-Aware Algorithms for Dilution and Mixture Preparation With Flow-Based Lab-on-Chip (2020) (8)
- Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models (2016) (8)
- Information Encoding in Droplet-Based Microfluidic Systems: First Practical Study (2019) (8)
- Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions (2017) (8)
- Building Free Binary Decision Diagrams Using SAT Solvers (2007) (8)
- PASSAT 2.0: A multi-functional SAT-based testing framework (2013) (8)
- Robustness Analysis for Droplet-Based Microfluidic Networks (2020) (8)
- Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking (2008) (8)
- IC/IP Piracy Assessment of Reversible Logic (2018) (7)
- Improved Fault Diagnosis for Reversible Circuits (2011) (7)
- Better Late Than Never : Verification of Embedded Systems After Deployment (2019) (7)
- Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips (2018) (7)
- Improving Coverage of Simulation-Based Verification by Dedicated Stimuli Generation (2014) (7)
- Leveraging the Analysis for Invariant Independence in Formal System Models (2015) (7)
- Off-Chip-Controlled Droplet-on-Demand Method for Precise Sample Handling (2020) (7)
- Graph Transformation Units Guided by a SAT Solver (2010) (7)
- Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits (2013) (7)
- Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision (2019) (7)
- Integrating an SMT-Based ModelFinder into USE (2016) (7)
- Efficient and Correct Compilation of Quantum Circuits (2020) (7)
- Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques (2020) (7)
- Online scheduled execution of quantum circuits protected by surface codes (2017) (7)
- Evaluating the Flexibility of A* for Mapping Quantum Circuits (2019) (7)
- Improved Look-Ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits (2019) (7)
- Efficient realization of control logic in reversible circuits (2011) (7)
- Synthesis of Reversible Circuits Using Decision Diagrams (2012) (6)
- Eliminating invariants in UML/OCL models (2012) (6)
- Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams (2021) (6)
- Comparison of switching principles in microfluidic bus networks (2018) (6)
- An Examination of the NCV-|u1 > Quantum Library Based on Minimal Circuits (2015) (6)
- Stochastic Quantum Circuit Simulation Using Decision Diagrams (2020) (6)
- An Efficient Reduction of Common Control Lines for Reversible Circuit Optimization (2015) (6)
- Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits (2015) (6)
- Automated and quality-driven requirements engineering (2014) (6)
- Robust sample preparation on digital microfluidic biochips (2019) (6)
- Verification for Field-coupled Nanocomputing Circuits (2020) (6)
- Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library (2016) (6)
- Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits (2019) (6)
- Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits (2015) (6)
- Parallel Simulation of Electrophoretic Deposition for Industrial Automotive Applications (2018) (6)
- Determining cases of scenarios to improve coverage in simulation-based verification (2014) (6)
- Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (2018) (6)
- Synthesis of optical circuits using binary decision diagrams (2017) (6)
- Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm (2020) (6)
- Contradictory antecedent debugging in bounded model checking (2009) (6)
- Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation (2020) (6)
- Towards a Base Model for UML and OCL Verification (2014) (6)
- NISQ circuit compilation is the travelling salesman problem on a torus (2020) (6)
- Towards Droplet on Demand for Microfluidic Networks (2018) (5)
- BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips (2017) (5)
- Scene-adaptive radar tracking with deep reinforcement learning (2022) (5)
- Designing Droplet Microfluidic Networks (2019) (5)
- Using πDDs in the Design of Reversible Circuits (2012) (5)
- Faster manipulation of large quantum circuits using wire label reference diagrams (2018) (5)
- On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata (2020) (5)
- Modeling and simulation of electrophoretic deposition coatings (2020) (5)
- Towards Verification of Dynamic Quantum Circuits (2021) (5)
- Simulating Industrial Electrophoretic Deposition on Distributed Memory Architectures (2019) (5)
- Label-Aware Ranked Loss for Robust People Counting Using Automotive In-Cabin Radar (2021) (5)
- Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure (2013) (5)
- Identifying Reversible Circuit Synthesis Approaches to Enable IP Piracy Attacks (2017) (5)
- Towards Exploring the Potential of Alternative Quantum Computing Architectures (2020) (4)
- Noise-Aware Quantum Circuit Simulation With Decision Diagrams (2023) (4)
- One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits (2019) (4)
- Functional Synthesis (2020) (4)
- Skipping Embedding in the Design of Reversible Circuits (2017) (4)
- Dedicated synthesis for MZI-based optical circuits based on AND-inverter graphs (2017) (4)
- Formal methods for emerging technologies (2015) (4)
- Efficient Construction of Functional Representations for Quantum Algorithms (2021) (4)
- Robust Multi-Target Sample Preparation on MEDA Biochips Obviating Waste Production (2020) (4)
- Re-Writing HDL Descriptions for Line-Aware Synthesis of Reversible Circuits (2016) (4)
- Equivalence checking paradigms in quantum circuit design: a case study (2022) (4)
- Predicting Good Quantum Circuit Compilation Options (2022) (4)
- Post Synthesis-Optimization of Reversible Circuit using Template Matching (2020) (4)
- Computer-Aided Design for Quantum Computation (2018) (4)
- QCEC: A JKQ tool for quantum circuit equivalence checking (2021) (4)
- Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams (2022) (4)
- Equivalence Checking of Quantum Circuits With the ZX-Calculus (2022) (4)
- Simulation and Design of Quantum Circuits (2020) (4)
- Automatic Design of Microfluidic Gradient Generators (2022) (4)
- More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models (2017) (4)
- Enhancing robustness of sequential circuits using application-specific knowledge and formal methods (2017) (4)
- Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study (2020) (4)
- BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems (2021) (4)
- Determining minimal testsets for reversible circuits using Boolean satisfiability (2011) (4)
- Automatic Design of Droplet-Based Microfluidic Ring Networks (2020) (4)
- Improving the Designs of Nearest Neighbour Quantum Circuits for 1D and 2D Architectures (2020) (4)
- Synthesis of Reversible Circuits Using Conventional Hardware Description Languages (2018) (4)
- Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements (2017) (4)
- Identification of Synthesis Approaches for IP/IC Piracy of Reversible Circuits (2019) (3)
- Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips (2019) (3)
- Guest Editorial Emerging Topics in Multiple-Valued Logic and Its Applications (2016) (3)
- Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability (2016) (3)
- Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning (2020) (3)
- Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence (2018) (3)
- Adaptive Compilation of Multi-Level Quantum Operations (2022) (3)
- Identifying a Subset of SystemVerilog Assertions for Efficient Bounded Model Checking (2009) (3)
- Towards Automatic Hardware Synthesis from Formal Specification to Implementation (2020) (3)
- Characteristics of Reversible Circuits for Error Detection (2020) (3)
- Towards an Automated Framework for Realizing Quantum Computing Solutions (2022) (3)
- Generic Sample Preparation for Different Microfluidic Platforms (2021) (3)
- Towards Increasing Test Compaction Abilities of SAT-based ATPG through Fault Detection Constraints (2012) (3)
- Reliable quantum circuits have defects (2016) (3)
- Accurate and Efficient Simulation of Microfluidic Networks (2021) (3)
- ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing (2020) (3)
- Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines (2019) (3)
- One-pass Synthesis for Field-coupled Nanocomputing Technologies (2021) (3)
- Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond (2022) (3)
- How Secure Are Checkpoint-Based Defenses in Digital Microfluidic Biochips? (2021) (3)
- Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses (2015) (3)
- Locking the Design of Building Blocks for Quantum Circuits (2019) (3)
- AMulti-GPU PCISPH Implementation with Efficient Memory Transfers (2018) (3)
- A Comprehensive Survey on Electronic Design Automation and Graph Neural Networks: Theory and Applications (2022) (3)
- Exploring the Potential Benefits of Alternative Quantum Computing Architectures (2021) (3)
- Checking Reversibility of Boolean Functions (2016) (3)
- A SAT Encoding for Optimal Clifford Circuit Synthesis (2022) (3)
- Cross-modal Learning of Graph Representations using Radar Point Cloud for Long-Range Gesture Recognition (2022) (3)
- An Efficient Nearest Neighbor Design for 2D Quantum Circuits (2019) (3)
- FormED : A Formal Environment for Debugging (2009) (3)
- Emerging Circuit Technologies: An Overview on the Next Generation of Circuits (2018) (3)
- Cone of Influence Analysis at the Electronic System Level Using Machine Learning (2013) (3)
- Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications (2019) (3)
- Bail on Balancing: An Alternative Approach to the Physical Design of Field-Coupled Nanocomputing Circuits (2020) (3)
- Towards Dialog Systems for Assisted Natural Language Processing in the Design of Embedded Systems ( Invited Paper ) (2012) (3)
- OR-Inverter Graphs for the Synthesis of Optical Circuits (2017) (3)
- A PCISPH implementation using distributed multi-GPU acceleration for simulating industrial engineering applications (2020) (3)
- Tools for Quantum Computing Based on Decision Diagrams (2021) (3)
- Quantum k-community detection: algorithm proposals and cross-architectural evaluation (2021) (2)
- Introduction to the Special Issue on Design Automation for Quantum Computing (2022) (2)
- Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report (2017) (2)
- Hexagons are the bestagons: design automation for silicon dangling bond logic (2022) (2)
- First Practical Realization of Switching in Microfluidic Networks (2019) (2)
- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report (2016) (2)
- MQT QMAP: Efficient Quantum Circuit Mapping (2023) (2)
- Passive Droplet Control in Two-Dimensional Microfluidic Networks (2019) (2)
- Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits (2013) (2)
- Handling non-unitaries in quantum circuit equivalence checking (2021) (2)
- Design and realization of flexible droplet-based lab-on-a-chip devices (2020) (2)
- Utilizing Explainable AI for improving the Performance of Neural Networks (2022) (2)
- Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots (2022) (2)
- An improved gate library for logic synthesis of optical circuits (2016) (2)
- Quantum Multiple-Valued Decision Diagrams (2017) (2)
- Formal Verification on the Word Level using SAT-like Proof Techniques (2007) (2)
- Toward a Stochastic Drift Simulation Model for Graphene-Based Gas Sensors (2022) (2)
- Generating and checking control logic in the HDL-based design of reversible circuits (2016) (2)
- An ant colony based mapping of quantum circuits to nearest neighbor architectures (2021) (2)
- Software Tools for Decoding Quantum Low-Density Parity-Check Codes (2022) (2)
- Dilution with Digital Microfluidic Biochips: How Unbalanced Splits Corrupt Target-Concentration (2019) (2)
- SyReC Synthesizer: An MQT tool for synthesis of reversible circuits (2022) (2)
- Deep Reinforcement Learning for Optimization at Early Design Stages (2023) (2)
- Verification of Embedded Systems Using Modeling and Implementation Languages (2012) (2)
- Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures (2021) (2)
- Neural Network Robustness Analysis Using Sensor Simulations for a Graphene-Based Semiconductor Gas Sensor (2022) (2)
- Flow-Based Passive Microfluidic Architecture for Homogeneous Mixing (2019) (2)
- Pushing the number of qubits below the “minimum”: Realizing compact boolean components for quantum logic (2018) (2)
- Automatic compiler optimization on embedded software through k-means clustering (2020) (2)
- Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library (2013) (2)
- RevVis: Visualization of Structures and Properties in Reversible Circuits (2014) (2)
- On Optimal Subarchitectures for Quantum Circuit Mapping (2022) (2)
- Comprehensive and Accessible Channel Routing for Microfluidic Devices (2022) (2)
- Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits - Work in Progress Report (2017) (2)
- DROPLET-ON-DEMAND FOR REALIZING FLEXIBLE AND PROGRAMMABLE LAB-ON-CHIP-DEVICES (2018) (2)
- A Formal Interpretation of UML/OCL (2018) (1)
- An efficient physical design of fully-testable BDD-based circuits (2017) (1)
- Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking (2008) (1)
- Test Pattern Generation Effort Evaluation of Reversible Circuits (2017) (1)
- Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams (2021) (1)
- Extensions to the Reversible Hardware Description Language SyReC (2017) (1)
- Effect of Volumetric Split-Errors on Reactant-Concentration During Sample Preparation with Microfluidic Biochips (2019) (1)
- Exact Routing for MicroElectrode-Dot-Array Digital Microfluidic Biochips (2016) (1)
- Pin-Aware Routing and Extensions (2018) (1)
- Embedding of Irreversible Functions (2010) (1)
- Error mitigation for a clinical data classification on the IonQ and the IBM quantum computers (2022) (1)
- Towards Automatic Design and Verification for Level 3 of the European Train Control System (2021) (1)
- Decision Diagrams for Quantum Computing (2023) (1)
- Formulating Model Verification Tasks Prover-Independently as UML Diagrams (2017) (1)
- Decision diagrams for the design of reversible and quantum circuits (2018) (1)
- The SyReC hardware description language: Enabling scalable synthesis of reversible circuits (2013) (1)
- Compilation of Entangling Gates for High-Dimensional Quantum Systems (2023) (1)
- Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks (2019) (1)
- Towards the exploitation of formal methods for information fusion (2016) (1)
- Design Automation for Continuous-Flow Lab-on-a-Chip Systems: A One-Pass Paradigm (2023) (1)
- Integer Overflow Detection in Hardware Designs at the Specification Level (2020) (1)
- A Concept Towards Pressure-Controlled Microfluidic Networks (2022) (1)
- Reversible Computation An Alternative Computation Paradigm for Low Power Applications (2015) (1)
- Generation and Validation of Frame Conditions in Formal Models (2018) (1)
- (Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications (2020) (1)
- Automatic Design of Microfluidic Devices (2018) (1)
- Towards a Model-Based Verification Methodology for Complex Swarm Systems (2016) (1)
- VisSAT: Visualization of SAT Solver Internals for Computer Aided Hardware Verification (2014) (1)
- Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows (2019) (1)
- Law-based Verication for Complex Swarm Systems (2012) (1)
- Recommending Solution Paths for Solving Optimization Problems with Quantum Computing (2022) (1)
- Formal methods for reasoning and uncertainty reduction in evidential grid maps (2017) (1)
- Towards a model-based verification methodology for Complex Swarm Systems (Invited paper) (2016) (1)
- Debugging Contradictory Constraints in Constraint-Based Random Simulation (2008) (1)
- Integrated Design Process (2019) (1)
- Reversible computation (2015) (1)
- Model‐driven engineering of safety and security software systems: A systematic mapping study and future research directions (2022) (1)
- Stochastic Computing Using Droplet-Based Microfluidics (2017) (1)
- The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus (2022) (1)
- Exploiting reversibility in the complete simulation of reversible circuits (2013) (1)
- Improving the Robustness of Microfluidic Networks (2022) (1)
- Error mitigation for quantum kernel based machine learning methods on IonQ and IBM quantum computers (2022) (1)
- Advanced Simulation of Quantum Computations: Compact Representation Rather than Hardware Power (2017) (1)
- Compiler Optimization for Quantum Computing Using Reinforcement Learning (2022) (1)
- A nearest neighbor quantum cost metric for the reversible circuit level (2017) (1)
- Performance Aspects of Correctness-oriented Synthesis Flows (2021) (1)
- Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences (2023) (1)
- Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking (2022) (1)
- Verifying Results of Quantum Circuit Compilation Flows (2021) (1)
- Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (2016) (1)
- Efficient Implementation of the DDs in the Quantum Realm (2020) (1)
- Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not (2022) (1)
- Generalizing the Concept of Scalable Reversible Circuit Synthesis for Multiple-Valued Logic (2018) (1)
- An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs (2017) (1)
- Verification Runtime Analysis: Get the Most Out of Partial Verification (2020) (1)
- SPH on Multi-GPU Architectures (2021) (0)
- Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502) (2011) (0)
- One-Pass Design Flow (2020) (0)
- Challenges and Initial Approaches (2017) (0)
- Synthesis of Reversible Logic (2010) (0)
- Synthese reversibler LogikSynthesizing Reversible Logic (2010) (0)
- Correlation Between Cross Interaction Constant and Bond Length in the S w 2 Transition State (2020) (0)
- Simulation of Electrophoretic Deposition Coatings (2021) (0)
- TOWARDS DESIGN AUTOMATION FOR MICROFLUIDIC DEVICES (2019) (0)
- Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think (2022) (0)
- W 06 The 2 nd International Workshop on Optical / Photonic Interconnects for Computing Systems ( OPTICS Workshop ) (2019) (0)
- Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept (2023) (0)
- Basics, Applications, and Design of Reversible Circuits (2017) (0)
- Gas Discrimination Analysis of Neural Network Algorithms for a Graphene-Based Electronic Nose (2022) (0)
- SWORD v 0 . 2 – Module-based SAT Solving (2008) (0)
- A Symbolic Formulation for Models (2018) (0)
- BioViz: An Interactive Visualization Engine for Microfluidic Biochips (2016) (0)
- Exact Mapping of Quantum Circuit Partitions to Building Blocks of the SAQIP Architecture (2022) (0)
- Accuracy and Compactness of DDs in the Quantum Realm (2020) (0)
- High Performance Simulation for Industrial Paint Shop Applications (2021) (0)
- Discussion and Outlook (2017) (0)
- SPH Variants on Multi-GPU Architectures (2021) (0)
- Passive Droplet Routing (2019) (0)
- J ul 2 01 9 Mapping antum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations (2019) (0)
- Simulating Droplet Microfluidic Networks (2019) (0)
- Summary and Conclusion (2019) (0)
- Quantum computers are coming! But how to use their potential? (2021) (0)
- Focus on What is Needed: Area and Power Efficient FPGAs Using Turn-Restricted Switch Boxes (2019) (0)
- Design Automation Methods for Conventional Systems (2020) (0)
- Pin Assignment (2018) (0)
- Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering (NII Shonan Meeting 2017-1) (2017) (0)
- A Dedicated Heuristic Approach for SU(4) Quantum Circuits (2020) (0)
- fabrication : a case study on the utilization of simulators for the design of droplet micro fl uidic networks (2018) (0)
- Re-utilizing Verification Results of UML/OCL Models (2018) (0)
- QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report) (2018) (0)
- Verification of Vertical Refinement (2017) (0)
- ExploitingQuantum Teleportation inQuantum Circuit Mapping (2020) (0)
- 2015 JETTA Reviewers (2016) (0)
- When Embedded Systems Meet Life Sciences: Microfluidic Biochips For Real-Time Healthcare (2016) (0)
- Volumetric Decomposition on Distributed Memory Architectures (2021) (0)
- Efficient design of labs-on-a-chip (2022) (0)
- SIMPLE AND PASSIVE MERGING-ON-DEMAND METHOD FOR REACTION ENGINEERING IN DROPLET MICROFLUIDICS (2019) (0)
- Efficient One-pass Synthesis for Digital Microfluidic Biochips (2021) (0)
- Exact Placement and Routing (2021) (0)
- Compact High-Performance Vibration Sensor Based on Single-Backplate MEMS Technology (2022) (0)
- Extraction of a Relation for Vertical Refinement (2017) (0)
- Quality Assessment of Generated Hardware Designs Using Statistical Analysis and Machine Learning (2018) (0)
- fiction: A Holistic Open-Source Framework (2021) (0)
- Design of Networked Labs-on-Chips (2017) (0)
- Decision Diagram-Based Simulation (2020) (0)
- Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic (2018) (0)
- Channel Routing for Microfluidic Devices: A Comprehensive and Accessible Design Tool (2023) (0)
- Dimensioning Droplet Microfluidic Networks (2019) (0)
- Chaos router chip (1994) (0)
- SWORD v 1 . 0 (2009) (0)
- Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision (2016) (0)
- Quantum Computing (2020) (0)
- Combining Evolutionary Algorithms and Deep Learning for Hardware/Software Interface Optimization (2019) (0)
- Accurate and EfficientSimulation of Microfluidic Networks (2020) (0)
- Scalable Placement and Routing (2021) (0)
- Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers (2023) (0)
- Formal Verification and Debugging (2010) (0)
- Session details: Stochastic computing (2020) (0)
- Theoretical Groundwork (2021) (0)
- Designing Meanders (2019) (0)
- Generic Error Localization for the Electronic System Level (2019) (0)
- Minimal and Close-to-Minimal Approaches (2020) (0)
- Introduction to the Special Issue on Reversible Computation (2014) (0)
- Combining Various Meta-Models for the Generation of Control Structures in Hardware (2012) (0)
- Decoding quantum color codes with MaxSAT (2023) (0)
- Synthesis of Quantum Circuits (2017) (0)
- A Generic Sample Preparation Approach for Different Microfluidic Labs-on-Chips (2022) (0)
- Four-Valued Logic in UML/OCL Models: A “Playground” for the MVL Community (2019) (0)
- SPECifIC — A New Design Flow for Cyber-Physical Systems (2017) (0)
- Towards Lightweight Satisfiability Solvers for Self-Verification ( Invited Paper ) (2017) (0)
- Towards quantum reversible ternary coded decimal adder (2017) (0)
- Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications (2020) (0)
- YASSi: Yet Another Symbolic Simulator Large (Tool Demo) (2020) (0)
- Temperature Stability Investigations of Neural Network Models for Graphene-Based Gas Sensor Devices (2021) (0)
- One-Pass Synthesis (2021) (0)
- Reversible Computation (2012) (0)
- Efficient Representation of Boolean Components (2020) (0)
- Reversible Computation : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers (2012) (0)
- Computer-Aided Design for Quantum Computation ( Special Session Summary ) (2018) (0)
- Conclusion and Future Work (2018) (0)
- Design of Microfluidic Biochips (Dagstuhl Seminar 15352) (2015) (0)
- Design automation for Labs-on-Chip: A new “playground” for SoC designers (2017) (0)
- Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation (2023) (0)
- Verification of Horizontal Refinement (2017) (0)
- 14 19 v 1 [ cs . E T ] 5 S ep 2 01 3 Clarification on the Mapping of Reversible Circuits to the NCV-| v 1 〉-Library (2014) (0)
- MEET: A Monte Carlo Exploration-Exploitation Trade-off for Buffer Sampling (2022) (0)
- Considering nearest neighbor constraints of quantum circuits at the reversible circuit level (2013) (0)
- Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning (2020) (0)
- Combining Operations in DD-Based Simulation (2020) (0)
- MMFT Droplet Simulator: Efficient Simulation of Droplet-based Microfluidic Devices (2022) (0)
- Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study (2022) (0)
- Design Automation for Adiabatic Circuits.2cm (2018) (0)
- Verifikation von Networked Labs-on-Chip Architekturen (2017) (0)
- Volumetric Decomposition on Shared Memory Architectures (2021) (0)
- Exact Stimuli Minimization for Simulation-Based Verification (2019) (0)
- Robust Radar-Based Vital Sensing With Adaptive Sinc Filtering and Random Body Motion Rejections (2023) (0)
- Designing Application-Specific Architectures (2019) (0)
- Improved Lookahead Approaches for Nearest Neighbor Synthesis of 1 D Quantum Circuits (2018) (0)
- Efficient Implementation of LIMDDs for Quantum Circuit Simulation (2023) (0)
- Towards Hamiltonian Simulation with Decision Diagrams (2023) (0)
- SWORD - Module-based SAT Solving (2009) (0)
- One-pass Synthesis for Digital Microfluidic Biochips: A Survey (2020) (0)
- Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms (2022) (0)
- Approximating Decision Diagrams for Quantum Circuit Simulation (2022) (0)
- Reducing Instance Sizes with Ground Setting Properties (2018) (0)
- Interactive Visualization of ESL Designs (2015) (0)
- Correctness of Multiple-Valued Implementations (2017) (0)
- Visualizing Decision Diagrams for Quantum Computing (Special Session Summary) (2021) (0)
- Exact Synthesis of Reversible Logic (2010) (0)
- Heuristic Approach (2020) (0)
- Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic (2018) (0)
- Challenges in Model Refinement (2017) (0)
- 4 Optimization for Logic and Physical Design (2019) (0)
- Twenty Years of Successful Translational Research: A Case Study of Three COMET Centers (2022) (0)
- Design and realization of flexible droplet-based lab-on-a-chip devices (2020) (0)
- Optimal Railway Routing Using Virtual Subsections (2022) (0)
- Generating Droplet Sequences (2019) (0)
- One-Pass Design (2018) (0)
- Proceedings of the Third international conference on Reversible Computation (2011) (0)
- Did We Test Enough? Functional Coverage for Post-Silicon Validation (2019) (0)
- Accurate and Robust Malware Detection: Running XGBoost on Runtime Data From Performance Counters (2021) (0)
- SMT-Based Placement for System-on-Chip Design (2021) (0)
- ICCAD: G: Decision Diagrams for Quantum Computing (2020) (0)
- Practical Assessment of Payload- Header Switching in Microfluidic Networks (2021) (0)
- Simulating Defects in Environmental Sensor Networks Using Stochastic Sensor Models (2021) (0)
- QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic (2023) (0)
- Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015 (2016) (0)
- Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction (2023) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Robert Wille?
Robert Wille is affiliated with the following schools: