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


2010 | Published | Conference Paper | IST-REx-ID: 4380 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

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

2009 | Published | Journal Article | IST-REx-ID: 2499 | OA
Rives M, Vol C, Fukazawa Y, Tinel N, Trinquet E, Ayoub M, Shigemoto R, Pin J, Prezèau L. 2009. Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration. EMBO Journal. 28(15), 2195–2208.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2500
Tarusawa E, Matsui K, Budisantoso T, Molnár E, Watanabe M, Matsui M, Fukazawa Y, Shigemoto R. 2009. Input-specific intrasynaptic arrangements of ionotropic glutamate receptors and their impact on postsynaptic responses. Journal of Neuroscience. 29(41), 12896–12908.
View | DOI
 

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

2009 | Published | Journal Article | IST-REx-ID: 2502
Fukuda Y, Fukazawa Y, Danev R, Shigemoto R, Nagayama K. 2009. Tuning of the Zernike phase-plate for visualization of detailed ultrastructure in complex biological specimens. Journal of Structural Biology. 168(3), 476–484.
View | DOI
 

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

2009 | Published | Journal Article | IST-REx-ID: 2682
Jiang Y, Horimoto N, Imura K, Matsui K, Shigemoto R. 2009. Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold. Advanced Materials. 21(22), 2309–2313.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2683
Pan B, Dong Y, Ito W, Yanagawa Y, Shigemoto R, Morozov A. 2009. Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor. Neuron. 61(6), 917–929.
View | DOI
 

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

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

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed