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.




2615 Publications

2011 | Conference Paper | IST-REx-ID: 3360   OA
Boker U, Henzinger TA. 2011. Determinizing discounted-sum automata. CSL: Computer Science Logic, LIPIcs, vol. 12. 82–96.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5385   OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.
View | Files available | DOI
 
2011 | Book Chapter | IST-REx-ID: 3311
Edelsbrunner H. 2011. Alpha shapes - a survey. Tessellations in the Sciences.
View
 
2011 | Conference Paper | IST-REx-ID: 3330   OA
Kerber M, Sagraloff M. 2011. Root refinement for real polynomials. ISSAC: International Symposium on Symbolic and Algebraic Computation 209–216.
View | DOI | Download (ext.) | arXiv
 
2011 | Book Chapter | IST-REx-ID: 3335   OA
Van De Weygaert R, Vegter G, Edelsbrunner H, Jones B, Pranav P, Park C, Hellwing W, Eldering B, Kruithof N, Bos P, Hidding J, Feldbrugge J, Ten Have E, Van Engelen M, Caroli M, Teillaud M. 2011. Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. Transactions on Computational Science XIV. Special Issue on Voronoi Diagrams and Delaunay Triangulation, LNCS, vol. 6970. 60–101.
View | DOI | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3328
Berberich E, Hemmer M, Kerber M. 2011. A generic algebraic kernel for non linear geometric applications. SCG: Symposium on Computational Geometry 179–186.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3784
Palero F, Guerao G, Clark P, Abello P. 2011. Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. 91(2), 485–492.
View | DOI
 
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: 3385
Sixt MK. 2011. Interstitial locomotion of leukocytes. Immunology Letters. 138(1), 32–34.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3392
Soriano S, Hons M, Schumann K, Kumar V, Dennier T, Lyck R, Sixt MK, Stein J. 2011. In vivo analysis of uropod function during physiological T cell trafficking. Journal of Immunology. 187(5), 2356–2364.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3397   OA
Maître J-L, Heisenberg C-PJ. 2011. The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology. 23(5), 508–514.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3405   OA
Janovjak HL, Sandoz G, Isacoff E. 2011. Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. 2(232), 1–6.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3429
Plachta N, Bollenbach MT, Pease S, Fraser S, Pantazis P. 2011. Oct4 kinetics predict cell lineage patterning in the early mammalian embryo. Nature Cell Biology. 13(2), 117–123.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3373   OA
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: 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 | 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: 5386   OA
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation, IST Austria, 69p.
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 | 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 | 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 | Conference Paper | IST-REx-ID: 3366   OA
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 | 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 | 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 | Journal Article | IST-REx-ID: 3354
Chatterjee K, De Alfaro L, Henzinger TA. 2011. Qualitative concurrent parity games. ACM Transactions on Computational Logic (TOCL). 12(4), 28.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5379
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: 3342
Chatterjee K, Henzinger M, Joglekar M, Nisarg S. 2011. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. CAV: Computer Aided Verification, LNCS, vol. 6806. 260–276.
View | Files available | DOI | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3266
Ion A, Carreira J, Sminchisescu C. 2011. Probabilistic joint image segmentation and labeling. NIPS Proceedings. NIPS: Neural Information Processing Systems vol. 24. 1827–1835.
View
 
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 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.)
 
2011 | Conference Paper | IST-REx-ID: 3329   OA
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2011. Deconstructing approximate offsets. Proceedings of the twenty-seventh annual symposium on Computational geometry. SCG: Symposium on Computational Geometry 187–196.
View | Files available | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3355   OA
Halalai R, Henzinger TA, Singh V. 2011. Quantitative evaluation of BFT protocols. QEST: Quantitative Evaluation of Systems 255–264.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3343   OA
Chatterjee K, Henzinger M. 2011. Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification. SODA: Symposium on Discrete Algorithms 1318–1336.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3778   OA
Barton NH. 2011. Estimating linkage disequilibria. Heredity. 106(2), 205–206.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3386
Schrempf A, Cremer S, Heinze J. 2011. Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology. 24(7), 1455–1461.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3393   OA
Barton NH, Turelli M. 2011. Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. 178(3), E48–E75.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3374   OA
Tkacik G, Walczak A. 2011. Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. 23(15), 153102.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3379   OA
Row R, Maître J-L, Martin B, Stockinger P, Heisenberg C-PJ, Kimelman D. 2011. Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. 354(1), 102–110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3381
Henzinger TA, Jobstmann B, Wolf V. 2011. Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. 22(4), 823–841.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3336
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation. CVPR: Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition 2089–2096.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3348   OA
Chatterjee K, Prabhu V. 2011. Synthesis of memory efficient real time controllers for safety objectives. HSCC: Hybrid Systems - Computation and Control 221–230.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3350
Chatterjee K, Majumdar R. 2011. Minimum attention controller synthesis for omega regular objectives. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 6919. 145–159.
View | DOI
 
2011 | Technical Report | IST-REx-ID: 5382
Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity games, IST Austria, 18p.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5387
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3362
Fisher J, Henzinger TA, Nickovic D, Piterman N, Singh A, Vardi M. 2011. Dynamic reactive modules. CONCUR: Concurrency Theory, LNCS, vol. 6901. 404–418.
View | 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: 3367
Chen C, Kerber M. 2011. An output sensitive algorithm for persistent homology. SoCG: Symposium on Computational Geometry 207–216.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed