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.

8920 Publications

Search / Filter

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

A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.

[Submitted Version] View | Files available | DOI

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

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

[Submitted Version] View | Files available | DOI

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

Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.

[Submitted Version] View | Files available | DOI

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

GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.

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

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

Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.

[Submitted Version] View | Files available | DOI

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

Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.

[Submitted Version] View | Files available | DOI

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

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

View | DOI

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

Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.

[Submitted Version] View | Files available | DOI

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

Verifying local transformations on relaxed memory models
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.

View | DOI

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

Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.

[Submitted Version] View | Files available | DOI

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

Subcellular compartment-specific molecular diversity of pre- and post-synaptic GABAB-activated GIRK channels in Purkinje cells
L. Fernández Alacid, C. Aguado, F. Ciruela, R. Martín, J. Colón, M. Cabañero, M. Gassmann, M. Watanabe, R. Shigemoto, K. Wickman, B. Bettler, J. Sánchez Prieto, R. Luján, Journal of Neurochemistry 110 (2009) 1363–1376.

View | DOI

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

Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration
M. Rives, C. Vol, Y. Fukazawa, N. Tinel, E. Trinquet, M. Ayoub, R. Shigemoto, J. Pin, L. Prezèau, EMBO Journal 28 (2009) 2195–2208.

View | DOI | Download (ext.)

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

Input-specific intrasynaptic arrangements of ionotropic glutamate receptors and their impact on postsynaptic responses
E. Tarusawa, K. Matsui, T. Budisantoso, E. Molnár, M. Watanabe, M. Matsui, Y. Fukazawa, R. Shigemoto, Journal of Neuroscience 29 (2009) 12896–12908.

View | DOI

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

Fluorescent Arc/Arg3.1 indicator mice: A versatile tool to study brain activity changes in vitro and in vivo
V. Grinevich, A. Kolleker, M. Eliava, N. Takada, H. Takuma, Y. Fukazawa, R. Shigemoto, D. Kuhl, J. Waters, P. Seeburg, P. Osten, Journal of Neuroscience Methods 184 (2009) 25–36.

View | DOI

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

Tuning of the Zernike phase-plate for visualization of detailed ultrastructure in complex biological specimens
Y. Fukuda, Y. Fukazawa, R. Danev, R. Shigemoto, K. Nagayama, Journal of Structural Biology 168 (2009) 476–484.

View | DOI

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

The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses
N. Guetg, R. Seddik, R. Vigot, R. Tureček, M. Gassmann, K. Vogt, H. Bräuner Osborne, R. Shigemoto, O. Kretz, M. Frotscher, Á. Kulik, B. Bettler, Journal of Neuroscience 29 (2009) 1414–1423.

View | DOI

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

Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold
Y. Jiang, N. Horimoto, K. Imura, K. Matsui, R. Shigemoto, Advanced Materials 21 (2009) 2309–2313.

View | DOI

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

Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor
B. Pan, Y. Dong, W. Ito, Y. Yanagawa, R. Shigemoto, A. Morozov, Neuron 61 (2009) 917–929.

View | DOI

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

Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains
W. Kaufmann, F. Ferraguti, Y. Fukazawa, Y. Kasugai, R. Shigemoto, P. Laake, J. Sexton, P. Ruth, G. Wietzorrek, H. Knaus, J. Storm, O. Ottersen, Journal of Comparative Neurology 515 (2009) 215–230.

View | DOI

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

Mice with altered myelin proteolipid protein gene expression display cognitive deficits accompanied by abnormal neuron-glia interactions and decreased conduction velocities
H. Tanaka, J. Ma, K. Tanaka, K. Takao, M. Komada, K. Tanda, A. Suzuki, T. Ishibashi, H. Baba, T. Isa, R. Shigemoto, K. Ono, T. Miyakawa, K. Ikenaka, Journal of Neuroscience 29 (2009) 8363–8371.

View | DOI