( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Congestion Games with Multisets of Resources and Applications in Synthesis.

, , и . FSTTCS, том 45 из LIPIcs, стр. 365-379. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

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

On the universal and existential fragments of the mu-calculus., , и . Theor. Comput. Sci., 354 (2): 173-186 (2006)Once and for all., , и . J. Comput. Syst. Sci., 78 (3): 981-996 (2012)Automatic Generation of Quality Specifications., , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 479-494. Springer, (2013)Model checking for Branching-Time temporal logics.. Technion - Israel Institute of Technology, Israel, (1995)Perspective Multi-Player Games., и . LICS, стр. 1-13. IEEE, (2021)From Correctness to High Quality.. FMCAD, стр. 1. IEEE, (2020)From Pre-Historic to Post-Modern Symbolic Model Checking., , и . Formal Methods Syst. Des., 23 (3): 303-327 (2003)Properties and Utilization of Capacitated Automata (Invited Talk)., и . FSTTCS, том 29 из LIPIcs, стр. 33-44. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Prime Languages., и . MFCS, том 8087 из Lecture Notes in Computer Science, стр. 607-618. Springer, (2013)Safraless Decision Procedures., и . FOCS, стр. 531-542. IEEE Computer Society, (2005)