Concepedia

Arne Meier

AM

10

Publications

203

Citations

10

H-Index

2008

Active since

Affiliations

Leibniz University Hannover(Current)

Aix-Marseille Université

Friedrich Schiller University Jena

Centre National de la Recherche Scientifique

Arne Meier is an author at Leibniz University Hannover specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsComputational ComplexityFormal VerificationVerificationProof ComplexityReasoningFormal Logic

Publications per year

2008–2019

10

Publications

10

The complexity of propositional implication

Olaf Beyersdorff, Arne Meier, Michael E. Thomas et al. · Information Processing Letters · 2009 · 38 citations · Full text

Paraconsistent Logic, Engineering, Relevance Logic +6

THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL⋆

Arne Meier, Michael E. Thomas, Heribert Vollmer et al. · International Journal of Foundations of Computer Science · 2009 · 33 citations

Engineering, Automated Reasoning, Satisfiability Problems +13

Paradigms for Parameterized Enumeration

Nadia Creignou, Arne Meier, Julian-Steffen Müller et al. · Theory of Computing Systems · 2016 · 27 citations · Full text

Engineering, Parameterized Complexity, Automated Reasoning +6

Counting Complexity for Reasoning in Abstract Argumentation

Johannes K. Fichte, Markus Hecher, Arne Meier · Proceedings of the AAAI Conference on Artificial Intelligence · 2019 · 22 citations · Full text

Reasoning, Abstract Argumentation, Engineering +15

The Complexity of Satisfiability for Fragments of CTL and CTL⋆

Arne Meier, Martin Mundhenk, Michael E. Thomas et al. · Electronic Notes in Theoretical Computer Science · 2008 · 20 citations · Full text

Engineering, Verification, Computational Complexity +16

Rows per page

1–5 of 10