Publikationen
- 2008
- Veröffentlicht
The Complexity of Satisfiability for Fragments of CTL and CTL*
Meier, A., Mundhenk, M., Thomas, M. & Vollmer, H., 2008, Proceedings of the Second Workshop on Reachability Problems in Computational Models (RP 2008). Band 223. S. 201-213 13 S. (Electron. Notes Theor. Comput. Sci.).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- 2007
- Veröffentlicht
Circuits, Logic, and Games, 06451
Schwentick, T., Thérien, D. & Vollmer, H., 2007, in: Dagstuhl Seminar Proceedings. 6451Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review
- Veröffentlicht
Computational complexity of constraint satisfaction
Vollmer, H., 2007, Computation and Logic in the Real World - Third Conference on Computability in Europe, CiE 2007, Proceedings. S. 748-757 10 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4497 LNCS).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
The complexity of generalized satisfiability for linear temporal logic
Bauland, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2007, Foundations of Software Science and Computational Structures - 10th International Conference, FOSSACS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007. Springer Verlag, S. 48-62 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4423 LNCS).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- 2006
- Veröffentlicht
Exploiting practical limitations of UML diagrams for model validation and execution
Steimann, F. & Vollmer, H., Apr. 2006, in: Software and systems modeling. 5, 1, S. 26-47 22 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Executive Summary of Dagstuhl-Seminar Complexity of Constraints, 06401
Creignou, N., Kolaitis, P. G. & Vollmer, H., 2006, in: Dagstuhl Seminar Proceedings. 6401Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review
- Veröffentlicht
The many faces of a translation
McKenzie, P., Schwentick, T., Thérien, D. & Vollmer, H., 2006, in: Journal of Computer and System Sciences.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- 2005
- Veröffentlicht
Bases for Boolean co-clones
Böhler, E., Reith, S., Schnoor, H. & Vollmer, H., 31 Okt. 2005, in: Information processing letters. 96, 2, S. 59-66 8 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The complexity of base station positioning in cellular networks
Glaßer, C., Reith, S. & Vollmer, H., 30 Apr. 2005, in: Discrete applied mathematics. 148, 1, S. 1-12 12 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
An algebraic approach to the complexity of generalized conjunctive queries
Bauland, M., Chapdelaine, P., Creignou, N., Hermann, M. & Vollmer, H., 2005, in: Lecture Notes in Computer Science. 3542, S. 30-45 16 S.Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review
- Veröffentlicht
Functions computable in polynomial space
Galota, M. & Vollmer, H., 2005, in: Information and computation.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- 2004
- Veröffentlicht
Arithmetic circuits and polynomial replacement systems
Mckenzie, P., Vollmer, H. & Wagner, K. W., 2004, in: SIAM journal on computing.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The complexity of Boolean constraint isomorphism
Böhler, E., Hemaspaandra, E., Reith, S. & Vollmer, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Diekert, V. & Habib, M. (Hrsg.). Springer Verlag, S. 164-175 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2996).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review
- 2003
- Veröffentlicht
Complexity theory made easy: The formal language approach to the definition of complexity classes
Vollmer, H., 2003Publikation: Buch/Bericht/Sammelwerk/Konferenzband › Monografie › Forschung › Peer-Review
- Veröffentlicht
Generic separations and leaf languages
Galota, M., Kosub, S. & Vollmer, H., 2003, in: Mathematical logic quarterly.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
On the autoreducibility of random sequences
Ebert, T., Merkle, W. & Vollmer, H., 2003, in: SIAM journal on computing.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Optimal satisfiability for propositional calculi and constraint satisfaction problems
Reith, S. & Vollmer, H., 2003, in: Inf. Comput.. 186, 1, S. 1-19 19 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- 2002
- Veröffentlicht
Equivalence and isomorphism for boolean constraint satisfaction
Böhler, E., Hemaspaandra, E., Reith, S. & Vollmer, H., 2002Publikation: Buch/Bericht/Sammelwerk/Konferenzband › Monografie › Forschung › Peer-Review
- Veröffentlicht
Partially-ordered two-way automata: A new characterization of DA
Schwentick, T., Therien, D. & Vollmer, H., 2002Publikation: Buch/Bericht/Sammelwerk/Konferenzband › Monografie › Forschung › Peer-Review
- 2001
- Veröffentlicht
A generalization of the Büchi-Elgot-Trakhtenbrot theorem
Galota, M. & Vollmer, H., 2001, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review