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.
10590 Publications
2013 | Published | Conference Paper | IST-REx-ID: 2000 | 
Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Technical Report | IST-REx-ID: 5399 |
Reiter, Johannes, Ivana Bozic, Krishnendu Chatterjee, and Martin Nowak. TTP: Tool for Tumor Progression. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-104-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Research Data Reference | IST-REx-ID: 9749
Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0080814.s001.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2831 |
Chatterjee, Krishnendu, Monika Henzinger, Manas Joglekar, and Nisarg Shah. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” Formal Methods in System Design. Springer, 2013. https://doi.org/10.1007/s10703-012-0180-2.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2820
Chatterjee, Krishnendu, Alexander Kößler, and Ulrich Schmid. “Automated Analysis of Real-Time Scheduling Using Graph Games.” In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 163–72. ACM, 2013. https://doi.org/10.1145/2461328.2461356.
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2284 |
Tragust, Simon, Line V Ugelvig, Michel Chapuisat, Jürgen Heinze, and Sylvia Cremer. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.” BMC Evolutionary Biology. BioMed Central, 2013. https://doi.org/10.1186/1471-2148-13-225.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2926
Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2012.11.034.
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2843
Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.” In 17th IAPR International Conference on Discrete Geometry for Computer Imagery, 7749:XV–XIX. Springer, 2013. https://doi.org/10.1007/978-3-642-37067-0.
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 10897
Edelsbrunner, Herbert. “Persistent Homology in Image Processing.” In Graph-Based Representations in Pattern Recognition, 7877:182–83. LNCS. Berlin, Heidelberg: Springer Nature, 2013. https://doi.org/10.1007/978-3-642-38221-5_19.
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2812 |
Attali, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in R3.” In Proceedings of the 29th Annual Symposium on Computational Geometry, 117–25. ACM, 2013. https://doi.org/10.1145/2462356.2462373.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 13407
Chovnik, Olga, Renata Balgley, Joel R. Goldman, and Rafal Klajn. “Dynamically Self-Assembling Carriers Enable Guiding of Diamagnetic Particles by Weak Magnets.” Journal of the American Chemical Society. American Chemical Society, 2012. https://doi.org/10.1021/ja309633v.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 13408
Ridelman, Yonatan, Gurvinder Singh, Ronit Popovitz-Biro, Sharon G. Wolf, Sanjib Das, and Rafal Klajn. “Metallic Nanobowls by Galvanic Replacement Reaction on Heterodimeric Nanoparticles.” Small. Wiley, 2012. https://doi.org/10.1002/smll.201101882.
View
| DOI
| PubMed | Europe PMC
2012 | Published | Book Chapter | IST-REx-ID: 10896
Nedden, Stephanie zur, Alexander S. Doney, and Bruno G. Frenguelli. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” In Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., 109–29. New York: Springer, 2012. https://doi.org/10.1007/978-1-4614-3903-5_6.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani, Ahmed, Cezara Dragoi, Constantin Enea, and Mihaela Sighireanu. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.” In Automated Technology for Verification and Analysis, 7561:167–82. LNCS. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-33386-6_14.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov, Sergey, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, and Andrey Rybalchenko. “HSF(C): A Software Verifier Based on Horn Clauses.” In Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, 7214:549–51. LNCS. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-28756-5_46.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 11089
Gomez-Cavazos, J Sebastian, and Martin Hetzer. “Outfits for Different Occasions: Tissue-Specific Roles of Nuclear Envelope Proteins.” Current Opinion in Cell Biology. Elsevier, 2012. https://doi.org/10.1016/j.ceb.2012.08.008.
View
| DOI
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 11090 |
Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.” Cell. Elsevier, 2012. https://doi.org/10.1016/j.cell.2012.04.018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 11091
Vargas, Jesse D., Emily M. Hatch, Daniel J. Anderson, and Martin Hetzer. “Transient Nuclear Envelope Rupturing during Interphase in Human Cancer Cells.” Nucleus. Taylor & Francis, 2012. https://doi.org/10.4161/nucl.18954.
View
| DOI
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 11092
Savas, Jeffrey N., Brandon H. Toyama, Tao Xu, John R. Yates, and Martin Hetzer. “Extremely Long-Lived Nuclear Pore Proteins in the Rat Brain.” Science. American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1217421.
View
| DOI
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 11093 |
D’Angelo, Maximiliano A., J. Sebastian Gomez-Cavazos, Arianna Mei, Daniel H. Lackner, and Martin Hetzer. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.” Developmental Cell. Elsevier, 2012. https://doi.org/10.1016/j.devcel.2011.11.021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC