Skip to contents

  3. Santoso, Ario [Author] ; Calvanese, Diego [Degree supervisor]; Montali, Marco [Degree supervisor]; Baader, Franz [Degree supervisor]; Baader, Franz [Other]; Lespérance, Yves [Other]; Sardina, Sebastian [Other]

    Verification of Data-aware Business Processes in the Presence of Ontologies

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2016

  13. Koopmann, Patrick [Author]; Zarrieß, Benjamin [Author]

    On the Complexity of Verifying Timed Golog Programs over Description Logic Actions : (Extended Version)

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dresden: Technische Universität Dresden, 2018

    Published in: LTCS-Report ; 18,6

  14. Zarrieß, Benjamin [Author]; Claßen, Jens [Author]

    Decidable Verification of Golog Programs over Non-Local Effect Actions : Extended Version

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dresden: Technische Universität Dresden, 2015

    Published in: LTCS-Report ; 15,9

  15. Zarrieß, Benjamin [Author]; Claßen, Jens [Author]

    On the Decidability of Verifying LTL Properties of Golog Programs : ((Extended Version)

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dresden: Technische Universität Dresden, 2013

    Published in: LTCS-Report ; 13,10