( en | de | ru )

 

Disambiguierung von "Hansen, Mikkel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parametric Verification of Weighted Systems.

, , , , , und . SynCoP, Volume 44 von OASIcs, Seite 77-90. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

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.

Mikkel Leth Jespersen

Mikkel Skou Christensen

Flemming Hansen

Standards in der sozialen Arbeit. Uni Kassel, (2009)

Patrick Hansen

Entwicklung eines energetischen Sanierungsmodells für den europäischen Wohngebäudesektor unter dem Aspekt der Erstellung von Szenarien für Energie- und Co_1tn2-Einsparpotenziale bis 2030. Uni Siegen, (2009)

Nadine Hansen

 

Weitere Publikationen von Autoren mit dem selben Namen

A Complete Approximation Theory for Weighted Transition Systems., , , , und . SETTA, Volume 9984 von Lecture Notes in Computer Science, Seite 213-228. (2016)Reasoning About Bounds in Weighted Transition Systems., , , , und . CoRR, (2017)On the Verification of Weighted Kripke Structures Under Uncertainty., , und . QEST, Volume 11024 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2018)Parametric Verification of Weighted Systems., , , , , und . SynCoP, Volume 44 von OASIcs, Seite 77-90. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Model Checking Constrained Markov Reward Models with Uncertainties., , und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2019)Object Detection and Terrain Classification in Agricultural Fields Using 3D Lidar Data., , und . ICVS, Volume 9163 von Lecture Notes in Computer Science, Seite 188-197. Springer, (2015)Towards Inverse Sensor Mapping in Agriculture., , , und . CoRR, (2018)Determination of Maximal Oxygen Uptake Using Seismocardiography at Rest., , , , , , und . CinC, Seite 1-4. IEEE, (2021)Using Image Synthesis Frameworks to Produce Stereoscopic Views for Mobile AR: a Comparative Study., , , und . SVR, Seite 132-136. ACM, (2022)FieldSAFE: Dataset for Obstacle Detection in Agriculture., , , , , , , und . CoRR, (2017)