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.

11116 Publications


2009 | Published | Conference Paper | IST-REx-ID: 4543
K. Chatterjee, T. A. Henzinger, and F. Horn, “Stochastic games with finitary objectives,” presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia, 2009, vol. 5734, pp. 34–54.
View | DOI
 

2009 | Published | Book Chapter | IST-REx-ID: 4137
J. Bridle, J. Polechova, and T. Vines, “Limits to adaptation and patterns of biodiversity,” in Speciation and Patterns of Diversity, J. R. R. K. Butlin, J. Bridle, and D. Schluter, Eds. Cambridge University Press, 2009, pp. 77–101.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4385
A. Dragojevic, R. Guerraoui, A. Singh, and V. Singh, “Preventing versus curing: Avoiding conflicts in transactional memories,” in Proceedings of the 28th ACM symposium on Principles of distributed computing, Calgary, Canada, 2009, pp. 7–16.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4360
T. Wies, R. Piskac, and V. Kuncak, “Combining theories with shared set operations,” in 7th International Symposium on Frontiers of Combining Systems, Trento, Italy, 2009, vol. 5749, pp. 366–382.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4377
J. Hoenicke, K. R. Leino, A. Podelski, M. Schäf, and T. Wies, “It’s doomed; we can prove it,” in Second World Congress on Formal Methods, Eindhoven, The Netherlands, 2009, vol. 5850, pp. 338–353.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4376
R. Lublinerman, S. Chaudhuri, and P. Cerny, “Parallel programming with object assemblies,” ACM SIGPLAN Notices, vol. 44, no. 10. ACM, pp. 61–80, 2009.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4391
P. Cerny and R. Alur, “Automated analysis of Java methods for confidentiality,” in 21st International Conference on Computer Aided Verification, 2009, vol. 5643, pp. 173–187.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4365
M. Seghir, A. Podelski, and T. Wies, “Abstraction refinement for quantified array assertions,” in 16th International Symposium on Static Analysis, Los Angeles, CA, United States, 2009, vol. 5673, pp. 3–18.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4375
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, and T. Wies, “Intra-module inference,” in 21st International Conference on Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 493–508.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3768
A. Kupczok and A. Von Haeseler, “Comment on ‘A congruence index for testing topological similarity between trees,’” Bioinformatics, vol. 25, no. 1. Oxford University Press, pp. 147–149, 2009.
View | DOI
 

2009 | Published | Thesis | IST-REx-ID: 4232
H. de Vladar, “Stochasticity and Variability in the dynamics and genetics of populations,” Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
 

2009 | Published | Conference Paper | IST-REx-ID: 3711 | OA
P. Dhillon, S. Nowozin, and C. Lampert, “Combining appearance and motion for human action classification in videos,” presented at the CVPR: Computer Vision and Pattern Recognition, 2009, pp. 22–29.
View | DOI | Download None (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3841 | OA
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4535
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” presented at the CMSB: Computational Methods in Systems Biology, 2009, vol. 5688, pp. 173–188.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4540
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” presented at the LICS: Logic in Computer Science, 2009, pp. 199–208.
View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3870 | OA
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 3780 | OA
A. Davison, N. H. Barton, and B. Clarke, “The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails,” Journal of Evolutionary Biology, vol. 22, no. 8. Wiley, pp. 1624–1635, 2009.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 4242 | OA
N. H. Barton and M. De Cara, “The evolution of strong reproductive isolation,” Evolution; International Journal of Organic Evolution, vol. 63, no. 5. Wiley, pp. 1171–1190, 2009.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 3843 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.
[Submitted Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed