Forschung > Publikationen

Publikationen

Suche nach
in in allen Feldern AutorTitelBeschreibung
Kategorie
Jahr
 

2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1990 alle Jahre

Martin Lück, Arne Meier, Irina Schindler (2015): Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem , Buchtitel: Proc. 9th International Conference on Language and Automata Theory and Applications LATA 2015.
DOI: 10.1007/978-3-319-15579-1_43

Nadia Creignou, Raida Ktari, Arne Meier, Julian-Steffen Müller, Frederic Olive, Heribert Vollmer (2015): Parameterized Enumeration for Modification Problems , Buchtitel: Proc. 9th International Conference on Language and Automata Theory and Applications LATA 2015.
DOI: 10.1007/978-3-319-15579-1_41

Arne Meier (2014): Generalized Complexity of ALC Subsumption , Buchtitel: Recent Progress in the Boolean Domain. Herausgeber: Cambridge Scholars Publishing. Editor: Bernd Steinbach. Seite(n): 158-169 Link zur Veröffentlichung
ISBN: 978-1-4438-5638-6

Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer (2014): A Fragment of Dependence Logic Capturing Polynomial Time , Journal: Logical Methods in Computer Science. Institut: Leibniz Universität Hannover, University of Helsinki. Band: 10(3:3)2014. Seite(n): Jan 13 Link zur Veröffentlichung
DOI: 10.2168/LMCS-10(3:3)2014

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer (2014): Modal Independence Logic , Buchtitel: Advances in Modal Logic Vol. 10. Institut: Leibniz Universität Hannover, University of Helsinki, Christian-Albrechts-Universität zu Kiel. Seite(n): 353-372 Link zur Veröffentlichung
ISBN: 978-1-84890-151-3

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer (2014): A Van Benthem Theorem for Modal Team Semantics , Journal: arXiv:1410.6648. Link zur Veröffentlichung

Julian-Steffen Müller (2014): Satisfiability and Model Checking in Team Based Logics , Herausgeber: Cuvillier. Address: Cuvillier Verlag Göttingen. Schule: Leibniz Universität Hannover. Link zur Veröffentlichung
ISBN: 9,78395E+12

Martin Lück, Arne Meier, Irina Schindler (2014): Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem , Journal: arXiv. Band: 14.104.044. Link zur Veröffentlichung

Arne Meier, Thomas Schneider (2013): Generalized satisfiability for the description logic ALC , Journal: Theoretical Computer Science. Band: 505. Seite(n): 55-73 Link zur Veröffentlichung

Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer (2013): Extended Modal Dependence Logic EMDL , Buchtitel: Logic, Language, Information, and Computation. Herausgeber: Springer. Address: Berlin Heidelberg. Band: 8071. Reihe: 8071. Seite(n): 126-137 Link zur Veröffentlichung
DOI: 10.1007/978-3-642-39992-3_13

Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema (2013): Boolean Dependence Logic and Partially-Ordered Connectives , Buchtitel: Logic, Language, Information, and Computation.

Julian-Steffen Müller, Heribert Vollmer (2013): Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice , Buchtitel: Logic, Language, Information, and Computation. Herausgeber: Springer. Address: Berlin Heidelberg. Institut: Leibniz Universität Hannover. Band: 8071. Reihe: 8071. Seite(n): 238-250 Link zur Veröffentlichung
DOI: 10.1007/978-3-642-39992-3_21

Nadia Creignou, Arne Meier, Julian-Steffen Müller, Johannes Schmidt, Heribert Vollmer (2013): Paradigms for Parameterized Enumeration , Buchtitel: Mathematical Foundations of Computer Science 2013. Journal: Mathematical Foundations of Computer Science. Band: 8087. Reihe: 8087. Seite(n): 290-301
DOI: 10.1007/978-3-642-40313-2_27

Nadia Creignou, Raida Ktari, Arne Meier, Julian-Steffen Müller, Frederic Olive, Heribert Vollmer (2013): Parameterized Enumeration with Ordering Link zur Veröffentlichung

Arne Meier (2012): Generalized Complexity of ALC Subsumption , Buchtitel: Proc. 10th International Workshop on Boolean Problems. Link zur Veröffentlichung

Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer (2012): On the Parameterized Complexity of Default Logic and Autoepistemic Logic , Buchtitel: Proceedings of the 6th International Conference on Language and Automata Theory and Applications. LNCS. Band: 7183. Seite(n): 389-400 Link zur Veröffentlichung
DOI: 10.1007/978-3-642-28332-1_33

Arne Meier, Julian-Steffen Müller, Martin Mundhenk, Heribert Vollmer (2012): Complexity of Model Checking for Logics over Kripke models , Journal: Bulletin of the EATCS. Band: 108. Seite(n): 49-89 Link zur Veröffentlichung

Johannes Ebbing, Peter Lohmann (2012): Complexity of Model Checking for Modal Dependence Logic , Buchtitel: SOFSEM 2012: Theory and Practice of Computer Science. Herausgeber: Springer. Link zur Veröffentlichung

Julian-Steffen Müller (2012): Complexity of Model Checking in Modal Team Logic , Computation in Europe (CiE) Link zur Veröffentlichung

Markus Aschinger, Conrad Drescher, Heribert Vollmer (2012): LoCo - A Logic for Configuration Problems , Buchtitel: ECAI. Herausgeber: IOS Press. Band: 242. Reihe: 242. Link zur Veröffentlichung
ISBN: 978-1-61499-097-0

Michael Thomas (2012): On the Applicability of Post's Lattice , Journal: Information Processing Letters. Band: 112. Seite(n): 386-391 Link zur Veröffentlichung
DOI: 10.1016/j.ipl.2012.02.002

Michael Thomas (2012): The Complexity of Circumscriptive Inference in Post's Lattice , Journal: Theory of Computing Systems. Herausgeber: Springer. Band: 50. Reihe: 50. Seite(n): 401--419 Link zur Veröffentlichung
DOI: 10.1007/s00224-010-9311-6

Nadia Creignou, Arne Meier, Michael Thomas, Heribert Vollmer (2012): The Complexity of Reasoning for Fragments of Autoepistemic Logic , ACM Transactions on Computational Logic (TOCL). Herausgeber: ACM. Address: New York, NY, USA. Band: 13. Seite(n): 1--22 Link zur Veröffentlichung
DOI: 10.1145/2159531.2159539

Nadia Creignou, Heribert Vollmer (2012): Parameterized Complexity of Weighted Satisfiability Problems , Buchtitel: Theory and Applications of Satisfiability Testing. Herausgeber: Springer. Editor: Alessandro Cimatti, Roberto Sebastiani. Seite(n): 341-354 Link zur Veröffentlichung
ISBN: 978-3-642-31611-1

Samir Datta, Meena Mahajan, B. V. Raghavendra Rao, Michael Thomas, Heribert Vollmer (2012): Counting Classes and the Fine Structure between NC1 and L , Journal: Theoretical Computer Science. Band: 417. Seite(n): 36--49 Link zur Veröffentlichung
DOI: 10.1016/j.tcs.2011.05.050

Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiss (2012): The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers , Buchtitel: Proc. AIML'2012. Link zur Veröffentlichung

Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer (2011): Dependence logic with a majority quantifier , Buchtitel: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Editor: Supratik Chakraborty and Amit Kumar. Link zur Veröffentlichung

Arne Meier (2011): On the Complexity of Modal Logic Variants and their Fragments , Dissertation Link zur Veröffentlichung
ISBN: 3869559292

Arne Meier, Thomas Schneider (2011): Generalized Satisfiability for the Description Logic ALC , Buchtitel: Proceedings of the 8th Annual Conference on Theory and Application of Models of Computation, LNCS 6648. Seite(n): 552-562 Link zur Veröffentlichung

Berthold Vöcking, Helmut Alt, Martin Dietzfelbinger, Rüdiger Reischuk, Christian Scheideler, Heribert Vollmer, Dorothea Wagner (2011): Algorithms Unplugged , Herausgeber: Springer. Link zur Veröffentlichung

Johannes Ebbing, Peter Lohmann (2011): Complexity of Model Checking for Modal Dependence Logic , Journal: CoRR. Band: 11.041.034. Seite(n): Jan 21 Link zur Veröffentlichung

Johannes Ebbing, Peter Lohmann, Fan Yang (2011): Model Checking for Modal Intuitionistic Dependence Logic , Buchtitel: 9th International Tbilisi Symposium on Logic, Language, and Computation..

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema (2011): Complexity of two-variable Dependence Logic and IF-Logic , Buchtitel: Logic in Computer Science (LICS 2011). Link zur Veröffentlichung

M. Bauland, M. Mundhenk, T. Schneider, H. Schnoor, I. Schnoor, H. Vollmer (2011): The tractability of model checking for LTL: the good, the bad, and the ugly fragments , Journal: ACM Transactions on Computational Logic (TOCL). Band: 12. Link zur Veröffentlichung

Michael Köster, Peter Lohmann (2011): Abstraction for Model Checking Modular Interpreted Systems over ATL , Buchtitel: 9th International Workshop on Programming Multi-Agent Systems 2011. Link zur Veröffentlichung

Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Heribert Vollmer, Thomas Schneider, Michael Thomas (2011): Model Checking CTL is Almost Always Inherently Sequential , Journal: Logical Methods in Computer Science. Band: 7. Link zur Veröffentlichung
DOI: 10.2168/LMCS-7(2:12)2011

Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer (2011): The Complexity of Reasoning for Fragments of Default Logic , Journal: Journal of Logic and Computation. Link zur Veröffentlichung
DOI: 10.1093/logcom/exq061

Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer (2011): Proof Complexity of Propositional Default Logic , Journal: Archive for Mathematical Logic. Herausgeber: Springer Berlin / Heidelberg. Band: 50. Seite(n): 727-742 Link zur Veröffentlichung
DOI: 10.1007/s00153-011-0245-8

Olaf Beyersdorff, Samir Datta, Meena Mahajan, Gido Scharfenberger-Fabian, Karteek Sreenivasaiah, Michael Thomas, Heribert Vollmer (2011): Verifying Proofs in Constant Depth , Buchtitel: Proceedings 36th International Symposium on Mathematical Foundations of Computer Science. Herausgeber: Springer. Link zur Veröffentlichung
DOI: 10.1007/978-3-642-22993-0_11

Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiss (2010): The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part II , Buchtitel: International Workshop on Hybrid Logic and Applications. Link zur Veröffentlichung

Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss (2010): The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I , Journal: Journal of Applied Logic. Band: 8. Seite(n): 409-421 Link zur Veröffentlichung
DOI: 10.1016/j.jal.2010.08.001

Arne Meier, Thomas Schneider (2010): The Complexity of Satisfiability for Sub-Boolean Fragments of ALC , Buchtitel: Proc. of the 23rd International Workshop on Description Logics (DL 2010). Editor: V. Haarslev and D. Toman and G. Weddell. Address: Waterloo, Canada. Band: 573. Seite(n): 279--290 Link zur Veröffentlichung

Elmar Böhler, Nadia Creignou, Matthias Galota, Steffen Reith, Henning Schnoor, Heribert Vollmer (2010): Boolean Circuits as a Data Structure for Boolean Functions: Efficient Algorithms and Hard Problems , Journal: CoRR. Link zur Veröffentlichung

Heribert Vollmer, Michael Bauland, Elmar Böhler, Nadia Creignou, Steffen Reith, Henning Schnoor (2010): The Complexity of Problems for Quantified Constraints , Journal: Theory of Computing Systems. Band: 47. Seite(n): 454-490 Link zur Veröffentlichung

J. Kontinen, H. Vollmer (2010): On Second-Order Monadic Groupoidal Quantifiers , Buchtitel: Proceedings Workshop on Logic, Language, Information and Computation. Journal: Logical Methods in Computer Science. Band: 6. Reihe: 6. Link zur Veröffentlichung

Michael Thomas (2010): On the Complexity of Fragments of Nonmonotonic Logics , Dissertation Link zur Veröffentlichung
ISBN: 978-3-86955-571-3

Michael Thomas, Heribert Vollmer (2010): Complexity of Non-Monotonic Logics , Journal: Bulletin of the EATCS. Band: 102. Seite(n): 53-82 Link zur Veröffentlichung

Nadia Creignou, Johannes Schmidt, Michael Thomas (2010): Complexity of Propositional Abduction for Restricted Sets of Boolean Functions , Buchtitel: Proc. 12th International Conference on the Principles of Knowledge Representation and Reasoning. Herausgeber: AAAI Press. Link zur Veröffentlichung

Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran (2010): Sets of Boolean Connectives that Make Argumentation Easier , Buchtitel: Proc. 12th European Conference on Logics in Artificial Intelligence. Herausgeber: Springer. Band: 6341. Reihe: 6341. Seite(n): 117-129 Link zur Veröffentlichung

Olaf Beyersdorff (2010): The deduction theorem for strong propositional proof systems , Journal: Theory of Computing Systems. Band: 47. Seite(n): 162--178 Link zur Veröffentlichung

Olaf Beyersdorff (2010): Proof Complexity of Non-classical Logics , Buchtitel: Proc. 7th Conference on Theory and Applications of Models of Computation. Herausgeber: Springer-Verlag, Berlin Heidelberg. Band: 6108. Reihe: 6108. Seite(n): 15--27 Link zur Veröffentlichung

Olaf Beyersdorff, Arne Meier, Sebastian Möller, Michael Thomas, Heribert Vollmer (2010): Proof Complexity of Propositional Default Logic , Buchtitel: Proc. of the 13rd International Conference on Theory and Applications of Satisfiability Testing. Herausgeber: Springer. Band: 6175. Reihe: 6175. Seite(n): 30-43 Link zur Veröffentlichung
DOI: 10.1007/978-3-642-14186-7_5

Olaf Beyersdorff, Nicola Galesi, Massimo Lauria (2010): A Lower Bound for the Pigeonhole Principle in Tree-like Resolution by Asymmetric Prover-Delayer Games , Journal: Information Processing Letters. Band: 110. Seite(n): 1074--1077 Link zur Veröffentlichung

Olaf Beyersdorff, Sebastian Möller (2010): Different Approaches to Proof Systems , Buchtitel: Proc. 7th Conference on Theory and Applications of Models of Computation. Herausgeber: Springer-Verlag, Berlin Heidelberg. Band: 6108. Reihe: 6108. Seite(n): 50--59 Link zur Veröffentlichung

Olaf Beyersdorff, Sebastian Müller (2010): A Tight Karp-Lipton Collapse Result in Bounded Arithmetic , Journal: ACM Transactions on Computational Logic. Band: 11. Link zur Veröffentlichung

Peter Lohmann, Heribert Vollmer (2010): Complexity Results for Modal Dependence Logic , Buchtitel: Proceedings 19th Conference on Computer Science Logic. Herausgeber: Springer Berlin / Heidelberg. Band: 6247. Reihe: 6247. Seite(n): 411--425 Link zur Veröffentlichung

Pierre McKenzie, Michael Thomas, Heribert Vollmer (2010): Extensional Uniformity for Boolean Circuits , Journal: SIAM Journal on Computing. Band: 39. Seite(n): 3186-3206 Link zur Veröffentlichung
DOI: 10.1137/080741811

Arne Meier, Martin Mundhenk, Michael Thomas, Heribert Vollmer (2009): The Complexity of Satisfiability for Fragments of CTL and CTL* , Journal: International Journal of Foundations of Computer Science. Band: 20. Seite(n): 901-918 Link zur Veröffentlichung
DOI: 10.1142/S0129054109006954

E. Allender, M. Bauland, N. Immerman, H. Schnoor, H. Vollmer (2009): The complexity of satisfiability problems: Refining Schaefer's theorem , Journal: Journal of Computer and System Sciences. Band: 75. Seite(n): 245-254 Link zur Veröffentlichung

H. Vollmer (2009): The complexity of deciding if a Boolean functions can be computed by Boolean circuits over a restricted base. , Journal: Theory of Computing Systems. Band: 44. Seite(n): 82-90 Link zur Veröffentlichung

M. Bauland, T. Schneider, H. Schnoor, I. Schnoor, H. Vollmer (2009): The Complexity of Generalized Satisfiability for Linear Temporal Logic , Journal: Logical Methods in Computer Science. Band: 5. Seite(n): Jan 21 Link zur Veröffentlichung

Olaf Beyersdorff (2009): Comparing axiomatizations of free pseudospaces , Journal: Archive for Mathematical Logic. Band: 48. Seite(n): 625--641 Link zur Veröffentlichung

Olaf Beyersdorff (2009): On the Correspondence Between Arithmetic Theories and Propositional Proof Systems -- a Survey , Journal: Mathematical Logic Quarterly. Band: 55. Seite(n): 116--137 Link zur Veröffentlichung

Olaf Beyersdorff (2009): On the Existence of Complete Disjoint NP-Pairs , Buchtitel: Proc. 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Herausgeber: IEEE Computer Society Press. Seite(n): 282--289 Link zur Veröffentlichung

Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer (2009): The Complexity of Propositional Implication , Journal: Information Processing Letters. Band: 109. Seite(n): 1071-1077 Link zur Veröffentlichung
DOI: 10.1016/j.ipl.2009.06.015

Olaf Beyersdorff, Johannes Köbler, Jochen Messner (2009): Nondeterministic functions and the existence of optimal proof systems , Journal: Theoretical Computer Science. Band: 410. Seite(n): 3839--3855 Link zur Veröffentlichung

Olaf Beyersdorff, Johannes Köbler, Sebastian Müller (2009): Nondeterministic Instance Complexity and Proof Systems with Advice , Buchtitel: Proc. 3rd International Conference on Language and Automata Theory and Applications. Herausgeber: Springer-Verlag, Berlin Heidelberg. Band: 5457. Reihe: 5457. Seite(n): 164 -- 175 Link zur Veröffentlichung

Olaf Beyersdorff, Sebastian Müller (2009): Does Advice Help to Prove Propositional Tautologies? , Buchtitel: Proc. 12th International Conference on Theory and Applications of Satisfiability Testing. Herausgeber: Springer-Verlag, Berlin Heidelberg. Band: 5584. Reihe: 5584. Seite(n): 65 -- 72 Link zur Veröffentlichung

