Skip to contents

  3. Delfa Victoria, Juan Manuel [Author] ; Stryk, Oskar ˜vonœ [Degree supervisor]; Policella, Nicola [Degree supervisor]; Gao, Yang [Degree supervisor]

    Automated Hierarchical, Forward-Chaining Temporal Planner for Planetary Robots Exploring Unknown Environments

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2016

  8. Biernacka, Małgorzata [Author]; Biernacki, Dariusz [Author]; Lenglet, Sergueï [Author]; Schmitt, Alan [Author] ; Małgorzata Biernacka and Dariusz Biernacki and Sergueï Lenglet and Alan Schmitt [Contributor]

    Non-Deterministic Abstract Machines

    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, 2022

  12. Olivieri, Luca [Author]; Negrini, Luca [Author]; Arceri, Vincenzo [Author]; Tagliaferro, Fabio [Author]; Ferrara, Pietro [Author]; Cortesi, Agostino [Author]; Spoto, Fausto [Author] ; Luca Olivieri and Luca Negrini and Vincenzo Arceri and Fabio Tagliaferro and Pietro Ferrara and Agostino Cortesi and Fausto Spoto [Contributor]

    Information Flow Analysis for Detecting Non-Determinism in Blockchain

    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, 2023

  13. Olivieri, Luca [Author]; Negrini, Luca [Author]; Arceri, Vincenzo [Author]; Tagliaferro, Fabio [Author]; Ferrara, Pietro [Author]; Cortesi, Agostino [Author]; Spoto, Fausto [Author] ; Luca Olivieri and Luca Negrini and Vincenzo Arceri and Fabio Tagliaferro and Pietro Ferrara and Agostino Cortesi and Fausto Spoto [Contributor]

    Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)

    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, 2023

  15. Allende, Imanol [Author] ; Obermaisser, Roman [Contributor]

    Statistical path coverage for non-deterministic complex safety-related software testing ; Statistische Pfadabdeckung für nicht-deterministische, komplexe und sicherheitsrelevante Softwaretests

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    Universität Siegen; Department Elektrotechnik - Informatik, 2022-01-01

  17. Feuilloley, Laurent [Author]; Fraigniaud, Pierre [Author]; Hirvonen, Juho [Author]; Paz, Ami [Author]; Perry, Mor [Author] ; Laurent Feuilloley and Pierre Fraigniaud and Juho Hirvonen and Ami Paz and Mor Perry [Contributor]

    Redundancy in Distributed Proofs

    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, 2018