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.

2425 Publications


2011 | Book Chapter | IST-REx-ID: 3791
Krens G, Heisenberg C-PJ. 2011. Cell sorting in development. Current Topics in Developmental Biology. Forces and Tension in Development, Cell Sorting in Development, vol. 95. 189–213.
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3796   OA
Edelsbrunner H, Kerber M. 2011. Covering and packing with spheres by diagonal distortion in R^n. Rainbow of Computer Science. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday, LNCS, vol. 6570. 20–35.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3378
Bendich P, Harer J. 2011. Persistent intersection homology. Foundations of Computational Mathematics. 11(3), 305–336.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3380
Logeswaran S, Barton NH. 2011. Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research. 93(3), 221–232.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3359
Cerny P, Henzinger TA. 2011. From boolean to quantitative synthesis. EMSOFT: Embedded Software 149–154.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361   OA
Cerny P, Chatterjee K, Henzinger TA. 2011. The complexity of quantitative information flow problems. CSF: Computer Security Foundations 205–217.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 518
Schraivogel D, Weinmann L, Beier D, Tabatabai G, Eichner A, Zhu J, Anton M, Sixt MK, Weller M, Beier C, Meister G. 2011. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 30(20), 4309–4322.
View | DOI
 

2011 | Technical Report | IST-REx-ID: 5379   OA
Chatterjee K, Henzinger M. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3323
Wies T, Muñiz M, Kuncak V. 2011. An efficient decision procedure for imperative tree data structures. CADE 23: Automated Deduction , LNAI , vol. 6803. 476–491.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. 2011. Quantitative synthesis for concurrent programs. CAV: Computer Aided Verification, LNCS, vol. 6806. 243–259.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3373
Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. 2011. Measuring the complete force field of an optical trap. Optics Letters. 36(7), 1260–1262.
View | Files available | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3385
Sixt MK. 2011. Interstitial locomotion of leukocytes. Immunology Letters. 138(1), 32–34.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3347   OA
Chatterjee K, Fijalkow N. 2011. Finitary languages. LATA: Language and Automata Theory and Applications, LNCS, vol. 6638. 216–226.
View | DOI | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3316
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2011. Specification-centered robustness. 6th IEEE International Symposium on Industrial and Embedded Systems. SIES: International Symposium on Industrial Embedded Systems 176–185.
View | DOI
 

2011 | Technical Report | IST-REx-ID: 5386
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation, IST Austria, 69p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381
Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
View | Files available | DOI
 

2011 | Thesis | IST-REx-ID: 3273
Maître J-L. 2011. Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors, IST Austria,p.
View
 

2011 | Conference Paper | IST-REx-ID: 3297   OA
Wojtan CJ, Müller Fischer M, Brochu T. 2011. Liquid simulation with mesh-based surface tracking. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques
View | Files available | DOI
 

2011 | Conference Poster | IST-REx-ID: 3312   OA
Zheng Y, Gu S, Edelsbrunner H, Tomasi C, Benfey P. 2011. Detailed reconstruction of 3D plant root shape, IEEE,p.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324   OA
Piskac R, Wies T. 2011. Decision procedures for automating termination proofs. VMCAI: Verification Model Checking and Abstract Interpretation, LNCS, vol. 6538. 371–386.
View | DOI | Download (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed