Leibniz Universität Hannover Faculty Faculty of Electrical Engineering and Computer Science
Deutsch Contact Deutsch
Theoretical Computer Science
 
Institute of Theoretical Computer Science Institute Staff Directory
Arne Meier

Temporärer Umzug

Changed visitor address due to construction work: Room A522, Building 3403, (Appelstr. 11A 30167 Hanover)
Location

Prof. Dr. rer. nat. Arne Meier

© PicturePeople
Prof. Dr. rer. nat. Arne Meier
Phone
+49 511 762 19768
Email
meierthi.uni-hannover.de
Address
Appelstraße 9a
30167 Hannover
Building
3408
Room
1612A
© PicturePeople
Prof. Dr. rer. nat. Arne Meier
Phone
+49 511 762 19768
Email
meierthi.uni-hannover.de
Address
Appelstraße 9a
30167 Hannover
Building
3408
Room
1612A
My area of expertise is complexity theory. Currently, I focus on the parameterised complexity of problems in non-classical logics with applications to AI. Furthermore, I study enumeration algorithms. I also enjoy typography and the text typesetting system LaTeX.

Interests

  • (Parameterised) Complexity Theory
  • Logic in Computer Science (particularly, non-classical logics)
  • Foundations of Artificial Intelligence
  • (Parameterised) Enumeration Algorithms
  • LaTeX (see my personal GitHub-Webside for a timeline LaTeX/TikZ package.
© TCS4F

Publications

  • Journal contributions
    First 1 2

    Showing results 21 - 30 out of 30

    2014

    Lück, M, Meier, A & Schindler, I 2014, 'Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies', Electronic colloquium on computational complexity (ECCC), vol. 2014, 134. <https://eccc.weizmann.ac.il/report/2014/134/download>

    2013

    Meier, A & Schneider, T 2013, 'Generalized satisfiability for the description logic ALC', Theor. Comput. Sci., vol. 505, pp. 55-73. https://doi.org/10.1016/J.TCS.2013.02.009

    2012

    Beyersdorff, O, Meier, A, Thomas, M & Vollmer, H 2012, 'The complexity of reasoning for fragments of default logic.', J. Log. Comput., vol. 22, no. 3, pp. 587-604. https://doi.org/10.1093/LOGCOM/EXQ061
    Creignou, N, Meier, A, Vollmer, H & Thomas, M 2012, 'The complexity of reasoning for fragments of autoepistemic logic', ACM Transactions on Computational Logic, vol. 13, no. 2, a17. https://doi.org/10.1145/2159531.2159539
    Meier, A, Müller, J-S, Mundhenk, M & Vollmer, H 2012, 'Complexity of Model Checking for Logics over Kripke models.', Bull. EATCS, vol. 108, pp. 49-89. <https://dblp.org/rec/journals/eatcs/MeierMMV12>

    2011

    Beyersdorff, O, Meier, A, Mundhenk, M, Schneider, T, Thomas, M & Vollmer, H 2011, 'Model Checking CTL is Almost Always Inherently Sequential', Logical methods in computer science: LMCS, vol. 7, no. 2. https://doi.org/10.2168/LMCS-7(2:12)2011
    Meier, A, Müller, S, Thomas, M & Vollmer, H 2011, 'Proof complexity of propositional default logic', Archive for Mathematical Logic, vol. 50, no. 7-8, pp. 727-742. https://doi.org/10.1007/s00153-011-0245-8

    2010

    Meier, A, Mundhenk, M, Schneider, T, Thomas, M, Weber, V & Weiss, F 2010, 'The complexity of satisfiability for fragments of hybrid logic - Part I.', IMA Journal of Applied Mathematics, vol. 8, no. 4, pp. 409-421. https://doi.org/10.1016/J.JAL.2010.08.001

    2009

    Beyersdorff, O, Meier, A, Thomas, M & Vollmer, H 2009, 'The complexity of propositional implication', Information Processing Letters, vol. 109, no. 18, pp. 1071-1077. https://doi.org/10.1016/j.ipl.2009.06.015
    Meier, A, Thomas, M, Vollmer, H & Mundhenk, M 2009, 'The Complexity of Satisfiability for Fragments of CTL and CTL*', Int. J. Found. Comput. Sci., vol. 20, no. 5, pp. 901-918. https://doi.org/10.1016/j.entcs.2008.12.040, https://doi.org/10.1142/S0129054109006954, https://doi.org/10.1142/S012905411592001X

  • Conference contributions
    First 1 2 3 Last

    Showing results 21 - 40 out of 41

    2017

    Hella, L, Kuusisto, A, Meier, A & Virtema, J 2017, Model checking and validity in propositional and modal inclusion logics. in KG Larsen, J-F Raskin & HL Bodlaender (eds), 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. Leibniz International Proceedings in Informatics, LIPIcs, vol. 83, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, Aalborg, Denmark, 21 Aug 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.32

    2016

    Durand, A, Hannula, M, Kontinen, J, Meier, A & Virtema, J 2016, Approximation and Dependence via Multiteam Semantics. in M Gyssens & G Simari (eds), Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9616, Springer, Cham, pp. 271-291. https://doi.org/10.1007/978-3-319-30024-5_15, https://doi.org/10.1007/s10472-017-9568-4
    Fichte, JK, Meier, A & Schindler, I 2016, Strong Backdoors for Default Logic. in D Le Berre & N Creignou (eds), Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9710, Springer, Cham, pp. 45-59, 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, Bordeaux, France, 5 Jul 2016. https://doi.org/10.1007/978-3-319-40970-2_4
    Meier, A, Ordyniak, S, Sridharan, R & Schindler, I 2016, Backdoors for Linear Temporal Logic. in J Guo & D Hermelin (eds), 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark. vol. 63, 23, Leibniz International Proceedings in Informatics, LIPIcs, vol. 63, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, pp. 23:1-23:17. https://doi.org/10.4230/LIPIcs.IPEC.2016.23

    2015

    Creignou, N, Ktari, R, Meier, A, Müller, J-S, Olive, F & Vollmer, H 2015, Parameterized Enumeration for Modification Problems. in Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings.. pp. 524-536. https://doi.org/10.1007/978-3-319-15579-1_41
    Hella, L, Kuusisto, A, Meier, A & Vollmer, H 2015, Modal Inclusion Logic: Being Lax is Simpler than Being Strict. in Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings. pp. 281-292. https://doi.org/10.1007/978-3-662-48057-1_22
    Krebs, A, Meier, A & Virtema, J 2015, A Team Based Variant of CTL. in 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. pp. 140-149. https://doi.org/10.1109/TIME.2015.11
    Krebs, A, Meier, A & Mundhenk, M 2015, The model checking fingerprints of CTL operators. in F Grandi, M Lange & A Lomuscio (eds), 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. CoRR, IEEE Computer Society, pp. 101-110. https://doi.org/10.1109/TIME.2015.13
    Lück, M & Meier, A 2015, LTL Fragments are Hard for Standard Parameterisations. in 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. pp. 59-68. https://doi.org/10.1109/TIME.2015.9
    Lück, M, Meier, A & Schindler, I 2015, Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. in A-H Dediu, E Formenti, C Martín-Vide & B Truthe (eds), Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. vol. 8977, Lecture Notes in Computer Science, Springer, pp. 549-560. https://doi.org/10.1007/978-3-319-15579-143

    2013

    Creignou, N, Meier, A, Müller, J-S, Schmidt, J & Vollmer, H 2013, Paradigms for Parameterized Enumeration. in K Chatterjee & J Sgall (eds), Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Lecture Notes in Computer Science (LNCS), vol. 8087, Springer Berlin Heidelberg, pp. 290-301, 38th International Symposium on Mathematical Foundations of Computer Science, Klosterneuburg, Austria, 26 Aug 2013. https://doi.org/10.1007/978-3-642-40313-2_27
    Ebbing, J, Hella, L, Meier, A, Müller, J-S, Virtema, J & Vollmer, H 2013, Extended Modal Dependence Logic. in Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. pp. 126-137. https://doi.org/10.1007/978-3-642-39992-3_13

    2012

    Göller, S, Meier, A, Mundhenk, M, Schneider, T, Thomas, M & Weiß, F 2012, The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. in Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012. pp. 261-278, Advances in Modal Logic 2012, 22 Aug 2012. <http://arxiv.org/abs/1204.1196>
    Meier, A, Schmidt, J, Thomas, M & Vollmer, H 2012, On the Parameterized Complexity of Default Logic and Autoepistemic Logic. in Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. pp. 389-400. https://doi.org/10.1007/978-3-642-28332-1_33

    2011

    Meier, A & Schneider, T 2011, Generalized Satisfiability for the Description Logic ALC - (Extended Abstract). in M Ogihara & J Tarui (eds), Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. vol. 6648, Lecture Notes in Computer Science, Springer, pp. 552-562. https://doi.org/10.1007/978-3-642-20877-553

    2010

    Beyersdorff, O, Meier, A, Müller, S, Thomas, M & Vollmer, H 2010, Proof Complexity of Propositional Default Logic. in O Strichman & S Szeider (eds), Theory and Applications of Satisfiability Testing: SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6175, Springer, pp. 30-43. https://doi.org/10.1007/978-3-642-14186-75
    Meier, A & Schneider, T 2010, The Complexity of Satisfiability for Sub-Boolean Fragments of ALC. in Proceedings of the 23rd International Workshop on Description Logics (DL 2010). 24th International Workshop on Description Logics, Waterloo, Ontario, Canada, 4 May 2010. <https://arxiv.org/abs/1001.4255>

    2009

    Beyersdorff, O, Meier, A, Thomas, M, Vollmer, H, Mundhenk, M & Schneider, T 2009, Model Checking CTL is Almost Always Inherently Sequential. in C Lutz & J-F Raskin (eds), TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. IEEE Computer Society, pp. 21-28. https://doi.org/10.1109/TIME.2009.12
    Meier, A, Mundhenk, M, Schneider, T, Thomas, M, Weber, V & Weiss, F 2009, The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. in R Královic & D Niwinski (eds), Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings. vol. 5734, Lecture Notes in Computer Science, Springer, pp. 587-599. https://doi.org/10.1007/978-3-642-03816-750

    2008

    Beyersdorff, O, Meier, A, Thomas, M & Vollmer, H 2008, The Complexity of Reasoning for Fragments of Default Logic. in O Kullmann (ed.), Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. vol. 5584, Lecture Notes in Computer Science, Springer, pp. 51-64. https://doi.org/10.1007/978-3-642-02777-27

  • Technical reports

    Showing results 1 - 10 out of 10

  • Theses

    Showing results 1 - 2 out of 2

Last Change: 28.10.25 Print

Contact us
Contact