Person

Martin Ritzert

M. Sc. RWTH
Nicht verfügbar
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4117a

Ahornstr. 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21706
Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Forschungsinteressen

Komplexität, Algorithmen, Logik, Machine learning insbesondere Graph learning

UnRAVeL Graduiertenkolleg

Assoziiertes Mitglied im Graduiertenkolleg UnRAVel über Unsicherheit und Zufall in Algorithmen, Verifikation und Logik.

 

Publikationen

Titel Autor*innen Erschienen in
Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks Christopher Morris, Martin Ritzert, Matthias Fey, William L. Hamilton, Jan Eric Lenssen, Gaurav Rattan, Martin Grohe AAAI 2019, Honolulu, USA

Learning MSO-definable hypotheses on string

Martin Grohe,
Christof Löding,
Martin Ritzert
International Conference on Algorithmic Learning Theory, ALT 2017, 15-17 October 2017, Kyoto University, Kyoto, Japan
Learning first-order definable concepts over structures of small degree Martin Grohe,
Martin Ritzert
32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017