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.
723 Publications
2007 | Journal Article | IST-REx-ID: 4531
Fisher, Jasmin, Nir Piterman, Alex Hajnal, and Thomas A Henzinger. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” PLoS Computational Biology. Public Library of Science, 2007. https://doi.org/10.1371/journal.pcbi.0030092.
View
| DOI
2007 | Thesis | IST-REx-ID: 4566
Chakrabarti, Arindam. “A Framework for Compositional Design and Analysis of Systems.” University of California, Berkeley, 2007.
View
2007 | Journal Article | IST-REx-ID: 4567
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The Software Model Checker BLAST: Applications to Software Engineering.” International Journal on Software Tools for Technology Transfer. Springer, 2007. https://doi.org/10.1007/s10009-007-0044-z.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” Theoretical Computer Science. Elsevier, 2007. https://doi.org/10.1016/j.tcs.2007.07.008.
View
| DOI
2007 | Journal Article | IST-REx-ID: 7781
Robinson, Matthew Richard, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske E.B. Kruuk. “Live Fast, Die Young: Trade-Offs between Fitness Components and Sexually Antagonistic Selection on Weaponry in Soay Sheep.” Evolution. Wiley, 2007. https://doi.org/10.1111/j.0014-3820.2006.tb01854.x.
View
| DOI