| Publication | Date of Publication | Type |
|---|
| Temporal team semantics revisited | 2024-12-06 | Paper |
| Set semantics for asynchronous TeamLTL: expressivity and complexity | 2024-12-03 | Paper |
| Computing repairs under functional and inclusion dependencies via argumentation | 2024-10-30 | Paper |
| A remark on the expressivity of asynchronous TeamLTL and HyperLTL | 2024-10-30 | Paper |
| Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals | 2024-05-29 | Paper |
| Logics with probabilistic team semantics and the Boolean negation | 2024-05-29 | Paper |
| Parameterized complexity of propositional inclusion and independence logic | 2024-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187072 | 2024-02-05 | Paper |
| Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals | 2023-03-21 | Paper |
| Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals | 2022-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079746 | 2022-05-28 | Paper |
| On quantified propositional logics and the exponential time hierarchy | 2021-12-07 | Paper |
| Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals | 2021-12-01 | Paper |
| Team semantics for the specification and verification of hyperproperties | 2021-08-04 | Paper |
| Complexity of validity for propositional dependence logics | 2021-06-24 | Paper |
| Descriptive complexity of deterministic polylogarithmic time and space | 2021-04-14 | Paper |
| Descriptive complexity of real computation and probabilistic independence logic | 2021-01-21 | Paper |
| Polyteam semantics | 2020-12-15 | Paper |
| Model checking and validity in propositional and modal inclusion logics | 2020-05-26 | Paper |
| Descriptive complexity of deterministic polylogarithmic time | 2020-03-04 | Paper |
| Facets of distribution identities in probabilistic team semantics | 2020-02-18 | Paper |
| Model checking and validity in propositional and modal inclusion logics | 2020-02-03 | Paper |
| Characterising modal definability of team-based logics via the universal modality | 2019-09-18 | Paper |
| Facets of Distribution Identities in Probabilistic Team Semantics | 2018-12-14 | Paper |
| Approximation and dependence via multiteam semantics | 2018-09-21 | Paper |
| Probabilistic team semantics | 2018-06-26 | Paper |
| The expressive power of modal dependence logic | 2018-04-23 | Paper |
| Polyteam semantics | 2018-04-06 | Paper |
| Complexity of propositional logics in team semantic | 2018-03-22 | Paper |
| Decidability of predicate logics with team semantics | 2018-03-21 | Paper |
| Axiomatizing propositional dependence logics | 2017-08-31 | Paper |
| Boolean dependence logic and partially-ordered connectives | 2017-06-30 | Paper |
| Complexity of validity for propositional dependence logics | 2017-03-16 | Paper |
| Characterizing relative frame definability in team semantics via the universal modality | 2016-09-09 | Paper |
| Approximation and dependence via multiteam semantics | 2016-05-19 | Paper |
| Characterizing frame definability in team semantics via the universal modality | 2015-09-24 | Paper |
| Complexity of Propositional Independence and Inclusion Logic | 2015-09-16 | Paper |
| Weak models of distributed computing, with connections to modal logic | 2015-03-25 | Paper |
| Weak models of distributed computing, with connections to modal logic | 2014-12-05 | Paper |
| Complexity of two-variable dependence logic and IF-logic | 2014-11-28 | Paper |
| Undecidable first-order theories of affine geometries | 2014-01-08 | Paper |
| Extended modal dependence logic \(\mathcal{EMDL}\) | 2013-09-17 | Paper |
| Boolean dependence logic and partially-ordered connectives | 2013-09-17 | Paper |
| Undecidable First-Order Theories of Affine Geometries | 2012-11-22 | Paper |
