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, J., Leino, K. R., Podelski, A., Schäf, M., & Wies, T. (2009). It’s Doomed; We Can Prove It (pp. 338–353). Presented at the FM: Formal Methods, Springer. https://doi.org/1557
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, R., Henzinger, T. A., & Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_26
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4385
Dragojevic, A., Guerraoui, R., Singh, A., & Singh, V. (2009). Preventing versus curing: avoiding conflicts in transactional memories (pp. 7–16). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/1533
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4391
Cerny, P., & Alur, R. (2009). Automated Analysis of Java Methods for Confidentiality (pp. 173–187). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1548
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
Alur, R., Cerny, P., & Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer. 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 | OA
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. 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, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Approximation of event probabilities in noisy cellular processes (Vol. 5688, pp. 173–188). Presented at the CMSB: Computational Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-642-03845-7_12
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4540
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Expressiveness and closure properties for quantitative languages (pp. 199–208). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2009.16
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. 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, K., Henzinger, T. A., & Horn, F. (2009). Stochastic games with finitary objectives (Vol. 5734, pp. 34–54). Presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia: Springer. https://doi.org/10.1007/978-3-642-03816-7_4
View | DOI
 

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

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. 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, H., Nagai, Y., Miyakawa, T., Shigemoto, R., & Yokoi, M. (2008). Increased social interaction in mice deficient of the striatal medium spiny neuron-specific phosphodiesterase 10A2. Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/10.1111/j.1471-4159.2007.05152.x
View | DOI
 

2008 | Published | Book Review | IST-REx-ID: 2674
Fukazawa, Y., Tarusawa, E., Matsui, K., & Shigemoto, R. (2008). Ultrastructural insights of postsynaptic glutamate receptor organization . Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme. Kyoritsu Shuppan.
View
 

2008 | Published | Journal Article | IST-REx-ID: 2675
Endo, T., Tarusawa, E., Notomi, T., Kaneda, K., Hirabayashi, M., Shigemoto, R., & Isa, T. (2008). Dendritic Ih ensures high-fidelity dendritic spike responses of motion-sensitive neurons in rat superior colliculus. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.00556.2007
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2676
Kawakami, R., Dobi, A., Shigemoto, R., & Ito, I. (2008). Right isomerism of the brain in inversus viscerum mutant mice. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0001945
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2677
Varga, V., Hangya, B., Kránitz, K., Ludányi, A., Zemankovics, R., Katona, I., … Borhegyi, Z. (2008). The presence of pacemaker HCN channels identifies theta rhythmic GABAergic neurons in the medial septum. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2008.155242
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2678
Li, X., Kamasawa, N., Ciolofan, C., Olson, C., Lu, S., Davidson, K., … Nagy, J. (2008). 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. https://doi.org/10.1523/JNEUROSCI.2137-08.2008
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2679
Antal, M., Fukazawa, Y., Eördögh, M., Muszil, D., Molnár, E., Itakura, M., … Shigemoto, R. (2008). 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. https://doi.org/10.1523/JNEUROSCI.1551-08.2008
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2681
Shinohara, Y., Hirase, H., Watanabe, M., Itakura, M., Takahashi, M., & Shigemoto, R. (2008). Left-right asymmetry of the hippocampal synapses with differential subunit allocation of glutamate receptors. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0807461105
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed