Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik

Organisationsprofil

technical description

TUINI02TUMonline:15427 2008-04-01 mediaTUM:670476

Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre

Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
  • 2-Pointer Logic

    Seidl, H., Erhard, J., Schwarz, M. & Tilscher, S., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, S. 281-307 27 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14660 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKapitelBegutachtung

  • Checking in polynomial time whether or not a regular tree language is deterministic top-down

    Maneth, S. & Seidl, H., Feb. 2024, in: Information Processing Letters. 184, 106449.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    1 Zitat (Scopus)
  • Correctness Witness Validation by Abstract Interpretation

    Saan, S., Schwarz, M., Erhard, J., Seidl, H., Tilscher, S. & Vojdani, V., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 74-97 24 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14499 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    2 Zitate (Scopus)