IST Publication Database

Groups

  1. Barton
    Barton Group
  2. Benková
    Benkova Group
  3. Bollback
    Bollback Group
  4. Bollenbach
    Bollenbach Group
  5. Chatterjee
    Chatterjee Group
  6. Cremer
    Cremer Group
  7. Csicsvári
    Csicsvari Group
  8. Edelsbrunner
    Edelsbrunner Group
  9. Friml
    Friml Group
  10. Guet
    Guet Group
  11. Heisenberg
    Heisenberg Group
  12. Henzinger
    Henzinger Group
  13. Hippenmeyer
    Hippenmeyer Group
  14. Hof
    Hof Group
  15. Janovjak
    Janovjak Group
  16. Jonas
    Jonas Group
  17. Kolmogorov
    Kolmogorov Group
  18. Lampert
    Lampert Group
  19. Pietrzak
    Pietrzak Group
  20. Shigemoto
    Shigemoto Group
  21. Siekhaus
    Siekhaus Group
  22. Sixt
    Sixt Group
  23. Tkacik
    Tkacik Group
  24. Uhler
    Uhler Group
  25. Wagner
    Wagner Group
  26. Wojtan
    Wojtan Group

Works – Recent additions

  1. Multi-objective discounted reward verification in graphs and MDPs
    Conference paper

    Chatterjee, Krishnendu; Forejt, Vojtech; Wojtczak, Dominik
    LPAR: Logic for Programming, Artificial Intelligence, and Reasoning
    Springer (2013)

    GET it@IST | Save
  2. Battery transition systems
    Conference paper

    Boker, Udi; Henzinger, Thomas A; Radhakrishna, Arjun
    ACM SIGPLAN-SIGACT: Symposium on Principles of Programming Languages
    ACM (2014)

    GET it@IST | Save
  3. The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants
    Journal article

    Gadeyne, Astrid; Sánchez-Rodríguez, Clara; Vanneste, Steffen; Di Rubbo, Simone; Zauber, Henrik; more...
    Cell (2014)

    GET it@IST | Save