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.




6814 Publications

earlier version | 2017 | Published | Technical Report | IST-REx-ID: 5455 | OA
Chatterjee, Krishnendu, et al. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017, doi:10.15479/AT:IST-2017-870-v1-1.
[Published Version] View | Files available | DOI
 
earlier version | 2017 | Published | Technical Report | IST-REx-ID: 5456 | OA
Chalupa, Marek, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017, doi:10.15479/AT:IST-2017-872-v1-1.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 548 | OA
De Martino, Daniele. “Maximum Entropy Modeling of Metabolic Networks by Constraining Growth-Rate Moments Predicts Coexistence of Phenotypes.” Physical Review E, vol. 96, no. 6, 060401, American Physical Society, 2017, doi:10.1103/PhysRevE.96.060401.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 549 | OA
Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” Electronic Proceedings in Theoretical Computer Science, vol. 259, Open Publishing Association, 2017, pp. 31–38, doi:10.4204/EPTCS.259.3.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 550 | OA
Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.” Electronic Communications in Probability, vol. 22, 63, Institute of Mathematical Statistics, 2017, doi:10.1214/17-ECP97.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 551 | OA
Chatterjee, Krishnendu, et al. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.” Leibniz International Proceedings in Informatics, vol. 83, 61, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.61.
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee, Krishnendu, et al. “Faster Algorithms for Mean-Payoff Parity Games.” Leibniz International Proceedings in Informatics, vol. 83, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.39.
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 553 | OA
Chatterjee, Krishnendu, et al. “Strategy Complexity of Concurrent Safety Games.” Leibniz International Proceedings in Informatics, vol. 83, 55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.55.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2017 | Research Data | IST-REx-ID: 5559 | OA
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:51.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5560 | OA
Bergmiller, Tobias, et al. Biased Partitioning of the Multi-Drug Efflux Pump AcrAB-TolC Underlies Long-Lived Phenotypic Heterogeneity. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:53.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5561 | OA
Kainmueller, Dagmar, et al. Graph Matching Problems for Annotating C. Elegans. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:57.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5562 | OA
Marre, Olivier, et al. Multi-Electrode Array Recording from Salamander Retinal Ganglion Cells. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:61.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5563 | OA
Lukacisin, Martin. 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, 2017, doi:10.15479/AT:ISTA:64.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5564 | OA
Steinrück, Magdalena, and Calin C. Guet. Fastq Files for “Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.” Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:65.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5566 | OA
Hauschild, Robert. Live Tracking of Moving Samples in Confocal Microscopy for Vertically Grown Roots. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:69.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5567 | OA
Leithner, Alexander F. Immunological Synapse DC-Tcells. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:71.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5570 | OA
Hauschild, Robert. Forward Migration Indexes. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:75.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5571 | OA
Vicoso, Beatriz. 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, 2017, doi:10.15479/AT:ISTA:78.
[Submitted Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5572 | OA
Vicoso, Beatriz. 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, 2017, doi:10.15479/AT:ISTA:79 .
[Submitted Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 558
Futo, Momir, et al. “Specificity of Oral Immune Priming in the Red Flour Beetle Tribolium Castaneum.” Biology Letters, vol. 13, no. 12, 0632, The Royal Society, 2017, doi:10.1098/rsbl.2017.0632.
View | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed