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, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,” 1–8. ACM, 2010. https://doi.org/10.1145/1879021.1879022.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,” 83–90. IEEE, 2010. https://doi.org/10.1109/CLOUD.2010.71.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,” 263–72. ACM, 2010. https://doi.org/10.1145/1810479.1810529.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,” 6174:665–69. Springer, 2010. 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, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,” 77–84. IEEE, 2010. https://doi.org/10.1109/ACSD.2010.26.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,” 6174:465–79. Springer, 2010. 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, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.” In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010. https://doi.org/10.1007/978-3-642-13754-9_3.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. 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, Sebastian, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models.” edited by Rajiv Gupta, 6011:104–23. Springer, 2010. https://doi.org/10.1007/978-3-642-11970-5_7.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. 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, Laura, Carolina Aguado, Francisco Ciruela, Ricardo Martín, José Colón, María Cabañero, Martin Gassmann, et al. “ Subcellular Compartment-Specific Molecular Diversity of Pre- and Post-Synaptic GABAB-Activated GIRK Channels in Purkinje Cells.” Journal of Neurochemistry. Wiley-Blackwell, 2009. https://doi.org/10.1111/j.1471-4159.2009.06229.x.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2499 | OA
Rives, Marie, Claire Vol, Yugo Fukazawa, Norbert Tinel, Eric Trinquet, Mohammed Ayoub, Ryuichi Shigemoto, Jean Pin, and Laurent Prezèau. “Crosstalk between GABAB and MGlu1a Receptors Reveals New Insight into GPCR Signal Integration.” EMBO Journal. Wiley-Blackwell, 2009. https://doi.org/10.1038/emboj.2009.177.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2500
Tarusawa, Etsuko, Ko Matsui, Timotheus Budisantoso, Elek Molnár, Masahiko Watanabe, Minoru Matsui, Yugo Fukazawa, and Ryuichi Shigemoto. “Input-Specific Intrasynaptic Arrangements of Ionotropic Glutamate Receptors and Their Impact on Postsynaptic Responses.” Journal of Neuroscience. Society for Neuroscience, 2009. https://doi.org/10.1523/JNEUROSCI.6160-08.2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2501
Grinevich, Valery, Alexander Kolleker, Marina Eliava, Naoki Takada, Hiroshi Takuma, Yugo Fukazawa, Ryuichi Shigemoto, 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. Elsevier, 2009. https://doi.org/10.1016/j.jneumeth.2009.07.015.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2502
Fukuda, Yoshiyuki, Yugo Fukazawa, Radostin Danev, Ryuichi Shigemoto, and Kuniaki Nagayama. “Tuning of the Zernike Phase-Plate for Visualization of Detailed Ultrastructure in Complex Biological Specimens.” Journal of Structural Biology. Academic Press, 2009. https://doi.org/10.1016/j.jsb.2009.08.011.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2680
Guetg, Nicole, Riad Seddik, Réjan Vigot, Rostislav Tureček, Martin Gassmann, Kaspar Vogt, Hans Bräuner Osborne, et al. “The GABA B1a Isoform Mediates Heterosynaptic Depression at Hippocampal Mossy Fiber Synapses.” Journal of Neuroscience. Society for Neuroscience, 2009. https://doi.org/10.1523/JNEUROSCI.3697-08.2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2682
Jiang, Yuqiang, Noriko Horimoto, Kohei Imura, Ko Matsui, and Ryuichi Shigemoto. “Bioimaging with Two-Photon-Induced Luminescence from Triangular Nanoplates and Nanoparticle Aggregates of Gold.” Advanced Materials. Wiley-Blackwell, 2009. https://doi.org/10.1002/adma.200802312.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2683
Pan, Bingxing, Yu Dong, Wataru Ito, Yuchio Yanagawa, Ryuichi Shigemoto, and Alexei Morozov. “Selective Gating of Glutamatergic Inputs to Excitatory Neurons of Amygdala by Presynaptic GABAb Receptor.” Neuron. Elsevier, 2009. https://doi.org/10.1016/j.neuron.2009.01.029.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2684
Kaufmann, Walter, Francesco Ferraguti, Yugo Fukazawa, Yu Kasugai, Ryuichi Shigemoto, Petter Laake, Joseph Sexton, et al. “Large-Conductance Calcium-Activated Potassium Channels in Purkinje Cell Plasma Membranes Are Clustered at Sites of Hypolemmal Microdomains.” Journal of Comparative Neurology. Wiley-Blackwell, 2009. https://doi.org/10.1002/cne.22066.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2685
Tanaka, Hisataka, Jianmei Ma, Kenji Tanaka, Keizo Takao, Munekazu Komada, Koichi Tanda, Ayaka Suzuki, 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. Society for Neuroscience, 2009. https://doi.org/10.1523/JNEUROSCI.3216-08.2009.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed