Person
Peter Lindner
M. Sc.
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Address
Building: Erweiterungsbau 1
Room: 4108a
Ahornstr. 55
52074 Aachen
Office Hours
- by appointment
Scholar of the research training group 2236 UnRAVeL
Funded by the german reasearch foundation Deutsche Forschungsgemeinschaft (DFG) – GRK 2236 UnRAVeL
Research Interests
Logic, Database Theory
Publications Peter Lindner
| Title | Author(s) | Appeared in |
|---|---|---|
| Probabilistic Data with Continuous Distributions | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen |
ACM SIGMOD Record, Volume 50, Issue 1, March 2021, S. 69–76 |
| Tuple-Independent Representations of Infinite Probabilistic Databases | Nofar Carmeli, Martin Grohe, Peter Lindner, Christoph Standke |
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2021), Pages 388–401 |
| Martin Grohe, Benjamin Lucien Kaminsiki, Joost-Pieter Katoen, Peter Lindner | Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2020). p. 347-360 | |
| Martin Grohe, Peter Lindner | 23rd International Conference on Database Theory (ICDT 2020). p. 16:1 - 16:20 | |
|
Probabilistic Databases with an Infinite Open-World Assumption |
Martin Grohe, Peter Lindner | Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2019). p. 17-31. |
| Climbing up the Elementary Complexity Classes with Theories of Automatic Structures | Faried Abu Zaid, Dietrich Kuske, Peter Lindner | 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). |