Bild/Logo der Organisation Institut für Theoretische Informatik

Institut für Theoretische Informatik

Organisation: Institut/Seminar

Adressentyp: Besucheradresse.
Appelstraße 9a
30167
Hannover
Forschungs-netzwerk anzeigen

Publikationen

  1. 2001
  2. Veröffentlicht

    A polynomial-time approximation scheme for base station positioning in UMTS networks

    Galota, M., Glaßer, C., Reith, S. & Vollmer, H., 2001, Proceedings of the 5th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M 2001), Rome, Italy, July 21, 2001. Association for Computing Machinery (ACM), S. 52-59 8 S.

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

  3. Veröffentlicht

    The descriptive complexity approach to LOGCFL

    Lautemann, C., McKenzie, P., Schwentick, T. & Vollmer, H., 2001, in: Journal of Computer and System Sciences.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

  4. 2000
  5. Veröffentlicht

    Arithmetic circuits and polynomial replacement systems

    McKenzie, P., Vollmer, H. & Wagner, K. W., 2000

    Publikation: Buch/Bericht/Sammelwerk/KonferenzbandMonografieForschungPeer-Review

  6. Veröffentlicht

    Note on closure properties of logspace MOD classes

    Hertrampf, U., Reith, S. & Vollmer, H., 2000, in: Information processing letters.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

  7. Veröffentlicht

    On the autoreducibility of random sequences

    Ebert, T. & Vollmer, H., 2000

    Publikation: Buch/Bericht/Sammelwerk/KonferenzbandMonografieForschungPeer-Review

  8. Veröffentlicht

    Optimal satisfiability for propositional calculi and constraint satisfaction problems

    Reith, S. & Vollmer, H., 2000

    Publikation: Buch/Bericht/Sammelwerk/KonferenzbandMonografieForschungPeer-Review

  9. Veröffentlicht

    The many faces of a translation

    McKenzie, P., Schwentick, T., Thérien, D. & Vollmer, H., 2000

    Publikation: Buch/Bericht/Sammelwerk/KonferenzbandMonografieForschungPeer-Review

  10. Veröffentlicht

    Uniform characterizations of complexity classes of functions

    Kosub, S., Schmitz, H., Vollmer, H. & Cai, J., 2000, in: International Journal of Foundations of Computer Science.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

  11. 1999
  12. Veröffentlicht

    A generalized quantifier concept in computational complexity theory

    Vollmer, H., 1999

    Publikation: Buch/Bericht/Sammelwerk/KonferenzbandMonografieForschungPeer-Review

  13. Veröffentlicht

    Finite automata with generalized acceptance criteria

    Peichl, T. & Vollmer, H., 1999

    Publikation: Buch/Bericht/Sammelwerk/KonferenzbandMonografieForschungPeer-Review

  14. Veröffentlicht

    The descriptive complexity approach to LOGCFL

    Lautemann, C., McKenzie, P., Schwentick, T. & Vollmer, H., 1999

    Publikation: Buch/Bericht/Sammelwerk/KonferenzbandMonografieForschungPeer-Review

  15. 1998
  16. Veröffentlicht

    A Generalized Quantifier Concept in Computational Complexity Theory

    Vollmer, H., 28 Sept. 1998, f. (Annals of Pure and Applied Logic).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschung

  17. Veröffentlicht

    The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae

    Reith, S. & Vollmer, H., 28 Sept. 1998.

    Publikation: Arbeitspapier/PreprintTechnical ReportForschung

  18. Veröffentlicht

    The descriptive complexity approach to LOGCFL

    Lautemann, C., McKenzie, P., Schwentick, T. & Vollmer, H., 28 Sept. 1998.

    Publikation: Arbeitspapier/PreprintTechnical ReportForschung

  19. Veröffentlicht

    Nondeterministic NC1 Computation

    Caussinus, H., McKenzie, P., Thérien, D. & Vollmer, H., 1998, in: Journal of Computer and System Sciences.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

  20. Veröffentlicht

    Probabilistic type-2 operators and "almost"-classes

    Book, R. V., Vollmer, H. & Wagner, K. W., 1998, in: Computational complexity.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

  21. Veröffentlicht

    Relating polynomial time to constant depth

    Vollmer, H., 1998, in: Theoretical computer science.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

  22. Veröffentlicht

    The chain method to separate counting classes

    Cronauer, K., Hertrampf, U., Vollmer, H. & Wagner, K. W., 1998, in: Theory of computing systems.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

  23. Veröffentlicht

    Uniformly defining complexity classes of functions

    Kosub, S., Schmitz, H. & Vollmer, H., 1998

    Publikation: Buch/Bericht/Sammelwerk/KonferenzbandMonografieForschungPeer-Review

  24. 1997
  25. Veröffentlicht

    Gap-languages and log-time complexity classes

    Regan, K. W. & Vollmer, H., 1997, in: Theoretical computer science.

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review