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.
7011 Publications
2013 |Published| Conference Paper | IST-REx-ID: 2000 | 
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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.)
2012 |Published| Journal Article | IST-REx-ID: 1725
Kicheva, Anna, et al. “Developmental Pattern Formation: Insights from Physics and Biology.” Science, vol. 338, no. 6104, American Association for the Advancement of Science, 2012, pp. 210–12, doi:10.1126/science.1225182.
View
| DOI