Peter Lindner © © Valentin Bister

Person

Dr.

Peter Lindner

Ehem. assoziierter Promotionsstudent

Digitale Visitenkarte herunterladen

Adresse

 
Promotionsprojekt

The Theory of Infinite Probabilistic Databases

Kollaborationen
Marcel Hark: Automated Run-Time Analysis of Probabilistic Programs
Benjamin Kaminski: Advanced Weakest Precondition Calculi for Probabilistic Programs

Tobias Winkler: Programming and Verifying Uncertain Phenomena

Preise und Auszeichnungen
Accepted Paper "Generative Datalog with Continuous Distributions" by PODS 2020
Published Paper: "Probabilistic Databases with an Infinite Open-World Assumption" in PODS 2019
Accepted Paper: "Climbing up the elementary complexity classes with theories of automatic structures"
Engagement

Steering Committee member since December 2019

Marketing Team Member since January 2019
Organization Committee member since December 2018
involved in UnRAVeL data management & publication issues
Talks
Bi-Weekly Talk: Peter Lindner: Generative Datalog with Continuous Distributions
Für interessierte UnRAVel Mitglieder: AlMoTh 2019 - Algorithmic Model Theory Meeting 2019
Bi-Weekly Talk: Probabilistic Databases with an Infinite Open-World Assumption

 

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Fachzeitschriftenartikel]
Probabilistic Data with Continuous Distributions
In: ACM SIGMOD record, 50 (1), 69-76, 2021
[DOI: 10.1145/3471485.3471502]
Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter
[Doktorarbeit]
The theory of infinite probabilistic databases, 2021
[DOI: 10.18154/RWTH-2021-10669]
Lindner, Peter
[Buchbeitrag, Beitrag zu einem Tagungsband]
Tuple-Independent Representations of Infinite Probabilistic Databases
In: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 388-401, 2021
[DOI: 10.1145/3452021.3458315]
Carmeli, Nofar (Corresponding author)
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
Standke, Christoph (Corresponding author)
[Bericht]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard Marlon
Dannert, Katrin M.
Lindner, Peter
et al.
[Buchbeitrag, Beitrag zu einem Tagungsband]
Generative Datalog with Continuous Distributions
In: PODS'20 : Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 14 -19, 2020, Portland, OR USA / General Chair: Dan Suciu (University of Washington, USA); Program Chair: Yufei Tao; Proceedings Chair: Zhewei Wei, 347-360, 2020
[DOI: 10.1145/3375395.3387659]
Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Lindner, Peter (Corresponding author)
[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 (Corresponding author)
Lindner, Peter (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Probabilistic Databases with an Infinite Open-World Assumption
In: PODS'19 : Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, July 1-3, 2019, Amsterdam, Netherlands / General Chair: Dan Suciu, 17-31, 2019
[DOI: 10.1145/3294052.3319681]
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
[Preprint]
Probabilistic Databases with an Infinite Open-World Assumption, 2018
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
[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