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.




3568 Publications

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 | Journal Article | IST-REx-ID: 1533
Xia W, Domokos C, Xiong J, Cheong L, Yan S. Segmentation over detection via optimal sparse reconstructions. IEEE Transactions on Circuits and Systems for Video Technology. 2015;25(8):1295-1308. doi:10.1109/TCSVT.2014.2379972
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1534 | OA
Wang H, Yang K, Zou J, et al. Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications. 2015;6. doi:10.1038/ncomms9822
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1535 | OA
Vandael DH, Marcantoni A, Carbone E. Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology. 2015;8(2):149-161. doi:10.2174/1874467208666150507105443
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1536
Sasse J, Simon S, Gübeli C, et al. Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport. Current Biology. 2015;25(5):647-655. doi:10.1016/j.cub.2015.01.015
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht V, Wieser S, Callan Jones A, et al. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 2015;160(4):673-685. doi:10.1016/j.cell.2015.01.008
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1538 | OA
Ruess J, Parise F, Milias Argeitis A, Khammash M, Lygeros J. Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS. 2015;112(26):8148-8153. doi:10.1073/pnas.1423947112
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1539 | OA
Ruess J. Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics. 2015;143(24). doi:10.1063/1.4937937
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1540
Robert H, Crhák Khaitová L, Mroue S, Benková E. The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis. Journal of Experimental Botany. 2015;66(16):5029-5042. doi:10.1093/jxb/erv256
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1541
Ray R, Gurung A, Das B, Bartocci E, Bogomolov S, Grosu R. XSpeed: Accelerating reachability analysis on multi-core processors. 2015;9434:3-18. doi:10.1007/978-3-319-26287-1_1
View | DOI
 
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 | Journal Article | IST-REx-ID: 2014 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov S, Mabillard I, Skopenkov A, Wagner U. Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1729
Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. 2015;9207:180-197. doi:10.1007/978-3-319-21668-3_11
View | Files available | DOI
 
2015 | Thesis | IST-REx-ID: 1401 | OA
Sharmanska V. Learning with attributes for object recognition: Parametric and non-parametrics views. 2015. doi:10.15479/at:ista:1401
View | Files available | DOI | Download Published Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 9532 | OA
Rodrigues JA, Zilberman D. Evolution and function of genomic imprinting in plants. Genes and Development. 2015;29(24):2517–2531. doi:10.1101/gad.269902.115
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1619 | OA
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 | Conference Paper | IST-REx-ID: 8044 | OA
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: 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 | OA
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 | OA
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 | 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 | Working Paper | IST-REx-ID: 7038 | OA
Huszár K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
View | Files available
 
2014 | Conference Paper | IST-REx-ID: 475 | OA
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 | OA
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 | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 537 | OA
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 | OA
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 | OA
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
 
2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v2-2
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v3-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger TA, Otop J. Model Measuring for Hybrid Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-171-v1-1
View | Files available | DOI
 

Search

Filter Publications