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.
7053 Publications
2017 |Published| Journal Article | IST-REx-ID: 515 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Letts, James A., and Leonid A. Sazanov. “Clarifying the Supercomplex: The Higher-Order Organization of the Mitochondrial Electron Transport Chain.” Nature Structural and Molecular Biology, vol. 24, no. 10, Nature Publishing Group, 2017, pp. 800–08, doi:10.1038/nsmb.3460.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 513 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Klotz, Lukasz, et al. “Couette-Poiseuille Flow Experiment with Zero Mean Advection Velocity: Subcritical Transition to Turbulence.” Physical Review Fluids, vol. 2, no. 4, 043904, American Physical Society, 2017, doi:10.1103/PhysRevFluids.2.043904.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2017 |Published| Journal Article | IST-REx-ID: 520
Du, Wei, et al. “Nonhierarchical Flux Regulation Exposes the Fitness Burden Associated with Lactate Production in Synechocystis Sp. PCC6803.” ACS Synthetic Biology, vol. 6, no. 3, American Chemical Society, 2017, pp. 395–401, doi:10.1021/acssynbio.6b00235.
View
| DOI
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 521 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.” Topology and Its Applications, vol. 215, Elsevier, 2017, pp. 45–57, doi:10.1016/j.topol.2016.10.005.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 525 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
von Wangenheim, Daniel, et al. “Plant Biology: Building Barriers… in Roots.” Current Biology, vol. 27, no. 5, Cell Press, 2017, pp. R172–74, doi:10.1016/j.cub.2017.01.060.
View
| Files available
| DOI
| Download (ext.)
2017 |Published| Journal Article | IST-REx-ID: 529
Gherghina, Florin, et al. “Effects of VPAC1 Activation in Nucleus Ambiguus Neurons.” Brain Research, vol. 1657, Elsevier, 2017, pp. 297–303, doi:10.1016/j.brainres.2016.12.026.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 534 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Burton, Benjamin, et al. “Finding Non-Orientable Surfaces in 3-Manifolds.” Discrete & Computational Geometry, vol. 58, no. 4, Springer, 2017, pp. 871–88, doi:10.1007/s00454-017-9900-0.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 538 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kainrath, Stephanie, et al. “Grünlicht-Induzierte Rezeptorinaktivierung Durch Cobalamin-Bindende Domänen.” Angewandte Chemie, vol. 129, no. 16, Wiley, 2017, pp. 4679–82, doi:10.1002/ange.201611998.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 540 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Khamina, Kseniya, et al. “Characterization of Host Proteins Interacting with the Lymphocytic Choriomeningitis Virus L Protein.” PLoS Pathogens, vol. 13, no. 12, e1006758, Public Library of Science, 2017, doi:10.1371/journal.ppat.1006758.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 466 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” Logical Methods in Computer Science, vol. 13, no. 2, 15, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(2:15)2017.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 467 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4, 31, ACM, 2017, doi:10.1145/3152769.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 465 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 512 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis, Andreas, et al. “Amplification on Undirected Population Structures: Comets Beat Stars.” Scientific Reports, vol. 7, no. 1, 82, Nature Publishing Group, 2017, doi:10.1038/s41598-017-00107-w.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 10416 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 30, Association for Computing Machinery, 2017, doi:10.1145/3158118.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 |Published| Technical Report | IST-REx-ID: 5455 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
2017 | Report | IST-REx-ID: 5450 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Petritsch, Barbara. Implementing the Institutional Data Repository IST DataRep. IST Austria, 2017.
View
| Files available
| Download (ext.)
2017 |Published| Journal Article | IST-REx-ID: 10417 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa, Marek, et al. “Data-Centric Dynamic Partial Order Reduction.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 31, Association for Computing Machinery, 2017, doi:10.1145/3158119.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2017 |Published| Technical Report | IST-REx-ID: 5456 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Conference Paper | IST-REx-ID: 551 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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