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.

11357 Publications


2009 | Published | Conference Paper | IST-REx-ID: 4391
Automated analysis of Java methods for confidentiality
P. Cerny, R. Alur, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 173–187.
View | DOI
 

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

2009 | Published | Conference Paper | IST-REx-ID: 4453 | OA
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4535
Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4540
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4543
Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4544 | OA
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 4580 | OA
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 11878
Web page language identification based on URLs
E. Baykan, M. Henzinger, I. Weber, Proceedings of the VLDB Endowment 1 (2008) 176–187.
View | DOI
 

2008 | Published | Book Review | IST-REx-ID: 2674
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.
View
 

2008 | Published | Journal Article | IST-REx-ID: 2675
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.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2676
Right isomerism of the brain in inversus viscerum mutant mice
R. Kawakami, A. Dobi, R. Shigemoto, I. Ito, PLoS One 3 (2008).
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2677
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.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2678
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.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2679
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.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2681
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.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 2702 | OA
Feynman graphs and renormalization in quantum diffusion
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2008, pp. 167–182.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed