

|
Home « Team « Publications
» Publications of
Marcel Walter
|
 |


 |
BOOKS |
 |
 |
BOOK CONTRIBUTIONS |
 |
 |
JOURNALS |
 |

» On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
[Link to the Homepage of this journal]
|

 |
 |

|

|

|
Author:
|

|
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 |
Journal: |

|
Microprocessors and Microsystems (MICPRO) |
Details: |

|
Volume 76, July 2020. DOI: 10.1016/j.micpro.2020.103109 |
Year:
|

|
2020
|

|

» Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
[Link to the Homepage of this journal]
|

 |
 |

|

|

|
Author:
|

|
Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler |
Journal: |

|
Journal on Emerging Technologies in Computing Systems (JETC) |
Details: |

|
Volume 15, Issue 3, Number 29, April 2019. DOI: 10.1145/3312661 |
Year:
|

|
2019
|

|
 |
CONFERENCES |
 |

» One-pass Synthesis for Field-coupled Nanocomputing Technologies
|

|

|

|
Author:
|

|
Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler |
Conference: |

|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Reference:
| 
| Tokyo, Japan, 2021 Best Paper Candidate
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

» Clustering-Guided SMT(LRA) Learning
|

|

|

|
Author:
|

|
Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler |
Conference: |

|
International Conference on integrated Formal Methods (iFM) |
Reference:
| 
| Lugano, Switzerland, 2020
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

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

|

|

|
Author:
|

|
Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler |
Conference: |

|
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
Reference:
| 
| Rhodes, Greece, 2020
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

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

|

|

|
Author:
|

|
Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler |
Conference: |

|
Euromicro Conference on Digital System Design (DSD) |
Reference:
| 
| Portorož, Slowenien, 2020
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

» Design Automation for Field-coupled Nanotechnologies
|

|

|

|
Author:
|

|
Marcel Walter, Rolf Drechsler |
Conference: |

|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Reference:
| 
| Limassol, Cyprus, 2020 Best Student Forum Paper Award
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

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

|

|

|
Author:
|

|
Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler |
Conference: |

|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Reference:
| 
| Limassol, Cyprus, 2020 Best Paper Candidate
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

» Verification for Field-coupled Nanocomputing Circuits
|

|

|

|
Author:
|

|
Marcel Walter,
Robert Wille,
Frank Sill Torres,
Daniel Große,
Rolf Drechsler |
Conference: |

|
Design Automation Conference (DAC) |
Reference:
| 
| San Francisco, USA, 2020
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

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

|

|

|
Author:
|

|
Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler |
Conference: |

|
EUROMICRO Digital System Design Conference (DSD) |
Reference:
| 
| Kallithea - Chalkidiki, Greece, 2019
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

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

|

|

|
Author:
|

|
Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, Rolf Drechsler |
Conference: |

|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Reference:
| 
| Miami, Florida, USA, 2019
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

» Scalable Design for Field-coupled Nanocomputing Circuits
|

|

|

|
Author:
|

|
Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler |
Conference: |

|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Reference:
| 
| Tokyo, Japan, 2019
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

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

|

|

|
Author:
|

|
Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Große, Rolf Drechsler |
Conference: |

|
Euromicro Conference on Digital System Design (DSD) |
Reference:
| 
| pp. 649-656, Prague, Czech Republic, 2018
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

» Synchronization of Clocked Field-Coupled Circuits
|

|

|

|
Author:
|

|
Frank Sill Torres, Marcel Walter, Robert Wille, Daniel Große, Rolf Drechsler |
Conference: |

|
IEEE International Conference on Nanotechnology (Nano) |
Reference:
| 
| Cork, Ireland, 2018
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

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

|

|

|
Author:
|

|
Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler |
Conference: |

|
Design, Automation and Test in Europe (DATE) |
Reference:
| 
| pp. 503-508, Dresden, Germany, 2018
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

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

|

|

|
Author:
|

|
Robert Wille, Oliver Keszöcze, Stefan Hillmich, Marcel Walter, Alberto Garcia-Ortiz |
Conference: |

|
Design, Automation and Test in Europe (DATE) |
Reference:
| 
| Dresden, Germany, 2016
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

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

|

|

|
Author:
|

|
Robert Wille, Oliver Keszöcze, Marcel Walter, Patrick Rohrs, Anupam Chattopadhyay, Rolf Drechsler |
Conference: |

|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Reference:
| 
| Macao, China, 2016
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|
 |
WORKSHOPS |
 |

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

|

|

|
Author:
|

|
Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler |
Workshop: |

|
International Workshop on Logic & Synthesis (IWLS) |
Reference:
| 
| San Francisco, USA, 2020
| Hyperlink:
| 
| [Link to the Workshop]
|

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

|

|

|
Author:
|

|
Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler |
Workshop: |

|
International Workshop on Logic & Synthesis (IWLS) |
Reference:
| 
| Lausanne, Switzerland, 2019
| Hyperlink:
| 
| [Link to the Workshop]
|
|
 |
|
|