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, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). A marketplace for cloud resources (pp. 1–8). Presented at the EMSOFT: Embedded Software , Arizona, USA: ACM. https://doi.org/10.1145/1879021.1879022
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). FlexPRICE: Flexible provisioning of resources in a cloud environment (pp. 83–90). Presented at the CLOUD: Cloud Computing, Miami, USA: IEEE. https://doi.org/10.1109/CLOUD.2010.71
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, R., Henzinger, T. A., Kapalka, M., & Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM. https://doi.org/10.1145/1810479.1810529
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/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, T. A., Legay, A., & Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE. https://doi.org/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. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/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, T. A., & Radhakrishna, A. (2010). Quantitative Simulation Games. In Z. Manna & D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli (Vol. 6200, pp. 42–60). Springer. https://doi.org/10.1007/978-3-642-13754-9_3
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-11970-5_7
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/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., Martín, R., Colón, J., Cabañero, M., … Luján, R. (2009). Subcellular compartment-specific molecular diversity of pre- and post-synaptic GABAB-activated GIRK channels in Purkinje cells. Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/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., Tinel, N., Trinquet, E., Ayoub, M., … Prezèau, L. (2009). Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2009.177
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., … Shigemoto, R. (2009). Input-specific intrasynaptic arrangements of ionotropic glutamate receptors and their impact on postsynaptic responses. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.6160-08.2009
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2501
Grinevich, V., Kolleker, A., Eliava, M., Takada, N., Takuma, H., Fukazawa, Y., … 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. Elsevier. https://doi.org/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. (2009). Tuning of the Zernike phase-plate for visualization of detailed ultrastructure in complex biological specimens. Journal of Structural Biology. Academic Press. https://doi.org/10.1016/j.jsb.2009.08.011
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2680
Guetg, N., Seddik, R., Vigot, R., Tureček, R., Gassmann, M., Vogt, K., … Bettler, B. (2009). The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses. Journal of Neuroscience. Society for Neuroscience. https://doi.org/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. (2009). Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold. Advanced Materials. Wiley-Blackwell. https://doi.org/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. (2009). Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2009.01.029
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2684
Kaufmann, W., Ferraguti, F., Fukazawa, Y., Kasugai, Y., Shigemoto, R., Laake, P., … 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. Wiley-Blackwell. https://doi.org/10.1002/cne.22066
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2685
Tanaka, H., Ma, J., Tanaka, K., Takao, K., Komada, M., Tanda, K., … 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. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.3216-08.2009
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed