Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Marcel Walter


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN

» On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
[Link zur Zeitschriften-Homepage]




Autor:

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
Zeitschrift:
Microprocessors and Microsystems (MICPRO)
Details:
Volume 76, July 2020. DOI: 10.1016/j.micpro.2020.103109
Jahr:


2020




» Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
[Link zur Zeitschriften-Homepage]




Autor:

Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler
Zeitschrift:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Volume 15, Issue 3, Number 29, April 2019. DOI: 10.1145/3312661
Jahr:


2019





KONFERENZEN


» One-pass Synthesis for Field-coupled Nanocomputing Technologies




Autor:

Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

Tokyo, Japan, 2021
Best Paper Candidate
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Clustering-Guided SMT(LRA) Learning




Autor:

Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler
Konferenz:
International Conference on integrated Formal Methods (iFM)
Referenz:

Lugano, Switzerland, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling




Autor:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler
Konferenz:
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Referenz:

Rhodes, Greece, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing




Autor:

Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Portorož, Slowenien, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Design Automation for Field-coupled Nanotechnologies




Autor:

Marcel Walter, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Limassol, Cyprus, 2020
Best Student Forum Paper Award
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits




Autor:

Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Limassol, Cyprus, 2020
Best Paper Candidate
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Verification for Field-coupled Nanocomputing Circuits




Autor:

Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

San Francisco, USA, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents




Autor:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
EUROMICRO Digital System Design Conference (DSD)
Referenz:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies




Autor:

Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Miami, Florida, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Scalable Design for Field-coupled Nanocomputing Circuits




Autor:

Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

Tokyo, Japan, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata




Autor:

Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Große, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

pp. 649-656, Prague, Czech Republic, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Synchronization of Clocked Field-Coupled Circuits




Autor:

Frank Sill Torres, Marcel Walter, Robert Wille, Daniel Große, Rolf Drechsler
Konferenz:
IEEE International Conference on Nanotechnology (Nano)
Referenz:

Cork, Ireland, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» An Exact Method for Design Exploration of Quantum-dot Cellular Automata




Autor:

Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 503-508, Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Synthesis of Approximate Coders for On-chip Interconnects Using Reversible Logic




Autor:

Robert Wille, Oliver Keszöcze, Stefan Hillmich, Marcel Walter, Alberto Garcia-Ortiz
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Dresden, Germany, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Look-ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits




Autor:

Robert Wille, Oliver Keszöcze, Marcel Walter, Patrick Rohrs, Anupam Chattopadhyay, Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

Macao, China, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» SAT-based Exact Physical Design for Field-coupled Nanocomputing Technologies




Autor:

Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Referenz:

San Francisco, USA, 2020
Hyperlink:

[Link zum Workshop]


» fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits




Autor:

Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Referenz:

Lausanne, Switzerland, 2019
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt