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, T. A., & Raskin, J. (2008). Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. World Scientific Publishing. https://doi.org/10.1142/S0129054108005814
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4533
Doyen, L., Henzinger, T. A., Jobstmann, B., & Petrov, T. (2008). Interface theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1450058.1450070
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4534
Chatterjee, K., & Henzinger, T. A. (2008). Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2007.08.035
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4546
Chatterjee, K., Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., Pinello, C., & Sangiovanni Vincentelli, A. (2008). Logical reliability of interacting real-time tasks (pp. 909–914). Presented at the DATE: Design, Automation and Test in Europe, IEEE. https://doi.org/10.1145/1403375.1403595
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4548
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. Springer. https://doi.org/10.1007/s00182-007-0110-5
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4568
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2008). Program analysis with dynamic change of precision (pp. 29–38). Presented at the ASE: Automated Software Engineering, ACM. https://doi.org/10.1109/ASE.2008.13
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 11884
Henzinger, M. (2007). Search technologies for the internet. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1126557
View | DOI | PubMed | Europe PMC
 

2007 | Published | Conference Paper | IST-REx-ID: 11924
Henzinger, M. (2007). Combinatorial algorithms for web search engines: three success stories. In 18th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1022–1026). New Orleans, LA, United States: Society for Industrial & Applied Mathematics.
View
 

2007 | Published | Journal Article | IST-REx-ID: 12201
Feng, X., & Dickinson, H. G. (2007). Packaging the male germline in plants. Trends in Genetics. Elsevier BV. https://doi.org/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., Doyle, W., Buzsáki, G., Shigemoto, R., … Maglóczky, Z. (2007). Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2006.09.039
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2666
Luyt, K., Slade, T., Dorward, J., Durant, C., Wu, Y., Shigemoto, R., … Molnár, E. (2007). Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/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. (2007). 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. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.2861-06.2007
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2668
Boyes, J., Bolam, J., Shigemoto, R., & Stanford, I. (2007). Functional presynaptic HCN channels in the rat globus pallidus. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/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. (2007). 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. Oxford University Press. https://doi.org/10.1093/cercor/bhk021
View | DOI
 

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

2007 | Published | Journal Article | IST-REx-ID: 2671
Bender, R., Kirschstein, T., Kretz, O., Brewster, A., Richichi, C., Rüschenschmidt, C., … Baram, T. (2007). Localization of HCN1 channels to presynaptic compartments: Novel plasticity that may contribute to hippocampal maturation. Journal of Neuroscience. Society for Neuroscience. https://doi.org/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. (2007). HCN2 and HCN4 isoforms self-assemble and co-assemble with equal preference to form functional pacemaker channels. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M610978200
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2673
Ladera, C., Godino, M., Martín, R., Luján, R., Shigemoto, R., Ciruela, F., … Sánchez Prieto, J. (2007). The coexistence of multiple receptors in a single nerve terminal provides evidence for pre-synaptic integration. Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/10.1111/j.1471-4159.2007.04964.x
View | DOI
 

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

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

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed