Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Nir Piterman

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jim Huan-Pu Kuo

> Home > Persons > Nir Piterman

Publications

2016
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HuthKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HuthKP16
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Static Analysis of Parity Games: Alternating Reachability Under Parity. Semantics, Logics, and Calculi 2016: 159-177
2015
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HuthKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HuthKP15
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
The Rabin index of parity games: Its complexity and approximation. Inf. Comput. 245: 36-53 (2015)
2014
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HuthKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HuthKP14
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Fatal Attractors in Parity Games: Building Blocks for Partial Solvers. CoRR abs/1405.0386 (2014)
2013
[c52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/HuthKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/HuthKP13
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Fatal Attractors in Parity Games. FoSSaCS 2013: 34-49
[c47]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HuthKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HuthKP13
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
The Rabin index of parity games. GandALF 2013: 35-49
2011
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/HuthKP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/HuthKP11
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Concurrent Small Progress Measures. Haifa Verification Conference 2011: 130-144
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/HuthKP11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/HuthKP11a
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
The Rabin Index of Parity Games - (Extended Abstract). Haifa Verification Conference 2011: 259-260

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.