Marco Sälzer
Scholar

Marco Sälzer

Google Scholar ID: bxhpseQAAAAJ
Rheinland-Pfälzische Technical University, RPTU
Formal MethodsMachine Learning
Google Scholar↗
Citations & Impact
All-time
Citations
74
 
H-index
4
 
i10-index
2
 
Publications
16
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
2 items
Verifying Graph Neural Networks with Readout is Intractable
2025
Cited
0
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
International Joint Conference on Artificial Intelligence · 2024
Cited
1
Resume (English only)
Co-authors
4 total
Martin Lange
Martin Lange
Professor of Computer Science, University of Kassel
Eric Alsmann
Eric Alsmann
University of Kassel
Florian Bruse
Florian Bruse
TU Munich
Silvia Beddar-Wiesing
Silvia Beddar-Wiesing
Researcher, University of Kassel