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, Thomas A, and Nir Piterman. “Solving Games without Determinization,” 4207:395–410. Springer, 2006. https://doi.org/10.1007/11874683_26.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4451
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2005.11.015.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4523
Gulavani, Bhargav, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking,” 117–27. ACM, 2006. https://doi.org/10.1145/1181775.1181790.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4526
Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,” 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,” 1675–82. IEEE, 2006. https://doi.org/10.1109/WSC.2006.322942.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games,” 3884:512–23. Springer, 2006. https://doi.org/10.1007/11672142_42.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A Henzinger. “Finitary Winning in Omega-Regular Games,” 3920:257–71. Springer, 2006. https://doi.org/10.1007/11691372_17.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4549
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,” 179–88. IEEE, 2006. https://doi.org/10.1109/QEST.2006.11.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4550
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2006.07.032.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4551
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,” 3884:325–36. Springer, 2006. https://doi.org/10.1007/11672142_26.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4552
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,” 291–300. IEEE, 2006. https://doi.org/10.1109/QEST.2006.48.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4574
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Lazy Shape Analysis,” 4144:532–46. Springer, 2006. https://doi.org/10.1007/11817963_48.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 11698
Henzinger, Monika. “Hyperlink Analysis on the World Wide Web.” In Proceedings of the 16th ACM Conference on Hypertext and Hypermedia, 1–3. Association for Computing Machinery, 2005. https://doi.org/10.1145/1083356.1083357.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 11763 |
Goel, Ashish, Monika Henzinger, and Serge Plotkin. “An Online Throughput-Competitive Algorithm for Multicast Routing and Admission Control.” Journal of Algorithms. Elsevier, 2005. 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, Monika, Bay-Wei Chang, Brian Milch, and Sergey Brin. “Query-Free News Search.” World Wide Web. Springer Nature, 2005. https://doi.org/10.1007/s11280-004-4870-6.
View
| Files available
| DOI
2005 |
Published |
Book Review |
IST-REx-ID: 2647
Luján, Rafael, Ryuichi Shigemoto, and Guillermina López Bendito. “Glutamate and GABA Receptor Signalling in the Developing Brain.” Neuroscience. Elsevier, 2005. https://doi.org/10.1016/j.neuroscience.2004.09.042.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2648
Luján, Rafael, José Albasanz, Ryuichi Shigemoto, and José 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. Wiley-Blackwell, 2005. https://doi.org/10.1111/j.1460-9568.2005.04043.x.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2649
Tanaka, Junichi, Masanori Matsuzaki, Etsuko Tarusawa, Akiko Momiyama, Elek Molnár, Haruo Kasai, and Ryuichi Shigemoto. “Number and Density of AMPA Receptors in Single Synapses in Immature Cerebellum.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/10.1523/JNEUROSCI.4256-04.2005.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2650
Nyíri, Gábor, Eszter Szabadits, Csaba Cserép, Ken Mackie, Ryuichi Shigemoto, and Tamás Freund. “GABAB and CB1 Cannabinoid Receptor Expression Identifies Two Types of Septal Cholinergic Neurons.” European Journal of Neuroscience. Wiley-Blackwell, 2005. https://doi.org/10.1111/j.1460-9568.2005.04146.x.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2651
Kanbara, Kiyoto, Keiko Okamoto, Sakashi Nomura, Takeshi Kaneko, Ryuichi Shigemoto, Haruhito Azuma, Yoji Katsuoka, and Masahiko Watanabe. “Cellular Localization of GABA and GABAB Receptor Subunit Proteins during Spermiogenesis in Rat Testis.” Journal of Andrology. American Society of Andrology, 2005. https://doi.org/10.2164/jandrol.04185.
View
| DOI