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.

11357 Publications

Search / Filter

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

2009 | Published | Conference Paper | IST-REx-ID: 11752

X. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” in Journal of Physics: Conference Series, Karlsruhe, Germany, 2009, vol. 200, no. 3.

View | Files available | DOI

2009 | Published | Conference Paper | IST-REx-ID: 11799

P. Dütting, M. Henzinger, and I. Weber, “Bidder optimal assignments for general utilities,” in 5th International Workshop on Internet and Network Economics, Rome, Italy, 2009, vol. 5929, pp. 575–582.

View | Files available | DOI

2009 | Published | Conference Paper | IST-REx-ID: 11905

E. Baykan, M. Henzinger, L. Marian, and I. Weber, “Purely URL-based topic classification,” in 18th International World Wide Web Conference, New York, NY, United States, 2009, pp. 1109–1110.

View | DOI

2009 | Published | Conference Paper | IST-REx-ID: 11906

O. Abdel Hamid, B. Behzadi, S. Christoph, and M. Henzinger, “Detecting the origin of text segments efficiently,” in 18th International World Wide Web Conference, Madrid, Spain, 2009, pp. 61–70.

View | DOI

2009 | Published | Conference Paper | IST-REx-ID: 11912 |

Eda Baykan, M. Henzinger, S. F. Keller, S. de Castelberg, and M. Kinzler, “A comparison of techniques for sampling web pages,” in 26th International Symposium on Theoretical Aspects of Computer Science, Freiburg, Germany, 2009, vol. 3, pp. 13–30.

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

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

N. Guetg et al., “The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses,” Journal of Neuroscience, vol. 29, no. 5. Society for Neuroscience, pp. 1414–1423, 2009.

View | DOI

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

Y. Jiang, N. Horimoto, K. Imura, K. Matsui, and R. Shigemoto, “Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold,” Advanced Materials, vol. 21, no. 22. Wiley-Blackwell, pp. 2309–2313, 2009.

View | DOI

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

B. Pan, Y. Dong, W. Ito, Y. Yanagawa, R. Shigemoto, and A. Morozov, “Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor,” Neuron, vol. 61, no. 6. Elsevier, pp. 917–929, 2009.

View | DOI

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

W. Kaufmann et al., “Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains,” Journal of Comparative Neurology, vol. 515, no. 2. Wiley-Blackwell, pp. 215–230, 2009.

View | DOI

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

H. Tanaka et al., “Mice with altered myelin proteolipid protein gene expression display cognitive deficits accompanied by abnormal neuron-glia interactions and decreased conduction velocities,” Journal of Neuroscience, vol. 29, no. 26. Society for Neuroscience, pp. 8363–8371, 2009.

View | DOI

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

H. Tomita et al., “Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter,” PLoS One, vol. 4, no. 11. Public Library of Science, 2009.

View | DOI