( en | de | ru )

 

Disambiguierung von "Hermanns, Holger"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study.

, , und . ASMS/SPSC, Seite 1-8. IEEE, (2022)

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

Walter Hermanns

Artur Hermanns

 

Weitere Publikationen von Autoren mit dem selben Namen

Deep Statistical Model Checking., , , , und . FORTE, Volume 12136 von Lecture Notes in Computer Science, Seite 96-114. Springer, (2020)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)The 10, 000 Facets of MDP Model Checking., , und . Computing and Software Science, Volume 10000 von Lecture Notes in Computer Science, Springer, (2019)Software Doping Analysis for Human Oversight., , , , , , , und . CoRR, (2023)Admissibility in Probabilistic Argumentation., , , , , und . J. Artif. Intell. Res., (2022)Teaching Concurrency Concepts to Freshmen., und . Trans. Petri Nets Other Model. Concurr., (2008)Energieinformatik im erdnahen Orbit.. GI-Jahrestagung, Volume P-246 von LNI, Seite 41. GI, (2015)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , und . TAILOR, Volume 12641 von Lecture Notes in Computer Science, Seite 83-90. Springer, (2020)Quantification of Battery Depletion Risk Made Efficient., und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 156-174. Springer, (2022)