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 |

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software , 1–8.

[Submitted Version] View | Files available | DOI

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

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. FlexPRICE: Flexible provisioning of resources in a cloud environment. CLOUD: Cloud Computing, 83–90.

[Submitted Version] View | Files available | DOI

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

Guerraoui R, Henzinger TA, Kapalka M, Singh V. 2010. Transactions in the jungle. SPAA: ACM Symposium on Parallel Algorithms and Architectures, 263–272.

[Submitted Version] View | Files available | DOI

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

Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.

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

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

Doyen L, Henzinger TA, Legay A, Nickovic D. 2010. Robustness of sequential circuits. ACSD: Application of Concurrency to System Design, 77–84.

[Submitted Version] View | Files available | DOI

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

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.

[Submitted Version] View | Files available | DOI

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

Cerny P, Henzinger TA, Radhakrishna A. 2010.Quantitative Simulation Games. In: Time For Verification: Essays in Memory of Amir Pnueli. LNCS, vol. 6200, 42–60.

View | DOI

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

Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.

[Submitted Version] View | Files available | DOI

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

Burckhardt S, Musuvathi M, Singh V. 2010. Verifying local transformations on relaxed memory models. CC: Compiler Construction, LNCS, vol. 6011, 104–123.

View | DOI

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

Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.

[Submitted Version] View | Files available | DOI

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

Barton NH, Kelleher J, Etheridge A. 2010. A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. 64(9), 2701–2715.

View | DOI

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

Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 1–12.

[Published Version] View | Files available | DOI

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

Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.

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

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

Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. 2010. Doomed program points. Formal Methods in System Design. 37(2–3), 171–199.

View | DOI

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

Carenzo M, Pellicciotti F, Rimkus S, Burlando P. 2009. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 55(190), 258–274.

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

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

Pellicciotti F, Carenzo M, Helbing J, Rimkus S, Burlando P. 2009. On the role of subsurface heat conduction in glacier energy-balance modelling. Annals of Glaciology. 50(50), 16–24.

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

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

Raghu S, Jösch MA, Sigrist S, Borst A, Reiff D. 2009. Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors. Journal of Neurogenetics. 23(1–2), 200–209.

View | DOI

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

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

View | DOI

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

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

View | DOI

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

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

View | DOI