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.

2770 Publications


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

2011 | Conference Paper | IST-REx-ID: 3358   OA
Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3269   OA
Perceptual global illumination cancellation in complex projection environments
Y. Sheng, B. Cutler, C. Chen, J. Nasman, Computer Graphics Forum 30 (2011) 1261–1268.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3505   OA
In vitro analysis of chemotactic leukocyte migration in 3D environments
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
View | DOI | Download (ext.)
 

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

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed