Search Within

Chatterjee Group

People

  1. Aminof
    Aminof
  2. Chatterjee
    Chatterjee
  3. Chmelik
    Chmelik
  4. Chonev
    Chonev
  5. Fu
    Fu
  6. Hilbe
    Hilbe
  7. Horn
    Horn
  8. Ibsen-Jensen
    Ibsen-Jensen
  9. Kretínský
    Kretínský
  10. Novotny
    Novotny
  11. Pavlogiannis
    Pavlogiannis
  12. Priklopil
    Priklopil
  13. Reiter
    Reiter
  14. Rubin
    Rubin
  15. Tkadlec
    Tkadlec
  16. 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