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.
2782 Publications
2011 | Journal Article | IST-REx-ID: 531 | 
Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory models. Formal Methods in System Design. 39(3), 297–331.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 6496 |
Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Book Chapter | IST-REx-ID: 4339 |
Bergmann J, Danowski P. 2010. Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. Handbuch Bibliothek 2.0. Bibliotheks- und Informationspraxis 41 5–20.
View
| Files available
| DOI
2010 | Book | IST-REx-ID: 4346 |
Danowski P, Bergmann J. 2010. Handbuch Bibliothek 2.0, De Gruyter,p.
View
| Download Published Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4382 |
Guerraoui R, Henzinger TA, Kapalka M, Singh V. 2010. Transactions in the jungle. SPAA: ACM Symposium on Parallel Algorithms and Architectures 263–272.
View
| Files available
| DOI