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
2009 |
Published |
Conference Paper |
IST-REx-ID: 4377
Hoenicke, Jochen, K Rustan Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “It’s Doomed; We Can Prove It,” 338–53. Springer, 2009. https://doi.org/1557.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4383 |
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4385
Dragojevic, Aleksandar, Rachid Guerraoui, Anmol Singh, and Vasu Singh. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories,” 7–16. ACM, 2009. https://doi.org/1533.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4391
Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality,” 173–87. Springer, 2009. https://doi.org/1548.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4403 |
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. https://doi.org/10.1007/978-3-642-04027-6_9.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4453 |
Henzinger, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,” 5643:337–52. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_27.
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4535
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes,” 5688:173–88. Springer, 2009. https://doi.org/10.1007/978-3-642-03845-7_12.
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4540
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages,” 199–208. IEEE, 2009. https://doi.org/10.1109/LICS.2009.16.
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4542 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. https://doi.org/10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4543
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,” 5734:34–54. Springer, 2009. https://doi.org/10.1007/978-3-642-03816-7_4.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4544 |
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,” 197–206. SIAM, 2009. https://doi.org/10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4545 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. https://doi.org/10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2497
Sano, Hiromi, Yumiko Nagai, Tsuyoshi Miyakawa, Ryuichi Shigemoto, and Mineto Yokoi. “Increased Social Interaction in Mice Deficient of the Striatal Medium Spiny Neuron-Specific Phosphodiesterase 10A2.” Journal of Neurochemistry. Wiley-Blackwell, 2008. https://doi.org/10.1111/j.1471-4159.2007.05152.x.
View
| DOI
2008 |
Published |
Book Review |
IST-REx-ID: 2674
Fukazawa, Yugo, Etsuko Tarusawa, Ko Matsui, and Ryuichi Shigemoto. “ Ultrastructural Insights of Postsynaptic Glutamate Receptor Organization .” Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme. Kyoritsu Shuppan, 2008.
View
2008 |
Published |
Journal Article |
IST-REx-ID: 2675
Endo, Toshiaki, Etsuko Tarusawa, Takuya Notomi, Katsuyuki Kaneda, Masumi Hirabayashi, Ryuichi Shigemoto, and Tadashi Isa. “Dendritic Ih Ensures High-Fidelity Dendritic Spike Responses of Motion-Sensitive Neurons in Rat Superior Colliculus.” Journal of Neurophysiology. American Physiological Society, 2008. https://doi.org/10.1152/jn.00556.2007.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2676
Kawakami, Ryosuke, Alice Dobi, Ryuichi Shigemoto, and Isao Ito. “Right Isomerism of the Brain in Inversus Viscerum Mutant Mice.” PLoS One. Public Library of Science, 2008. https://doi.org/10.1371/journal.pone.0001945.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2677
Varga, Viktor, Balázs Hangya, Kinga Kránitz, Anikó Ludányi, Rita Zemankovics, István Katona, Ryuichi Shigemoto, Tamás Freund, and Zsolt Borhegyi. “The Presence of Pacemaker HCN Channels Identifies Theta Rhythmic GABAergic Neurons in the Medial Septum.” Journal of Physiology. Wiley-Blackwell, 2008. https://doi.org/10.1113/jphysiol.2008.155242.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2678
Li, Xinbo, Naomi Kamasawa, Cristina Ciolofan, Carl Olson, Shijun Lu, Kimberly Davidson, Thomas Yasumura, Ryuichi Shigemoto, John Rash, and James Nagy. “Connexin45-Containing Neuronal Gap Junctions in Rodent Retina Also Contain Connexin36 in Both Apposing Hemiplaques, Forming Bihomotypic Gap Junctions, with Scaffolding Contributed by Zonula Occludens-1.” Journal of Neuroscience. Society for Neuroscience, 2008. https://doi.org/10.1523/JNEUROSCI.2137-08.2008.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2679
Antal, Miklós, Yugo Fukazawa, Mária Eördögh, Dóra Muszil, Elek Molnár, Makoto Itakura, Masami Takahashi, and Ryuichi Shigemoto. “Numbers, Densities, and Colocalization of AMPA- and NMDA-Type Glutamate Receptors at Individual Synapses in the Superficial Spinal Dorsal Horn of Rats.” Journal of Neuroscience. Society for Neuroscience, 2008. https://doi.org/10.1523/JNEUROSCI.1551-08.2008.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2681
Shinohara, Yoshiaki, Hajime Hirase, Masahiko Watanabe, Makoto Itakura, Masami Takahashi, and Ryuichi Shigemoto. “Left-Right Asymmetry of the Hippocampal Synapses with Differential Subunit Allocation of Glutamate Receptors.” PNAS. National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0807461105.
View
| DOI