Martin Lck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2015–2021
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CSL | On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. | Miika Hannula, Juha Kontinen, Martin Lck, Jonni Virtema |
| 2018 | CSL | Canonical Models and the Complexity of Modal Team Logic. | Martin Lck |
| 2018 | MFCS | On the Complexity of Team Logic and Its Two-Variable Fragment. | Martin Lck |
| 2017 | CSL | The Power of the Filtration Technique for Modal Logics with Team Semantics. | Martin Lck |
| 2016 | CSL | Axiomatizations for Propositional and Modal Team Logic. | Martin Lck |
| 2015 | LATA | Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. | Martin Lck, Arne Meier, Irina Schindler |
| 2015 | TIME | LTL Fragments are Hard for Standard Parameterisations. | Martin Lck, Arne Meier |