Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction

Filter
Chapter

Search results

  • 2024

    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, p. 281-307 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14660 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2023

    The Top-Down Solver—An Exercise in A2I

    Tilscher, S., Stade, Y., Schwarz, M., Vogler, R. & Seidl, H., 2023, Intelligent Systems Reference Library. Springer Science and Business Media Deutschland GmbH, p. 157-179 23 p. (Intelligent Systems Reference Library; vol. 238).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    1 Scopus citations
  • 2020

    Incremental Abstract Interpretation

    Seidl, H., Erhard, J. & Vogler, R., 2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 132-148 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12065 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    6 Scopus citations
  • 2016

    Equivalence - combinatorics, algebra, proofs

    Seidl, H., Maneth, S., Kemper, G. & Engelfriet, J., 19 Apr 2016, Dependable Software Systems Engineering. IOS Press, Vol. 45. p. 202-243 42 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2012

    Type Checking of Tree Walking Transducers

    Maneth, S., Friese, S. & Seidl, H., 1 Jan 2012, Modern Applications of Automata Theory. World Scientific Publishing Co., p. 3-43 41 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    1 Scopus citations
  • 2004

    A note on Karr's algorithm

    Müller-Olm, M. & Seidl, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (eds.). Springer Verlag, p. 1016-1028 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3142).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    62 Scopus citations
  • Counting in trees for free

    Seidl, H., Schwentick, T., Muscholl, A. & Habermehl, P., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (eds.). Springer Verlag, p. 1136-1149 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3142).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    66 Scopus citations
  • The Succinct Solver Suite

    Nielson, F., Nielson, H. R., Sun, H., Buchholtz, M., Hansen, R. R., Pilegaard, H. & Seidl, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer Verlag, p. 251-265 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    21 Scopus citations