Olaf Beyersdorff, Yevgen Nebesov (2009): Edges as Nodes -- a New Approach to Timetable Information , Buchtitel: Proc. 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems. Link zur Veröffentlichung

Olaf Beyersdorff, Zenon Sadowski (2009): Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes , Buchtitel: Proc. 4th International Computer Science Symposium in Russia. Herausgeber: Springer-Verlag, Berlin Heidelberg. Band: 5675. Reihe: 5675. Seite(n): 47 -- 58 Link zur Veröffentlichung

B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, D. Wagner (2008): Taschenbuch der Algorithmen , Herausgeber: Springer. Link zur Veröffentlichung

Edith Hemaspaandra, Henning Schnoor (2008): On the Complexity of Elementary Modal Logics , Buchtitel: Proceedings 25th Annual Symposium on Theoretical Aspects of Computer Science. Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. Band: 1. Reihe: 1. Seite(n): 349-360 Link zur Veröffentlichung
DOI: 10.4230/LIPIcs.STACS.2008.1356

N. Creignou, H. Vollmer (2008): Boolean constraint satisfaction problems: When does Post's lattice help? , Herausgeber: Springer Verlag. Editor: N. Creignou and P. Kolaitis and H. Vollmer. Band: 5250. Reihe: 5250. Link zur Veröffentlichung

N. Creignou, P. Kolaitis, H. Vollmer (2008): Complexity of Constraints , Herausgeber: Springer. Band: 5250. Reihe: 5250. Link zur Veröffentlichung

Olaf Beyersdorff (2008): Tuples of Disjoint NP-sets , Journal: Theory of Computing Systems. Band: 43. Seite(n): 118--135 Link zur Veröffentlichung

Peter Lohmann (2008): Fragments of Temporal Logic and Formal Languages , Diplomarbeit Link zur Veröffentlichung

Arne Meier (2007): Complexity of Temporal Logics , Masterarbeit Link zur Veröffentlichung

Elmar Böhler, Henning Schnoor (2007): The Complexity of the Descriptiveness of Boolean Circuits over Different Sets of Gates , Journal: Theory Comput. Syst.. Band: 41. Seite(n): 753-777 Link zur Veröffentlichung
DOI: 10.1007/s00224-006-1301-3

Henning Schnoor, Ilka Schnoor (2007): Enumerating All Solutions for Constraint Satisfaction Problems , Buchtitel: Proceedings 24th Annual Symposium on Theoretical Aspects of Computer Science. Herausgeber: Springer. Band: 4393. Reihe: 4393. Seite(n): 694-705 Link zur Veröffentlichung
DOI: 10.1007/978-3-540-70918-3_59

Heribert Vollmer (2007): Computational Complexity of Constraint Satisfaction , Buchtitel: Proceedings 3rd Conference on Computability in Europe. Herausgeber: Springer. Band: 4497. Reihe: 4497. Seite(n): 748-757 Link zur Veröffentlichung
DOI: 10.1007/978-3-540-73001-9_80

Matthias Becker, Helena Szczerbicka, Michael Thomas (2007): Neural Networks and Optimization Algorithms applied for Construction of Low Noise Tread Profiles , Journal: Cybernetics and Systems. Band: 38. Seite(n): 535-548 Link zur Veröffentlichung

Michael Thomas, Helena Szczerbicka (2007): Online Scheduling On Multiple Resources Under Stochastic Conditions , Journal: Systems Science. Band: 33. Seite(n): 23-30 Link zur Veröffentlichung

Michael Thomas, Helena Szczerbicka (2007): Evaluating Online Scheduling Techniques in Uncertain Environments , Buchtitel: Proc. 3rd Multidisciplinary International Scheduling Conference: Theory and Applications. Address: Paris, Frankreich. Seite(n): 471-479 Link zur Veröffentlichung

Olaf Beyersdorff (2007): Classes of representable disjoint NP-pairs , Journal: Theoretical Computer Science. Band: 377. Seite(n): 93--109 Link zur Veröffentlichung

Philippe Chapdelaine, Miki Hermann, Ilka Schnoor (2007): Complexity of Default Logic on Generalized Conjunctive Queries , Buchtitel: Proceedings 9th International Conference on Logic Programming and Nonmonotonic Reasoning. Herausgeber: Springer. Band: 4483. Reihe: 4483. Seite(n): 58-70 Link zur Veröffentlichung
DOI: 10.1007/978-3-540-72200-7_7

Friedrich Steimann, Heribert Vollmer (2006): Exploiting practical limitations of UML diagrams for model validation and execution , Journal: Software and System Modeling. Band: 5. Seite(n): 26-47
DOI: 10.1007/s10270-005-0097-y

