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
41 - 60 von 211Seitengröße: 20

Publikationen

  1. 2019
  2. Veröffentlicht

    A model-theoretic characterization of constant-depth arithmetic circuits

    Haak, A. & Vollmer, H., Sept. 2019, in: Annals of Pure and Applied Logic. 170, 9, S. 1008-1029 22 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  3. Veröffentlicht

    Model checking and validity in propositional and modal inclusion logics

    Hella, L., Kuusisto, A., Meier, A. & Virtema, J., Sept. 2019, in: Journal of logic and computation. 29, 5, S. 605-630 26 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  4. Veröffentlicht

    Parameterised Enumeration for Modification Problems

    Creignou, N., Ktari, R., Meier, A., Müller, J. S., Olive, F. & Vollmer, H., Sept. 2019, in: Algorithms. 12, 9, S. 189 1 S., 9.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  5. Veröffentlicht

    Counting of teams in first-order team logics

    Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., 20 Aug. 2019, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Rossmanith, P., Heggernes, P. & Katoen, J.-P. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Band abs/1902.00246. S. 19:1-19:15 15 S. 19. (Leibniz International Proceedings in Informatics, LIPIcs; Band 138).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  6. Veröffentlicht

    Guest Editorial: Special Issue on Theoretical Aspects of Computer Science

    Vollmer, H. & Vallée, B., 15 Juli 2019, in: Theory of computing systems. 63, 5, S. 923-925 3 S., 5.

    Publikation: Beitrag in Fachzeitschrift › Editorial in Fachzeitschrift › Forschung › Peer-Review

  7. Elektronisch veröffentlicht (E-Pub)

    Logics for Dependence and Independence: Report from Dagstuhl Seminar 19031

    Vollmer, H., Kontinen, J., Grädel, E. & Kolaitis, P. G., 19 Juni 2019, (Elektronisch veröffentlicht (E-Pub)) in: Dagstuhl Reports. 9, 1, S. 28-46 19 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung

  8. Veröffentlicht

    Backdoors for Linear Temporal Logic

    Meier, A., Ordyniak, S., Ramanujan, M. S. & Schindler, I., 15 Feb. 2019, in: ALGORITHMICA. 81, 2, S. 476-496 21 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  9. Veröffentlicht

    Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models

    Greenyer, J., Gritzner, D., Harel, D. & Marron, A., 1 Feb. 2019, Model-Driven Engineering and Software Development: 6th International Conference, MODELSWARD 2018, Revised Selected Papers. Pires, L. F., Selic, B. & Hammoudi, S. (Hrsg.). Springer Verlag, S. 335-354 20 S. (Communications in Computer and Information Science; Band 991).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  10. Veröffentlicht

    Künstlicher Geist?

    Vollmer, H., 6 Jan. 2019, in: Christ in der Gegenwart. 2019, 1, S. 17-18

    Publikation: Beitrag in Fachzeitschrift › Artikel › Transfer

  11. Veröffentlicht

    Counting complexity for reasoning in abstract argumentation

    Fichte, J. K., Hecher, M. & Meier, A., 2019, in: Proceedings of the AAAI Conference on Artificial Intelligence. 33, 01: AAAI-19, IAAI-19, EAAI-20, S. 2827-2834 8 S.

    Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review

  12. 2018
  13. Veröffentlicht

    Die Zukunft der Menschheit: Pierre Teilhard de Cardin und die Künstliche Intelligenz

    Vollmer, H., Nov. 2018, in: Herder-Korrespondenz. 2018, 11, S. 28-32

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung

  14. Veröffentlicht

    Team semantics for the specification and verification of hyperproperties

    Krebs, A., Meier, A., Virtema, J. & Zimmermann, M., 27 Aug. 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; Band 117).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  15. Veröffentlicht

    Approximation and dependence via multiteam semantics

    Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., Aug. 2018, in: Annals of Mathematics and Artificial Intelligence. 83, 3-4, S. 297-320 24 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  16. Veröffentlicht

    Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth

    Durand, A., Haak, A. & Vollmer, H., 9 Juli 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York: Association for Computing Machinery (ACM), S. 354-363 10 S. (Proceedings - Symposium on Logic in Computer Science).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  17. Elektronisch veröffentlicht (E-Pub)

    Enumeration in Incremental FPT-Time

    Meier, A., 20 Apr. 2018, (Elektronisch veröffentlicht (E-Pub)).

    Publikation: Arbeitspapier/Preprint › Technical Report › Forschung

  18. Veröffentlicht

    Complexity of propositional logics in team semantic

    Vollmer, H., Hannula, M., Kontinen, J. & Virtema, J., Jan. 2018, in: ACM Transactions on Computational Logic. 19, 1, S. 2:1-2:14 14 S., 2.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  19. Veröffentlicht

    Preface of STACS 2016 Special Issue

    Dürr, C. & Vollmer, H., Jan. 2018, in: Theory of Computing Systems. 62, 1, S. 1-3 3 S.

    Publikation: Beitrag in Fachzeitschrift › Editorial in Fachzeitschrift › Forschung › Peer-Review

  20. Veröffentlicht

    Computational complexity aspects of implicit graph representations

    Chandoo, M., 2018, Hannover. 89 S.

    Publikation: Qualifikations-/Studienabschlussarbeit › Dissertation

  21. Veröffentlicht

    Default Logic and Bounded Treewidth

    Fichte, J. K., Hecher, M. & Schindler, I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (Hrsg.). Springer Verlag, S. 130-142 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10792 LNCS).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  22. Veröffentlicht

    Efficient distributed execution of multi-component scenario-based models

    Steinberg, S., Greenyer, J., Gritzner, D., Harel, D., Katz, G. & Marron, A., 2018, Model-Driven Engineering and Software Development. Selic, B., Pires, L. F. & Hammoudi, S. (Hrsg.). Springer Verlag, S. 449-483 35 S. (Communications in Computer and Information Science; Band 880).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Vorherige 1 2 3 4 5 6 7 8 ...11 Nächste