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


2006 | Published | Conference Paper | IST-REx-ID: 4437
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4451
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4523
Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4526
A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4528
Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4538
Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4539
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4549
Compositional quantitative reasoning
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4550
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4551
Markov decision processes with multiple objectives
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4552
Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4574
Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 11698
Hyperlink analysis on the world wide web
M. Henzinger, in:, Proceedings of the 16th ACM Conference on Hypertext and Hypermedia, Association for Computing Machinery, 2005, pp. 1–3.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 11763 | OA
An online throughput-competitive algorithm for multicast routing and admission control
A. Goel, M. Henzinger, S. Plotkin, Journal of Algorithms 55 (2005) 1–20.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 11904
Query-free news search
M. Henzinger, B.-W. Chang, B. Milch, S. Brin, World Wide Web 8 (2005) 101–126.
View | Files available | DOI
 

2005 | Published | Book Review | IST-REx-ID: 2647
Glutamate and GABA receptor signalling in the developing brain
R. Luján, R. Shigemoto, G. López Bendito, Neuroscience 130 (2005) 567–580.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2648
Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum
R. Luján, J. Albasanz, R. Shigemoto, J. Juíz, European Journal of Neuroscience 21 (2005) 2073–2082.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2649
Number and density of AMPA receptors in single synapses in immature cerebellum
J. Tanaka, M. Matsuzaki, E. Tarusawa, A. Momiyama, E. Molnár, H. Kasai, R. Shigemoto, Journal of Neuroscience 25 (2005) 799–807.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2650
GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons
G. Nyíri, E. Szabadits, C. Cserép, K. Mackie, R. Shigemoto, T. Freund, European Journal of Neuroscience 21 (2005) 3034–3042.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2651
Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis
K. Kanbara, K. Okamoto, S. Nomura, T. Kaneko, R. Shigemoto, H. Azuma, Y. Katsuoka, M. Watanabe, Journal of Andrology 26 (2005) 485–493.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed