Publications

Page 1 of 2.

Marcel Walter; Robert Wille; Frank Sill Torres; Rolf Drechsler
Design Automation for Field-coupled Nanotechnologies
ISBN 978-3-030-89952-3, Springer, 2022.
Marcel Walter; Winston Haaswijk; Robert Wille; Frank Sill Torres; Rolf Drechsler
One-pass Synthesis for Field-coupled Nanocomputing Technologies
In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …
Marcel Walter; Robert Wille; Frank Sill Torres; Daniel Große; Rolf Drechsler
Verification for Field-coupled Nanocomputing Circuits
In: 57th Design Automation Conference (DAC). Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.
Frank Sill Torres; Pedro A. Silva; Geraldo Fontes; Marcel Walter; José Augusto M. Nacif; Ricardo Santos Ferreira; Omar Paranaiba Vilela Neto; Jeferson F. Chaves; Robert Wille; Philipp Niemann; Daniel Große; Rolf Drechsler
On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
In: Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2020.
Marcel Walter; Robert Wille; Frank Sill Torres; Rolf Drechsler
Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits
In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2020), July 6-8, Limassol, Cyprus, …
Tim Meywerk; Marcel Walter; Vladimir Herdt; Jan Kleinekathöfer; Daniel Große; Rolf Drechsler
Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling
In: 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). International Symposium On …
Umberto Garlando; Marcel Walter; Robert Wille; Fabrizio Riente; Frank Sill Torres; Rolf Drechsler
ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing
In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2020), August 26-28, Portoro¸,, Slovenia, …
Tim Meywerk; Marcel Walter; Daniel Große; Rolf Drechsler
Clustering-Guided SMT(LRA) Learning
In: 16th International Conference on integrated Formal Methods (iFM). International Conference on Integrated Formal Methods (IFM-2020), November …
Marcel Walter; Robert Wille; Frank Sill Torres; Daniel Große; Rolf Drechsler
Scalable Design for Field-coupled Nanocomputing Circuits
In: 24th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-24), 24th, …
Marcel Walter; Robert Wille; Daniel Große; Frank Sill Torres; Rolf Drechsler
Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
In: Journal on Emerging Technologies in Computing Systems (JETC), Vol. 15, No. 29, ACM, 2019.