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.
8924 Publications
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Henzinger TA, Prabhu V. Timed alternating-time temporal logic. In: Vol 4202. Springer; 2006:1-17. doi:10.1007/11867340_1
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4436
Henzinger TA, Matic S. An interface algebra for real-time components. In: IEEE; 2006:253-266. doi:10.1109/RTAS.2006.11
View
| DOI
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 |
Journal Article |
IST-REx-ID: 12657 |
Pellicciotti F, Brock B, Strasser U, Burlando P, Funk M, Corripio J. An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland. Journal of Glaciology. 2005;51(175):573-587. doi:10.3189/172756505781829124
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 1298
Reiff D, Ihring A, Guerrero G, et al. In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. 2005;25(19):4766-4778. doi:10.1523/JNEUROSCI.4900-04.2005
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 843
Yampolsky L, Kondrashov F, Kondrashov A. Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. 2005;14(21):3191-3201. doi:10.1093/hmg/ddi350
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 8491
Schanda P, Kupče Ē, Brutscher B. SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds. Journal of Biomolecular NMR. 2005;33(4):199-211. doi:10.1007/s10858-005-4425-x
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 8492
Schanda P, Brutscher B. Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds. Journal of the American Chemical Society. 2005;127(22):8014-8015. doi:10.1021/ja051306e
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 8516
Bourgain J, Kaloshin V. On diffusion in high-dimensional Hamiltonian systems. Journal of Functional Analysis. 2005;229(1):1-61. doi:10.1016/j.jfa.2004.09.006
View
| DOI