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.




2432 Publications

2010 | Journal Article | IST-REx-ID: 4157   OA
Papusheva E, Heisenberg C-PJ. 2010. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 29(16), 2753–2768.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3863   OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2010. Strategy construction for parity games with imperfect information. Information and Computation. 208(10), 1206–1220.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3856   OA
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. 2010. Randomness for free. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281. 246–257.
View | Files available | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4361   OA
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014. 94–108.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4378   OA
Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944. 26–44.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed