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.
10718 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4540
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages,” 199–208. IEEE, 2009. https://doi.org/10.1109/LICS.2009.16.
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 | 
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. https://doi.org/10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5393 |
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0003.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,” 5734:34–54. Springer, 2009. https://doi.org/10.1007/978-3-642-03816-7_4.
View
| DOI
2009 | Published | Book Chapter | IST-REx-ID: 4137
Bridle, Jon, Jitka Polechova, and Timothy Vines. “Limits to Adaptation and Patterns of Biodiversity.” In Speciation and Patterns of Diversity, edited by J.R. R. K. Butlin, Jon Bridle, and D. Schluter, 77–101. Cambridge University Press, 2009. https://doi.org/10.1017/CBO9780511815683.007.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4385
Dragojevic, Aleksandar, Rachid Guerraoui, Anmol Singh, and Vasu Singh. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories.” In Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, 7–16. ACM, 2009. https://doi.org/10.1145/1582716.1582725.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4360
Wies, Thomas, Ruzica Piskac, and Viktor Kuncak. “Combining Theories with Shared Set Operations.” In 7th International Symposium on Frontiers of Combining Systems, 5749:366–82. Springer, 2009. https://doi.org/10.1007/978-3-642-04222-5_23.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4377
Hoenicke, Jochen, K Rustan Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “It’s Doomed; We Can Prove It.” In Second World Congress on Formal Methods, 5850:338–53. Springer, 2009. https://doi.org/10.1007/978-3-642-05089-3_22.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. https://doi.org/10.1007/978-3-642-04027-6_9.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 4376
Lublinerman, Roberto, Swarat Chaudhuri, and Pavol Cerny. “Parallel Programming with Object Assemblies.” ACM SIGPLAN Notices. ACM, 2009. https://doi.org/10.1145/1639949.164009.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4391
Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality.” In 21st International Conference on Computer Aided Verification, 5643:173–87. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_16.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir, Mohamed, Andreas Podelski, and Thomas Wies. “Abstraction Refinement for Quantified Array Assertions.” In 16th International Symposium on Static Analysis, 5673:3–18. Springer, 2009. https://doi.org/10.1007/978-3-642-03237-0_3.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4375
Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference.” In 21st International Conference on Computer Aided Verification, 5643:493–508. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_37.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3768
Kupczok, Anne, and Arndt Von Haeseler. “Comment on ‘A Congruence Index for Testing Topological Similarity between Trees.’” Bioinformatics. Oxford University Press, 2009. https://doi.org/10.1093/bioinformatics/btn539.
View
| DOI
2009 | Published | Thesis | IST-REx-ID: 4232
Vladar, Harold de. “Stochasticity and Variability in the Dynamics and Genetics of Populations.” Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
2008 | Published | Journal Article | IST-REx-ID: 13422
Wei, Yanhu, Rafal Klajn, Anatoliy O. Pinchuk, and Bartosz A. Grzybowski. “Synthesis, Shape Control, and Optical Properties of Hybrid Au/Fe3O4 ‘Nanoflowers.’” Small. Wiley, 2008. https://doi.org/10.1002/smll.200800511.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 13423
Klajn, Rafal, Timothy P. Gray, Paul J. Wesson, Benjamin D. Myers, Vinayak P. Dravid, Stoyan K. Smoukov, and Bartosz A. Grzybowski. “Bulk Synthesis and Surface Patterning of Nanoporous Metals and Alloys from Supraspherical Nanoparticle Aggregates.” Advanced Functional Materials. Wiley, 2008. https://doi.org/10.1002/adfm.200800293.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1460 |
Hausel, Tamás, and Fernando Rodríguez Villegas. “Mixed Hodge Polynomials of Character Varieties: With an Appendix by Nicholas M. Katz.” Inventiones Mathematicae. Springer, 2008. https://doi.org/10.1007/s00222-008-0142-x.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 11109
Kutay, Ulrike, and Martin Hetzer. “Reorganization of the Nuclear Envelope during Open Mitosis.” Current Opinion in Cell Biology. Elsevier, 2008. https://doi.org/10.1016/j.ceb.2008.09.010.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11110
D’Angelo, Maximiliano A., and Martin Hetzer. “Structure, Dynamics and Function of Nuclear Pore Complexes.” Trends in Cell Biology. Elsevier, 2008. https://doi.org/10.1016/j.tcb.2008.07.009.
View
| DOI
| PubMed | Europe PMC