( en | de | ru )

 

Disambiguation of "Kupferman, Orna"

Author of the publication

copydeleteadd this publication to your clipboard
Temporal Specifications with Accumulative Values.

, , , and . ACM Trans. Comput. Log., 15 (4): 27:1-27:25 (2014)

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

Relating linear and branching model checking., and . PROCOMET, volume 125 of IFIP Conference Proceedings, page 304-326. Chapman & Hall, (1998)Response to "Comments on 'On Object Systems and Behavior Inheritance'"., and . IEEE Trans. Software Eng., 29 (6): 576 (2003)Good-Enough Synthesis., and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 541-563. Springer, (2020)Tightening the Exchange Rates Between Automata.. CSL, volume 4646 of Lecture Notes in Computer Science, page 7-22. Springer, (2007)Dynamic Resource Allocation Games., , and . SAGT, volume 9928 of Lecture Notes in Computer Science, page 153-166. Springer, (2016)The Complexity of the Graded µ-Calculus., , and . CADE, volume 2392 of Lecture Notes in Computer Science, page 423-437. Springer, (2002)On the Complexity of Parity Word Automata., , and . FoSSaCS, volume 2030 of Lecture Notes in Computer Science, page 276-286. Springer, (2001)Parameterized Weighted Containment., and . FoSSaCS, volume 7794 of Lecture Notes in Computer Science, page 369-384. Springer, (2013)Network-Formation Games with Regular Objectives., , and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 119-133. Springer, (2014)Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction., and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 84-99. Springer, (2012)