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, K., Doyen, L., & Henzinger, T. A. (2009). Expressiveness and closure properties for quantitative languages (pp. 199–208). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2009.16
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 | 
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. 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, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4543
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Stochastic games with finitary objectives (Vol. 5734, pp. 34–54). Presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia: Springer. https://doi.org/10.1007/978-3-642-03816-7_4
View
| DOI
2009 | Published | Book Chapter | IST-REx-ID: 4137
Bridle, J., Polechova, J., & Vines, T. (2009). Limits to adaptation and patterns of biodiversity. In J. R. R. K. Butlin, J. Bridle, & D. Schluter (Eds.), Speciation and Patterns of Diversity (pp. 77–101). Cambridge University Press. https://doi.org/10.1017/CBO9780511815683.007
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4385
Dragojevic, A., Guerraoui, R., Singh, A., & Singh, V. (2009). Preventing versus curing: Avoiding conflicts in transactional memories. In Proceedings of the 28th ACM symposium on Principles of distributed computing (pp. 7–16). Calgary, Canada: ACM. https://doi.org/10.1145/1582716.1582725
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4360
Wies, T., Piskac, R., & Kuncak, V. (2009). Combining theories with shared set operations. In 7th International Symposium on Frontiers of Combining Systems (Vol. 5749, pp. 366–382). Trento, Italy: Springer. https://doi.org/10.1007/978-3-642-04222-5_23
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4377
Hoenicke, J., Leino, K. R., Podelski, A., Schäf, M., & Wies, T. (2009). It’s doomed; we can prove it. In Second World Congress on Formal Methods (Vol. 5850, pp. 338–353). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-642-05089-3_22
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur, R., Cerny, P., & Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer. 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, R., Chaudhuri, S., & Cerny, P. (2009). Parallel programming with object assemblies. ACM SIGPLAN Notices. ACM. https://doi.org/10.1145/1639949.164009
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4391
Cerny, P., & Alur, R. (2009). Automated analysis of Java methods for confidentiality. In 21st International Conference on Computer Aided Verification (Vol. 5643, pp. 173–187). Springer. https://doi.org/10.1007/978-3-642-02658-4_16
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir, M., Podelski, A., & Wies, T. (2009). Abstraction refinement for quantified array assertions. In 16th International Symposium on Static Analysis (Vol. 5673, pp. 3–18). Los Angeles, CA, United States: Springer. https://doi.org/10.1007/978-3-642-03237-0_3
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4375
Lahiri, S., Qadeer, S., Galeotti, J., Voung, J., & Wies, T. (2009). Intra-module inference. In 21st International Conference on Computer Aided Verification (Vol. 5643, pp. 493–508). Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_37
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3768
Kupczok, A., & Von Haeseler, A. (2009). Comment on “A congruence index for testing topological similarity between trees.” Bioinformatics. Oxford University Press. https://doi.org/10.1093/bioinformatics/btn539
View
| DOI
2009 | Published | Thesis | IST-REx-ID: 4232
de Vladar, H. (2009). Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen.
View
2008 | Published | Journal Article | IST-REx-ID: 13422
Wei, Y., Klajn, R., Pinchuk, A. O., & Grzybowski, B. A. (2008). Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers.” Small. Wiley. https://doi.org/10.1002/smll.200800511
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 13423
Klajn, R., Gray, T. P., Wesson, P. J., Myers, B. D., Dravid, V. P., Smoukov, S. K., & Grzybowski, B. A. (2008). Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates. Advanced Functional Materials. Wiley. https://doi.org/10.1002/adfm.200800293
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1460 |
Hausel, T., & Rodríguez Villegas, F. (2008). Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-008-0142-x
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 11109
Kutay, U., & Hetzer, M. (2008). Reorganization of the nuclear envelope during open mitosis. Current Opinion in Cell Biology. Elsevier. 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, M. A., & Hetzer, M. (2008). Structure, dynamics and function of nuclear pore complexes. Trends in Cell Biology. Elsevier. https://doi.org/10.1016/j.tcb.2008.07.009
View
| DOI
| PubMed | Europe PMC