( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Profile Trees for Büchi Word Automata, with Application to Determinization.

, , , и . GandALF, том 119 из EPTCS, стр. 107-121. (2013)

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.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

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

Once and for all., , и . J. Comput. Syst. Sci., 78 (3): 981-996 (2012)On the universal and existential fragments of the mu-calculus., , и . Theor. Comput. Sci., 354 (2): 173-186 (2006)Perspective Multi-Player Games., и . LICS, стр. 1-13. IEEE, (2021)Automatic Generation of Quality Specifications., , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 479-494. Springer, (2013)Relating linear and branching model checking., и . PROCOMET, том 125 из IFIP Conference Proceedings, стр. 304-326. Chapman & Hall, (1998)Model checking for Branching-Time temporal logics.. Technion - Israel Institute of Technology, Israel, (1995)Good-Enough Synthesis., и . CAV (2), том 12225 из Lecture Notes in Computer Science, стр. 541-563. Springer, (2020)Lazy Regular Sensing., и . DCFS, том 13439 из Lecture Notes in Computer Science, стр. 155-169. Springer, (2022)Lattice Automata., и . VMCAI, том 4349 из Lecture Notes in Computer Science, стр. 199-213. Springer, (2007)On the Complexity of Parity Word Automata., , и . FoSSaCS, том 2030 из Lecture Notes in Computer Science, стр. 276-286. Springer, (2001)