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 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4543
K. Chatterjee, T. A. Henzinger, and F. Horn, “Stochastic games with finitary objectives,” presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia, 2009, vol. 5734, pp. 34–54.
View | DOI
 

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

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 4580 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 11878
E. Baykan, M. Henzinger, and I. Weber, “Web page language identification based on URLs,” Proceedings of the VLDB Endowment, vol. 1, no. 1. Association for Computing Machinery, pp. 176–187, 2008.
View | DOI
 

2008 | Published | Book Review | IST-REx-ID: 2674
Y. Fukazawa, E. Tarusawa, K. Matsui, and R. Shigemoto, “ Ultrastructural insights of postsynaptic glutamate receptor organization ,” Tanpakushitsu kakusan koso Protein nucleic acid enzyme, vol. 53, no. 4 Suppl. Kyoritsu Shuppan, pp. 436–441, 2008.
View
 

2008 | Published | Journal Article | IST-REx-ID: 2675
T. Endo 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, pp. 2066–2076, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2676
R. Kawakami, A. Dobi, R. Shigemoto, and I. Ito, “Right isomerism of the brain in inversus viscerum mutant mice,” PLoS One, vol. 3, no. 4. Public Library of Science, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2677
V. Varga 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, pp. 3893–3915, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2678
X. Li 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, pp. 9769–9789, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2679
M. Antal 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, pp. 9692–9701, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2681
Y. Shinohara, H. Hirase, M. Watanabe, M. Itakura, M. Takahashi, and R. Shigemoto, “Left-right asymmetry of the hippocampal synapses with differential subunit allocation of glutamate receptors,” PNAS, vol. 105, no. 49. National Academy of Sciences, pp. 19498–19503, 2008.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 2702 | OA
L. Erdös, M. Salmhofer, and H. Yau, “Feynman graphs and renormalization in quantum diffusion,” presented at the Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday, 2008, pp. 167–182.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2753
L. Erdös, M. Salmhofer, and H. Yau, “Quantum diffusion of the random Schrödinger evolution in the scaling limit,” Acta Mathematica, vol. 200, no. 2. Springer, pp. 211–277, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2754
R. Adami and L. Erdös, “Rate of decoherence for an electron weakly coupled to a phonon gas,” Journal of Statistical Physics, vol. 132, no. 2. Springer, pp. 301–328, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2755
L. Erdös, B. Schlein, and H. Yau, “Ground-state energy of a low-density Bose gas: A second-order upper bound,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 78, no. 5. American Physical Society, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2795
B. Hof, A. De Lózar, D. Kuik, and J. Westerweel, “Repeller or attractor? Selecting the dynamical model for the onset of turbulence in pipe flow,” Physical Review Letters, vol. 101, no. 21. American Physical Society, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2892
R. Azevedo, R. Lohaus, and T. Paixao, “Networking networks,” Evolution & Development, vol. 10, no. 5. Wiley-Blackwell, pp. 514–515, 2008.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed