( en | de | ru )

 

Disambiguation of "Kupferman, Orna"

Author of the publication

copydeleteadd this publication to your clipboard
Büchi Complementation Made Tighter.

, , and . Int. J. Found. Comput. Sci., 17 (4): 851-868 (2006)

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. You can also use the button next to the name to display some publications already assigned to the person.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

Other publications of authors with the same name

On the Universal and Existential Fragments of the µ-Calculus., , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 49-64. Springer, (2003)Coverage Metrics for Temporal Logic Model Checking., , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 528-542. Springer, (2001)From Complementation to Certification., and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 591-606. Springer, (2004)A Practical Approach to Coverage in Model Checking., , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 66-78. Springer, (2001)Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.. CAV, volume 939 of Lecture Notes in Computer Science, page 325-338. Springer, (1995)Module Checking., and . CAV, volume 1102 of Lecture Notes in Computer Science, page 75-86. Springer, (1996)Fair Simulation., , and . CONCUR, volume 1243 of Lecture Notes in Computer Science, page 273-287. Springer, (1997)Inherent Vacuity in Lattice Automata., and . Fields of Logic and Computation II, volume 9300 of Lecture Notes in Computer Science, page 174-192. Springer, (2015)Co-Büching Them All., and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 184-198. Springer, (2011)Latticed-LTL Synthesis in the Presence of Noisy Inputs., and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 226-241. Springer, (2014)