Henning Schnoor, Ilka Schnoor (2006): New Algebraic Tools for Constraint Satisfaction , Buchtitel: Complexity of Constraints. Herausgeber: Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. Band: 6401. Reihe: 6401. Link zur Veröffentlichung

Johannes Köbler, Olaf Beyersdorff (2006): Von der Turingmaschine zum Quantencomputer -- ein Gang durch die Geschichte der Komplexitätstheorie , Buchtitel: Themen der Informatik im historischen Kontext. Herausgeber: Springer-Verlag, Berlin Heidelberg. Editor: J. Freytag and W. Reisig. Link zur Veröffentlichung

Michael Bauland, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor (2006): Generalized Modal Satisfiability , Buchtitel: Proceedings 23rd Annual Symposium on Theoretical Aspects of Computer Science. Herausgeber: Springer. Band: 3884. Reihe: 3884. Seite(n): 500-511 Link zur Veröffentlichung
DOI: 10.1007/11672142_41

Michael Thomas (2006): Logics for Context-Free Languages , Schule: Universität Hannover, Institut fr Theoretische Informatik. Link zur Veröffentlichung

Pierre McKenzie, Thomas Schwentick, Denis Thérien, Heribert Vollmer (2006): The many faces of a translation , Journal: J. Comput. Syst. Sci.. Band: 72. Seite(n): 163-179 Link zur Veröffentlichung
DOI: 10.1016/j.jcss.2005.08.003

A. Nickelsen, B. Schelm (2005): Average-Case ƒ??-- Comparing AvgP, HP and Nearly-P , Buchtitel: Proceedings 20th Annual IEEE Conference on Computational Complexity. Seite(n): 235-242 Link zur Veröffentlichung

Arne Meier (2005): SAT-Algorithmen , Bachelorarbeit Link zur Veröffentlichung

B. Schelm (2005): Complexity of Nonmonotonic Logics - An Incomplete Survey Link zur Veröffentlichung

C. Glaáer, S. Reith, H. Vollmer (2005): The complexity of base station positioning in cellular networks , Journal: Discrete and Applied Mathematics. Band: vol. 48(1). Link zur Veröffentlichung

Elmar Böhler, Steffen Reith, Henning Schnoor, Heribert Vollmer (2005): Bases for Boolean co-clones , Journal: Information Processing Letters. Herausgeber: Elsevier. Band: 96. Seite(n): 59-66 Link zur Veröffentlichung

Henning Schnoor (2005): The Complexity of the Boolean Formula Value Problem , Bemerkung: Appeared as The Complexity of Model Checking for Boolean Formulas in Int. J. Found. Comput. Sci. Link zur Veröffentlichung

M. Bauland, E. Hemaspaandra (2005): Isomorphic implication , Buchtitel: Proceedings 30th International Symposium on Mathematical Foundations of Computer Science. Journal: Proceedings 30th International Symposium on Mathematical Foundations of Computer Science. Band: 3618. Seite(n): 119-130 Link zur Veröffentlichung

M. Galota, H. Vollmer (2005): Functions computable in polynomial space , Journal: Information and Computation. Band: 198(1). Seite(n): 56-70 Link zur Veröffentlichung

E. Böhler, E. Hemaspaandra, S. Reith, H. Vollmer (2004): The complexity of Boolean constraint isomorphism , Buchtitel: Proc. 21st Symposium on Theoretical Aspects of Computer Science. Journal: Springer Lecture Notes in Computer Science. Band: 2996. Seite(n): 164-175 Link zur Veröffentlichung

E. Böhler, N. Creignou, S. Reith, H. Vollmer (2004): Playing with Boolean blocks, part II: constraint satisfaction problems , Journal: ACM SIGACT-Newsletter. Band: 35(1). Seite(n): 22-35 Link zur Veröffentlichung

H. Vollmer (2004): First-order logic with groupoidal quantifiers , Journal: Collecium Logicum. Band: Vol. VI. Seite(n): 71-105 Link zur Veröffentlichung

M. Bauland, P. Chapdelaine, N. Creignou, M. Hermann, H. Vollmer (2004): An algebraic approach to the complexity of generalized conjunctive queries , Buchtitel: Lecture Notes in Computer Science. Herausgeber: Springer-Verlag. Band: 3542. Seite(n): 30-45 Link zur Veröffentlichung

P. McKenzie, H. Vollmer, K. W. Wagner (2004): Arithmetic circuits and polynomial replacement systems , Journal: SIAM Journal on Computing. Band: 33(6). Seite(n): 1513-1531 Link zur Veröffentlichung

