Marcel Walter

Orcid: 0000-0001-5660-9518

According to our database1, Marcel Walter authored at least 29 papers between 2011 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H-Si(100)2x1 Surface.
CoRR, 2023

Reducing the Complexity of Operational Domain Computation in Silicon Dangling Bond Logic.
Proceedings of the 18th ACM International Symposium on Nanoscale Architectures, 2023

Post-Layout Optimization for Field-coupled Nanotechnologies.
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

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

Design Automation for Cryogenic CMOS Circuits.
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

2022
Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots.
IEEE Des. Test, 2022

Efficient Multi-Path Signal Routing for Field-coupled Nanotechnologies.
Proceedings of the 17th ACM International Symposium on Nanoscale Architectures, 2022

Exploiting the Third Dimension: Stackable Quantum-dot Cellular Automata.
Proceedings of the 17th ACM International Symposium on Nanoscale Architectures, 2022

Hexagons are the bestagons: design automation for silicon dangling bond logic.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021
One-pass Synthesis for Field-coupled Nanocomputing Technologies.
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2020
On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata.
Microprocess. Microsystems, 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

Design Automation for Field-Coupled Nanotechnologies.
Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020

Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning.
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing.
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

Verification for Field-coupled Nanocomputing Circuits.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

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

fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits.
CoRR, 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

Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents.
Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Scalable design for field-coupled nanocomputing circuits.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018
Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata.
Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

An exact method for design exploration of quantum-dot cellular automata.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2016
Synthesis of approximate coders for on-chip interconnects using reversible logic.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits.
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2011
A Review of Event Formats as Enablers of Event-Driven BPM.
Proceedings of the Business Process Management Workshops, 2011


  Loading...