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, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 173–87, doi:10.1007/978-3-642-02658-4_16.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi: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, Thomas A., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi:10.1007/978-3-642-02658-4_27.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4535
Didier, Frédéric, et al. Approximation of Event Probabilities in Noisy Cellular Processes. Vol. 5688, Springer, 2009, pp. 173–88, doi:10.1007/978-3-642-03845-7_12.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4540
Chatterjee, Krishnendu, et al. Expressiveness and Closure Properties for Quantitative Languages. IEEE, 2009, pp. 199–208, doi:10.1109/LICS.2009.16.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi: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, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View | Files available | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 11878
Baykan, Eda, et al. “Web Page Language Identification Based on URLs.” Proceedings of the VLDB Endowment, vol. 1, no. 1, Association for Computing Machinery, 2008, pp. 176–87, doi:10.14778/1453856.1453880.
View | DOI
 

2008 | Published | Book Review | IST-REx-ID: 2674
Fukazawa, Yugo, et al. “ Ultrastructural Insights of Postsynaptic Glutamate Receptor Organization .” Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme, vol. 53, no. 4 Suppl, Kyoritsu Shuppan, 2008, pp. 436–41.
View
 

2008 | Published | Journal Article | IST-REx-ID: 2675
Endo, Toshiaki, 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, 2008, pp. 2066–76, doi:10.1152/jn.00556.2007.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2676
Kawakami, Ryosuke, et al. “Right Isomerism of the Brain in Inversus Viscerum Mutant Mice.” PLoS One, vol. 3, no. 4, Public Library of Science, 2008, doi:10.1371/journal.pone.0001945.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2677
Varga, Viktor, 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, 2008, pp. 3893–915, doi:10.1113/jphysiol.2008.155242.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2678
Li, Xinbo, 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, 2008, pp. 9769–89, doi:10.1523/JNEUROSCI.2137-08.2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2679
Antal, Miklós, 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, 2008, pp. 9692–701, doi:10.1523/JNEUROSCI.1551-08.2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2681
Shinohara, Yoshiaki, et al. “Left-Right Asymmetry of the Hippocampal Synapses with Differential Subunit Allocation of Glutamate Receptors.” PNAS, vol. 105, no. 49, National Academy of Sciences, 2008, pp. 19498–503, doi:10.1073/pnas.0807461105.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 2702 | OA
Erdös, László, et al. Feynman Graphs and Renormalization in Quantum Diffusion. World Scientific Publishing, 2008, pp. 167–82, doi:10.1142/9789812833556_0011.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed