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
T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.
View | Files available | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 4380   OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.
View | Files available | DOI
 

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

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

2010 | Conference Paper | IST-REx-ID: 3851
K. Chatterjee and L. Doyen, “Energy parity games,” presented at the ICALP: Automata, Languages and Programming, 37th International Colloquium, Bordeaux, France, 2010, vol. 6199, pp. 599–610.
View | Files available | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed