Arne Meier

Available identifiers

zbMath Open meier.arneDBLP38/5700WikidataQ57435594 ScholiaQ57435594MaRDI QIDQ393135

List of research outcomes

Publication	Date of Publication	Type
Temporal team semantics revisited	2024-12-06	Paper
Parameterized complexity of weighted team definability	2024-10-16	Paper
Strong backdoors for default logic	2024-09-25	Paper
Strong backdoors for default logic	2024-07-10	Paper
Logics with probabilistic team semantics and the Boolean negation	2024-05-29	Paper
Parameterised counting in logspace	2023-10-06	Paper
Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework	2023-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5884956	2023-03-24	Paper
A parameterized view on the complexity of dependence and independence logic	2023-01-04	Paper
A parameterized view on the complexity of dependence logic	2022-07-01	Paper
Parameterised complexity of model checking and satisfiability in propositional dependence logic	2022-02-14	Paper
Parameterized complexity of abduction in Schaefer’s framework	2022-02-08	Paper
Team semantics for the specification and verification of hyperproperties	2021-08-04	Paper
Parameterised complexity of model checking and satisfiability in propositional dependence logic	2020-10-26	Paper
Model Checking and Validity in Propositional and Modal Inclusion Logics	2020-05-26	Paper
Parameterised complexity of abduction in Schaefer's framework	2020-05-06	Paper
Model checking and validity in propositional and modal inclusion logics	2020-02-03	Paper
Satisfiability of Modal Inclusion Logic	2019-11-22	Paper
The model checking fingerprints of CTL operators	2019-08-13	Paper
Backdoors for linear temporal logic	2019-02-14	Paper
Approximation and dependence via multiteam semantics	2018-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4584892	2018-09-04	Paper
Probabilistic team semantics	2018-06-26	Paper
Enumeration complexity of poor man's propositional dependence logic	2018-06-26	Paper
Backdoors for Linear Temporal Logic	2018-04-10	Paper
Paradigms for parameterized enumeration	2017-08-15	Paper
Parametrised Complexity of Satisfiability in Temporal Logic	2017-07-13	Paper
Strong Backdoors for Default Logic	2016-09-05	Paper
Approximation and Dependence via Multiteam Semantics	2016-05-19	Paper
Erratum to: ``The complexity of satisfiability for fragments of CTL and \(\mathrm{CTL}^\star\)	2016-04-15	Paper
Parameterized Enumeration for Modification Problems	2016-04-08	Paper
Parameterized Complexity of CTL	2016-04-08	Paper
Modal Inclusion Logic: Being Lax is Simpler than Being Strict	2015-09-16	Paper
Generalized satisfiability for the description logic \(\mathcal{ALC}\)	2014-01-16	Paper
Paradigms for Parameterized Enumeration	2013-09-20	Paper
Extended Modal Dependence Logic $\mathcal{EMDL}$	2013-09-17	Paper
The complexity of reasoning for fragments of default logic	2012-06-20	Paper
On the Parameterized Complexity of Default Logic and Autoepistemic Logic	2012-06-08	Paper
Generalized Satisfiability for the Description Logic $\mathcal{ALC}$	2011-07-01	Paper

Research outcomes over time

This page was built for person: Arne Meier