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 TA, Piterman N. Solving games without determinization. In: Vol 4207. Springer; 2006:395-410. doi:10.1007/11874683_26
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 2006;354(2):173-186. doi:10.1016/j.tcs.2005.11.015
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. Synergy: A new algorithm for property checking. In: ACM; 2006:117-127. doi:10.1145/1181775.1181790
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. A hierarchical coordination language for interacting real-time tasks. In: ACM; 2006:132-141. doi:10.1145/1176887.1176907
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4528
Fisher J, Henzinger TA. Executable biology. In: IEEE; 2006:1675-1682. doi:10.1109/WSC.2006.322942
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Chatterjee K, Henzinger TA. Strategy improvement and randomized subexponential algorithms for stochastic parity games. In: Vol 3884. Springer; 2006:512-523. doi:10.1007/11672142_42
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4539
Chatterjee K, Henzinger TA. Finitary winning in omega-regular games. In: Vol 3920. Springer; 2006:257-271. doi:10.1007/11691372_17
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4549
Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Compositional quantitative reasoning. In: IEEE; 2006:179-188. doi:10.1109/QEST.2006.11
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria. Theoretical Computer Science. 2006;365(1-2):67-82. doi:10.1016/j.tcs.2006.07.032
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4551
Chatterjee K, Majumdar R, Henzinger TA. Markov decision processes with multiple objectives. In: Vol 3884. Springer; 2006:325-336. doi:10.1007/11672142_26
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games. In: IEEE; 2006:291-300. doi:10.1109/QEST.2006.48
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4574
Beyer D, Henzinger TA, Théoduloz G. Lazy shape analysis. In: Vol 4144. Springer; 2006:532-546. doi:10.1007/11817963_48
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 11698
Henzinger M. Hyperlink analysis on the world wide web. In: Proceedings of the 16th ACM Conference on Hypertext and Hypermedia. Association for Computing Machinery; 2005:1-3. doi:10.1145/1083356.1083357
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 11763 |
Goel A, Henzinger M, Plotkin S. An online throughput-competitive algorithm for multicast routing and admission control. Journal of Algorithms. 2005;55(1):1-20. doi: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. Query-free news search. World Wide Web. 2005;8(2):101-126. doi: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. Glutamate and GABA receptor signalling in the developing brain. Neuroscience. 2005;130(3):567-580. doi: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. 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. 2005;21(8):2073-2082. doi:10.1111/j.1460-9568.2005.04043.x
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2649
Tanaka J, Matsuzaki M, Tarusawa E, et al. Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. 2005;25(4):799-807. doi: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. GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons. European Journal of Neuroscience. 2005;21(11):3034-3042. doi:10.1111/j.1460-9568.2005.04146.x
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2651
Kanbara K, Okamoto K, Nomura S, et al. Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis. Journal of Andrology. 2005;26(4):485-493. doi:10.2164/jandrol.04185
View
| DOI