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
2006 | Conference Paper | IST-REx-ID: 1034 | 
Nägerl, Hanns, Tobias Kraemer, Michael Mark, Philipp Waldburger, Johann G Danzl, Bastian Engeser, Adam Lange, et al. “Experimental Evidence for Efimov Quantum States,” 869:269–77. AIP, 2006. https://doi.org/10.1063/1.2400657.
View
| DOI
| Download None (ext.)
2006 | Journal Article | IST-REx-ID: 1715
Dudu, Veronika, Thomas Bittig, Eugeni Entchev, Anna Kicheva, Frank Julicher, and Marcos González Gaitán. “Postsynaptic Mad Signaling at the Drosophila Neuromuscular Junction.” Current Biology. Cell Press, 2006. https://doi.org/10.1016/j.cub.2006.02.061.
View
| Files available
| DOI
2006 | Journal Article | IST-REx-ID: 1796
Siegert, Sandra, Peter Schnierle, and Barbara Schnierle. “Novel Anti-Viral Therapy: Drugs That Block HIV Entry at Different Target Sites.” Mini-Reviews in Medicinal Chemistry. Bentham Science Publishers, 2006. https://doi.org/10.2174/138955706776876267.
View
| DOI
2006 | Journal Article | IST-REx-ID: 2089
Weyrich, Tim, Wojciech Matusik, Hanspeter Pfister, Bernd Bickel, Craig Donner, Chien Tu, Janet Mcandless, et al. “Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model.” ACM Transactions on Graphics. ACM, 2006. https://doi.org/10.1145/1141911.1141987.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 2088
Weyrich, Tim, Wojciech Matusik, Hanspeter Pfister, Bernd Bickel, Craig Donner, Chien Tu, Janet Mcandless, et al. “Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model,” 1013–24. ACM, 2006. https://doi.org/10.1145/1179352.1141987.
View
| DOI