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. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022
[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. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui R, Henzinger TA, Kapalka M, Singh V. Transactions in the jungle. In: ACM; 2010:263-272. doi:10.1145/1810479.1810529
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. GIST: A solver for probabilistic games. In: Vol 6174. Springer; 2010:665-669. doi:10.1007/978-3-642-14295-6_57
[Submitted Version] View | Files available | DOI | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
Doyen L, Henzinger TA, Legay A, Nickovic D. Robustness of sequential circuits. In: IEEE; 2010:77-84. doi:10.1109/ACSD.2010.26
[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. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41
[Submitted Version] View | Files available | DOI
 

2010 | Published | Book Chapter | IST-REx-ID: 4392
Cerny P, Henzinger TA, Radhakrishna A. Quantitative Simulation Games. In: Manna Z, Peled D, eds. Time For Verification: Essays in Memory of Amir Pnueli. Vol 6200. Essays in Memory of Amir Pnueli. Springer; 2010:42-60. doi:10.1007/978-3-642-13754-9_3
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4393 | OA
Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:10.1007/978-3-642-15375-4_18
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4395
Burckhardt S, Musuvathi M, Singh V. Verifying local transformations on relaxed memory models. In: Gupta R, ed. Vol 6011. Springer; 2010:104-123. doi:10.1007/978-3-642-11970-5_7
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2498
Fernández Alacid L, Aguado C, Ciruela F, et al. Subcellular compartment-specific molecular diversity of pre- and post-synaptic GABAB-activated GIRK channels in Purkinje cells. Journal of Neurochemistry. 2009;110(4):1363-1376. doi:10.1111/j.1471-4159.2009.06229.x
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2499 | OA
Rives M, Vol C, Fukazawa Y, et al. Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration. EMBO Journal. 2009;28(15):2195-2208. doi:10.1038/emboj.2009.177
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2500
Tarusawa E, Matsui K, Budisantoso T, et al. Input-specific intrasynaptic arrangements of ionotropic glutamate receptors and their impact on postsynaptic responses. Journal of Neuroscience. 2009;29(41):12896-12908. doi:10.1523/JNEUROSCI.6160-08.2009
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2501
Grinevich V, Kolleker A, Eliava M, et al. Fluorescent Arc/Arg3.1 indicator mice: A versatile tool to study brain activity changes in vitro and in vivo. Journal of Neuroscience Methods. 2009;184(1):25-36. doi:10.1016/j.jneumeth.2009.07.015
View | DOI
 

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

2009 | Published | Journal Article | IST-REx-ID: 2680
Guetg N, Seddik R, Vigot R, et al. The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses. Journal of Neuroscience. 2009;29(5):1414-1423. doi:10.1523/JNEUROSCI.3697-08.2009
View | DOI
 

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

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

2009 | Published | Journal Article | IST-REx-ID: 2684
Kaufmann W, Ferraguti F, Fukazawa Y, et al. Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains. Journal of Comparative Neurology. 2009;515(2):215-230. doi:10.1002/cne.22066
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2685
Tanaka H, Ma J, Tanaka K, 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. 2009;29(26):8363-8371. doi:10.1523/JNEUROSCI.3216-08.2009
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed