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
Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
View | DOI | Download (ext.)
 

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

2008 | Published | Conference Paper | IST-REx-ID: 4521
Proving non-termination
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
View | DOI | Download (ext.)
 

2008 | Published | Thesis | IST-REx-ID: 4524
A hierarchical coordination language for reliable real-time tasks
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
Bounded asynchrony: Concurrency for modeling cell-cell interactions
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4532
Equivalence of labeled Markov chains
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4533
Interface theories with component reuse
L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.
View | DOI | Download (ext.)
 

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

2008 | Published | Conference Paper | IST-REx-ID: 4546
Logical reliability of interacting real-time tasks
K. Chatterjee, A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, C. Pinello, A. Sangiovanni Vincentelli, in:, IEEE, 2008, pp. 909–914.
View | DOI | Download (ext.)
 

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

2008 | Published | Conference Paper | IST-REx-ID: 4568
Program analysis with dynamic change of precision
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, ACM, 2008, pp. 29–38.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 11884
Search technologies for the internet
M. Henzinger, Science 317 (2007) 468–471.
View | DOI | PubMed | Europe PMC
 

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

2007 | Published | Journal Article | IST-REx-ID: 12201
Packaging the male germline in plants
X. Feng, H.G. Dickinson, Trends in Genetics 23 (2007) 503–510.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 2665
Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus
K. Tóth, L. Wittner, Z. Urbán, W. Doyle, G. Buzsáki, R. Shigemoto, T. Freund, Z. Maglóczky, Neuroscience 144 (2007) 495–508.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 2666
Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration
K. Luyt, T. Slade, J. Dorward, C. Durant, Y. Wu, R. Shigemoto, S. Mundell, A. Váradi, E. Molnár, Journal of Neurochemistry 100 (2007) 822–840.
View | DOI
 

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

2007 | Published | Journal Article | IST-REx-ID: 2668
Functional presynaptic HCN channels in the rat globus pallidus
J. Boyes, J. Bolam, R. Shigemoto, I. Stanford, European Journal of Neuroscience 25 (2007) 2081–2092.
View | DOI
 

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

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

Search

Filter Publications

Display / Sort

Export / Embed