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.
7047 Publications
2013 |Published| Journal Article | IST-REx-ID: 2816 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Božić, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2000 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 2445 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2926
Tragust, Simon, et al. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology, vol. 23, no. 1, Cell Press, 2013, pp. 76–82, doi:10.1016/j.cub.2012.11.034.
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2305 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 2820
Chatterjee, Krishnendu, et al. “Automated Analysis of Real-Time Scheduling Using Graph Games.” Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–72, doi:10.1145/2461328.2461356.
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2272 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” ICML’13 Proceedings of the 30th International Conference on International, vol. 28, no. 3, ML Research Press, 2013, pp. 145–53.
[Submitted Version]
View
| Files available
| Download Submitted Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2448 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior, vol. 8, no. 10, e25688, Taylor & Francis, 2013, doi:10.4161/psb.25688.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 2853 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Refardt, Dominik, et al. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1759, The Royal Society, 2013, doi:10.1098/rspb.2012.3035.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Research Data Reference | IST-REx-ID: 9751 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Refardt, Dominik, et al. Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection. Dryad, 2013, doi:10.5061/dryad.b1q2n.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |Published| Report | IST-REx-ID: 2274 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dziembowski, Stefan, et al. Proofs of Space. IST Austria, 2013.
[Published Version]
View
| Files available
2012 |Published| Journal Article | IST-REx-ID: 1055
Erne, Barbara, et al. “Bulla in the Lung.” The Lancet, vol. 380, no. 9849, Elsevier, 2012, doi:10.1016/S0140-6736(12)60690-4.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 1056 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mark, Manfred, et al. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.” Physical Review Letters, vol. 108, no. 21, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.215302.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Book Chapter | IST-REx-ID: 10896
zur Nedden, Stephanie, et al. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., Springer, 2012, pp. 109–29, doi:10.1007/978-1-4614-3903-5_6.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 113
Waitukaitis, Scott R., and Heinrich Jaeger. “Impact-Activated Solidification of Dense Suspensions via Dynamic Jamming Fronts.” Nature, vol. 487, no. 7406, Nature Publishing Group, 2012, pp. 205–09, doi:10.1038/nature11187.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 114 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Waitukaitis, Scott R., and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” Revista Cubana de Fisica, vol. 29, no. 1E, Universidad de La Habana, 2012, p. 1E31-1E33.
[Published Version]
View
| Files available
2012 |Published| Conference Paper | IST-REx-ID: 1384 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Journal Article | IST-REx-ID: 1472 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics, vol. 175, no. 3, Princeton University Press, 2012, pp. 1329–407, doi:10.4007/annals.2012.175.3.7.
View
| DOI
| Download (ext.)
2012 |Published| Journal Article | IST-REx-ID: 1471 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology, vol. 16, no. 3, University of Warwick, 2012, pp. 1609–38, doi:10.2140/gt.2012.16.1609.
View
| DOI
| Download (ext.)
2012 |Published| Journal Article | IST-REx-ID: 171 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Browning, Timothy D., and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik, vol. 2013, no. 680, Walter de Gruyter, 2012, pp. 1–65, doi:https://doi.org/10.1515/crelle.2012.039.
View
| DOI
| Download (ext.)