E. Böhler, Creignou N., S. Reith, H. Vollmer (2003): Playing with Boolean blocks, part I: Post's lattice with applications to complexity theory , Journal: ACM SIGACT-Newsletter. Band: 34(4). Seite(n): 38-52 Link zur Veröffentlichung

H. Vollmer (2003): Complexity theory made easy -- the formal language approach to the definition of complexity classes , Buchtitel: Proc. 7th Developments in Language Theory. Herausgeber: Springer-Verlag. Band: 2710. Reihe: 2710. Seite(n): 95-110 Link zur Veröffentlichung

H. Vollmer, S. Reith (2003): Optimal satisfiability for propositional calculi and constraint satisfaction problems , Journal: Information and Computation. Band: 186. Link zur Veröffentlichung

M. Galota, S. Kosub, H. Vollmer (2003): Generic separations and leaf languages , Journal: Mathematical Logic Quarterly. Band: 49. Seite(n): 353-362 Link zur Veröffentlichung

T. Ebert, W. Merkle, H. Vollmer (2003): On the autoreducibility of random sequences; , Journal: SIAM Journal on Computing. Band: 32(6). Seite(n): 1542-1569

E. Böhler, E. Hemaspaandra, S. Reith, H. Vollmer (2002): Equivalence and isomorphism for Boolean constraint satisfaction , Buchtitel: Proc. Computer Science Logic. Band: 2471. Reihe: 2471. Seite(n): 412-426 Link zur Veröffentlichung

E. Böhler, H. Vollmer (2002): Boolean functions and Post's lattice with applications to complexity theory , Buchtitel: École thématique: Complexité et Calcul, Centre International de Rencontres Mathématiques, Marseille, 2002. Link zur Veröffentlichung

T. Schwentick, D. Thérien, H. Vollmer (2002): Partially-ordered two-way automata: a new characterization of DA , Buchtitel: Proc. 5th Developments in Language Theory. Band: 2295. Reihe: 2295. Seite(n): 239-250 Link zur Veröffentlichung

C. Lautemann, P. McKenzie, T. Schwentick, H. Vollmer (2001): The descriptive complexity approach to LOGCFL , Journal: Journal of Computer and Systems Sciences. Band: 62. Seite(n): 629-652 Link zur Veröffentlichung

M. Galota, C. Glaáer, S. Reith, H. Vollmer (2001): A polynomial-time approximation scheme for base station positioning in UMTS networks , Buchtitel: Proc. 5th Discrete Algorithms and Methods for Mobile Computing and Communications. Seite(n): 52-59 Link zur Veröffentlichung

M. Galota, H. Vollmer (2001): A generalization of the Bchi-Elgot-Trakhtenbrot theorem , Buchtitel: Proc. Computer Science Logic. Band: 2142. Reihe: 2142. Seite(n): 355-368 Link zur Veröffentlichung

Steffen Reith, Heribert Vollmer (2001): Ist P = NP? Einführung in die Theorie der NP-Vollständigkeit , Institut: Fachbereich Mathematik und Informatik, Universität Würzburg. Link zur Veröffentlichung

T. Peichl, H. Vollmer (2001): Finite automata with generalized acceptance criteria , Journal: Discrete Mathematics and Theoretical Computer Science. Band: 4. Seite(n): 179-192 Link zur Veröffentlichung

M. Agrawal, E. Allender, S. Datta, H. Vollmer, K.W. Wagner (2000): Characterizing small depth and small space classes by operators of higher types , Journal: Chicago Journal on Theoretical Computer Science. Link zur Veröffentlichung

Sven Kosub, Heinz Schmitz, Heribert Vollmer (2000): Uniform Characterizations of Complexity Classes of Functions , Journal: Int. J. Found. Comput. Sci.. Band: 11. Seite(n): 525-551 Link zur Veröffentlichung

Ulrich Hertrampf, Steffen Reith, Heribert Vollmer (2000): A note on closure properties of logspace MOD classes , Journal: Inf. Process. Lett.. Band: 75. Seite(n): 91-93 Link zur Veröffentlichung

H. Vollmer (1999): Introduction to Circuit Complexity -- A Uniform Approach , Herausgeber: Springer-Verlag. Link zur Veröffentlichung

H. Vollmer (1999): Generalized quantifiers in computational complexity theory , Buchtitel: Komplexität, Graphen und Automaten - Sammelband mit wissenschaftlichen Beiträgen, Gerd Wechsung zum 60. Geburtstag. Link zur Veröffentlichung

Heribert Vollmer (1999): Uniform characterizations of complexity classes , Journal: SIGACT News. Band: 30. Seite(n): 17-27 Link zur Veröffentlichung

