Search Within

Chatterjee Group

People

  1. Aminof
    Aminof
  2. Chatterjee
    Chatterjee
  3. Chmelik
    Chmelik
  4. Chonev
    Chonev
  5. Fu
    Fu
  6. Goharshady
    Goharshady
  7. Hilbe
    Hilbe
  8. Horn
    Horn
  9. Ibsen-Jensen
    Ibsen-Jensen
  10. Kretínský
    Kretínský
  11. Novotny
    Novotny
  12. Pavlogiannis
    Pavlogiannis
  13. Priklopil
    Priklopil
  14. Reiter
    Reiter
  15. Rubin
    Rubin
  16. Tkadlec
    Tkadlec
  17. Tracol
    Tracol
Refine Results
  1. "2014"
  2. "yes"
  3. "Alumni"
Formats
  1. Conference paper (3)
  2. Journal article (3)
Groups
  1. Alumni (6)
  2. Henzinger Group (3)
  3. PhD Students (3)
  4. IST Fellow (1)
  5. SSUs (1)
People
  1. Krishnendu Chatterjee (4)
  2. Martin Chmelik (3)
  3. Andreas Pavlogiannis (2)
  4. Arjun Radhakrishna (1)
  5. Jan Kretínský (1)

More People

Years
  1. 2014 (6)
Publications
  1. ALENEX: Algorithm Engineering and Experiments (1)
  2. Blood (1)
  3. CAV: Computer Aided Verification (1)
  4. PLoS Computational Biology (1)
  5. RTSS: Real-Time Systems Symposium (1)

More Publications

Publishers
  1. American Society of Hematology (1)
  2. Elsevier (1)
  3. IEEE (1)
  4. Public Library of Science (1)
  5. Society of Industrial and Applied Mathematics (1)

More Publishers

Affiliation
  1. IST Austria (6)
Open access
  1. yes (repository) (4)
  2. no (1)
  3. yes (OA journal) (1)
Peer reviewed
  1. yes (6)
Invited
  1. no (6)

Results (6)

  • Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples
    Journal article

    Landau Dan A; Stewart Chip; Reiter, Johannes G; Lawrence Michael; Sougnez Carrie; more...
    Blood (2014)

    GET it@IST | Save
  • Interface Simulation Distances
    Journal article

    Cerný, Pavol; Chmelík, Martin; Henzinger, Thomas A; Radhakrishna, Arjun
    Theoretical Computer Science (2014)

    GET it@IST | Save
  • Verification of markov decision processes using learning algorithms
    Conference paper

    Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; more...
    ALENEX: Algorithm Engineering and Experiments
    Society of Industrial and Applied Mathematics (2014)

    GET it@IST | Save
  • The time scale of evolutionary innovation
    Journal article

    Chatterjee, Krishnendu; Pavlogiannis, Andreas; Adlam, Ben; Nowak, Martin A
    PLoS Computational Biology (2014)

    GET it@IST | Save
  • CEGAR for qualitative analysis of probabilistic systems
    Conference paper

    Chatterjee, Krishnendu; Chmelík, Martin; Daca, Przemyslaw
    CAV: Computer Aided Verification
    Springer (2014)

    GET it@IST | Save
  • A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
    Conference paper

    Chatterjee, Krishnendu; Pavlogiannis, Andreas; Kößler, Alexander; Schmid, Ulrich
    RTSS: Real-Time Systems Symposium
    IEEE (2014)

    GET it@IST | Save