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.




3795 Publications

2015 | Journal Article | IST-REx-ID: 1517 | OA
Erbar M, Maas J, Renger M. 2015. From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. 20, 89.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1519 | OA
Barton NH, Servedio M. 2015. The interpretation of selection coefficients. Evolution. 69(5), 1101–1112.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1520
Bharaj G, Coros S, Thomaszewski B, Tompkin J, Bickel B, Pfister H. 2015. Computational design of walking automata. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, 93–100.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1530
Bierbaum V, Klumpp S. 2015. Impact of the cell division cycle on gene circuits. Physical Biology. 12(6), 066003.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1992 | OA
Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. 2015. Succinct representation of concurrent trace sets. POPL: Principles of Programming Languages, 433–444.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1997 | OA
Noren P. 2015. The three-state toric homogeneous Markov chain model has Markov degree two. Journal of Symbolic Computation. 68/Part 2(May-June), 285–296.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2006 | OA
Hein N, Hillar C, Martin del Campo Sanchez A, Sottile F, Teitler Z. 2015. The monotone secant conjecture in the real Schubert calculus. Experimental Mathematics. 24(3), 261–269.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2008 | OA
Klimova A, Rudas T. 2015. Iterative scaling in curved exponential families. Scandinavian Journal of Statistics. 42(3), 832–847.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2014 | OA
Klimova A, Uhler C, Rudas T. 2015. Faithfulness and learning hypergraphs from discrete distributions. Computational Statistics & Data Analysis. 87(7), 57–72.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2025 | OA
Kawada D, Kobayashi H, Tomita T, Nakata E, Nagano M, Siekhaus DE, Toshima J, Toshimaa J. 2015. The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins. Biochimica et Biophysica Acta - Molecular Cell Research. 1853(1), 144–156.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 2030 | OA
Shi L, Rampp M, Hof B, Avila M. 2015. A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow. Computers and Fluids. 106(1), 1–11.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2034 | OA
Bérard B, Chatterjee K, Sznajder N. 2015. Probabilistic opacity for Markov decision processes. Information Processing Letters. 115(1), 52–59.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2035 | OA
Edelsbrunner H, Jablonski G, Mrozek M. 2015. The persistent homology of a self-map. Foundations of Computational Mathematics. 15(5), 1213–1244.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 2085 | OA
Nam P, Seiringer R. 2015. Collective excitations of Bose gases in the mean-field regime. Archive for Rational Mechanics and Analysis. 215(2), 381–417.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2166 | OA
Erdös L, Knowles A. 2015. The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case. Communications in Mathematical Physics. 333(3), 1365–1416.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2271 | OA
Kolmogorov V, Thapper J, Živný S. 2015. The power of linear programming for general-valued CSPs. SIAM Journal on Computing. 44(1), 1–36.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 9532 | OA
Rodrigues JA, Zilberman D. 2015. Evolution and function of genomic imprinting in plants. Genes and Development. 29(24), 2517–2531.
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9711
Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan DH, Toprak E, Bollenbach MT. 2015. Excel file containing the raw data for all figures, Public Library of Science, 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. 2015. Other fitness models for comparison & for interacting TFBSs, Public Library of Science, 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. 2015. An exploration of the universe of polyglutamine structures - submission to PLOS journals, Public Library of Science , 10.1371/journal.pcbi.1004541.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9715
Trubenova B, Novak S, Hager R. 2015. Mathematical inference of the results, Public Library of Science, 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. 2015. Supporting information text, Public Library of Science, 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. 2015. Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria, Dryad, 10.5061/dryad.cj910.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9721
Theis F, Ugelvig LV, Marr C, Cremer S. 2015. Data from: Opposing effects of allogrooming on disease transmission in ant societies, Dryad, 10.5061/dryad.dj2bf.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9737
Symonova O, Topp C, Edelsbrunner H. 2015. Root traits computed by DynamicRoots for the maize root shown in fig 2, Public Library of Science, 10.1371/journal.pone.0127657.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9765
Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan DH, Toprak E, Bollenbach MT. 2015. Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs, Public Library of Science, 10.1371/journal.pbio.1002299.s008.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9772
Trubenova B, Novak S, Hager R. 2015. Description of the agent based simulations, Public Library of Science, 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. 2015. Evolutionary simulation code, Public Library of Science, 10.1371/journal.pcbi.1004055.s002.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1651 | OA
Baldimtsi F, Chase M, Fuchsbauer G, Kohlweiss M. 2015. Anonymous transferable e-cash. Public-Key Cryptography - PKC 2015. PKC: Public Key Crypography, LNCS, vol. 9020, 101–124.
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. 2015. Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source. Functional Plant Biology. 42(3), 239–251.
View | DOI | PubMed | Europe PMC
 
2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov S, Mabillard I, Skopenkov A, Wagner U. Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv, 1511.03501.
View | Files available | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1672 | OA
Alwen JF, Ostrovsky R, Zhou H, Zikas V. 2015. Incoercible multi-party computation and universally composable receipt-free voting. Advances in Cryptology - CRYPTO 2015. CRYPTO: International Cryptology ConferenceLecture Notes in Computer Science, LNCS, vol. 9216, 763–780.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1993 | OA
Konrad M, Grasse AV, Tragust S, Cremer S. 2015. 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. 282(1799), 20141976.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1851 | OA
Priklopil T, Kisdi E, Gyllenberg M. 2015. Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. Evolution. 69(4), 1015–1026.
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Book Chapter | IST-REx-ID: 1531
Zobel V, Reininghaus J, Hotz I. 2015.Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature. In: Visualization and Processing of Higher Order Descriptors for Multi-Valued Data. Mathematics and Visualization, vol. 40, 257–267.
View | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9742
Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. 2015. Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant, Dryad, 10.5061/dryad.7kc79.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1619 | OA
Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan D, Toprak E, Bollenbach MT. 2015. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 13(11), e1002299.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2852
Fischlin M, Lehmann A, Pietrzak KZ. 2014. Robust multi-property combiners for hash functions. Journal of Cryptology. 27(3), 397–428.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice. ECM: European Congress of Mathematics, 31–50.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik G, Ghosh A, Schneidman E, Segev R. 2014. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 9(1), e85841.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer R. 2014. Structure of the excitation spectrum for many-body quantum systems. Proceeding of the International Congress of Mathematicans. ICM: International Congress of Mathematicans vol. 3, 1175–1194.
View | Download Published Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 475 | OA
Aminof B, Rubin S. 2014. First cycle games. Electronic Proceedings in Theoretical Computer Science, EPTCS. SR: Strategic Reasoning, EPTCS, vol. 146, 83–90.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 4(15), 3139–3145.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 31p.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.
View | Files available | DOI
 

Search

Filter Publications