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.
5485 Publications
2017 | Published | Journal Article | IST-REx-ID: 548 | 
De Martino D. 2017. Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. 96(6), 060401.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Conference Paper | IST-REx-ID: 549 |
Finkbeiner B, Kupriyanov A. 2017. Causality-based model checking. Electronic Proceedings in Theoretical Computer Science. CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies, EPTCS, vol. 259, 31–38.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Published | Conference Paper | IST-REx-ID: 551 |
Chatterjee K, Ibsen-Jensen R, Nowak M. 2017. Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 61.
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 552 |
Chatterjee K, Henzinger M, Svozil A. 2017. Faster algorithms for mean-payoff parity games. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 39.
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 553 |
Chatterjee K, Hansen K, Ibsen-Jensen R. 2017. Strategy complexity of concurrent safety games. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 55.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data | IST-REx-ID: 5559 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2017. Strong amplifiers of natural selection, Institute of Science and Technology Austria, 10.15479/AT:ISTA:51.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5560 |
Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkačik G, Guet CC. 2017. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity, Institute of Science and Technology Austria, 10.15479/AT:ISTA:53.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5561 |
Kainmueller D, Jug F, Rother C, Meyers G. 2017. Graph matching problems for annotating C. Elegans, Institute of Science and Technology Austria, 10.15479/AT:ISTA:57.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5562 |
Marre O, Tkačik G, Amodei D, Schneidman E, Bialek W, Berry M. 2017. Multi-electrode array recording from salamander retinal ganglion cells, Institute of Science and Technology Austria, 10.15479/AT:ISTA:61.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5563 |
Lukacisin M. 2017. MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:64.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5564 |
Steinrück M, Guet CC. 2017. Fastq files for ‘Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:65.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5565 |
von Wangenheim D, Hauschild R, Friml J. 2017. Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel, Institute of Science and Technology Austria, 10.15479/AT:ISTA:66.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5566 |
Hauschild R. 2017. Live tracking of moving samples in confocal microscopy for vertically grown roots, Institute of Science and Technology Austria, 10.15479/AT:ISTA:69.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5567 |
Leithner AF. 2017. Immunological synapse DC-Tcells, Institute of Science and Technology Austria, 10.15479/AT:ISTA:71.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5568 |
Hahn D. 2017. Source codes: Brittle fracture simulation with boundary elements for computer graphics, Institute of Science and Technology Austria, 10.15479/AT:ISTA:73.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 557 |
Nickells R, Schmitt H, Maes ME, Schlamp C. 2017. AAV2 mediated transduction of the mouse retina after optic nerve injury. Investigative Ophthalmology and Visual Science. 58(14), 6091–6104.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5570 |
Hauschild R. 2017. Forward migration indexes, Institute of Science and Technology Austria, 10.15479/AT:ISTA:75.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5571 |
Vicoso B. 2017. Data for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:78.
[Submitted Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5572 |
Vicoso B. 2017. Code for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:79 .
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 558
Futo M, Sell M, Kutzer M, Kurtz J. 2017. Specificity of oral immune priming in the red flour beetle Tribolium castaneum. Biology Letters. 13(12), 0632.
View
| DOI
| PubMed | Europe PMC