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.




2472 Publications

2010 | Book Chapter | IST-REx-ID: 4339   OA
Bergmann J, Danowski P. Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Bergmann J, Danowski P, eds. Handbuch Bibliothek 2.0. Bibliotheks- und Informationspraxis 41. De Gruyter; 2010:5-20. doi:10.1515/9783110232103
View | Files available | DOI
 
2010 | Book | IST-REx-ID: 4346   OA
Danowski P, Bergmann J. Handbuch Bibliothek 2.0. De Gruyter; 2010.
View | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4396   OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4389   OA
Doyen L, Henzinger TA, Legay A, Nickovic D. Robustness of sequential circuits. In: IEEE; 2010:77-84. doi:10.1109/ACSD.2010.26
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 533
Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. Doomed program points. Formal Methods in System Design. 2010;37(2-3):171-199. doi:10.1007/s10703-010-0102-0
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed