ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6608 Publications

Search / Filter

2010 | Published | Conference Paper | IST-REx-ID: 4378 |

V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2010 | Published | Conference Paper | IST-REx-ID: 4380 |

T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4381 |

T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4382 |

R. Guerraoui, T. A. Henzinger, M. Kapalka, and V. Singh, “Transactions in the jungle,” presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece, 2010, pp. 263–272.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4388 |

K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.

[Submitted Version] View | Files available | DOI | arXiv

2010 | Published | Conference Paper | IST-REx-ID: 4389 |

L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4390 |

P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.

[Submitted Version] View | Files available | DOI

2010 | Published | Book Chapter | IST-REx-ID: 4392

P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative Simulation Games,” in Time For Verification: Essays in Memory of Amir Pnueli, vol. 6200, Z. Manna and D. Peled, Eds. Springer, 2010, pp. 42–60.

View | DOI

earlier version | 2010 | Published | Conference Paper | IST-REx-ID: 4393 |

P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4396 |

D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.

[Submitted Version] View | Files available | DOI

2010 | Published | Journal Article | IST-REx-ID: 474

N. H. Barton, J. Kelleher, and A. Etheridge, “A new model for extinction and recolonization in two dimensions: Quantifying phylogeography,” Evolution, vol. 64, no. 9. Wiley-Blackwell, pp. 2701–2715, 2010.

View | DOI | WoS

2010 | Published | Conference Paper | IST-REx-ID: 488 |

R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 1–12.

[Published Version] View | Files available | DOI | WoS

2010 | Published | Conference Paper | IST-REx-ID: 489 |

J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies?,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2010 | Published | Journal Article | IST-REx-ID: 533

J. Hoenicke, K. Leino, A. Podelski, M. Schäf, and T. Wies, “Doomed program points,” Formal Methods in System Design, vol. 37, no. 2–3. Springer, pp. 171–199, 2010.

View | DOI | WoS

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5388 |

K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.

[Published Version] View | Files available | DOI

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5389 |

P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.

[Published Version] View | Files available | DOI

2010 | Published | Technical Report | IST-REx-ID: 5390 |

K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.

[Published Version] View | Files available | DOI

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5391 |

P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.

[Published Version] View | Files available | DOI

2010 | Published | Journal Article | IST-REx-ID: 3303 |

D. Weissman, M. Feldman, and D. Fisher, “The rate of fitness-valley crossing in sexual populations,” Genetics, vol. 186, no. 4. Genetics Society of America, pp. 1389–1410, 2010.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2010 | Published | Journal Article | IST-REx-ID: 3604

H. Senn, S. Goodman, G. Swanson, N. H. Barton, and J. Pemberton, “Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland,” Molecular Ecology, vol. 19, no. 5. Wiley-Blackwell, pp. 910–924, 2010.

View | DOI | WoS