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 | Conference Paper | IST-REx-ID: 4452
T. A. Henzinger, T. Hottelier, and L. Kovács, “Valigator: A verification tool with bound and invariant generation,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, 2008, vol. 5330, pp. 333–342.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4509
T. A. Henzinger, “Two challenges in embedded systems design: Predictability and robustness,” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881. Royal Society of London, pp. 3727–3736, 2008.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4521
A. Gupta, T. A. Henzinger, R. Majumdar, A. Rybalchenko, and R. Xu, “Proving non-termination,” presented at the POPL: Principles of Programming Languages, 2008, pp. 147–158.
View | DOI | Download (ext.)
 

2008 | Published | Thesis | IST-REx-ID: 4524
A. Ghosal, “A hierarchical coordination language for reliable real-time tasks,” University of California, Berkeley, 2008.
View
 

2008 | Published | Conference Paper | IST-REx-ID: 4527
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” presented at the FMSB: Formal Methods in Systems Biology, 2008, vol. 5054, pp. 17–32.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4532
L. Doyen, T. A. Henzinger, and J. Raskin, “Equivalence of labeled Markov chains,” International Journal of Foundations of Computer Science, vol. 19, no. 3. World Scientific Publishing, pp. 549–563, 2008.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4533
L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, “Interface theories with component reuse,” presented at the EMSOFT: Embedded Software , 2008, pp. 79–88.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4534
K. Chatterjee and T. A. Henzinger, “Reduction of stochastic parity to stochastic mean-payoff games,” Information Processing Letters, vol. 106, no. 1. Elsevier, pp. 1–7, 2008.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4546
K. Chatterjee et al., “Logical reliability of interacting real-time tasks,” presented at the DATE: Design, Automation and Test in Europe, 2008, pp. 909–914.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4548
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Stochastic limit-average games are in EXPTIME,” International Journal of Game Theory, vol. 37, no. 2. Springer, pp. 219–234, 2008.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4568
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Program analysis with dynamic change of precision,” presented at the ASE: Automated Software Engineering, 2008, pp. 29–38.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 11884
M. Henzinger, “Search technologies for the internet,” Science, vol. 317, no. 5837. American Association for the Advancement of Science, pp. 468–471, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Conference Paper | IST-REx-ID: 11924
M. Henzinger, “Combinatorial algorithms for web search engines: three success stories,” in 18th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, LA, United States, 2007, pp. 1022–1026.
View
 

2007 | Published | Journal Article | IST-REx-ID: 12201
X. Feng and H. G. Dickinson, “Packaging the male germline in plants,” Trends in Genetics, vol. 23, no. 10. Elsevier BV, pp. 503–510, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 2665
K. Tóth et al., “Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus,” Neuroscience, vol. 144, no. 2. Elsevier, pp. 495–508, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2666
K. Luyt et al., “Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration,” Journal of Neurochemistry, vol. 100, no. 3. Wiley-Blackwell, pp. 822–840, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2667
M. Masugi Tokita, E. Tarusawa, M. Watanabe, E. Molnár, K. Fujimoto, and R. Shigemoto, “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, vol. 27, no. 8. Society for Neuroscience, pp. 2135–2144, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2668
J. Boyes, J. Bolam, R. Shigemoto, and I. Stanford, “Functional presynaptic HCN channels in the rat globus pallidus,” European Journal of Neuroscience, vol. 25, no. 7. Wiley-Blackwell, pp. 2081–2092, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2669
A. Brewster, Y. Chen, R. Bender, A. Yeh, R. Shigemoto, and T. Baram, “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, vol. 17, no. 3. Oxford University Press, pp. 702–712, 2007.
View | DOI
 

2007 | Published | Book Review | IST-REx-ID: 2670
M. Masugi Tokita and R. Shigemoto, “High-resolution quantitative visualization of glutamate and GABA receptors at central synapses,” Current Opinion in Neurobiology, vol. 17, no. 3. Elsevier, pp. 387–393, 2007.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed