Arne Meier

Available identifiers

zbMath Open meier.arneWikidataQ57435594 ScholiaQ57435594MaRDI QIDQ393135

List of research outcomes

Publication	Date of Publication	Type
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
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
Generalized Satisfiability for the Description Logic $\mathcal{ALC}$	2011-07-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Arne Meier