IEEE

SHERPA: green

Groups

  1. Henzinger Group (57)
  2. Lampert Group (34)
  3. Kolmogorov Group (33)
  4. Chatterjee Group (29)
  5. Edelsbrunner Group (26)
  6. Pietrzak Group (8)
  7. PhD Students (7)
  8. Alumni (6)
  9. IST Fellow (6)
  10. Guet Group (5)
Search Within
Refine Results
Publications
  1. CVPR: Computer Vision and Pattern Recognition (30)
  2. LICS: Logic in Computer Science (24)
  3. FOCS: Foundations of Computer Science (16)
  4. ICCV: International Conference on Computer Vision (16)
  5. IEEE Transactions on Pattern Analysis and Machine Intelligence (10)

More Publications

Publishers

More Publishers

Affiliation
  1. IST Austria (71)
Peer reviewed
  1. no (126)
  2. yes (62)
Invited
  1. no (185)
  2. yes (3)

Results (188)

  • Concurrent reachability games
    Conference paper
  • Concurrent omega-regular games
    Conference paper
  • Alternating-time temporal logic
    Conference paper
  • A really temporal logic
    Conference paper