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 TA. Expressiveness and closure properties for quantitative languages. In: IEEE; 2009:199-208. doi:10.1109/LICS.2009.16
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 | 
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009: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 K, Henzinger TA, Jobstmann B, Radhakrishna A. 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 K, Henzinger TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi:10.1007/978-3-642-03816-7_4
View
| DOI
2009 | Published | Book Chapter | IST-REx-ID: 4137
Bridle J, Polechova J, Vines T. Limits to adaptation and patterns of biodiversity. In: R. K. Butlin JR, Bridle J, Schluter D, eds. Speciation and Patterns of Diversity. Cambridge University Press; 2009:77-101. doi:10.1017/CBO9780511815683.007
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4385
Dragojevic A, Guerraoui R, Singh A, Singh V. Preventing versus curing: Avoiding conflicts in transactional memories. In: Proceedings of the 28th ACM Symposium on Principles of Distributed Computing. ACM; 2009:7-16. doi:10.1145/1582716.1582725
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4360
Wies T, Piskac R, Kuncak V. Combining theories with shared set operations. In: 7th International Symposium on Frontiers of Combining Systems. Vol 5749. Springer; 2009:366-382. doi:10.1007/978-3-642-04222-5_23
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4377
Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. It’s doomed; we can prove it. In: Second World Congress on Formal Methods. Vol 5850. Springer; 2009:338-353. doi:10.1007/978-3-642-05089-3_22
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009: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 R, Chaudhuri S, Cerny P. Parallel programming with object assemblies. ACM SIGPLAN Notices. 2009;44(10):61-80. doi:10.1145/1639949.164009
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4391
Cerny P, Alur R. Automated analysis of Java methods for confidentiality. In: 21st International Conference on Computer Aided Verification. Vol 5643. Springer; 2009:173-187. doi:10.1007/978-3-642-02658-4_16
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir M, Podelski A, Wies T. Abstraction refinement for quantified array assertions. In: 16th International Symposium on Static Analysis. Vol 5673. Springer; 2009:3-18. doi: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. Intra-module inference. In: 21st International Conference on Computer Aided Verification. Vol 5643. Springer; 2009:493-508. doi:10.1007/978-3-642-02658-4_37
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3768
Kupczok A, Von Haeseler A. Comment on “A congruence index for testing topological similarity between trees.” Bioinformatics. 2009;25(1):147-149. doi:10.1093/bioinformatics/btn539
View
| DOI
2009 | Published | Thesis | IST-REx-ID: 4232
de Vladar H. Stochasticity and Variability in the dynamics and genetics of populations. 2009.
View
2008 | Published | Journal Article | IST-REx-ID: 13422
Wei Y, Klajn R, Pinchuk AO, Grzybowski BA. Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers.” Small. 2008;4(10):1635-1639. doi:10.1002/smll.200800511
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 13423
Klajn R, Gray TP, Wesson PJ, et al. Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates. Advanced Functional Materials. 2008;18(18):2763-2769. doi:10.1002/adfm.200800293
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1460 |
Hausel T, Rodríguez Villegas F. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 2008;174(3):555-624. doi:10.1007/s00222-008-0142-x
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 11109
Kutay U, Hetzer M. Reorganization of the nuclear envelope during open mitosis. Current Opinion in Cell Biology. 2008;20(6):669-677. doi:10.1016/j.ceb.2008.09.010
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11110
D’Angelo MA, Hetzer M. Structure, dynamics and function of nuclear pore complexes. Trends in Cell Biology. 2008;18(10):456-466. doi:10.1016/j.tcb.2008.07.009
View
| DOI
| PubMed | Europe PMC