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
T. A. Henzinger and N. Piterman, “Solving games without determinization,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 395–410.
View | DOI
 

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

2006 | Published | Conference Paper | IST-REx-ID: 4523
B. Gulavani, T. A. Henzinger, Y. Kannan, A. Nori, and S. Rajamani, “Synergy: A new algorithm for property checking,” presented at the FSE: Foundations of Software Engineering, 2006, pp. 117–127.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4526
A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni Vincentelli, “A hierarchical coordination language for interacting real-time tasks,” presented at the EMSOFT: Embedded Software , 2006, pp. 132–141.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4528
J. Fisher and T. A. Henzinger, “Executable biology,” presented at the WSC: Winter Simulation Conference, 2006, pp. 1675–1682.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4538
K. Chatterjee and T. A. Henzinger, “Strategy improvement and randomized subexponential algorithms for stochastic parity games,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 512–523.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4539
K. Chatterjee and T. A. Henzinger, “Finitary winning in omega-regular games,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2006, vol. 3920, pp. 257–271.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4549
K. Chatterjee, L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Compositional quantitative reasoning,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 179–188.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4550
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Games with secure equilibria,” Theoretical Computer Science, vol. 365, no. 1–2. Elsevier, pp. 67–82, 2006.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4551
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Markov decision processes with multiple objectives,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 325–336.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4552
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability games,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 291–300.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4574
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Lazy shape analysis,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 532–546.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 11698
M. Henzinger, “Hyperlink analysis on the world wide web,” in Proceedings of the 16th ACM conference on Hypertext and hypermedia, Salzburg, Austria, 2005, pp. 1–3.
View | DOI
 

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

2005 | Published | Journal Article | IST-REx-ID: 11904
M. Henzinger, B.-W. Chang, B. Milch, and S. Brin, “Query-free news search,” World Wide Web, vol. 8, no. 2. Springer Nature, pp. 101–126, 2005.
View | Files available | DOI
 

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

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

2005 | Published | Journal Article | IST-REx-ID: 2649
J. Tanaka et al., “Number and density of AMPA receptors in single synapses in immature cerebellum,” Journal of Neuroscience, vol. 25, no. 4. Society for Neuroscience, pp. 799–807, 2005.
View | DOI
 

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

2005 | Published | Journal Article | IST-REx-ID: 2651
K. Kanbara et al., “Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis,” Journal of Andrology, vol. 26, no. 4. American Society of Andrology, pp. 485–493, 2005.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed