( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lazy regular sensing.

, und . Theor. Comput. Sci., (September 2023)

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

Multi-player flow games., , und . Auton. Agents Multi Agent Syst., 33 (6): 798-820 (2019)Games with Full, Longitudinal, and Transverse Observability.. RP, Volume 12448 von Lecture Notes in Computer Science, Seite 20-34. Springer, (2020)Mutually Accepting Capacitated Automata., und . DCFS, Volume 12442 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2020)Inherent Vacuity in Lattice Automata., und . Fields of Logic and Computation II, Volume 9300 von Lecture Notes in Computer Science, Seite 174-192. Springer, (2015)Erratum for "What causes a system to satisfy a specification?"., , und . ACM Trans. Comput. Log., 11 (4): 29:1-29:2 (2010)On the Universal and Existential Fragments of the µ-Calculus., , und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 49-64. Springer, (2003)Coverage Metrics for Temporal Logic Model Checking., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 528-542. Springer, (2001)From Complementation to Certification., und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 591-606. Springer, (2004)A Practical Approach to Coverage in Model Checking., , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 66-78. Springer, (2001)Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.. CAV, Volume 939 von Lecture Notes in Computer Science, Seite 325-338. Springer, (1995)