Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3202 Publications
2020 | Journal Article | IST-REx-ID: 8284 | 
Steiner J, Sazanov LA. 2020. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 9, e59407.
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8285 |
Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. 2020. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 125(4), 043202.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2020 | Conference Paper | IST-REx-ID: 8286 |
Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming , LIPIcs, vol. 168, 7.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8287 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: International Conference on Embedded Software.
View
| Files available
| arXiv
2020 | Scientific Software | IST-REx-ID: 8294 |
Hauschild R. 2020. RGtracker, IST Austria, 10.15479/AT:ISTA:8294.
View
| Files available
| DOI