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.

246 Publications


2010 | Conference Paper | IST-REx-ID: 4361
Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
View | Files available | DOI
 

2010 | Book | IST-REx-ID: 3899
Computational Topology: An Introduction
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
View | Files available
 

2010 | Conference Paper | IST-REx-ID: 4380   OA
A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3832   OA
Beyond TARPs: The growing list of auxiliary AMPAR subunits
J. Guzmán, P.M. Jonas, Neuron 66 (2010) 8–10.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4157   OA
Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Export / Embed