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.

4188 Publications


2010 | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. https://doi.org/10.15479/AT:IST-2010-0004
[Published Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances. IST Austria. https://doi.org/10.15479/AT:IST-2010-0003
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_41
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_57
[Submitted Version] View | Files available | DOI | arXiv
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
[Published Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Qualitative analysis of partially-observable Markov Decision Processes (Vol. 6281, pp. 258–269). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-15155-2_24
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., & Coen, E. (2010). Cryptic variation between species and the basis of hybrid performance. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000429
[Published Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Chatterjee, K., & Majumdar, R. (2010). Discounting in games across time scales (Vol. 25, pp. 22–29). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS. https://doi.org/10.4204/EPTCS.25.6
[Published Version] View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies, T., Zufferey, D., & Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12032-9_8
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison, A., Barton, N. H., & Clarke, B. (2009). 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. Wiley. https://doi.org/10.1111/j.1420-9101.2009.01770.x
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/10.1007/978-3-642-04420-5_2
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1614431.1614432
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, J., Barton, N. H., & Marion, G. (2009). Species’ range: Adaptation in space and time. American Naturalist. University of Chicago Press. https://doi.org/10.1086/605958
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.2009.00622.x
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton, N. H., & Coe, J. (2009). On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2009.03.019
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications