( en | de | ru )

 

Disambiguierung von "Hermanns, Holger"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Software Doping Analysis for Human Oversight.

, , , , , , , und . CoRR, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Holger Hermanns

Holger Hermanns

Holger Hermanns

Gerhard Hermanns

Bernward Hermanns

 

Weitere Publikationen von Autoren mit dem selben Namen

Teaching Concurrency Concepts to Freshmen., und . Trans. Petri Nets Other Model. Concurr., (2008)Deep Statistical Model Checking., , , , und . FORTE, Volume 12136 von Lecture Notes in Computer Science, Seite 96-114. Springer, (2020)Admissibility in Probabilistic Argumentation., , , , , und . J. Artif. Intell. Res., (2022)Software Doping Analysis for Human Oversight., , , , , , , und . CoRR, (2023)Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing., , und . IEEE Trans. Aerosp. Electron. Syst., 59 (5): 7166-7182 (Oktober 2023)Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains., und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 59-81. Springer, (2001)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , und . TAILOR, Volume 12641 von Lecture Notes in Computer Science, Seite 83-90. Springer, (2020)Bisimulation and Simulation Relations for Markov Chains., , , und . APC 25, Volume 162 von Electronic Notes in Theoretical Computer Science, Seite 73-78. Elsevier, (2005)Quantification of Battery Depletion Risk Made Efficient., und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 156-174. Springer, (2022)Energieinformatik im erdnahen Orbit.. GI-Jahrestagung, Volume P-246 von LNI, Seite 41. GI, (2015)