| Temporal Team Semantics Revisited | 0 | 0.34 | 2022 |
| Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals | 0 | 0.34 | 2021 |
| Linear-Time Temporal Logic with Team Semantics - Expressivity and Complexity. | 0 | 0.34 | 2021 |
| Descriptive complexity of real computation and probabilistic independence logic | 0 | 0.34 | 2020 |
| Characterising modal definability of team-based logics via the universal modality | 0 | 0.34 | 2019 |
| Descriptive Complexity of Deterministic Polylogarithmic Time. | 0 | 0.34 | 2019 |
| Facets of Distribution Identities in Probabilistic Team Semantics. | 0 | 0.34 | 2019 |
| Team Semantics for the Specification and Verification of Hyperproperties. | 2 | 0.37 | 2018 |
| Complexity of Propositional Logics in Team Semantic. | 2 | 0.37 | 2018 |
| Probabilistic team semantics. | 0 | 0.34 | 2018 |
| Polyteam Semantics. | 0 | 0.34 | 2018 |
| Expressivity within second-order transitive-closure logic. | 0 | 0.34 | 2018 |
| Model Checking and Validity in Propositional and Modal Inclusion Logics. | 5 | 0.43 | 2017 |
| On Quantified Propositional Logics And The Exponential Time Hierarchy | 5 | 0.45 | 2016 |
| Decidability of Predicate Logics with Team Semantics. | 0 | 0.34 | 2016 |
| Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. | 1 | 0.36 | 2016 |
| Characterizing Frame Definability in Team Semantics via the Universal Modality | 3 | 0.41 | 2015 |
| Parallel Computational Tree Logic. | 0 | 0.34 | 2015 |
| Approximation and Dependence via Multiteam Semantics | 2 | 0.40 | 2015 |
| Complexity of Propositional Independence and Inclusion Logic. | 12 | 0.71 | 2015 |
| A Team Based Variant of CTL | 4 | 0.40 | 2015 |
| The Expressive Power of Modal Dependence Logic. | 14 | 0.69 | 2014 |
| Decidable Fragments of Logics Based on Team Semantics. | 1 | 0.38 | 2014 |
| Axiomatizing propositional dependence logics | 10 | 0.71 | 2014 |
| Boolean Dependence Logic and Partially-Ordered Connectives. | 0 | 0.34 | 2013 |
| Extended Modal Dependence Logic. | 1 | 0.37 | 2013 |
| Undecidable First-Order Theories of Affine Geometries. | 0 | 0.34 | 2012 |
| Weak models of distributed computing, with connections to modal logic | 9 | 0.58 | 2012 |
| Complexity of two-variable dependence logic and IF-logic. | 8 | 0.56 | 2011 |
