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
Cerny, P., & Alur, R. (2009). Automated analysis of Java methods for confidentiality. In 21st International Conference on Computer Aided Verification (Vol. 5643, pp. 173–187). Springer. https://doi.org/10.1007/978-3-642-02658-4_16
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
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, R., Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_14
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 11878
Baykan, E., Henzinger, M., & Weber, I. (2008). Web page language identification based on URLs. Proceedings of the VLDB Endowment. Association for Computing Machinery. https://doi.org/10.14778/1453856.1453880
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
 

2008 | Published | Conference Paper | IST-REx-ID: 2702 | OA
Erdös, L., Salmhofer, M., & Yau, H. (2008). Feynman graphs and renormalization in quantum diffusion (pp. 167–182). Presented at the Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday, World Scientific Publishing. https://doi.org/10.1142/9789812833556_0011
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed