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.
10717 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4542 | 
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5393 |
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View
| DOI
2009 | Published | Book Chapter | IST-REx-ID: 4137
Bridle, Jon, et al. “Limits to Adaptation and Patterns of Biodiversity.” Speciation and Patterns of Diversity, edited by J.R. R. K. Butlin et al., Cambridge University Press, 2009, pp. 77–101, doi:10.1017/CBO9780511815683.007.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4385
Dragojevic, Aleksandar, et al. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories.” Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, ACM, 2009, pp. 7–16, doi:10.1145/1582716.1582725.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4360
Wies, Thomas, et al. “Combining Theories with Shared Set Operations.” 7th International Symposium on Frontiers of Combining Systems, vol. 5749, Springer, 2009, pp. 366–82, doi:10.1007/978-3-642-04222-5_23.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4377
Hoenicke, Jochen, et al. “It’s Doomed; We Can Prove It.” Second World Congress on Formal Methods, vol. 5850, Springer, 2009, pp. 338–53, doi:10.1007/978-3-642-05089-3_22.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi: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, et al. “Parallel Programming with Object Assemblies.” ACM SIGPLAN Notices, vol. 44, no. 10, ACM, 2009, pp. 61–80, doi: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.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 173–87, doi:10.1007/978-3-642-02658-4_16.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir, Mohamed, et al. “Abstraction Refinement for Quantified Array Assertions.” 16th International Symposium on Static Analysis, vol. 5673, Springer, 2009, pp. 3–18, doi:10.1007/978-3-642-03237-0_3.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4375
Lahiri, Shuvendu, et al. “Intra-Module Inference.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 493–508, doi:10.1007/978-3-642-02658-4_37.
View
| DOI
2009 | Published | Thesis | IST-REx-ID: 4232
de Vladar, Harold. Stochasticity and Variability in the Dynamics and Genetics of Populations. Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
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, vol. 25, no. 1, Oxford University Press, 2009, pp. 147–49, doi:10.1093/bioinformatics/btn539.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 13422
Wei, Yanhu, et al. “Synthesis, Shape Control, and Optical Properties of Hybrid Au/Fe3O4 ‘Nanoflowers.’” Small, vol. 4, no. 10, Wiley, 2008, pp. 1635–39, doi:10.1002/smll.200800511.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 13423
Klajn, Rafal, et al. “Bulk Synthesis and Surface Patterning of Nanoporous Metals and Alloys from Supraspherical Nanoparticle Aggregates.” Advanced Functional Materials, vol. 18, no. 18, Wiley, 2008, pp. 2763–69, doi: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, vol. 174, no. 3, Springer, 2008, pp. 555–624, doi: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, vol. 20, no. 6, Elsevier, 2008, pp. 669–77, doi: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, vol. 18, no. 10, Elsevier, 2008, pp. 456–66, doi:10.1016/j.tcb.2008.07.009.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11111
Anderson, Daniel J., and Martin Hetzer. “Reshaping of the Endoplasmic Reticulum Limits the Rate for Nuclear Envelope Formation.” Journal of Cell Biology, vol. 182, no. 5, Rockefeller University Press, 2008, pp. 911–24, doi:10.1083/jcb.200805140.
View
| DOI
| PubMed | Europe PMC