IST Publication Database

Groups

  1. Barton
    Barton Group
  2. Benková
    Benkova Group
  3. Bickel
    Bickel Group
  4. Bollback
    Bollback Group
  5. Bollenbach
    Bollenbach Group
  6. Chatterjee
    Chatterjee Group
  7. Cremer
    Cremer Group
  8. Csicsvári
    Csicsvari Group
  9. Edelsbrunner
    Edelsbrunner Group
  10. Erdős
    Erdős Group
  11. Fink
    Fink Group
  12. Friml
    Friml Group
  13. Guet
    Guet Group
  14. Hausel
    Hausel Group
  15. Heisenberg
    Heisenberg Group
  16. Henzinger
    Henzinger Group
  17. Hippenmeyer
    Hippenmeyer Group
  18. Hof
    Hof Group
  19. Janovjak
    Janovjak Group
  20. Jonas
    Jonas Group
  21. Katsaros
    Katsaros Group
  22. Kicheva
    Kicheva Group
  23. Kolmogorov
    Kolmogorov Group
  24. Lampert
    Lampert Group
  25. Lemeshko
    Lemeshko Group
  26. Loose
    Loose Group
  27. Maas
    Maas Group
  28. Novarino
    Novarino Group
  29. Pietrzak
    Pietrzak Group
  30. Sazanov
    Sazanov Group
  31. Seiringer
    Seiringer Group
  32. Shigemoto
    Shigemoto Group
  33. Siegert
    Siegert Group
  34. Siekhaus
    Siekhaus Group
  35. Sixt
    Sixt Group
  36. Tkacik
    Tkacik Group
  37. Uhler
    Uhler Group
  38. Vicoso
    Vicoso Group
  39. Wagner
    Wagner Group
  40. Wojtan
    Wojtan Group

Works – Recent additions

  1. Handbook of model checking
    Edited book


    Springer (2017)

    GET it@IST | Save
  2. Elementary approach to closed billiard trajectories in asymmetric normed spaces
    Journal article

    Akopyan, Arseniy V; Balitskiy A; Karasev R; Sharipova A
    Proceedings of the American Mathematical Society (2016)

    GET it@IST | Save
  3. Dissipative preparation of antiferromagnetic order in the Fermi-Hubbard model
    Journal article

    Kaczmarczyk, Jan; Weimer, Hendrik; Lemeshko, Mikhail
    New Journal of Physics (2016)

    GET it@IST | Save