Refine Results
People
  1. Thomas Henzinger (415)
  2. Herbert Edelsbrunner (275)
  3. Krishnendu Chatterjee (272)
  4. Jiří Friml (256)
  5. Nicholas Barton (252)

More People

Publications
  1. PNAS (93)
  2. Nature (79)
  3. Physical Review Letters (76)
  4. Journal of Neuroscience (62)
  5. Science (62)

More Publications

Publishers
  1. Springer (866)
  2. Elsevier (427)
  3. Nature Publishing Group (287)
  4. ACM (244)
  5. Wiley-Blackwell (238)

More Publishers

Affiliation
  1. IST Austria (2014)
Peer reviewed
  1. yes (2461)
  2. no (2163)

Results (4624)

  • Monitoring temporal logic with clock variables
    Conference paper