ISTA Research Explorer

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.

8924 Publications

Search / Filter

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

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: 4395

S. Burckhardt, M. Musuvathi, and V. Singh, “Verifying local transformations on relaxed memory models,” presented at the CC: Compiler Construction, Pahos, Cyprus, 2010, vol. 6011, pp. 104–123.

View | 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

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

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.)

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

2009 | Published | Journal Article | IST-REx-ID: 12654 |

M. Carenzo, F. Pellicciotti, S. Rimkus, and P. Burlando, “Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model,” Journal of Glaciology, vol. 55, no. 190. Cambridge University Press, pp. 258–274, 2009.

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

2009 | Published | Journal Article | IST-REx-ID: 12655 |

F. Pellicciotti, M. Carenzo, J. Helbing, S. Rimkus, and P. Burlando, “On the role of subsurface heat conduction in glacier energy-balance modelling,” Annals of Glaciology, vol. 50, no. 50. International Glaciological Society, pp. 16–24, 2009.

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

2009 | Published | Journal Article | IST-REx-ID: 1302

S. Raghu, M. A. Jösch, S. Sigrist, A. Borst, and D. Reiff, “Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors,” Journal of Neurogenetics, vol. 23, no. 1–2. Informa Healthcare, pp. 200–209, 2009.

View | DOI

2009 | Published | Journal Article | IST-REx-ID: 8474

P. Schanda, M. Huber, R. Verel, M. Ernst, and B. Meier, “Direct detection of 3hJN’ hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy,” Angewandte Chemie International Edition, vol. 48, no. 49. Wiley, pp. 9322–9325, 2009.

View | DOI

2009 | Published | Journal Article | IST-REx-ID: 8475

P. Schanda, “Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy,” Progress in Nuclear Magnetic Resonance Spectroscopy, vol. 55, no. 3. Elsevier, pp. 238–265, 2009.

View | DOI

2009 | Published | Journal Article | IST-REx-ID: 8476

J. Farjon, J. Boisbouvier, P. Schanda, A. Pardi, J.-P. Simorre, and B. Brutscher, “Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution,” Journal of the American Chemical Society, vol. 131, no. 24. American Chemical Society, pp. 8571–8577, 2009.

View | DOI