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.
1620 Publications
2007 | Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. The relation between multilocus population genetics and social evolution theory. American Naturalist. 2007;169(2):207-226. doi:10.1086/510602
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. Algorithms for interface synthesis. In: Vol 4590. Springer; 2007:4-19. doi:10.1007/978-3-540-73368-3_4
View
| DOI
2007 | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Vol 4444. Springer; 2007:273-292. doi:10.1007/978-3-540-71322-7_13
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4514
Henzinger TA. Games, time, and probability: Graph models for system design and analysis. In: Vol 4362. Springer; 2007:103-110. doi:10.1007/978-3-540-69507-3_7
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4511
Henzinger TA. Quantitative generalizations of languages. In: Vol 4588. Springer; 2007:20-22. doi:10.1007/978-3-540-73208-2_2
View
| DOI
2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc J, Henzinger TA. CSL: Computer Science Logic . Vol 4646. Springer; 2007. doi:10.1007/978-3-540-74915-8
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee K, Henzinger TA. Assume-guarantee synthesis. In: Vol 4424. Springer; 2007:261-275. doi:10.1007/978-3-540-71209-1_21
View
| DOI
2007 | Journal Article | IST-REx-ID: 4547
Chatterjee K, Doyen L, Henzinger TA, Raskin J. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 2007;3(184):1-23. doi:10.2168/LMCS-3(3:4)2007
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:10.1007/978-3-540-73420-8_71
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27
View
| DOI
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. Theoretical Computer Science. 2007;386(3):188-217. doi:10.1016/j.tcs.2007.07.008
View
| DOI
2007 | Journal Article | IST-REx-ID: 9487 | 
Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. 2007;104(16):6752-6757. doi:10.1073/pnas.0701861104
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2006 | Conference Paper | IST-REx-ID: 1034 |
Nägerl H, Kraemer T, Mark M, et al. Experimental evidence for Efimov quantum states. In: Vol 869. AIP; 2006:269-277. doi:10.1063/1.2400657
View
| DOI
| Download None (ext.)
2006 | Journal Article | IST-REx-ID: 11117
D’Angelo MA, Hetzer M. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 2006;63(3):316-332. doi:10.1007/s00018-005-5361-3
View
| DOI
| PubMed | Europe PMC
2006 | Conference Paper | IST-REx-ID: 11929
Henzinger MH. Finding near-duplicate web pages: A large-scale evaluation of algorithms. In: 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery; 2006:284-291. doi:10.1145/1148170.1148222
View
| DOI
2006 | Journal Article | IST-REx-ID: 2134
Ehresmann A, Werner L, Klumpp S, et al. Predissociation of the N+2(C 2Σ+u) state observed via C 2Σ+u → X 2Σ+g fluorescence after resonant 1s−1π* excitation of N2 molecule. Journal of Physics B: Atomic, Molecular and Optical Physics. 2006;39(6):L119-L126. doi:10.1088/0953-4075/39/6/L03
View
| DOI
2006 | Journal Article | IST-REx-ID: 215
Browning TD, Heath Brown R. The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society. 2006;38(3):401-410. doi:10.1112/S0024609305018412
View
| DOI
2006 | Journal Article | IST-REx-ID: 218
De La Bretèche R, Browning TD. Sums of arithmetic functions over values of binary forms. Acta Arithmetica. 2006;125(3):291-304. doi:10.4064/aa125-3-6
View
| DOI
2006 | Conference Paper | IST-REx-ID: 2334 |
Seiringer R, Lieb É, Yngvason J. One-dimensional behavior of dilute, trapped Bose gases in traps. In: Zambrini J, ed. World Scientific Publishing; 2006. doi:10.1007/s00220-003-0993-3
View
| DOI
| Download (ext.)