Peter Lindner

28 papers A* 3A 3B 1Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
ACM Trans. Database Syst.
Nofar Carmeli, Martin Grohe, Peter Lindner, Christoph Standke
2025 J jnl
ACM Trans. Database Syst.
Sachin Basil John, Christoph Koch, Peter Lindner
2024 conf
Principles of Verification (2)
Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova
2024 J jnl
Proc. ACM Manag. Data
Christoph Koch, Peter Lindner
2024 A conf
ICDT
Martin Grohe, Benny Kimelfeld, Peter Lindner, Christoph Standke
2024 J jnl
CoRR
Martin Grohe, Benny Kimelfeld, Peter Lindner, Christoph Standke
2024 J jnl
Proc. ACM Manag. Data
Peter Lindner, Sachin Basil John, Christoph Koch, Dan Suciu
2023 conf
SIGMOD Conference Companion
Sachin Basil John, Peter Lindner, Zhekai Jiang, Christoph Koch
2023 J jnl
Proc. ACM Manag. Data
Zilu Tian, Peter Lindner, Markus Nissl, Christoph Koch, Val Tannen
2023 A conf
ICDT
Martin Grohe, Peter Lindner, Christoph Standke
2022 J jnl
J. ACM
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
2022 J jnl
J. ACM
Martin Grohe, Peter Lindner
2022 J jnl
Log. Methods Comput. Sci.
Martin Grohe, Peter Lindner
2022 J jnl
CoRR
Martin Grohe, Peter Lindner, Christoph Standke
2021 J jnl
CoRR
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
2021 J jnl
SIGMOD Rec.
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
2021
Peter Lindner
2021 A* conf
PODS
Nofar Carmeli, Martin Grohe, Peter Lindner, Christoph Standke
2020 A* conf
PODS
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
2020 J jnl
CoRR
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
2020 J jnl
CoRR
Martin Grohe, Peter Lindner
2020 A conf
ICDT
Martin Grohe, Peter Lindner
2020 J jnl
CoRR
Martin Grohe, Peter Lindner
2020 J jnl
CoRR
Nofar Carmeli, Martin Grohe, Peter Lindner, Christoph Standke
2019 J jnl
CoRR
Martin Grohe, Peter Lindner
2019 A* conf
PODS
Martin Grohe, Peter Lindner
2018 B conf
CSL
Faried Abu Zaid, Dietrich Kuske, Peter Lindner
2018 J jnl
CoRR
Martin Grohe, Peter Lindner