Person

Dr. rer. nat., Privatdozent

Christof Löding

Betreuer

Christof Löding
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: E1, 1. Etage

Raum: 4115

Ahornstraße 55

52074 Aachen

Kontakt

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

Sprechstunde

nach Vereinbarung
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
In: Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König, 522-541, 2020
[DOI: 10.1007/978-3-030-45231-5_27]
Löding, Christof
Pirogov, Anton
[Buchbeitrag, Beitrag zu einem Tagungsband]
New Optimizations and Heuristics for Determinization of Büchi Automata
In: Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 317-333, 2019
[DOI: 10.1007/978-3-030-31784-3_18]
Löding, Christof
Pirogov, Anton
[Buchbeitrag, Beitrag zu einem Tagungsband]
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
In: 46th International Colloquium on Automata, Languages and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.), 120, 1-13, 2019
[DOI: 10.4230/LIPIcs.ICALP.2019.120]
Löding, Christof
Pirogov, Anton
[Buchbeitrag, Beitrag zu einem Tagungsband]
On Finitely Ambiguous Büchi Automata
In: Developments in language theory ; 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.), 503-515, 2018
[DOI: 10.1007/978-3-319-98654-8_41]
Löding, Christof
Pirogov, Anton
[Buchbeitrag, Beitrag zu einem Tagungsband]
Learning MSO-definable hypotheses on strings
In: [International Conference on Algorithmic Learning Theory, ALT 2017, 2017-10-15 - 2017-10-17, Kyoto, Japan], 434-451, 2017
Grohe, Martin
Löding, Christof
Ritzert, Martin