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.
9169 Publications
2007 | Journal Article | IST-REx-ID: 4234 | 
de Vladar, Harold, and I. Pen. “Determinism, Noise, and Spurious Estimations in a Generalised Model of Population Growth.” Physica A, vol. 373, Elsevier, 2007, pp. 477–85, doi:10.1016/j.physa.2006.06.025.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 4247
Gardner, Andy, et al. “The Relation between Multilocus Population Genetics and Social Evolution Theory.” American Naturalist, vol. 169, no. 2, University of Chicago Press, 2007, pp. 207–26, doi:10.1086/510602.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4246
Free, Andrew, and Nicholas H. Barton. “Do Evolution and Ecology Need the Gaia Hypothesis?” Trends in Ecology and Evolution, vol. 22, no. 11, Cell Press, 2007, pp. 611–19, doi:10.1016/j.tree.2007.07.007.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4399
Beyer, Dirk, et al. Algorithms for Interface Synthesis. Vol. 4590, Springer, 2007, pp. 4–19, doi:10.1007/978-3-540-73368-3_4.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4405
Schaub, Marc, et al. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.” BMC Systems Biology, vol. 1, no. 4, BioMed Central, 2007, doi:10.1186/1752-0509-1-4.
View
| DOI
| Download (ext.)
2007 | Book Chapter | IST-REx-ID: 4417
Manevich, Roman, et al. “Abstract Counterexample-Based Refinement for Powerset Domains.” Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–92, doi:10.1007/978-3-540-71322-7_13.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4446
Henzinger, Thomas A., and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 29, no. 393, ACM, 2007, doi:10.1145/1286821.1286824.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, Thomas A. Games, Time, and Probability: Graph Models for System Design and Analysis. Vol. 4362, Springer, 2007, pp. 103–10, doi:10.1007/978-3-540-69507-3_7.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. Quantitative Generalizations of Languages. Vol. 4588, Springer, 2007, pp. 20–22, doi:10.1007/978-3-540-73208-2_2.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4531
Fisher, Jasmin, et al. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” PLoS Computational Biology, vol. 3(5):e92, Public Library of Science, 2007, doi:10.1371/journal.pcbi.0030092.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4529
Fisher, Jasmin, and Thomas A. Henzinger. “Executable Cell Biology.” Nature Biotechnology, vol. 25, Nature Publishing Group, 2007, pp. 1239–49, doi:10.1038/nbt1356.
View
| DOI
2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc, Jacques, and Thomas A. Henzinger. “CSL: Computer Science Logic .” 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, Krishnendu, and Thomas A. Henzinger. Assume-Guarantee Synthesis. Vol. 4424, Springer, 2007, pp. 261–75, doi:10.1007/978-3-540-71209-1_21.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science, vol. 3, no. 184, International Federation of Computational Logic, 2007, pp. 1–23, doi:10.2168/LMCS-3(3:4)2007.
View
| DOI
2007 | Thesis | IST-REx-ID: 4559
Chatterjee, Krishnendu. Stochastic ω-Regular Games. University of California, Berkeley, 2007, pp. 1–247.
View
| Download (ext.)
2007 | Thesis | IST-REx-ID: 4566
Chakrabarti, Arindam. A Framework for Compositional Design and Analysis of Systems. University of California, Berkeley, 2007, pp. 1–244.
View