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
Henzinger, T. A., & Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_26
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4451
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.11.015
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4523
Gulavani, B., Henzinger, T. A., Kannan, Y., Nori, A., & Rajamani, S. (2006). Synergy: A new algorithm for property checking (pp. 117–127). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1181775.1181790
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4526
Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., & Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1176887.1176907
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4528
Fisher, J., & Henzinger, T. A. (2006). Executable biology (pp. 1675–1682). Presented at the WSC: Winter Simulation Conference, IEEE. https://doi.org/10.1109/WSC.2006.322942
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Chatterjee, K., & Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_42
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4539
Chatterjee, K., & Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/11691372_17
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4549
Chatterjee, K., De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2006). Compositional quantitative reasoning (pp. 179–188). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.11
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4550
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2006). Games with secure equilibria. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2006.07.032
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4551
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2006). Markov decision processes with multiple objectives (Vol. 3884, pp. 325–336). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_26
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4552
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.48
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4574
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2006). Lazy shape analysis (Vol. 4144, pp. 532–546). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_48
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 11698
Henzinger, M. (2005). Hyperlink analysis on the world wide web. In Proceedings of the 16th ACM conference on Hypertext and hypermedia (pp. 1–3). Salzburg, Austria: Association for Computing Machinery. https://doi.org/10.1145/1083356.1083357
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 11763 |
Goel, A., Henzinger, M., & Plotkin, S. (2005). An online throughput-competitive algorithm for multicast routing and admission control. Journal of Algorithms. Elsevier. https://doi.org/10.1016/j.jalgor.2004.11.001
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 11904
Henzinger, M., Chang, B.-W., Milch, B., & Brin, S. (2005). Query-free news search. World Wide Web. Springer Nature. https://doi.org/10.1007/s11280-004-4870-6
View
| Files available
| DOI
2005 |
Published |
Book Review |
IST-REx-ID: 2647
Luján, R., Shigemoto, R., & López Bendito, G. (2005). Glutamate and GABA receptor signalling in the developing brain. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2004.09.042
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2648
Luján, R., Albasanz, J., Shigemoto, R., & Juíz, J. (2005). 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. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2005.04043.x
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2649
Tanaka, J., Matsuzaki, M., Tarusawa, E., Momiyama, A., Molnár, E., Kasai, H., & Shigemoto, R. (2005). Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.4256-04.2005
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2650
Nyíri, G., Szabadits, E., Cserép, C., Mackie, K., Shigemoto, R., & Freund, T. (2005). GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2005.04146.x
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2651
Kanbara, K., Okamoto, K., Nomura, S., Kaneko, T., Shigemoto, R., Azuma, H., … Watanabe, M. (2005). Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis. Journal of Andrology. American Society of Andrology. https://doi.org/10.2164/jandrol.04185
View
| DOI