Robert Wille
Orcid: 0000-0002-4993-7860Affiliations:
- Technical University of Munich, Germany
- Johannes Kepler University Linz, Austria (former)
- University of Bremen, Germany (former)
According to our database1,
Robert Wille
authored at least 490 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on iic.jku.at
On csauthors.net:
Bibliography
2024
ACM Trans. Design Autom. Electr. Syst., May, 2024
Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes.
CoRR, 2024
Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers.
CoRR, 2024
Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control.
CoRR, 2024
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing.
CoRR, 2024
An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures.
CoRR, 2024
Hamiltonian-based Quantum Reinforcement Learning for Neural Combinatorial Optimization.
CoRR, 2024
cuTN-QSVM: cuTensorNet-accelerated Quantum Support Vector Machine with cuQuantum SDK.
CoRR, 2024
Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware.
CoRR, 2024
Temporal Decisions: Leveraging Temporal Correlation for Efficient Decisions in Early Exit Neural Networks.
CoRR, 2024
Efficient Post-Training Augmentation for Adaptive Inference in Heterogeneous and Distributed IoT Environments.
CoRR, 2024
Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes.
Dataset, 2024
A Dynamic Programming Based Graph Traversal Approach for Efficient Implementation of Nearest Neighbor Architecture in 2D.
Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024
Enhanced Radar Perception via Multi-Task Learning: Towards Refined Data for Sensor Fusion Applications.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024
Thinking Outside the Clock: Physical Design for Field-coupled Nanocomputing with Deep Reinforcement Learning.
Proceedings of the 25th International Symposium on Quality Electronic Design, 2024
FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagram and Flat Array.
Proceedings of the 53rd International Conference on Parallel Processing, 2024
Variational Quantum Circuit Design for Quantum Reinforcement Learning on Continuous Environments.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Design Automation for Quantum Computing: Intermediate Stage Report of the ERC Consolidator Grant "DAQC".
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
Towards Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H -Si $(100)-2\times 1$ Surface.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
MNT Bench: Benchmarking Software and Layout Libraries for Field-Coupled Nanocomputing.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
Late Breaking Results: Iterative Design Automation for Train Control with Hybrid Train Detection.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024
2023
Appl. Intell., November, 2023
Dataset containing raw simulation data for a paper on decoding bosonic quantum LDPC codes.
Dataset, November, 2023
Evaluation data for "Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts".
Dataset, September, 2023
Evaluation data for "Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts".
Dataset, September, 2023
Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions.
J. Softw. Evol. Process., July, 2023
Quantum, July, 2023
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., April, 2023
A Comprehensive Survey on Electronic Design Automation and Graph Neural Networks: Theory and Applications.
ACM Trans. Design Autom. Electr. Syst., March, 2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2023
Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes.
Dataset, March, 2023
Channel Routing for Microfluidic Devices: A Comprehensive and Accessible Design Tool.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2023
IEEE Des. Test, February, 2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023
Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers.
CoRR, 2023
Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H-Si(100)2x1 Surface.
CoRR, 2023
Accelerating CFD Simulations of Microfluidic Devices by Exploiting Higher Levels of Abstraction.
CoRR, 2023
Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts.
CoRR, 2023
Temporal Patience: Efficient Adaptive Deep Learning for Embedded Radar Data Processing.
CoRR, 2023
Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System.
CoRR, 2023
A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures.
CoRR, 2023
Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation.
CoRR, 2023
Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction.
Proceedings of the 36th International Conference on VLSI Design and 2023 22nd International Conference on Embedded Systems, 2023
Proceedings of the Model Checking Software - 29th International Symposium, 2023
Proceedings of the IEEE International Conference on Quantum Software, 2023
Recommending Solution Paths for Solving Optimization Problems with Quantum Computing.
Proceedings of the IEEE International Conference on Quantum Software, 2023
Proceedings of the IEEE International Conference on Quantum Software, 2023
Towards the Munich Quantum Software Stack: Enabling Efficient Access and Tool Support for Quantum Computers.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Reducing the Complexity of Operational Domain Computation in Silicon Dangling Bond Logic.
Proceedings of the 18th ACM International Symposium on Nanoscale Architectures, 2023
Proceedings of the 18th ACM International Symposium on Nanoscale Architectures, 2023
Minimal Design of SiDB Gates: An Optimal Basis for Circuits Based on Silicon Dangling Bonds.
Proceedings of the 18th ACM International Symposium on Nanoscale Architectures, 2023
Proceedings of the 2023 IEEE International Workshop on Metrology for Industry 4.0 & IoT, 2023
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
Versatile Signal Distribution Networks for Scalable Placement and Routing of Field-coupled Nanocomputing Technologies.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2023
Proceedings of the 2023 International Symposium on Physical Design, 2023
Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023
Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools.
Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023
Proceedings of the 2023 IEEE SENSORS, Vienna, Austria, October 29 - Nov. 1, 2023, 2023
Proceedings of the IEEE International Conference on Acoustics, 2023
Proceedings of the 18th International Conference on the Foundations of Digital Games, 2023
Proceedings of the 26th Euromicro Conference on Digital System Design, 2023
CFD for Microfluidics: A Workflow for Setting Up the Simulation of Microfluidic Devices.
Proceedings of the 26th Euromicro Conference on Digital System Design, 2023
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Late Breaking Results From Hybrid Design Automation for Field-coupled Nanotechnologies.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
Proceedings of the 23rd Symposium on Algorithmic Approaches for Transportation Modelling, 2023
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms.
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences.
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
2022
Softw. Impacts, December, 2022
Softw. Impacts, December, 2022
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Accurate and Robust Malware Detection: Running XGBoost on Runtime Data From Performance Counters.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study.
Sensors, 2022
ACM J. Emerg. Technol. Comput. Syst., 2022
IEEE J. Emerg. Sel. Topics Circuits Syst., 2022
IEEE Des. Test, 2022
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond.
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022
Proceedings of the Reversible Computation - 14th International Conference, 2022
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022
Proceedings of the 17th ACM International Symposium on Nanoscale Architectures, 2022
Proceedings of the 17th ACM International Symposium on Nanoscale Architectures, 2022
Exact Mapping of Quantum Circuit Partitions to Building Blocks of the SAQIP Architecture.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2022
Proceedings of the 2022 IEEE Sensors, Dallas, TX, USA, October 30 - Nov. 2, 2022, 2022
Cross-modal Learning of Graph Representations using Radar Point Cloud for Long-Range Gesture Recognition.
Proceedings of the 12th IEEE Sensor Array and Multichannel Signal Processing Workshop, 2022
Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022
Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022
Proceedings of the IEEE International Conference on Acoustics, 2022
Twenty Years of Successful Translational Research: A Case Study of Three COMET Centers.
Proceedings of the Database and Expert Systems Applications - DEXA 2022 Workshops, 2022
Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Gas Discrimination Analysis of Neural Network Algorithms for a Graphene-Based Electronic Nose.
Proceedings of the IEEE 9th International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications, 2022
Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022
Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022
2021
Dataset, November, 2021
Dataset, November, 2021
ACM Trans. Design Autom. Electr. Syst., 2021
ACM Trans. Design Autom. Electr. Syst., 2021
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021
Quantum k-community detection: algorithm proposals and cross-architectural evaluation.
Quantum Inf. Process., 2021
Integr., 2021
Proceedings of the Reversible Computation - 13th International Conference, 2021
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2021
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2021
Proceedings of the NANOCOM '21: The Eighth Annual ACM International Conference on Nanoscale Computing and Communication, Virtual Event, Italy, September 7, 2021
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021
Proceedings of the 3rd ACM/IEEE Workshop on Machine Learning for CAD, 2021
Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams.
Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021
Proceedings of the IEEE International Symposium on Circuits and Systems, 2021
BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021
Towards Automatic Design and Verification for Level 3 of the European Train Control System.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021
2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips.
ACM Trans. Design Autom. Electr. Syst., 2020
IEEE Trans. Emerg. Top. Comput., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Automatic Droplet Sequence Generation for Microfluidic Networks With Passive Droplet Routing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Storage-Aware Algorithms for Dilution and Mixture Preparation With Flow-Based Lab-on-Chip.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation.
IEEE Trans. Computers, 2020
On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata.
Microprocess. Microsystems, 2020
J. Comput. Sci., 2020
ACM J. Emerg. Technol. Comput. Syst., 2020
An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD).
Integr., 2020
A PCISPH implementation using distributed multi-GPU acceleration for simulating industrial engineering applications.
Int. J. High Perform. Comput. Appl., 2020
Elektrotech. Informationstechnik, 2020
CoRR, 2020
Proceedings of the 2020 24th International Symposium on VLSI Design and Test (VDAT), 2020
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2020
Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications.
Proceedings of the Model-Driven Engineering and Software Development, 2020
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020
Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020
Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020
Bail on Balancing: An Alternative Approach to the Physical Design of Field-Coupled Nanocomputing Circuits.
Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020
Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020
Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm.
Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020
Proceedings of the 3rd International Symposium on Devices, Circuits and Systems, 2020
Proceedings of the IEEE International Symposium on Circuits and Systems, 2020
Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques.
Proceedings of the 2020 IEEE Sensors, Rotterdam, The Netherlands, October 25-28, 2020, 2020
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020
Proceedings of the Database and Expert Systems Applications, 2020
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
2019
IEEE Trans. Very Large Scale Integr. Syst., 2019
Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits.
IEEE Trans. Very Large Scale Integr. Syst., 2019
IEEE Trans. Mol. Biol. Multi Scale Commun., 2019
ACM Trans. Embed. Comput. Syst., 2019
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019
Passive droplet control in microfluidic networks: A survey and new perspectives on their practical realization.
Nano Commun. Networks, 2019
Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications.
Microprocess. Microsystems, 2019
Microprocess. Microsystems, 2019
Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is <i>NP</i>-complete (Research Note).
ACM J. Emerg. Technol. Comput. Syst., 2019
ACM J. Emerg. Technol. Comput. Syst., 2019
ACM J. Emerg. Technol. Comput. Syst., 2019
fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits.
CoRR, 2019
Dilution with Digital Microfluidic Biochips: How Unbalanced Splits Corrupt Target-Concentration.
CoRR, 2019
Improved Look-Ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits.
Proceedings of the 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, 2019
Proceedings of the Reversible Computation - 11th International Conference, 2019
Simulating Industrial Electrophoretic Deposition on Distributed Memory Architectures.
Proceedings of the 27th Euromicro International Conference on Parallel, 2019
Proceedings of the Sixth Annual ACM International Conference on Nanoscale Computing and Communication, 2019
Proceedings of the IEEE International Test Conference in Asia, 2019
Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-Coupled Nanotechnologies.
Proceedings of the 2019 IEEE Computer Society Annual Symposium on VLSI, 2019
Focus on What is Needed: Area and Power Efficient FPGAs Using Turn-Restricted Switch Boxes.
Proceedings of the 2019 IEEE Computer Society Annual Symposium on VLSI, 2019
Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows.
Proceedings of the 2019 IEEE Computer Society Annual Symposium on VLSI, 2019
One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits.
Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019
Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019
Proceedings of the 9th International Symposium on Embedded Computing and System Design, 2019
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019
How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing.
Proceedings of the International Conference on Computer-Aided Design, 2019
Proceedings of the International Conference on Computer-Aided Design, 2019
Proceedings of the 22nd IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2019
Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019
Effect of Volumetric Split-Errors on Reactant-Concentration During Sample Preparation with Microfluidic Biochips.
Proceedings of the Advanced Computing and Systems for Security, 2019
2018
One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Synthesis of circuits based on all-optical Mach-Zehnder Interferometers using Binary Decision Diagrams.
Microelectron. J., 2018
Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic.
FLAP, 2018
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of <i>modifies only</i> statements.
Comput. Lang. Syst. Struct., 2018
Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips.
Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018
QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report).
Proceedings of the Reversible Computation - 10th International Conference, 2018
Proceedings of the 5th ACM International Conference on Nanoscale Computing and Communication, 2018
Proceedings of the Model-Driven Engineering and Software Development, 2018
Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018
Generalizing the Concept of Scalable Reversible Circuit Synthesis for Multiple-Valued Logic.
Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018
Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018
Parallel Simulation of Electrophoretic Deposition for Industrial Automotive Applications.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018
Quality Assessment of Generated Hardware Designs Using Statistical Analysis and Machine Learning.
Proceedings of the 8th International Workshop on Combinations of Intelligent Methods and Applications co-located with 30th International Conference on Artificial Intelligence Tools (ICTAI 2018), 2018
Multi-channel and fault-tolerant control multiplexing for flow-based microfluidic biochips.
Proceedings of the International Conference on Computer-Aided Design, 2018
Proceedings of the International Conference on Computer-Aided Design, 2018
Proceedings of the International Conference on Computer-Aided Design, 2018
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018
Proceedings of the 2018 Forum on Specification & Design Languages, 2018
Proceedings of the 21st Euromicro Conference on Digital System Design, 2018
Pushing the number of qubits below the "minimum": Realizing compact boolean components for quantum logic.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018
Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018
Proceedings of the Advanced Logic Synthesis, 2018
Springer, ISBN: 978-3-319-72813-1, 2018
2017
Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering (NII Shonan Meeting 2017-1).
NII Shonan Meet. Rep., 2017
Quantum Inf. Comput., 2017
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs.
J. Low Power Electron., 2017
Int. J. Approx. Reason., 2017
Advanced Simulation of Quantum Computations: Compact Representation Rather than Hardware Power.
CoRR, 2017
Proceedings of the 30th IEEE International System-on-Chip Conference, 2017
Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs.
Proceedings of the Reversible Computation - 9th International Conference, 2017
Proceedings of the Reversible Computation - 9th International Conference, 2017
Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits - Work in Progress Report.
Proceedings of the Reversible Computation - 9th International Conference, 2017
Proceedings of the Reversible Computation - 9th International Conference, 2017
Proceedings of the Reversible Computation - 9th International Conference, 2017
Proceedings of the Reversible Computation - 9th International Conference, 2017
Proceedings of the 24th International Conference Mixed Design of Integrated Circuits and Systems, 2017
More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
Verifikation von Networked Labs-on-Chip Architekturen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017
BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips.
Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017
Proceedings of the 7th International Symposium on Embedded Computing and System Design, 2017
Proceedings of the 2017 IEEE International Conference on Computer Design, 2017
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Proceedings of the IEEE International Conference on Communications, 2017
Proceedings of the 2017 IEEE High Performance Extreme Computing Conference, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017
Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017
Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
A Discrete Model for Networked Labs-on-Chips: Linking the Physical World to Design Automation.
Proceedings of the 54th Annual Design Automation Conference, 2017
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017
Enhancing robustness of sequential circuits using application-specific knowledge and formal methods.
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017
2016
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
ACM J. Emerg. Technol. Comput. Syst., 2016
Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits.
ACM J. Emerg. Technol. Comput. Syst., 2016
Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability.
ACM J. Emerg. Technol. Comput. Syst., 2016
SyReC: A hardware description language for the specification and synthesis of reversible circuits.
Integr., 2016
IET Cyper-Phys. Syst.: Theory & Appl., 2016
IEEE J. Emerg. Sel. Topics Circuits Syst., 2016
Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library.
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016
Proceedings of the Software Engineering 2016, 2016
Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016
Proceedings of the Reversible Computation - 8th International Conference, 2016
Proceedings of the Reversible Computation - 8th International Conference, 2016
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report.
Proceedings of the Reversible Computation - 8th International Conference, 2016
Ground setting properties for an efficient translation of OCL in SMT-based model finding.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models.
Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016
Generating and checking control logic in the HDL-based design of reversible circuits.
Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016
Towards a model-based verification methodology for Complex Swarm Systems (Invited paper).
Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016
Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
Proceedings of the 28th International Conference on VLSI Design, 2015
Proceedings of the 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2015
Proceedings of the Reversible Computation - 7th International Conference, 2015
Proceedings of the Reversible Computation - 7th International Conference, 2015
Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits.
Proceedings of the Reversible Computation - 7th International Conference, 2015
Proceedings of the MODELSWARD 2015, 2015
Proceedings of the 12th Workshop on Model-Driven Engineering, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Verbesserung der Fehlersuche in inkonsistenten formalen Modellen (Erweiterte Zusammenfassung).
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015
Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015
Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification.
Proceedings of the Theory and Practice of Model Transformations, 2015
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015
Proceedings of the Sixth International Green and Sustainable Computing Conference, 2015
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015
Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 52nd Annual Design Automation Conference, 2015
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits.
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015
2014
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level.
Quantum Inf. Process., 2014
ACM J. Emerg. Technol. Comput. Syst., 2014
Integr., 2014
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models.
Proceedings of the Tests and Proofs - 8th International Conference, 2014
Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, 2014
Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, 2014
Proceedings of the Reversible Computation - 6th International Conference, 2014
Proceedings of the Reversible Computation - 6th International Conference, 2014
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
Proceedings of the 2014 Forum on Specification and Design Languages, 2014
Verifying consistency between activity diagrams and their corresponding OCL contracts.
Proceedings of the 2014 Forum on Specification and Design Languages, 2014
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014
Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014
2013
J. Multiple Valued Log. Soft Comput., 2013
CoRR, 2013
On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure.
Proceedings of the Reversible Computation - 5th International Conference, 2013
Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure.
Proceedings of the Reversible Computation - 5th International Conference, 2013
Proceedings of the Reversible Computation - 5th International Conference, 2013
Proceedings of the Reversible Computation - 5th International Conference, 2013
The SyReC hardware description language: Enabling scalable synthesis of reversible circuits.
Proceedings of the IEEE 56th International Midwest Symposium on Circuits and Systems, 2013
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013
Proceedings of the 14th Latin American Test Workshop, 2013
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013
Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013
Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013
Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung.
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Improving the mapping of reversible circuits to quantum circuits using multiple target lines.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013
Proceedings of the AFRICON 2013, Pointe aux Piments, Mauritius, September 9-12, 2013, 2013
Proceedings of the AFRICON 2013, Pointe aux Piments, Mauritius, September 9-12, 2013, 2013
2012
J. Multiple Valued Log. Soft Comput., 2012
J. Multiple Valued Log. Soft Comput., 2012
J. Multiple Valued Log. Soft Comput., 2012
J. Multiple Valued Log. Soft Comput., 2012
Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology - (Invited Paper).
Proceedings of the Progress in VLSI Design and Test - 16th International Symposium, 2012
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012
Proceedings of the Reversible Computation, 4th International Workshop, 2012
Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams.
Proceedings of the Reversible Computation, 4th International Workshop, 2012
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012
Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012
Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012
Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012
Proceedings of the International Symposium on Electronic System Design, 2012
Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012
Proceedings of the Graph Transformations - 6th International Conference, 2012
Proceedings of the Models, Methods, and Tools for Complex Chip Design, 2012
Formal Specification Level: Towards verification-driven design based on natural language processing.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012
2011
Quantum Inf. Process., 2011
Dagstuhl Reports, 2011
Proceedings of the Tests and Proofs - 5th International Conference, 2011
Proceedings of the Reversible Computation - Third International Workshop, 2011
Towards automatic determination of problem bounds for object instantiation in static model verification.
Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011
Designing a RISC CPU in Reversible Logic.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011
ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2011
Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011
From Truth Tables to Programming Languages: Progress in the Design of Reversible Circuits.
Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011
Proceedings of the 2011 Forum on Specification & Design Languages, 2011
Proceedings of the Applications of Evolutionary Computation, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
Proceedings of the 20th IEEE Asian Test Symposium, 2011
Proceedings of the AFRICON 2011, 2011
2010
SyReC: A Programming Language for Synthesis of Reversible Circuits.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010
Verifying UML/OCL Models Using Boolean Satisfiability.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010
Proceedings of the 5th International Design and Test Workshop, 2010
Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition.
Proceedings of the 5th International Design and Test Workshop, 2010
Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010
Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010
Proceedings of the 47th Design Automation Conference, 2010
2009
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009
J. Multiple Valued Log. Soft Comput., 2009
Proceedings of the Workshop on Reversible Computation, 2009
Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009
Proceedings of the ISMVL 2009, 2009
Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, 2009
Proceedings of the Ausgezeichnete Informatikdissertationen 2009, 2009
Proceedings of the Forum on specification and Design Languages, 2009
Proceedings of the 12th Euromicro Conference on Digital System Design, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009
Proceedings of the 46th Design Automation Conference, 2009
2008
Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008
Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008
Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008
Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares.
Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008
Proceedings of the Languages for Embedded Systems and their Applications, 2008
Proceedings of the Forum on specification and Design Languages, 2008
Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking.
Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
2007
Proceedings of the VLSI-SoC: Advanced Topics on Systems on a Chip, 2007
Formal Verification on the Word Level using SAT-like Proof Techniques.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007
1993
The chaos router chip: design and implementation of an adaptive router.
Proceedings of the VLSI 93, 1993