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.




3551 Publications

2015 | Journal Article | IST-REx-ID: 1536
Sasse, Joëlle, Sibu Simon, Christian Gübeli, Guowei Liu, Xi Cheng, Jiří Friml, Harro Bouwmeester, Enrico Martinoia, and Lorenzo Borghi. “Asymmetric Localizations of the ABC Transporter PaPDR1 Trace Paths of Directional Strigolactone Transport.” Current Biology. Cell Press, 2015. https://doi.org/10.1016/j.cub.2015.01.015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht, Verena, Stefan Wieser, Andrew Callan Jones, Michael Smutny, Hitoshi Morita, Keisuke Sako, Vanessa Barone, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.” Cell. Cell Press, 2015. https://doi.org/10.1016/j.cell.2015.01.008.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1538 | OA
Ruess, Jakob, Francesca Parise, Andreas Milias Argeitis, Mustafa Khammash, and John Lygeros. “Iterative Experiment Design Guides the Characterization of a Light-Inducible Gene Expression Circuit.” PNAS. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1423947112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1539 | OA
Ruess, Jakob. “Minimal Moment Equations for Stochastic Models of Biochemical Reaction Networks with Partially Finite State Space.” Journal of Chemical Physics. American Institute of Physics, 2015. https://doi.org/10.1063/1.4937937.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1540
Robert, Hélène, Lucie Crhák Khaitová, Souad Mroue, and Eva Benková. “The Importance of Localized Auxin Production for Morphogenesis of Reproductive Organs and Embryos in Arabidopsis.” Journal of Experimental Botany. Oxford University Press, 2015. https://doi.org/10.1093/jxb/erv256.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1541
Ray, Rajarshi, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, and Radu Grosu. “XSpeed: Accelerating Reachability Analysis on Multi-Core Processors.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-26287-1_1.
View | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9711
Chevereau, Guillaume, Marta Lukacisinova, Tugce Batur, Aysegul Guvenek, Dilay Hazal Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Excel File Containing the Raw Data for All Figures.” Public Library of Science, 2015. https://doi.org/10.1371/journal.pbio.1002299.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9712
Tugrul, Murat, Tiago Paixao, Nicholas H Barton, and Gašper Tkačik. “Other Fitness Models for Comparison & for Interacting TFBSs.” Public Library of Science, 2015. https://doi.org/10.1371/journal.pgen.1005639.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9714
Gómez Sicilia, Àngel, Mateusz K Sikora, Marek Cieplak, and Mariano Carrión Vázquez. “An Exploration of the Universe of Polyglutamine Structures - Submission to PLOS Journals.” Public Library of Science , 2015. https://doi.org/10.1371/journal.pcbi.1004541.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9715
Trubenova, Barbora, Sebastian Novak, and Reinmar Hager. “Mathematical Inference of the Results.” Public Library of Science, 2015. https://doi.org/10.1371/journal.pone.0126907.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9718
Friedlander, Tamar, Avraham E. Mayo, Tsvi Tlusty, and Uri Alon. “Supporting Information Text.” Public Library of Science, 2015. https://doi.org/10.1371/journal.pcbi.1004055.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9719
Wielgoss, Sébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Data from: Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Non-Mutator Bacteria.” Dryad, 2015. https://doi.org/10.5061/dryad.cj910.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9721
Theis, Fabian, Line V Ugelvig, Carsten Marr, and Sylvia Cremer. “Data from: Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.” Dryad, 2015. https://doi.org/10.5061/dryad.dj2bf.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9737
Symonova, Olga, Christopher Topp, and Herbert Edelsbrunner. “Root Traits Computed by DynamicRoots for the Maize Root Shown in Fig 2.” Public Library of Science, 2015. https://doi.org/10.1371/journal.pone.0127657.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9742
Westhus, Claudia, Line V Ugelvig, Edouard Tourdot, Jürgen Heinze, Claudie Doums, and Sylvia Cremer. “Data from: Increased Grooming after Repeated Brood Care Provides Sanitary Benefits in a Clonal Ant.” Dryad, 2015. https://doi.org/10.5061/dryad.7kc79.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9765
Chevereau, Guillaume, Marta Lukacisinova, Tugce Batur, Aysegul Guvenek, Dilay Hazal Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Gene Ontology Enrichment Analysis for the Most Sensitive Gene Deletion Strains for All Drugs.” Public Library of Science, 2015. https://doi.org/10.1371/journal.pbio.1002299.s008.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9772
Trubenova, Barbora, Sebastian Novak, and Reinmar Hager. “Description of the Agent Based Simulations.” Public Library of Science, 2015. https://doi.org/10.1371/journal.pone.0126907.s003.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9773
Friedlander, Tamar, Avraham E. Mayo, Tsvi Tlusty, and Uri Alon. “Evolutionary Simulation Code.” Public Library of Science, 2015. https://doi.org/10.1371/journal.pcbi.1004055.s002.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 2014 | OA
Klimova, Anna, Caroline Uhler, and Tamás Rudas. “Faithfulness and Learning Hypergraphs from Discrete Distributions.” Computational Statistics & Data Analysis. Elsevier, 2015. https://doi.org/10.1016/j.csda.2015.01.017.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2025 | OA
Kawada, Daiki, Hiromu Kobayashi, Tsuyoshi Tomita, Eisuke Nakata, Makoto Nagano, Daria E Siekhaus, Junko Toshima, and Jiro Toshimaa. “The Yeast Arf-GAP Glo3p Is Required for the Endocytic Recycling of Cell Surface Proteins.” Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier, 2015. https://doi.org/10.1016/j.bbamcr.2014.10.009.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 2030 | OA
Shi, Liang, Markus Rampp, Björn Hof, and Marc Avila. “A Hybrid MPI-OpenMP Parallel Implementation for Pseudospectral Simulations with Application to Taylor-Couette Flow.” Computers and Fluids. Elsevier, 2015. https://doi.org/10.1016/j.compfluid.2014.09.021.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2034 | OA
Bérard, Béatrice, Krishnendu Chatterjee, and Nathalie Sznajder. “Probabilistic Opacity for Markov Decision Processes.” Information Processing Letters. Elsevier, 2015. https://doi.org/10.1016/j.ipl.2014.09.001.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2035 | OA
Edelsbrunner, Herbert, Grzegorz Jablonski, and Marian Mrozek. “The Persistent Homology of a Self-Map.” Foundations of Computational Mathematics. Springer, 2015. https://doi.org/10.1007/s10208-014-9223-y.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 2085 | OA
Nam, Phan, and Robert Seiringer. “Collective Excitations of Bose Gases in the Mean-Field Regime.” Archive for Rational Mechanics and Analysis. Springer, 2015. https://doi.org/10.1007/s00205-014-0781-6.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2166 | OA
Erdös, László, and Antti Knowles. “The Altshuler-Shklovskii Formulas for Random Band Matrices I: The Unimodular Case.” Communications in Mathematical Physics. Springer, 2015. https://doi.org/10.1007/s00220-014-2119-5.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2271 | OA
Kolmogorov, Vladimir, Johan Thapper, and Stanislav Živný. “The Power of Linear Programming for General-Valued CSPs.” SIAM Journal on Computing. SIAM, 2015. https://doi.org/10.1137/130945648.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, Sergey, Isaac Mabillard, A. Skopenkov, and Uli Wagner. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” ArXiv, n.d.
View | Files available | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1729
Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-21668-3_11.
View | Files available | DOI
 
2015 | Thesis | IST-REx-ID: 1401 | OA
Sharmanska, Viktoriia. “Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views.” IST Austria, 2015. https://doi.org/10.15479/at:ista:1401.
View | Files available | DOI | Download Published Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1619 | OA
Chevereau, Guillaume, Marta Lukacisinova, Tugce Batur, Aysegul Guvenek, Dilay Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.” PLoS Biology. Public Library of Science, 2015. https://doi.org/10.1371/journal.pbio.1002299.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body Quantum Systems.” In Proceeding of the International Congress of Mathematicans, 3:1175–94. Kyung Moon SA, 2014.
View | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2852
Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi-Property Combiners for Hash Functions.” Journal of Cryptology. Springer, 2014. https://doi.org/10.1007/s00145-013-9148-7.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner, Herbert, and Dmitriy Morozovy. “Persistent Homology: Theory and Practice,” 31–50. European Mathematical Society Publishing House, 2014. https://doi.org/10.4171/120-1/3.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik, Gašper, Anandamohan Ghosh, Elad Schneidman, and Ronen Segev. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0085841.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 9458 | OA
Huff, Jason T., and Daniel ZILBERMAN. “Dnmt1-Independent CG Methylation Contributes to Nucleosome Positioning in Diverse Eukaryotes.” Cell. Elsevier, 2014. https://doi.org/10.1016/j.cell.2014.01.029.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 9479 | OA
Mérai, Zsuzsanna, Nina Chumak, Marcelina García-Aguilar, Tzung-Fu Hsieh, Toshiro Nishimura, Vera K. Schoft, János Bindics, et al. “The AAA-ATPase Molecular Chaperone Cdc48/P97 Disassembles Sumoylated Centromeres, Decondenses Heterochromatin, and Activates Ribosomal RNA Genes.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2014. https://doi.org/10.1073/pnas.1418564111.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 9519
Kim, M. Yvonne, and Daniel ZILBERMAN. “DNA Methylation as a System of Plant Genomic Immunity.” Trends in Plant Science. Elsevier, 2014. https://doi.org/10.1016/j.tplants.2014.01.014.
View | DOI | PubMed | Europe PMC
 
2014 | Book Chapter | IST-REx-ID: 6178
Smutny, Michael, Martin Behrndt, Pedro Campinho, Verena Ruprecht, and Carl-Philipp J Heisenberg. “UV Laser Ablation to Measure Cell and Tissue-Generated Forces in the Zebrafish Embryo in Vivo and Ex Vivo.” In Tissue Morphogenesis, edited by Celeste Nelson, 1189:219–35. Methods in Molecular Biology. New York, NY: Springer, 2014. https://doi.org/10.1007/978-1-4939-1164-6_15.
View | DOI | PubMed | Europe PMC
 
2014 | Book | IST-REx-ID: 6853
Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. SpringerBriefs in Mathematical Methods. Cham: Springer International Publishing, 2014. https://doi.org/10.1007/978-3-319-05957-0.
View | Files available | DOI
 
2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria, n.d.
View | Files available
 
2014 | Journal Article | IST-REx-ID: 468 | OA
Cimadom, Arno, Angel Ulloa, Patrick Meidl, Markus Zöttl, Elisabet Zöttl, Birgit Fessl, Erwin Nemeth, Michael Dvorak, Francesca Cunninghame, and Sabine Tebbich. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0107518.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 475 | OA
Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” In Electronic Proceedings in Theoretical Computer Science, EPTCS, 146:83–90. Open Publishing Association, 2014. https://doi.org/10.4204/EPTCS.146.11.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, Krishnendu, Monika Henzinger, Sebastian Krinninger, and Danupon Nanongkai. “Polynomial Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica. Springer, 2014. https://doi.org/10.1007/s00453-013-9843-7.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak, Roshan, Thomas Ezard, and Rebecca Hoyle. “Fitness Consequences of Maternal and Grandmaternal Effects.” Ecology and Evolution. Wiley-Blackwell, 2014. https://doi.org/10.1002/ece3.1150.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-148-v2-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v2-2.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v3-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-170-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-171-v1-1.
View | Files available | DOI
 

Search

Filter Publications