( en | de | ru )

 

Disambiguierung von "Koenig, Jason"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Complementary Flyover and Rover Sensing for Superior Modeling of Planetary Features.

, , , , , und . FSR, Volume 92 von Springer Tracts in Advanced Robotics, Seite 415-429. Springer, (2012)

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.

Ian Jason

Jason Miskuly

Jason Crook

Jason Tam

Jason Pazis

 

Weitere Publikationen von Autoren mit dem selben Namen

Complementary Flyover and Rover Sensing for Superior Modeling of Planetary Features., , , , , und . FSR, Volume 92 von Springer Tracts in Advanced Robotics, Seite 415-429. Springer, (2012)Invariant inference via quantified separation.. Stanford University, USA, (2022)First-order quantified separators., , , und . PLDI, Seite 703-717. ACM, (2020)Adaptive restarts for stochastic synthesis., , und . PLDI, Seite 696-709. ACM, (2021)Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion., , , und . TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 338-356. Springer, (2022)