( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Control with Bounded Computational Resources.

, , и . FTRTFT, том 2469 из Lecture Notes in Computer Science, стр. 147-164. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Oded Green

Oded Maron

Joachim Malert

Cornelius Malerczyk

Eduard Maler

 

Другие публикации лиц с тем же именем

Orthogonal Polyhedra: Representation and Computation., , и . HSCC, том 1569 из Lecture Notes in Computer Science, стр. 46-60. Springer, (1999)AMT: A Property-Based Monitoring Tool for Analog Systems., и . FORMATS, том 4763 из Lecture Notes in Computer Science, стр. 304-319. Springer, (2007)The Unmet Challenge of Timed Systems.. FPS@ETAPS, том 8415 из Lecture Notes in Computer Science, стр. 177-192. Springer, (2014)Efficient Parametric Identification for STL., , и . HSCC, стр. 177-186. ACM, (2018)On Control with Bounded Computational Resources., , и . FTRTFT, том 2469 из Lecture Notes in Computer Science, стр. 147-164. Springer, (2002)Mixed-Time Signal Temporal Logic., , и . FORMATS, том 11750 из Lecture Notes in Computer Science, стр. 59-75. Springer, (2019)Reachability for Continuous and Hybrid Systems.. RP, том 5797 из Lecture Notes in Computer Science, стр. 24-25. Springer, (2009)Tight Bounds on the Complexity of Cascaded Decomposition of Automata, и . FOCS, стр. 672-682. IEEE Computer Society, (1990)0-8186-2082-X.Timed regular expressions., , и . J. ACM, 49 (2): 172-206 (2002)Symbolic model checking with rich assertional languages., , , , и . Theor. Comput. Sci., 256 (1-2): 93-112 (2001)