Heribert Vollmer (1999): Was leistet die Komplexitätstheorie fr die Praxis? , Journal: Informatik Spektrum. Band: 22. Seite(n): 317-327 Link zur Veröffentlichung

Stephen A. Fenner, Frederic Green, Steven Homer, Alan L. Selman, Thomas Thierauf, Heribert Vollmer (1999): Complements of Multivalued Functions , Journal: Chicago J. Theor. Comput. Sci. Link zur Veröffentlichung

Hans-Jörg Burtschick, Heribert Vollmer (1998): Lindström Quantifiers and Leaf Language Definability , Journal: Int. J. Found. Comput. Sci.. Band: 9. Seite(n): 277-294 Link zur Veröffentlichung

Heribert Vollmer (1998): Relating Polynomial Time to Constant Depth , Journal: Theor. Comput. Sci.. Band: 207. Seite(n): 159-170 Link zur Veröffentlichung

Hervé‚ Caussinus, Pierre McKenzie, Denis Thérien, Heribert Vollmer (1998): Nondeterministic NC^1 Computation , Journal: J. Comput. Syst. Sci.. Band: 57. Seite(n): 200-212 Link zur Veröffentlichung

K. Cronauer, Ulrich Hertrampf, Heribert Vollmer, Klaus W. Wagner (1998): The Chain Method to Separate Counting Classes , Journal: Theory Comput. Syst.. Band: 31. Seite(n): 93-108 Link zur Veröffentlichung

R. V. Book, H. Vollmer, K. Wagner (1998): Probabilistic type-2 operators and ALMOST-classes , Journal: Computational Complexity. Band: 7. Seite(n): 265-289 Link zur Veröffentlichung

Heribert Vollmer, Klaus W. Wagner (1997): Measure One Results in Computational Complexity Theory , Buchtitel: Advances in Algorithms, Languages, and Complexity. Seite(n): 285-312 Link zur Veröffentlichung

Kenneth W. Regan, Heribert Vollmer (1997): Gap-Languages and Log-Time Complexity Classes , Journal: Theor. Comput. Sci.. Band: 188. Seite(n): 101-116 Link zur Veröffentlichung

Heribert Vollmer, Klaus W. Wagner (1996): Recursion Theoretic Characterizations of Complexity Classes of Counting Functions , Journal: Theor. Comput. Sci.. Band: 163. Seite(n): 245-258 Link zur Veröffentlichung

Ronald V. Book, Heribert Vollmer, Klaus W. Wagner (1996): On Type-2 Probabilistic Quantifiers , Buchtitel: ICALP. Seite(n): 369-380 Link zur Veröffentlichung

Ulrich Hertrampf, Heribert Vollmer, Klaus W. Wagner (1996): On Balanced Versus Unbalanced Computation Trees , Journal: Mathematical Systems Theory. Band: 29. Seite(n): 411-421 Link zur Veröffentlichung

H. Vollmer, K. W. Wagner (1995): Complexity classes of optimization functions , Journal: Information and Computation. Band: 120. Seite(n): 198-219 Link zur Veröffentlichung

Lane A. Hemaspaandra, Heribert Vollmer (1995): The satanic notations: counting classes beyond #P and other definitional adventures , Journal: SIGACT News. Band: 26. Seite(n): Feb 13 Link zur Veröffentlichung

Ulrich Hertrampf, Heribert Vollmer, Klaus W. Wagner (1995): On the Power of Number-Theoretic Operations with Respect to Counting , Buchtitel: Structure in Complexity Theory Conference. Seite(n): 299-314 Link zur Veröffentlichung

Heribert Vollmer (1994): On Different Reducibility Notions for Function Classes , Buchtitel: STACS. Seite(n): 449-460 Link zur Veröffentlichung

Heribert Vollmer, Klaus W. Wagner (1993): The Complexity of Finding Middle Elements , Journal: Int. J. Found. Comput. Sci.. Band: 4. Seite(n): 293-307 Link zur Veröffentlichung

Ulrich Hertrampf, Clemens Lautemann, Thomas Schwentick, Heribert Vollmer, Klaus W. Wagner (1992): On the Power of Polynomial Bit-Reductions , Journal: Universität Trier, Mathematik/Informatik, Forschungsbericht. Band: 92-28. Link zur Veröffentlichung

Heribert Vollmer (1990): The Gap-Language-Technique Revisited , Buchtitel: CSL. Seite(n): 389-399 Link zur Veröffentlichung


Please note: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that the publications are offered here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each copyright holder, and make use of the documents only for research and education purpose. These publications may not be reposted without the explicit permission of the copyright holder.
Letzte Änderung: 14.04.2015
 
Verantwortlich Webmaster