en
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.
2510 Publications
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 
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
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
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
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
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
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
Barton NH. 2011. Estimating linkage disequilibria. Heredity. 106(2), 205–206.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3393
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
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
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
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 | 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