Person

Peter Lindner

M. Sc.

Promotionsstudent

Peter Lindner Urheberrecht: © Valentin Bister
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4108a

Ahornstr. 55

52074 Aachen

Kontakt

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

Sprechstunde

nach Vereinbarung
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Generative Datalog with Continuous Distributions
In: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - ACM New York, NY, USA, 2020. - ISBN 9781450371087 - doi:10.1145/3375395.3387659, 347-360, 2020
[DOI: 10.1145/3375395.3387659]
Grohe, Martin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter
[Buchbeitrag, Beitrag zu einem Tagungsband]
Infinite Probabilistic Databases
In: 23rd International Conference on Database Theory (ICDT 2020), 16:1-16:20, 2020
[DOI: 10.4230/LIPIcs.ICDT.2020.16]
Grohe, Martin
Lindner, Peter
[Buchbeitrag, Beitrag zu einem Tagungsband]
Probabilistic Databases with an Infinite Open-World Assumption
In: Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 17-31, 2019
[DOI: 10.1145/3294052.3319681]
Grohe, Martin
Lindner, Peter
[Buchbeitrag, Beitrag zu einem Tagungsband]
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures
In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung, 3:1-3:16, 2018
[DOI: 10.4230/LIPIcs.CSL.2018.3]
Abu Zaid, Faried
Kuske, Dietrich
Lindner, Peter