Wille, Robert
Wille, Robert 1982-
Robert Wille
VIAF ID: 107178388 ( Personal )
Permalink: http://viaf.org/viaf/107178388
Preferred Forms
- 100 0 _ ‡a Robert Wille
- 100 1 _ ‡a Wille, Robert
-
- 100 1 _ ‡a Wille, Robert
- 100 1 _ ‡a Wille, Robert
-
- 100 1 _ ‡a Wille, Robert
- 100 1 _ ‡a Wille, Robert ‡d 1982-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (5)
- 510 2 _ ‡a FB3 - Mathematik und Informatik, Univ. Bremen
- 510 2 _ ‡a Johannes Kepler Universität Linz ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a TUM School of Computation, Information and Technology ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Bremen ‡b Fachbereich Mathematik, Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Bremen ‡b Fachbereich Mathematik, Informatik
Works
Title | Sources |
---|---|
Auf dem Weg zum Quantencomputer Entwurf reversibler Logik | |
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | |
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation | |
Circuit compilation and error mitigation for near-term quantum computing | |
Compact Representations for the Design of Quantum Logic | |
Compilation de circuits et atténuation des erreurs pour l'informatique quantique à court terme. | |
Design Automation for Field-coupled Nanotechnologies | |
Designing Droplet Microfluidic Networks : A Toolbox for Designers | |
Einführung in die Entwurfsautomatisierung für Quantencomputer | |
Exact Design of Digital Microfluidic Biochips | |
High performance simulation for industrial paint shop applications | |
Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016 | |
RC 2011 | |
Reversible computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers | |
Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen Ergebnisse des studentischen Projektes CompTech | |
Towards a design flow for reversible logic, c2010: |