Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3207 Publications


2018 | Journal Article | IST-REx-ID: 327 | OA
Slow dynamics in translation-invariant quantum lattice models
A. Michailidis, M. Žnidarič, M. Medvedyeva, D. Abanin, T. Prosen, Z. Papić, Physical Review B 97 (2018).
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 328 | OA
Exceeding the asymptotic limit of polymer drag reduction
G.H. Choueiri, J.M. Lopez Alonso, B. Hof, Physical Review Letters 120 (2018).
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 33 | OA View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book | IST-REx-ID: 3300
Handbook of model checking
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 34 | OA
Sensor synthesis for POMDPs with reachability objectives
K. Chatterjee, M. Chemlík, U. Topcu, in:, AAAI Press, 2018, pp. 47–55.
View | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications