( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rigorous Approximated Determinization of Weighted Automata.

, , und . LICS, Seite 345-354. IEEE Computer Society, (2011)

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

Relating linear and branching model checking., und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 304-326. Chapman & Hall, (1998)The Complexity of the Graded µ-Calculus., , und . CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 423-437. Springer, (2002)µ-Calculus Synthesis., und . MFCS, Volume 1893 von Lecture Notes in Computer Science, Seite 497-507. Springer, (2000)Max and Sum Semantics for Alternating Weighted Automata., und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 13-27. Springer, (2011)Model Checking Systems and Specifications with Parameterized Atomic Propositions., , und . ATVA, Volume 7561 von Lecture Notes in Computer Science, Seite 122-136. Springer, (2012)Latticed Simulation Relations and Games., und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 316-330. Springer, (2007)Spanning the Spectrum from Safety to Liveness., und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 183-200. Springer, (2015)On the Complexity of Parity Word Automata., , und . FoSSaCS, Volume 2030 von Lecture Notes in Computer Science, Seite 276-286. Springer, (2001)Network-Formation Games with Regular Objectives., , und . FoSSaCS, Volume 8412 von Lecture Notes in Computer Science, Seite 119-133. Springer, (2014)Parameterized Weighted Containment., und . FoSSaCS, Volume 7794 von Lecture Notes in Computer Science, Seite 369-384. Springer, (2013)