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.




2636 Publications

2011 | Technical Report | IST-REx-ID: 5385
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications with Accumulative Values. IST Austria; 2011. doi:10.15479/AT:IST-2011-0003
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 531   OA
Guerraoui R, Henzinger TA, Singh V. Verification of STM on relaxed memory models. Formal Methods in System Design. 2011;39(3):297-331. doi:10.1007/s10703-011-0131-3
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3358   OA
Henzinger TA, Singh V, Wies T, Zufferey D. Scheduling large jobs by abstraction refinement. In: ACM; 2011:329-342. doi:10.1145/1966445.1966476
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3269   OA
Sheng Y, Cutler B, Chen C, Nasman J. Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum. 2011;30(4):1261-1268. doi:10.1111/j.1467-8659.2011.01985.x
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3505   OA
Sixt MK, Lämmermann T. In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. 2011;769:149-165. doi:10.1007/978-1-61779-207-6_11
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed