| Publication | Date of Publication | Type |
|---|
| Set semantics for asynchronous TeamLTL: expressivity and complexity | 2024-12-03 | Paper |
| A remark on the expressivity of asynchronous TeamLTL and HyperLTL | 2024-10-30 | Paper |
| Parameterized complexity of weighted team definability | 2024-10-16 | Paper |
| Modular SAT-based techniques for reasoning tasks in team semantics | 2024-10-08 | Paper |
| Logics with probabilistic team semantics and the Boolean negation | 2024-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187072 | 2024-02-05 | Paper |
| Regular Representations of Uniform TC^0 | 2023-09-13 | Paper |
| COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES | 2023-06-05 | Paper |
| A parameterized view on the complexity of dependence and independence logic | 2023-01-04 | Paper |
| Tractability Frontier of Data Complexity in Team Semantics | 2022-12-08 | Paper |
| On elementary logics for quantitative dependencies | 2022-09-16 | Paper |
| A parameterized view on the complexity of dependence logic | 2022-07-01 | Paper |
| On the expressive power of TeamLTL and first-order team logic over hyperproperties | 2022-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015279 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013879 | 2021-12-03 | Paper |
| Descriptive complexity of \#P functions: a new perspective | 2021-01-22 | Paper |
| Descriptive complexity of real computation and probabilistic independence logic | 2021-01-21 | Paper |
| Polyteam semantics | 2020-12-15 | Paper |
| Logics for first-order team properties | 2020-03-04 | Paper |
| Facets of distribution identities in probabilistic team semantics | 2020-02-18 | Paper |
| Expressivity and Complexity of Dependence Logic | 2020-02-04 | Paper |
| On Natural Deduction in Dependence Logic | 2020-02-03 | Paper |
| Continuous team semantics | 2019-10-15 | Paper |
| A logical approach to context-specific independence | 2019-09-18 | Paper |
| A logical approach to context-specific independence | 2019-09-01 | Paper |
| On the Interaction of Inclusion Dependencies with Independence Atoms | 2019-01-10 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4636302 | 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 |
| Modal independence logic: | 2018-02-13 | Paper |
| A Van Benthem Theorem for Modal Team Semantics | 2017-08-31 | Paper |
| Descriptive Complexity of #AC^0 Functions | 2017-07-19 | Paper |
| A logical characterization of the counting hierarchy | 2017-07-12 | Paper |
| Dependence logic with generalized quantifiers: axiomatizations | 2017-06-30 | Paper |
| Hierarchies in independence logic | 2017-02-02 | Paper |
| A Logical Approach to Context-Specific Independence | 2016-09-09 | Paper |
| A finite axiomatization of conditional independence and inclusion dependencies | 2016-07-07 | Paper |
| Dependence logic with a majority quantifier | 2016-07-04 | Paper |
| Approximation and Dependence via Multiteam Semantics | 2016-05-19 | Paper |
| On the finite and general implication problems of independence atoms and keys | 2016-04-18 | Paper |
| Hierarchies in Dependence Logic | 2015-09-17 | Paper |
| Complexity of Propositional Independence and Inclusion Logic | 2015-09-16 | Paper |
| Hierarchies in independence and inclusion logic with strict semantics | 2015-07-15 | Paper |
| Complexity of two-variable dependence logic and IF-logic | 2014-11-28 | Paper |
| A Fragment of Dependence Logic Capturing Polynomial Time | 2014-09-05 | Paper |
| A characterization of definability of second-order generalized quantifiers with applications to non-definability | 2014-06-10 | Paper |
| A Finite Axiomatization of Conditional Independence and Inclusion Dependencies | 2014-03-31 | Paper |
| Axiomatizing first-order consequences in dependence logic | 2013-12-19 | Paper |
| Dependence Logic with Generalized Quantifiers: Axiomatizations | 2013-09-17 | Paper |
| Independence in Database Relations | 2013-09-17 | Paper |
| Characterizing quantifier extensions of dependence logic | 2013-04-23 | Paper |
| Dependence logic with a majority quantifier | 2012-08-31 | Paper |
| Team Logic and Second-Order Logic | 2011-11-22 | Paper |
| Characterizing Definability of Second-Order Generalized Quantifiers | 2011-05-27 | Paper |
| Erratum to: ``On definability in dependence logic | 2011-04-05 | Paper |
| A remark on negation in dependence logic | 2011-03-07 | Paper |
| Extensions of MSO and the monadic counting hierarchy | 2011-01-13 | Paper |
| On Second-Order Monadic Monoidal and Groupoidal Quantifiers | 2010-09-21 | Paper |
| Definability of second order generalized quantifiers | 2010-04-15 | Paper |
| On definability in dependence logic | 2009-10-21 | Paper |
| Team Logic and Second-Order Logic | 2009-07-02 | Paper |
| A remark on collective quantification | 2009-03-24 | Paper |
| On Second-Order Monadic Groupoidal Quantifiers | 2008-07-10 | Paper |
| The hierarchy theorem for second order generalized quantifiers | 2006-07-05 | Paper |
