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


2008 | Published | Journal Article | IST-REx-ID: 4532
Doyen L, Henzinger TA, Raskin J. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. 2008;19(3):549-563. doi:10.1142/S0129054108005814
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. Interface theories with component reuse. In: ACM; 2008:79-88. doi:10.1145/1450058.1450070
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 2008;106(1):1-7. doi:10.1016/j.ipl.2007.08.035
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, et al. Logical reliability of interacting real-time tasks. In: IEEE; 2008:909-914. doi:10.1145/1403375.1403595
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 2008;37(2):219-234. doi:10.1007/s00182-007-0110-5
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. Program analysis with dynamic change of precision. In: ACM; 2008:29-38. doi:10.1109/ASE.2008.13
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 11884
Henzinger M. Search technologies for the internet. Science. 2007;317(5837):468-471. doi:10.1126/science.1126557
View | DOI | PubMed | Europe PMC
 

2007 | Published | Conference Paper | IST-REx-ID: 11924
Henzinger M. Combinatorial algorithms for web search engines: three success stories. In: 18th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial & Applied Mathematics; 2007:1022-1026.
View
 

2007 | Published | Journal Article | IST-REx-ID: 12201
Feng X, Dickinson HG. Packaging the male germline in plants. Trends in Genetics. 2007;23(10):503-510. doi:10.1016/j.tig.2007.08.005
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 2665
Tóth K, Wittner L, Urbán Z, et al. Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus. Neuroscience. 2007;144(2):495-508. doi:10.1016/j.neuroscience.2006.09.039
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2666
Luyt K, Slade T, Dorward J, et al. Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. 2007;100(3):822-840. doi:10.1111/j.1471-4159.2006.04255.x
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2667
Masugi Tokita M, Tarusawa E, Watanabe M, Molnár E, Fujimoto K, Shigemoto R. Number and density of AMPA receptors in individual synapses in the rat cerebellum as revealed by SDS-digested freeze-fracture replica labeling. Journal of Neuroscience. 2007;27(8):2135-2144. doi:10.1523/JNEUROSCI.2861-06.2007
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2668
Boyes J, Bolam J, Shigemoto R, Stanford I. Functional presynaptic HCN channels in the rat globus pallidus. European Journal of Neuroscience. 2007;25(7):2081-2092. doi:10.1111/j.1460-9568.2007.05463.x
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2669
Brewster A, Chen Y, Bender R, Yeh A, Shigemoto R, Baram T. Quantitative analysis and subcellular distribution of mRNA and protein expression of the hyperpolarization-activated cyclic nucleotide-gated channels throughout development in rat hippocampus. Cerebral Cortex. 2007;17(3):702-712. doi:10.1093/cercor/bhk021
View | DOI
 

2007 | Published | Book Review | IST-REx-ID: 2670
Masugi Tokita M, Shigemoto R. High-resolution quantitative visualization of glutamate and GABA receptors at central synapses. Current Opinion in Neurobiology. 2007;17(3):387-393. doi:10.1016/j.conb.2007.04.012
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2671
Bender R, Kirschstein T, Kretz O, et al. Localization of HCN1 channels to presynaptic compartments: Novel plasticity that may contribute to hippocampal maturation. Journal of Neuroscience. 2007;27(17):4697-4706. doi:10.1523/JNEUROSCI.4699-06.2007
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2672
Whitaker G, Angoli D, Nazzari H, Shigemoto R, Accili E. HCN2 and HCN4 isoforms self-assemble and co-assemble with equal preference to form functional pacemaker channels. Journal of Biological Chemistry. 2007;282(31):22900-22909. doi:10.1074/jbc.M610978200
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2673
Ladera C, Godino M, Martín R, et al. The coexistence of multiple receptors in a single nerve terminal provides evidence for pre-synaptic integration. Journal of Neurochemistry. 2007;103(6):2314-2326. doi:10.1111/j.1471-4159.2007.04964.x
View | DOI
 

2007 | Published | Book Chapter | IST-REx-ID: 2705 | OA
Erdös L. Recent developments in quantum mechanics with magnetic fields. In: Gesztesy F, Deift P, Galvez P, Perry P, Schlag W, eds. Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday . Vol 76. American Mathematical Society; 2007:401-428.
View | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2748
Erdös L, Schlein B, Yau H. Rigorous derivation of the Gross-Pitaevskii equation. Physical Review Letters. 2007;98(4). doi:10.1103/PhysRevLett.98.040404
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed