IST Publication Database

IST Publication Database

Advanced
  • Works
  • Groups
  • People
  • Publications
  • Publishers
  • About
  • FAQ
  • Login
Refine Results
  1. "ESOP
Formats
  1. Conference paper (2)
Groups
  1. Alumni (2)
  2. Henzinger Group (2)
  3. Chatterjee Group (1)
  4. PhD Students (1)
People
  1. Andreas Pavlogiannis (1)
  2. Arjun Radhakrishna (1)
  3. Bernhard Kragl (1)
  4. Krishnendu Chatterjee (1)
  5. Pavol Cerný (1)
  1. Andreas Pavlogiannis (1)
  2. Arjun Radhakrishna (1)
  3. Bernhard Kragl (1)
  4. Krishnendu Chatterjee (1)
  5. Pavol Cerný (1)
  6. Thomas Henzinger (1)

More People

Years
  1. 2017 (1)
  2. 2015 (1)
Publications
  1. ESOP: European Symposium on Programming (2)
Publishers
  1. Springer (2)
Affiliation
  1. IST Austria (2)
Open access
  1. no (1)
  2. yes (repository) (1)
Peer reviewed
  1. yes (2)
Invited
  1. no (2)

Results (2)

  • Faster algorithms for weighted recursive state machines
    Conference paper

    Chatterjee, Krishnendu; Kragl, Bernhard; Mishra, Samarth; Pavlogiannis, Andreas
    ESOP: European Symposium on Programming
    Springer (2017)

    GET it@IST | Save
  • Segment abstraction for worst-case execution time analysis
    Conference paper

    Cerný, Pavol; Henzinger, Thomas A; Kovács, Laura I; Radhakrishna, Arjun; Zwirchmayr, Jakob
    ESOP: European Symposium on Programming
    Springer (2015)

    GET it@IST | Save
  • Institute of Science and Technology Austria | Library
    Am Campus 1, A-3400 Klosterneuburg | Phone: +43 2243 9000
    Powered by BibApp