( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rigorous Approximated Determinization of Weighted Automata.

, , и . LICS, стр. 345-354. IEEE Computer Society, (2011)

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.

Robby Schönfeld

Annelise Robby

Robby Jacob

Robby Schlund

Robby Zellmer

 

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

Weighted automata and their applications to formal verification (עם תקציר בעברית ושער נוסף: אוטומטים ממושקלים והשימוש בהם בתחום האימות הפורמלי.).. Hebrew University of Jerusalem, Israel, (2009)On the Construction of Fine Automata for Safety Properties., и . ATVA, том 4218 из Lecture Notes in Computer Science, стр. 110-124. Springer, (2006)Model-checking behavioral programs., , , и . EMSOFT, стр. 279-288. ACM, (2011)Formal Analysis of Online Algorithms., , и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 213-227. Springer, (2011)On the Succinctness of Idioms for Concurrent Programming., , , , и . CONCUR, том 42 из LIPIcs, стр. 85-99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Reasoning about online algorithms with weighted automata., , и . SODA, стр. 835-844. SIAM, (2009)Rigorous Approximated Determinization of Weighted Automata., , и . LICS, стр. 345-354. IEEE Computer Society, (2011)