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.
5339 Publications
2014 | Published | Conference Paper | IST-REx-ID: 2239
Boker U, Henzinger TA, Radhakrishna A. Battery transition systems. In: Vol 49. ACM; 2014:595-606. doi:10.1145/2535838.2535875
View
| DOI
2014 | Published | Book | IST-REx-ID: 6853
Edelsbrunner H. A Short Course in Computational Geometry and Topology. 1st ed. Cham: Springer Nature; 2014. doi:10.1007/978-3-319-05957-0
View
| Files available
| DOI
2014 | Draft | Working Paper | IST-REx-ID: 7038 | 
Huszár K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
[Published Version]
View
| Files available
2014 | Published | 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
[Published Version]
View
| Files available
| DOI
2014 | Published | Thesis | IST-REx-ID: 1403
Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.
View
| Files available
2014 | Published | 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 | Published | Thesis | IST-REx-ID: 1402
Marhavá P. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. 2014.
View
2014 | Published | Thesis | IST-REx-ID: 1404
Stock M. Evolution of a fungal pathogen towards individual versus social immunity in ants. 2014.
View
2014 | Published | Journal Article | IST-REx-ID: 1912 |
Compagnon J, Barone V, Rajshekar S, et al. The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. 2014;31(6):774-783. doi:10.1016/j.devcel.2014.11.003
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Conference Paper | IST-REx-ID: 2167 |
Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional specifications for IOCO testing. In: IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE; 2014. doi:10.1109/ICST.2014.50
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 2063
Chatterjee K, Chmelik M, Daca P. CEGAR for qualitative analysis of probabilistic systems. In: Vol 8559. Springer; 2014:473-490. doi:10.1007/978-3-319-08867-9_31
View
| Files available
| DOI
2014 | Published | 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
[Submitted Version]
View
| Files available
| DOI
2014 | Published | 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
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2255 |
Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 2014;50(1):164-177. doi:10.1007/s10851-013-0468-x
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1923 |
Berthoumieux H, Maître J-L, Heisenberg C-PJ, Paluch E, Julicher F, Salbreux G. Active elastic thin shell theory for cellular deformations. New Journal of Physics. 2014;16. doi:10.1088/1367-2630/16/6/065005
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2029 |
Correggi M, Giuliani A, Seiringer R. Validity of spin-wave theory for the quantum Heisenberg model. EPL. 2014;108(2). doi:10.1209/0295-5075/108/20003
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | 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
2013 | Published | Journal Article | IST-REx-ID: 10396 |
Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. 2013;58(SI-1-Track-G). doi:10.1515/bmt-2013-4181
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 9481 |
Rodrigues JA, Ruan R, Nishimura T, et al. Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm. Proceedings of the National Academy of Sciences. 2013;110(19):7934-7939. doi:10.1073/pnas.1306164110
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 9520 |
Feng X, Zilberman D, Dickinson H. A conversation across generations: Soma-germ cell crosstalk in plants. Developmental Cell. 2013;24(3):215-225. doi:10.1016/j.devcel.2013.01.014
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC