Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Orna Kupferman

Coping With Selfish On-Going Behaviors

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2012English

Network-Formation Games With Regular Objectives

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Reasoning About Finite-State Switched Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Co-Büching Them All

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Relating Word and Tree Automata

Annals of Pure and Applied Logic
Logic
2006English

Alternating-Time Temporal Logic

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1999English

On Complementing Nondeterministic Büchi Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Verifying Quantitative Properties Using Bound Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

On the Succinctness of Nondeterminism

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Typeness for Ω-Regular Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy