( en | de | ru )

 

Disambiguierung von "Maler, Oded"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hybrid Systems Applications: An Oxymoron?

, , , , , , , , , und . HSCC, Volume 2034 von Lecture Notes in Computer Science, Seite 5-6. Springer, (2001)

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

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