Skip to contents

  3. Schnepf, Nicolas [Author] ; Schmidt, Stefan [Other]; Srba, Jiri [Other]

    Resilient Capacity-Aware Routing

    Videos
    View online
    Schließen
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)

  6. Kretinsky, Jan [Author]; Larsen, Kim Guldstrand [Author]; Laursen, Simon [Author]; Srba, Jiri [Author] ; Jan Kretinsky and Kim Guldstrand Larsen and Simon Laursen and Jiri Srba [Contributor]

    Polynomial Time Decidability of Weighted Synchronization under Partial Observability

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  7. Bønneland, Frederik Meyer [Author]; Jensen, Peter Gjøl [Author]; Larsen, Kim G. [Author]; Muñiz, Marco [Author]; Srba, Jiří [Author] ; Frederik Meyer Bønneland and Peter Gjøl Jensen and Kim G. Larsen and Marco Muñiz and Jiří Srba [Contributor]

    Partial Order Reduction for Reachability Games

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  8. Liebke, Torsten (gnd 1243527919) [Author] ; Wolf, Karsten (gnd: 124773052) AkademischeR BetreuerIn [Contributor]; Srba, Jiri AkademischeR BetreuerIn [Contributor]; Universität Rostock (gnd: 38329-6) Grad-verleihende Institution [Contributor]; Universität Rostock Fakultät für Informatik und Elektrotechnik (gnd: 10085032-7) Grad-verleihende Institution [Contributor]

    Improving explicit model checking for Petri nets

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    Universität Rostock Rostock, 2020 2020