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.
3041 Publications
2014 | Book Chapter | IST-REx-ID: 6178
Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In: Nelson C, ed. Tissue Morphogenesis. Vol 1189. Methods in Molecular Biology. New York, NY: Springer; 2014:219-235. doi:10.1007/978-1-4939-1164-6_15
View
| DOI
| PubMed | Europe PMC
2014 | Book | IST-REx-ID: 6853
Edelsbrunner H. A Short Course in Computational Geometry and Topology. Cham: Springer International Publishing; 2014. doi:10.1007/978-3-319-05957-0
View
| Files available
| DOI
2014 | Working Paper | IST-REx-ID: 7038 |

Huszár K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
View
| Files available
2014 | Journal Article | IST-REx-ID: 1375 |

Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1392 |

Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1393 |

Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: Proceedings of the on Future of Software Engineering. ACM; 2014:167-181. doi:10.1145/2593882.2593900
View
| DOI
| Download Published Version (ext.)
2014 | Thesis | IST-REx-ID: 1395
Konrad M. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. 2014.
View
2014 | Thesis | IST-REx-ID: 1402
Marhavá P. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. 2014.
View
2014 | Thesis | IST-REx-ID: 1403
Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.
View
| Files available
2014 | Thesis | IST-REx-ID: 1404
Stock M. Evolution of a fungal pathogen towards individual versus social immunity in ants. 2014.
View
2014 | Conference Paper | IST-REx-ID: 1507 |

Erdös L. Random matrices, log-gases and Hölder regularity. In: Vol 3. Kyung Moon SA Co. Ltd.; 2014:214-236.
View
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1516 |

Bräunlich G, Hainzl C, Seiringer R. On the BCS gap equation for superfluid fermionic gases. In: Proceedings of the QMath12 Conference. World Scientific Publishing; 2014:127-137. doi:10.1142/9789814618144_0007
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1532
Yang H, Von Der Fecht Bartenbach J, Friml J, Lohmann J, Neuhäuser B, Ludewig U. Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source. Functional Plant Biology. 2014;42(3):239-251. doi:10.1071/FP14171
View
| DOI
2014 | Journal Article | IST-REx-ID: 1629 |

Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 2014;33(2). doi:10.1145/2591010
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1643 |

Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De Prisco R, eds. SCN 2014. Vol 8642. Springer; 2014:95-114. doi:10.1007/978-3-319-10879-7_7
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 3263 |

Tkačik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085841
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2218 |

Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Regression-free synthesis for concurrency. In: Vol 8559. Springer; 2014:568-584. doi:10.1007/978-3-319-08867-9_38
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2159 |

Mabillard I, Wagner U. Eliminating Tverberg points, I. An analogue of the Whitney trick. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:171-180. doi:10.1145/2582112.2582134
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2023 |

Novak S. Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution. 2014;4(24):4589-4597. doi:10.1002/ece3.1289
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1999
Stroeymeyt N, Casillas Perez BE, Cremer S. Organisational immunity in social insects. Current Opinion in Insect Science. 2014;5(1):1-15. doi:10.1016/j.cois.2014.09.001
View
| Files available
| DOI