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.

2760 Publications


2011 | Journal Article | IST-REx-ID: 531   OA
Guerraoui, R., Henzinger, T. A., & Singh, V. (2011). Verification of STM on relaxed memory models. Formal Methods in System Design, 39(3), 297–331. https://doi.org/10.1007/s10703-011-0131-3
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3358   OA
Henzinger, T. A., Singh, V., Wies, T., & Zufferey, D. (2011). Scheduling large jobs by abstraction refinement (pp. 329–342). Presented at the EuroSys, Salzburg, Austria: ACM. https://doi.org/10.1145/1966445.1966476
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3269   OA
Sheng, Y., Cutler, B., Chen, C., & Nasman, J. (2011). Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum, 30(4), 1261–1268. https://doi.org/10.1111/j.1467-8659.2011.01985.x
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3505   OA
Sixt, M. K., & Lämmermann, T. (2011). In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration, 769, 149–165. https://doi.org/10.1007/978-1-61779-207-6_11
View | DOI | Download (ext.)
 

2011 | Book Chapter | IST-REx-ID: 3311
Edelsbrunner, H. (2011). Alpha shapes - a survey. In Tessellations in the Sciences. Springer.
View
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed