| 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 |
| https://portal.mardi4nfdi.de/entity/Q5015279 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4995356 | 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 |
| Characterising modal definability of team-based logics 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 |
