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: 4542 |
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009: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 K, Henzinger TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi:10.1007/978-3-642-03816-7_4
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4544 |
Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4545 |
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009: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 |
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |
Published |
Conference Paper |
IST-REx-ID: 4580 |
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009: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 E, Henzinger M, Weber I. Web page language identification based on URLs. Proceedings of the VLDB Endowment. 2008;1(1):176-187. doi:10.14778/1453856.1453880
View
| DOI
2008 |
Published |
Book Review |
IST-REx-ID: 2674
Fukazawa Y, Tarusawa E, Matsui K, Shigemoto R. Ultrastructural insights of postsynaptic glutamate receptor organization . Tanpakushitsu kakusan koso Protein nucleic acid enzyme. 2008;53(4 Suppl):436-441.
View
2008 |
Published |
Journal Article |
IST-REx-ID: 2675
Endo T, Tarusawa E, Notomi T, et al. Dendritic Ih ensures high-fidelity dendritic spike responses of motion-sensitive neurons in rat superior colliculus. Journal of Neurophysiology. 2008;99(5):2066-2076. doi:10.1152/jn.00556.2007
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2676
Kawakami R, Dobi A, Shigemoto R, Ito I. Right isomerism of the brain in inversus viscerum mutant mice. PLoS One. 2008;3(4). doi:10.1371/journal.pone.0001945
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2677
Varga V, Hangya B, Kránitz K, et al. The presence of pacemaker HCN channels identifies theta rhythmic GABAergic neurons in the medial septum. Journal of Physiology. 2008;586(16):3893-3915. doi:10.1113/jphysiol.2008.155242
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2678
Li X, Kamasawa N, Ciolofan C, 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. 2008;28(39):9769-9789. doi:10.1523/JNEUROSCI.2137-08.2008
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2679
Antal M, Fukazawa Y, Eördögh M, 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. 2008;28(39):9692-9701. doi: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. Left-right asymmetry of the hippocampal synapses with differential subunit allocation of glutamate receptors. PNAS. 2008;105(49):19498-19503. doi:10.1073/pnas.0807461105
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 2702 |
Erdös L, Salmhofer M, Yau H. Feynman graphs and renormalization in quantum diffusion. In: World Scientific Publishing; 2008:167-182. doi:10.1142/9789812833556_0011
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 2753
Erdös L, Salmhofer M, Yau H. Quantum diffusion of the random Schrödinger evolution in the scaling limit. Acta Mathematica. 2008;200(2):211-277. doi:10.1007/s11511-008-0027-2
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2754
Adami R, Erdös L. Rate of decoherence for an electron weakly coupled to a phonon gas. Journal of Statistical Physics. 2008;132(2):301-328. doi:10.1007/s10955-008-9561-8
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2755
Erdös L, Schlein B, Yau H. Ground-state energy of a low-density Bose gas: A second-order upper bound. Physical Review A - Atomic, Molecular, and Optical Physics. 2008;78(5). doi:10.1103/PhysRevA.78.053627
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2795
Hof B, De Lózar A, Kuik D, Westerweel J. Repeller or attractor? Selecting the dynamical model for the onset of turbulence in pipe flow. Physical Review Letters. 2008;101(21). doi:10.1103/PhysRevLett.101.214501
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2892
Azevedo R, Lohaus R, Paixao T. Networking networks. Evolution & Development. 2008;10(5):514-515. doi:10.1111/j.1525-142X.2008.00265.x
View
| DOI