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.
7003 Publications
2007 |Published| Journal Article | IST-REx-ID: 4205
Von Der Hardt S, Bakkers J, Inbal A, et al. The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. 2007;17(6):475-487. doi:10.1016/j.cub.2007.02.013
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4234 |
de Vladar H, Pen I. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 2007;373:477-485. doi:10.1016/j.physa.2006.06.025
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 |Published| 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 |Published| Journal Article | IST-REx-ID: 4246
Free A, Barton NH. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 2007;22(11):611-619. doi:10.1016/j.tree.2007.07.007
View
| DOI
2007 |Published| 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 |Published| Journal Article | IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 2007;1(4). doi:10.1186/1752-0509-1-4
View
| DOI
| Download (ext.)
2007 |Published| 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 |Published| Journal Article | IST-REx-ID: 4446
Henzinger TA, Kirsch C. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 2007;29(393). doi:10.1145/1286821.1286824
View
| DOI
2007 |Published| 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 |Published| 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 |Published| Journal Article | IST-REx-ID: 4531
Fisher J, Piterman N, Hajnal A, Henzinger TA. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. 2007;3(5):e92. doi:10.1371/journal.pcbi.0030092
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4529
Fisher J, Henzinger TA. Executable cell biology. Nature Biotechnology. 2007;25:1239-1249. doi:10.1038/nbt1356
View
| DOI
2007 |Published| 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 |Published| 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 |Published| 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 |Published| Thesis | IST-REx-ID: 4559
Chatterjee K. Stochastic ω-Regular Games. 2007:1-247.
View
| Download (ext.)