( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis from Component Libraries with Costs.

, und . CONCUR, Volume 8704 von Lecture Notes in Computer Science, Seite 156-172. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

Weitere Publikationen von Autoren mit dem selben Namen

On the universal and existential fragments of the mu-calculus., , und . Theor. Comput. Sci., 354 (2): 173-186 (2006)Once and for all., , und . J. Comput. Syst. Sci., 78 (3): 981-996 (2012)Automatic Generation of Quality Specifications., , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 479-494. Springer, (2013)Model checking for Branching-Time temporal logics.. Technion - Israel Institute of Technology, Israel, (1995)Perspective Multi-Player Games., und . LICS, Seite 1-13. IEEE, (2021)Properties and Utilization of Capacitated Automata (Invited Talk)., und . FSTTCS, Volume 29 von LIPIcs, Seite 33-44. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Good-Enough Synthesis., und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 541-563. Springer, (2020)Lattice Automata., und . VMCAI, Volume 4349 von Lecture Notes in Computer Science, Seite 199-213. Springer, (2007)A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking., , und . CONCUR, Volume 1119 von Lecture Notes in Computer Science, Seite 514-529. Springer, (1996)Sensing as a Complexity Measure., , und . DCFS, Volume 10316 von Lecture Notes in Computer Science, Seite 3-15. Springer, (2017)