Artikel mit Open-Access-Mandaten - Marcel WalterWeitere Informationen
Nicht verfügbar: 1
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
T Meywerk, M Walter, V Herdt, J Kleinekathöfer, D Große, R Drechsler
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
Mandate: Deutsche Forschungsgemeinschaft
Verfügbar: 8
Look-ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits
R Wille, O Keszocze, M Walter, P Rohrs, A Chattopadhyay, R Drechsler
Design Automation Conference (ASP-DAC), 2016 21st Asia and South Pacific …, 2016
Mandate: European Commission
An Exact Method for Design Exploration of Quantum-dot Cellular Automata
M Walter, R Wille, D Große, FS Torres, R Drechsler
Design, Automation and Test in Europe (DATE), Dresden, Germany, 2018
Mandate: Deutsche Forschungsgemeinschaft
Scalable Design for Field-coupled Nanocomputing Circuits
M Walter, R Wille, FS Torres, D Große, R Drechsler
Proceedings of the 24th Asia and South Pacific Design Automation Conference …, 2019
Mandate: Deutsche Forschungsgemeinschaft
Evaluating the Impact of Interconnections in Quantum-dot Cellular Automata
FS Torres, R Wille, M Walter, P Niemann, D Große, R Drechsler
2018 21st Euromicro Conference on Digital System Design (DSD), 649-656, 2018
Mandate: Deutsche Forschungsgemeinschaft
Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents
T Meywerk, M Walter, V Herdt, D Große, R Drechsler
2019 22nd Euromicro Conference on Digital System Design (DSD), 129-136, 2019
Mandate: Deutsche Forschungsgemeinschaft
Simulating Charged Defects in Silicon Dangling Bond Logic Systems to Evaluate Logic Robustness
SSH Ng, J Croshaw, M Walter, R Wille, R Wolkow, K Walus
arXiv preprint arXiv:2211.08698, 2023
Mandate: Natural Sciences and Engineering Research Council of Canada
Design automation for cryogenic cmos circuits
VM Van Santen, M Walter, F Klemme, SS Parihar, G Pahwa, YS Chauhan, ...
2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023
Mandate: European Commission
Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost Functions
DS Marakkalage, M Walter, SY Lee, R Wille, G De Micheli
International Workshop on Logic and Synthesis (IWLS), 2023
Mandate: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt