( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning Regular Languages over Large Ordered Alphabets.

, и . Logical Methods in Computer Science, (2015)

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

 

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

Efficient Parametric Identification for STL., , и . HSCC, стр. 177-186. ACM, (2018)Reachability for Continuous and Hybrid Systems.. RP, том 5797 из Lecture Notes in Computer Science, стр. 24-25. Springer, (2009)On Control with Bounded Computational Resources., , и . FTRTFT, том 2469 из Lecture Notes in Computer Science, стр. 147-164. Springer, (2002)The Unmet Challenge of Timed Systems.. FPS@ETAPS, том 8415 из Lecture Notes in Computer Science, стр. 177-192. Springer, (2014)AMT: A Property-Based Monitoring Tool for Analog Systems., и . FORMATS, том 4763 из Lecture Notes in Computer Science, стр. 304-319. Springer, (2007)Orthogonal Polyhedra: Representation and Computation., , и . HSCC, том 1569 из Lecture Notes in Computer Science, стр. 46-60. Springer, (1999)Mixed-Time Signal Temporal Logic., , и . FORMATS, том 11750 из Lecture Notes in Computer Science, стр. 59-75. Springer, (2019)Tight Bounds on the Complexity of Cascaded Decomposition of Automata, и . FOCS, стр. 672-682. IEEE Computer Society, (1990)0-8186-2082-X.A Kleene Theorem for Timed Automata., , и . LICS, стр. 160-171. IEEE Computer Society, (1997)From Real-time Logic to Timed Automata., , , и . J. ACM, 66 (3): 19:1-19:31 (2019)