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.
2509 Publications
2011 | Conference Paper | IST-REx-ID: 3297 
C. J. Wojtan, M. Müller Fischer, and T. Brochu, “Liquid simulation with mesh-based surface tracking,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada, 2011.
View
| Files available
| DOI
2011 | Conference Poster | IST-REx-ID: 3312
Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, and P. Benfey, Detailed reconstruction of 3D plant root shape. IEEE, 2011.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3324
R. Piskac and T. Wies, “Decision procedures for automating termination proofs,” presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA, 2011, vol. 6538, pp. 371–386.
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3329
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” in Proceedings of the twenty-seventh annual symposium on Computational geometry, Paris, France, 2011, pp. 187–196.
View
| Files available
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3355
R. Halalai, T. A. Henzinger, and V. Singh, “Quantitative evaluation of BFT protocols,” presented at the QEST: Quantitative Evaluation of Systems, Aachen, Germany, 2011, pp. 255–264.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3343
K. Chatterjee and M. Henzinger, “Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification,” presented at the SODA: Symposium on Discrete Algorithms, San Francisco, USA, 2011, pp. 1318–1336.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3778
N. H. Barton, “Estimating linkage disequilibria,” Heredity, vol. 106, no. 2, pp. 205–206, 2011.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3393
N. H. Barton and M. Turelli, “Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects,” American Naturalist, vol. 178, no. 3, pp. E48–E75, 2011.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3374
G. Tkacik and A. Walczak, “Information transmission in genetic regulatory networks a review,” Journal of Physics: Condensed Matter, vol. 23, no. 15, 2011.
View
| DOI
| Download (ext.)