Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

8919 Publications


2017 | Published | Technical Report | IST-REx-ID: 5456 | OA
Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017. https://doi.org/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. American Physical Society, 2017. https://doi.org/10.1103/PhysRevE.96.060401.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 549 | OA
Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” In Electronic Proceedings in Theoretical Computer Science, 259:31–38. Open Publishing Association, 2017. https://doi.org/10.4204/EPTCS.259.3.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

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. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-ECP97.
[Published Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 551 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.61.
[Published Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee, Krishnendu, Monika H Henzinger, and Alexander Svozil. “Faster Algorithms for Mean-Payoff Parity Games.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.39.
[Published Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 553 | OA
Chatterjee, Krishnendu, Kristofer Hansen, and Rasmus Ibsen-Jensen. “Strategy Complexity of Concurrent Safety Games.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.55.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data | IST-REx-ID: 5559 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak . “Strong Amplifiers of Natural Selection.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:51.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5560 | OA
Bergmiller, Tobias, Anna M Andersson, Kathrin Tomasek, Enrique Balleza, Daniel Kiviet, Robert Hauschild, Gašper Tkačik, and Calin C Guet. “Biased Partitioning of the Multi-Drug Efflux Pump AcrAB-TolC Underlies Long-Lived Phenotypic Heterogeneity.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:53.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5561 | OA
Kainmueller, Dagmar, Florian Jug, Carsten Rother, and Gene Meyers. “Graph Matching Problems for Annotating C. Elegans.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:57.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5562 | OA
Marre, Olivier, Gašper Tkačik, Dario Amodei, Elad Schneidman, William Bialek, and Michael Berry. “Multi-Electrode Array Recording from Salamander Retinal Ganglion Cells.” Institute of Science and Technology Austria, 2017. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:65.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5565 | OA
Wangenheim, Daniel von, Robert Hauschild, and Jiří Friml. “Light Sheet Fluorescence Microscopy of Plant Roots Growing on the Surface of a Gel.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:66.
[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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:71.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5568 | OA
Hahn, David. “Source Codes: Brittle Fracture Simulation with Boundary Elements for Computer Graphics.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:73.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 557 | OA
Nickells, Robert, Heather Schmitt, Margaret E Maes, and Cassandra Schlamp. “AAV2 Mediated Transduction of the Mouse Retina after Optic Nerve Injury.” Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology, 2017. https://doi.org/10.1167/iovs.17-22634.
[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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:78.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed