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.
10467 Publications
2017 | Published | Book Chapter | IST-REx-ID: 545 | 
Mazur, Ewa, and Jiří Friml. “Vascular Tissue Development and Regeneration in the Model Plant Arabidopsis.” In Plant Engineering, edited by Snježana Jurić, 113–40. Plant Engineering. InTech, 2017. https://doi.org/10.5772/intechopen.69712.
[Published Version]
View
| Files available
| DOI
2017 | Report | IST-REx-ID: 5450 |
Petritsch, Barbara. Implementing the Institutional Data Repository IST DataRep. IST Austria, 2017.
View
| Files available
| Download (ext.)
2017 | Published | Technical Report | IST-REx-ID: 5455 |
Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017. https://doi.org/10.15479/AT:IST-2017-870-v1-1.
[Published Version]
View
| Files available
| DOI
2017 | Published | Technical Report | IST-REx-ID: 5456 |
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 |
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 |
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 | Conference Paper | IST-REx-ID: 551 |
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 |
Chatterjee, Krishnendu, Monika 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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