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 KR, Podelski A, Schäf M, Wies T. 2009. It’s Doomed; We Can Prove It. FM: Formal Methods, LNCS 5850, , 338–353.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui R, Henzinger TA, Singh V. 2009. Software transactional memory on relaxed memory models. CAV: Computer Aided Verification, LNCS, vol. 5643, 321–336.
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. POPL: Principles of Programming Languages, 7–16.
View | DOI
 

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

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

2009 | Published | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger TA, Mateescu M, Wolf V. 2009. Sliding-window abstraction for infinite Markov chains. CAV: Computer Aided Verification, LNCS, vol. 5643, 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Approximation of event probabilities in noisy cellular processes. CMSB: Computational Methods in Systems Biology, LNCS, vol. 5688, 173–188.
View | Files available | DOI
 

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

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4543
Chatterjee K, Henzinger TA, Horn F. 2009. Stochastic games with finitary objectives. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 5734, 34–54.
View | DOI
 

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

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.
[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. 105(2), 546–556.
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. 53(4 Suppl), 436–441.
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. 99(5), 2066–2076.
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. 3(4).
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2677
Varga V, Hangya B, Kránitz K, Ludányi A, Zemankovics R, Katona I, Shigemoto R, Freund T, Borhegyi Z. 2008. The presence of pacemaker HCN channels identifies theta rhythmic GABAergic neurons in the medial septum. Journal of Physiology. 586(16), 3893–3915.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2678
Li X, Kamasawa N, Ciolofan C, Olson C, Lu S, Davidson K, Yasumura T, Shigemoto R, Rash J, 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. 28(39), 9769–9789.
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, Takahashi 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. 28(39), 9692–9701.
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. 105(49), 19498–19503.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed