( en | de | ru )

 

Disambiguierung von "Maler, Oded"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Control with Bounded Computational Resources.

, , und . FTRTFT, Volume 2469 von Lecture Notes in Computer Science, Seite 147-164. Springer, (2002)

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.

Oded Green

Oded Maron

Joachim Malert

Cornelius Malerczyk

Eduard Maler

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Parametric Identification for STL., , und . HSCC, Seite 177-186. ACM, (2018)The Unmet Challenge of Timed Systems.. FPS@ETAPS, Volume 8415 von Lecture Notes in Computer Science, Seite 177-192. Springer, (2014)Orthogonal Polyhedra: Representation and Computation., , und . HSCC, Volume 1569 von Lecture Notes in Computer Science, Seite 46-60. Springer, (1999)AMT: A Property-Based Monitoring Tool for Analog Systems., und . FORMATS, Volume 4763 von Lecture Notes in Computer Science, Seite 304-319. Springer, (2007)Tight Bounds on the Complexity of Cascaded Decomposition of Automata, und . FOCS, Seite 672-682. IEEE Computer Society, (1990)0-8186-2082-X.On Control with Bounded Computational Resources., , und . FTRTFT, Volume 2469 von Lecture Notes in Computer Science, Seite 147-164. Springer, (2002)Reachability for Continuous and Hybrid Systems.. RP, Volume 5797 von Lecture Notes in Computer Science, Seite 24-25. Springer, (2009)Mixed-Time Signal Temporal Logic., , und . FORMATS, Volume 11750 von Lecture Notes in Computer Science, Seite 59-75. Springer, (2019)On under-determined dynamical systems.. EMSOFT, Seite 89-96. ACM, (2011)On Optimal Scheduling under Uncertainty., , und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 240-253. Springer, (2003)