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. Cell sorting in development. In: Labouesse M, ed. Current Topics in Developmental Biology. Vol 95. Forces and Tension in Development. Elsevier; 2011:189-213. doi:10.1016/B978-0-12-385065-2.00006-2
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3796   OA
Edelsbrunner H, Kerber M. Covering and packing with spheres by diagonal distortion in R^n. In: Calude C, Rozenberg G, Salomaa A, eds. Rainbow of Computer Science. Vol 6570. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer; 2011:20-35. doi:10.1007/978-3-642-19391-0_2
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3378
Bendich P, Harer J. Persistent intersection homology. Foundations of Computational Mathematics. 2011;11(3):305-336. doi:10.1007/s10208-010-9081-1
View | DOI
 

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

2011 | Conference Paper | IST-REx-ID: 3359
Cerny P, Henzinger TA. From boolean to quantitative synthesis. In: ACM; 2011:149-154. doi:10.1145/2038642.2038666
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361   OA
Cerny P, Chatterjee K, Henzinger TA. The complexity of quantitative information flow problems. In: IEEE; 2011:205-217. doi:10.1109/CSF.2011.21
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 518
Schraivogel D, Weinmann L, Beier D, et al. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 2011;30(20):4309-4322. doi:10.1038/emboj.2011.301
View | DOI
 

2011 | Technical Report | IST-REx-ID: 5379   OA
Chatterjee K, Henzinger M. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0009
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3323
Wies T, Muñiz M, Kuncak V. An efficient decision procedure for imperative tree data structures. In: Vol 6803. Springer; 2011:476-491. doi:10.1007/978-3-642-22438-6_36
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:243-259. doi:10.1007/978-3-642-22110-1_20
View | Files available | DOI
 

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

2011 | Journal Article | IST-REx-ID: 3385
Sixt MK. Interstitial locomotion of leukocytes. Immunology Letters. 2011;138(1):32-34. doi:10.1016/j.imlet.2011.02.013
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3347   OA
Chatterjee K, Fijalkow N. Finitary languages. In: Vol 6638. Springer; 2011:216-226. doi:10.1007/978-3-642-21254-3_16
View | DOI | Download (ext.) | arXiv
 

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

2011 | Technical Report | IST-REx-ID: 5386
Chen C, Freedman D, Lampert C. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria; 2011. doi:10.15479/AT:IST-2011-0002
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381
Chatterjee K, Doyen L. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria; 2011. doi:10.15479/AT:IST-2011-0007
View | Files available | DOI
 

2011 | Thesis | IST-REx-ID: 3273
Maître J-L. Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors. IST Austria; 2011.
View
 

2011 | Conference Paper | IST-REx-ID: 3297   OA
Wojtan CJ, Müller Fischer M, Brochu T. Liquid simulation with mesh-based surface tracking. In: ACM; 2011. doi:10.1145/2037636.2037644
View | Files available | DOI
 

2011 | Conference Poster | IST-REx-ID: 3312   OA
Zheng Y, Gu S, Edelsbrunner H, Tomasi C, Benfey P. Detailed Reconstruction of 3D Plant Root Shape. IEEE; 2011:6126475. doi:10.1109/ICCV.2011.6126475
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324   OA
Piskac R, Wies T. Decision procedures for automating termination proofs. In: Jhala R, Schmidt D, eds. Vol 6538. Springer; 2011:371-386. doi:10.1007/978-3-642-18275-4_26
View | DOI | Download (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed