Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4862 Publications
2014 |
Published |
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 |
Published |
Conference Paper |
IST-REx-ID: 1507 |
Erdös L. Random matrices, log-gases and Hölder regularity. In: Proceedings of the International Congress of Mathematicians. Vol 3. International Congress of Mathematicians; 2014:214-236.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 |
Published |
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 1375 |
Chatterjee K, Henzinger MH, 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
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Published |
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
[Submitted Version]
View
| Files available
| DOI
2014 |
Published |
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 |
Published |
Thesis | PhD |
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 | PhD |
IST-REx-ID: 1402
Marhavá P. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. 2014.
View
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: 1404
Stock M. Evolution of a fungal pathogen towards individual versus social immunity in ants. 2014.
View
2014 |
Research Data Reference |
IST-REx-ID: 9722
Lovrics A, Gao Y, Juhász B, et al. Transition probability between TF expression states when Dbx2 inhibits Nkx2.2. 2014. doi:10.1371/journal.pone.0111430.s006
[Published Version]
View
| Files available
| DOI
2014 |
Research Data Reference |
IST-REx-ID: 9739
Chatterjee K, Pavlogiannis A, Adlam B, Novak M. Detailed proofs for “The time scale of evolutionary innovation.” 2014. doi:10.1371/journal.pcbi.1003818.s001
[Published Version]
View
| Files available
| DOI
2014 |
Research Data Reference |
IST-REx-ID: 9740 |
Konrad M, Grasse AV, Tragust S, Cremer S. Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. 2014. doi:10.5061/dryad.vm0vc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9741 |
Lagator M, Colegrave N, Neve P. Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. 2014. doi:10.5061/dryad.85dn7
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9747 |
Lagator M, Morgan A, Neve P, Colegrave N. Data from: Role of sex and migration in adaptation to sink environments. 2014. doi:10.5061/dryad.s42n1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9752 |
Simmons K, Prentice J, Tkačik G, et al. Data from: Transformation of stimulus correlations by the retina. 2014. doi:10.5061/dryad.246qg
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9753 |
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. 2014. doi:10.5061/dryad.nc0gc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9888
Wolf S, Mcmahon D, Lim K, et al. Supporting information. 2014. doi:10.1371/journal.pone.0103989.s003
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 9931
Dhar R, Bergmiller T, Wagner A. Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Evolution. 2014;68(6):1775-1791. doi:10.1111/evo.12373
View
| Files available
| DOI
| PubMed | Europe PMC
2014 |
Research Data Reference |
IST-REx-ID: 9932 |
Dhar R, Bergmiller T, Wagner A. Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. 2014. doi:10.5061/dryad.jc402
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)