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.
3831 Publications
2015 | Journal Article | IST-REx-ID: 1509 | 
Michalko J, Lukacisinova M, Bollenbach MT, Friml J. Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research . 2015;4. doi:10.12688/f1000research.7143.1
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1510 |
Franek P, Krcál M. On computability and triviality of well groups. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:842-856. doi:10.4230/LIPIcs.SOCG.2015.842
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1511 |
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:476-490. doi:10.4230/LIPIcs.SOCG.2015.476
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1512 |
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Bounding Helly numbers via Betti numbers. In: Vol 34. ACM; 2015:507-521. doi:10.4230/LIPIcs.SOCG.2015.507
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1513 |
Pal A, Vicoso B. The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution. 2015;7(12):3259-3268. doi:10.1093/gbe/evv215
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1517 |
Erbar M, Maas J, Renger M. From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. 2015;20. doi:10.1214/ECP.v20-4315
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1519 |
Barton NH, Servedio M. The interpretation of selection coefficients. Evolution. 2015;69(5):1101-1112. doi:10.1111/evo.12641
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1520
Bharaj G, Coros S, Thomaszewski B, Tompkin J, Bickel B, Pfister H. Computational design of walking automata. In: ACM; 2015:93-100. doi:10.1145/2786784.2786803
View
| DOI
2015 | Journal Article | IST-REx-ID: 1525 |
Bauer B, Blechl G, Bock C, et al. Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen. 2015;68(3):580-607. doi:10.5281/zenodo.33178
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1530
Bierbaum V, Klumpp S. Impact of the cell division cycle on gene circuits. Physical Biology. 2015;12(6). doi:10.1088/1478-3975/12/6/066003
View
| DOI
2015 | Journal Article | IST-REx-ID: 1531
Zobel V, Reininghaus J, Hotz I. Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature. Mathematics and Visualization. 2015;40:257-267. doi:10.1007/978-3-319-15090-1_13
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1992 |
Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. Succinct representation of concurrent trace sets. In: ACM; 2015:433-444. doi:10.1145/2676726.2677008
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1993 |
Konrad M, Grasse AV, Tragust S, Cremer S. Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal Society of London Series B Biological Sciences. 2015;282(1799). doi:10.1098/rspb.2014.1976
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1997 |
Noren P. The three-state toric homogeneous Markov chain model has Markov degree two. Journal of Symbolic Computation. 2015;68/Part 2(May-June):285-296. doi:10.1016/j.jsc.2014.09.014
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 2006 |
Hein N, Hillar C, Martin del Campo Sanchez A, Sottile F, Teitler Z. The monotone secant conjecture in the real Schubert calculus. Experimental Mathematics. 2015;24(3):261-269. doi:10.1080/10586458.2014.980044
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 2008 |
Klimova A, Rudas T. Iterative scaling in curved exponential families. Scandinavian Journal of Statistics. 2015;42(3):832-847. doi:10.1111/sjos.12139
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 2014 |
Klimova A, Uhler C, Rudas T. Faithfulness and learning hypergraphs from discrete distributions. Computational Statistics & Data Analysis. 2015;87(7):57-72. doi:10.1016/j.csda.2015.01.017
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 2025 |
Kawada D, Kobayashi H, Tomita T, et al. The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins. Biochimica et Biophysica Acta - Molecular Cell Research. 2015;1853(1):144-156. doi:10.1016/j.bbamcr.2014.10.009
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 2030 |
Shi L, Rampp M, Hof B, Avila M. A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow. Computers and Fluids. 2015;106(1):1-11. doi:10.1016/j.compfluid.2014.09.021
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 2034 |
Bérard B, Chatterjee K, Sznajder N. Probabilistic opacity for Markov decision processes. Information Processing Letters. 2015;115(1):52-59. doi:10.1016/j.ipl.2014.09.001
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 2035 |
Edelsbrunner H, Jablonski G, Mrozek M. The persistent homology of a self-map. Foundations of Computational Mathematics. 2015;15(5):1213-1244. doi:10.1007/s10208-014-9223-y
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 2085 |
Nam P, Seiringer R. Collective excitations of Bose gases in the mean-field regime. Archive for Rational Mechanics and Analysis. 2015;215(2):381-417. doi:10.1007/s00205-014-0781-6
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 2166 |
Erdös L, Knowles A. The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case. Communications in Mathematical Physics. 2015;333(3):1365-1416. doi:10.1007/s00220-014-2119-5
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 2271 |
Kolmogorov V, Thapper J, Živný S. The power of linear programming for general-valued CSPs. SIAM Journal on Computing. 2015;44(1):1-36. doi:10.1137/130945648
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Research Data Reference | IST-REx-ID: 9711
Chevereau G, Lukacisinova M, Batur T, et al. Excel file containing the raw data for all figures. 2015. doi:10.1371/journal.pbio.1002299.s001
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9712
Tugrul M, Paixao T, Barton NH, Tkačik G. Other fitness models for comparison & for interacting TFBSs. 2015. doi:10.1371/journal.pgen.1005639.s001
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9714
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. An exploration of the universe of polyglutamine structures - submission to PLOS journals. 2015. doi:10.1371/journal.pcbi.1004541.s001
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9715
Trubenova B, Novak S, Hager R. Mathematical inference of the results. 2015. doi:10.1371/journal.pone.0126907.s001
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9718
Friedlander T, Mayo AE, Tlusty T, Alon U. Supporting information text. 2015. doi:10.1371/journal.pcbi.1004055.s001
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9719
Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria. 2015. doi:10.5061/dryad.cj910
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9721
Theis F, Ugelvig LV, Marr C, Cremer S. Data from: Opposing effects of allogrooming on disease transmission in ant societies. 2015. doi:10.5061/dryad.dj2bf
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9737
Symonova O, Topp C, Edelsbrunner H. Root traits computed by DynamicRoots for the maize root shown in fig 2. 2015. doi:10.1371/journal.pone.0127657.s001
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9742
Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. 2015. doi:10.5061/dryad.7kc79
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9765
Chevereau G, Lukacisinova M, Batur T, et al. Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs. 2015. doi:10.1371/journal.pbio.1002299.s008
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9772
Trubenova B, Novak S, Hager R. Description of the agent based simulations. 2015. doi:10.1371/journal.pone.0126907.s003
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9773
Friedlander T, Mayo AE, Tlusty T, Alon U. Evolutionary simulation code. 2015. doi:10.1371/journal.pcbi.1004055.s002
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1651 |
Baldimtsi F, Chase M, Fuchsbauer G, Kohlweiss M. Anonymous transferable e-cash. In: Public-Key Cryptography - PKC 2015. Vol 9020. Springer; 2015:101-124. doi:10.1007/978-3-662-46447-2_5
View
| DOI
| Download Published Version (ext.)
2015 | 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. 2015;42(3):239-251. doi:10.1071/FP14171
View
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1619 |
Chevereau G, Lukacisinova M, Batur T, et al. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 2015;13(11). doi:10.1371/journal.pbio.1002299
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2852
Fischlin M, Lehmann A, Pietrzak KZ. Robust multi-property combiners for hash functions. Journal of Cryptology. 2014;27(3):397-428. doi:10.1007/s00145-013-9148-7
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2905 |
Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In: European Mathematical Society Publishing House; 2014:31-50. doi:10.4171/120-1/3
View
| Files available
| DOI
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: 8044 |
Seiringer R. Structure of the excitation spectrum for many-body quantum systems. In: Proceeding of the International Congress of Mathematicans. Vol 3. Kyung Moon SA; 2014:1175-1194.
View
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 8500
Kaloshin V, Levi M, Saprykina M. Arnol′d diffusion in a pendulum lattice. Communications on Pure and Applied Mathematics. 2014;67(5):748-775. doi:10.1002/cpa.21509
View
| DOI
2014 | Journal Article | IST-REx-ID: 468 |
Cimadom A, Ulloa A, Meidl P, et al. Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. 2014;9(9). doi:10.1371/journal.pone.0107518
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 475 |
Aminof B, Rubin S. First cycle games. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 146. Open Publishing Association; 2014:83-90. doi:10.4204/EPTCS.146.11
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 535 |
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial time algorithms for energy games with special weight structures. Algorithmica. 2014;70(3):457-492. doi:10.1007/s00453-013-9843-7
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 537 |
Prizak R, Ezard T, Hoyle R. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 2014;4(15):3139-3145. doi:10.1002/ece3.1150
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5411 |
Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional Specifications for IOCO Testing. IST Austria; 2014. doi:10.15479/AT:IST-2014-148-v2-1
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5412 |
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v1-1
View
| Files available
| DOI