It's Doomed; We Can Prove It
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.

Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.

Preventing versus curing: avoiding conflicts in transactional memories
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, ACM, 2009, pp. 7–16.

Automated Analysis of Java Methods for Confidentiality
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.

Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.

Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.

Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.

Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.

Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.

Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.

Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.

A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.

Increased social interaction in mice deficient of the striatal medium spiny neuron-specific phosphodiesterase 10
H. Sano, Y. Nagai, T. Miyakawa, R. Shigemoto, M. Yokoi, Journal of Neurochemistry 105 (2008) 546–556.

 Ultrastructural insights of postsynaptic glutamate receptor organization 
Y. Fukazawa, E. Tarusawa, K. Matsui, R. Shigemoto, Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme 53 (2008) 436–441.

Dendritic Ih ensures high-fidelity dendritic spike responses of motion-sensitive neurons in rat superior colliculus
T. Endo, E. Tarusawa, T. Notomi, K. Kaneda, M. Hirabayashi, R. Shigemoto, T. Isa, Journal of Neurophysiology 99 (2008) 2066–2076.

Right isomerism of the brain in inversus viscerum mutant mice
R. Kawakami, A. Dobi, R. Shigemoto, I. Ito, PLoS One 3 (2008).

The presence of pacemaker HCN channels identifies theta rhythmic GABAergic neurons in the medial septum
V. Varga, B. Hangya, K. Kránitz, A. Ludányi, R. Zemankovics, I. Katona, R. Shigemoto, T. Freund, Z. Borhegyi, Journal of Physiology 586 (2008) 3893–3915.

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
X. Li, N. Kamasawa, C. Ciolofan, C. Olson, S. Lu, K. Davidson, T. Yasumura, R. Shigemoto, J. Rash, J. Nagy, Journal of Neuroscience 28 (2008) 9769–9789.

Numbers, densities, and colocalization of AMPA- and NMDA-type glutamate receptors at individual synapses in the superficial spinal dorsal horn of rats
M. Antal, Y. Fukazawa, M. Eördögh, D. Muszil, E. Molnár, M. Itakura, M. Takahashi, R. Shigemoto, Journal of Neuroscience 28 (2008) 9692–9701.

Left-right asymmetry of the hippocampal synapses with differential subunit allocation of glutamate receptors
Y. Shinohara, H. Hirase, M. Watanabe, M. Itakura, M. Takahashi, R. Shigemoto, PNAS 105 (2008) 19498–19503.