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.
4149 Publications
2016 | Conference Paper | IST-REx-ID: 1229 | 
Abusalah, H. M., Fuchsbauer, G., & Pietrzak, K. Z. (2016). Offline witness encryption (Vol. 9696, pp. 285–303). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer. https://doi.org/10.1007/978-3-319-39555-5_16
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1236 |
Abusalah, H. M., Fuchsbauer, G., & Pietrzak, K. Z. (2016). Constrained PRFs for unbounded inputs (Vol. 9610, pp. 413–428). Presented at the CT-RSA: Topics in Cryptology, San Francisco, CA, USA: Springer. https://doi.org/10.1007/978-3-319-29485-8_24
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1235 |
Abusalah, H. M., & Fuchsbauer, G. (2016). Constrained PRFs for unbounded inputs with short keys (Vol. 9696, pp. 445–463). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer. https://doi.org/10.1007/978-3-319-39555-5_24
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1362 |
Hahn, D., & Wojtan, C. (2016). Fast approximations for boundary element based brittle fracture simulation (Vol. 35). Presented at the ACM SIGGRAPH, Anaheim, CA, USA: ACM. https://doi.org/10.1145/2897824.2925902
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1197 |
Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkačik, G., & Berry, M. (2016). Error-robust modes of the retinal population code. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005148
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9710 |
Barton, N. H. (2016). Data from: How does epistasis influence the response to selection? Dryad. https://doi.org/10.5061/dryad.s5s7r
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 5749 |
Wielgoss, S., Bergmiller, T., Bischofberger, A. M., & Hall, A. R. (2016). Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msv270
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Research Data Reference | IST-REx-ID: 9720 |
Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., & Paxton, R. (2016). Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees. Dryad. https://doi.org/10.5061/dryad.4b565
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1158 |
Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., & Bierne, N. (2016). Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2000234
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1167 |
Zagórski, M. P., Burda, Z., & Wacław, B. (2016). Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005218
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9864 |
Fernandes Redondo, R. A., de Vladar, H., Włodarski, T., & Bollback, J. P. (2016). Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family. The Royal Society. https://doi.org/10.6084/m9.figshare.4315652.v1
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe, C., Hagel, K., & Milinski, M. (2016). Experimental game instructions. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867.s008
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9862
Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., & Bierne, N. (2016). Simulation study to test the robustness of ABC in face of recent times of divergence. Public Library of Science. https://doi.org/10.1371/journal.pbio.2000234.s016
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9863
Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., & Bierne, N. (2016). Accessions of surveyed individuals, geographic locations and summary statistics. Public Library of Science. https://doi.org/10.1371/journal.pbio.2000234.s017
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9866
Zagórski, M. P., Burda, Z., & Wacław, B. (2016). ZIP-archived directory containing all data and computer programs. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005218.s009
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 9456 |
Huff, J. T., Zilberman, D., & Roy, S. W. (2016). Mechanism for DNA transposons to generate introns on genomic scales. Nature. Springer Nature . https://doi.org/10.1038/nature20110
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 9477 |
Park, K., Kim, M. Y., Vickers, M., Park, J.-S., Hyun, Y., Okamoto, T., … Scholten, S. (2016). DNA demethylation is initiated in the central cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1619047114
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 9473 |
Hsieh, P.-H., He, S., Buttress, T., Gao, H., Couchman, M., Fischer, R. L., … Feng, X. (2016). Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1619074114
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 948
Monk, T., Savin, C., & Lücke, J. (2016). Neurons equipped with intrinsic plasticity learn stimulus intensity statistics (Vol. 29, pp. 4285–4293). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spaine: Neural Information Processing Systems.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 1262 |
Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M., … Paxton, R. (2016). Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2016.0811
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9704 |
Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M., … Paxton, R. (2016). Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Dryad. https://doi.org/10.5061/dryad.cq7t1
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1322 |
Hilbe, C., Hagel, K., & Milinski, M. (2016). Asymmetric power boosts extortion in an economic experiment. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1270 |
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1250 |
Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., & Ackermann, M. (2016). Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1005974
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9870
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Computation of positional information in an Ising model. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628.s002
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9873
Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., & Ackermann, M. (2016). Quantification of the growth rate reduction as a consequence of age-specific mortality. Public Library of Science. https://doi.org/10.1371/journal.pgen.1005974.s015
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9869
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Error bound on an estimator of position. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628.s001
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9871
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Computation of positional information in a discrete morphogen field. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628.s003
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9868
Hilbe, C., Hagel, K., & Milinski, M. (2016). Experimental data. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867.s009
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1183 |
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1321 |
Leithner, A. F., Eichner, A., Müller, J., Reversat, A., Brown, M., Schwarz, J., … Sixt, M. K. (2016). Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3426
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1100 |
Sako, K., Pradhan, S., Barone, V., Inglés Prieto, Á., Mueller, P., Ruprecht, V., … Heisenberg, C.-P. J. (2016). Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2016.06.036
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1437 |
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1386 |
Chatterjee, K., Fu, H., & Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41528-4_1
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 10794 |
Parise, F., Lygeros, J., & Ruess, J. (2015). Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. Frontiers. https://doi.org/10.3389/fenvs.2015.00042
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 10796
Chatterjee, K., & Ibsen-Jensen, R. (2015). The value 1 problem under finite-memory strategies for concurrent mean-payoff games. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2015, pp. 1018–1029). San Diego, CA, United States: SIAM. https://doi.org/10.1137/1.9781611973730.69
View
| DOI
| arXiv
2015 | Journal Article | IST-REx-ID: 1383 |
Yu, L., Scholl, S., Doering, A., Yi, Z., Irani, N., Di Rubbo, S., … Russinova, E. (2015). V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/nplants.2015.94
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Thesis | IST-REx-ID: 1401 |
Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. IST Austria. https://doi.org/10.15479/at:ista:1401
View
| Files available
| DOI
| Download Published Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1425 |
Pentina, A., & Lampert, C. (2015). Lifelong learning with non-i.i.d. tasks (Vol. 2015, pp. 1540–1548). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.
View
| Download None (ext.)
2015 | Conference Paper | IST-REx-ID: 1424 |
Kwitt, R., Huber, S., Niethammer, M., Lin, W., & Bauer, U. (2015). Statistical topological data analysis-A kernel perspective (Vol. 28, pp. 3070–3078). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.
View
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1430 |
Paixao, T., Sudholt, D., Heredia, J., & Trubenova, B. (2015). First steps towards a runtime comparison of natural and artificial evolution. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (pp. 1455–1462). Madrid, Spain: ACM. https://doi.org/10.1145/2739480.2754758
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1474 |
Ferrara, A., Fuchsbauer, G., Liu, B., & Warinschi, B. (2015). Policy privacy in cryptographic access control (pp. 46–60). Presented at the CSF: Computer Security Foundations, Verona, Italy: IEEE. https://doi.org/10.1109/CSF.2015.11
View
| DOI
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1483 |
Reininghaus, J., Huber, S., Bauer, U., & Kwitt, R. (2015). A stable multi-scale kernel for topological machine learning (pp. 4741–4748). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE. https://doi.org/10.1109/CVPR.2015.7299106
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1498 |
Dragoi, C., Henzinger, T. A., & Zufferey, D. (2015). The need for language support for fault-tolerant distributed systems. Presented at the SNAPL: Summit oN Advances in Programming Languages, Asilomar, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1497 |
Andergassen, D., Dotter, C., Kulinski, T., Guenzl, P., Bammer, P., Barlow, D., … Hudson, Q. (2015). Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkv727
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1499 |
Kretinsky, J., Larsen, K., Laursen, S., & Srba, J. (2015). Polynomial time decidability of weighted synchronization under partial observability (Vol. 42, pp. 142–154). Presented at the CONCUR: Concurrency Theory, Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1495 |
Edelsbrunner, H., Iglesias Ham, M., & Kurlin, V. (2015). Relaxed disk packing. In Proceedings of the 27th Canadian Conference on Computational Geometry (Vol. 2015–August, pp. 128–135). Ontario, Canada: Queen’s University.
View
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1502 |
Beneš, N., Daca, P., Henzinger, T. A., Kretinsky, J., & Nickovic, D. (2015). Complete composition operators for IOCO-testing theory (pp. 101–110). Presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada: ACM. https://doi.org/10.1145/2737166.2737175
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1501 |
Chatterjee, K., Chmelik, M., & Daca, P. (2015). CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-015-0235-2
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1510 |
Franek, P., & Krcál, M. (2015). On computability and triviality of well groups (Vol. 34, pp. 842–856). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SOCG.2015.842
View
| Files available
| DOI