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.
5779 Publications
2014 | Published | Journal Article | IST-REx-ID: 2038 | 
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 2014;15(4). doi:10.1145/2629686
[Submitted Version]
View
| Files available
| DOI
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 | Journal Article | IST-REx-ID: 1886 |
Hermundstad A, Briguglio J, Conte M, Victor J, Balasubramanian V, Tkačik G. Variance predicts salience in central sensory processing. eLife. 2014;(November). doi:10.7554/eLife.03722
[Published Version]
View
| Files available
| DOI
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: 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 | Published | Journal Article | IST-REx-ID: 2161
Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Behavioral Ecology and Sociobiology. 2014;68(10):1701-1710. doi:10.1007/s00265-014-1778-8
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2214 |
Stoler Barak L, Moussion C, Shezen E, Hatzav M, Sixt MK, Alon R. Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085699
[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 | Book Chapter | IST-REx-ID: 10817
Günther D, Reininghaus J, Seidel H-P, Weinkauf T. Notes on the simplification of the Morse-Smale complex. In: Bremer P-T, Hotz I, Pascucci V, Peikert R, eds. Topological Methods in Data Analysis and Visualization III. Mathematics and Visualization. Cham: Springer Nature; 2014:135-150. doi:10.1007/978-3-319-04099-8_9
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10894
Bauer U, Kerber M, Reininghaus J, Wagner H. PHAT – Persistent Homology Algorithms Toolbox. In: ICMS 2014: International Congress on Mathematical Software. Vol 8592. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2014:137-143. doi:10.1007/978-3-662-44199-2_24
View
| Files available
| DOI
2014 | Published | Book Chapter | IST-REx-ID: 10893
Kasten J, Reininghaus J, Reich W, Scheuermann G. Toward the extraction of saddle periodic orbits. In: Bremer P-T, Hotz I, Pascucci V, Peikert R, eds. Topological Methods in Data Analysis and Visualization III . Vol 1. Mathematics and Visualization. Cham: Springer; 2014:55-69. doi:10.1007/978-3-319-04099-8_4
View
| DOI
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. MIMB. New York: Springer; 2014:219-235. doi:10.1007/978-1-4939-1164-6_15
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 2223 |
Tanaka H, Nodzyński T, Kitakura S, et al. BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology. 2014;55(4):737-749. doi:10.1093/pcp/pct196
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 2253 |
Bailly A, Wang B, Zwiewka M, et al. Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. 2014;77(1):108-118. doi:10.1111/tpj.12369
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Thesis | IST-REx-ID: 1403
Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.
View
| Files available
2014 | Published | Journal Article | IST-REx-ID: 2032 |
Inglés Prieto Á, Gschaider-Reichhart E, Schelch K, Janovjak HL, Grusch M. The optogenetic promise for oncology: Episode I. Molecular and Cellular Oncology. 2014;1(4). doi:10.4161/23723548.2014.964045
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Conference Paper | IST-REx-ID: 2033 |
Hernandez Lobato D, Sharmanska V, Kersting K, Lampert C, Quadrianto N. Mind the nuisance: Gaussian process classification using privileged noise. In: Advances in Neural Information Processing Systems. Vol 1. Neural Information Processing Systems Foundation; 2014:837-845.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 1708 |
Savin C, Denève S. Spatio-temporal representations of uncertainty in spiking neural networks. In: Vol 27. Neural Information Processing Systems Foundation; 2014:2024-2032.
View
| Download None (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2224
Altmeyer S. On secondary instabilities generating footbridges between spiral vortex flow. Fluid Dynamics Research. 2014;46(2). doi:10.1088/0169-5983/46/2/025503
View
| DOI