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
J. Hoenicke, K. R. Leino, A. Podelski, M. Schäf, and T. Wies, “It’s Doomed; We Can Prove It,” presented at the FM: Formal Methods, 2009, pp. 338–353.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4383 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4385
A. Dragojevic, R. Guerraoui, A. Singh, and V. Singh, “Preventing versus curing: avoiding conflicts in transactional memories,” presented at the POPL: Principles of Programming Languages, 2009, pp. 7–16.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4391
P. Cerny and R. Alur, “Automated Analysis of Java Methods for Confidentiality,” presented at the CAV: Computer Aided Verification, 2009, pp. 173–187.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4453 | OA
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4535
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” presented at the CMSB: Computational Methods in Systems Biology, 2009, vol. 5688, pp. 173–188.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4540
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” presented at the LICS: Logic in Computer Science, 2009, pp. 199–208.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4543
K. Chatterjee, T. A. Henzinger, and F. Horn, “Stochastic games with finitary objectives,” presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia, 2009, vol. 5734, pp. 34–54.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4544 | OA
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
[Submitted Version] View | Files available | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2497
H. Sano, Y. Nagai, T. Miyakawa, R. Shigemoto, and M. Yokoi, “Increased social interaction in mice deficient of the striatal medium spiny neuron-specific phosphodiesterase 10A2,” Journal of Neurochemistry, vol. 105, no. 2. Wiley-Blackwell, pp. 546–556, 2008.
View | DOI
 

2008 | Published | Book Review | IST-REx-ID: 2674
Y. Fukazawa, E. Tarusawa, K. Matsui, and R. Shigemoto, “ Ultrastructural insights of postsynaptic glutamate receptor organization ,” Tanpakushitsu kakusan koso Protein nucleic acid enzyme, vol. 53, no. 4 Suppl. Kyoritsu Shuppan, pp. 436–441, 2008.
View
 

2008 | Published | Journal Article | IST-REx-ID: 2675
T. Endo et al., “Dendritic Ih ensures high-fidelity dendritic spike responses of motion-sensitive neurons in rat superior colliculus,” Journal of Neurophysiology, vol. 99, no. 5. American Physiological Society, pp. 2066–2076, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2676
R. Kawakami, A. Dobi, R. Shigemoto, and I. Ito, “Right isomerism of the brain in inversus viscerum mutant mice,” PLoS One, vol. 3, no. 4. Public Library of Science, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2677
V. Varga et al., “The presence of pacemaker HCN channels identifies theta rhythmic GABAergic neurons in the medial septum,” Journal of Physiology, vol. 586, no. 16. Wiley-Blackwell, pp. 3893–3915, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2678
X. Li et al., “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, vol. 28, no. 39. Society for Neuroscience, pp. 9769–9789, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2679
M. Antal et al., “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, vol. 28, no. 39. Society for Neuroscience, pp. 9692–9701, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2681
Y. Shinohara, H. Hirase, M. Watanabe, M. Itakura, M. Takahashi, and R. Shigemoto, “Left-right asymmetry of the hippocampal synapses with differential subunit allocation of glutamate receptors,” PNAS, vol. 105, no. 49. National Academy of Sciences, pp. 19498–19503, 2008.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed