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.
2023 Publications
2007 |Published| Conference Paper | IST-REx-ID: 3220
Dziembowski, Stefan, and Krzysztof Z Pietrzak. “Intrusion Resilient Secret Sharing,” 227–37. IEEE, 2007. https://doi.org/10.1109/FOCS.2007.63.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3221
Pietrzak, Krzysztof Z, and Johan Sjödin. “Range Extension for Weak PRFs the Good the Bad and the Ugly,” 4515:517–33. Springer, 2007. https://doi.org/10.1007/978-3-540-72540-4_30.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 3436
Reynolds, Sheila, Katie Dryer, Jonathan P Bollback, J Albert Uy, Gail Patricelli, Timothy Robson, Gerald Borgia, and Michael Braun. “Behavioral Paternity Predicts Genetic Paternity in Satin Bowerbirds, a Species with a Non-Resource-Based Mating System.” The Auk. University of California Press, 2007. https://doi.org/10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3561 | 
Attali, Dominique, Herbert Edelsbrunner, and Yuriy Mileyko. “Weak Witnesses for Delaunay Triangulations of Submanifolds,” 143–50. ACM, 2007. https://doi.org/10.1145/1236246.1236267.
View
| DOI
| Download (ext.)
2007 |Published| Book | IST-REx-ID: 3674
Barton, Nicholas H, Derek Briggs, Jonathan Eisen, David Goldstein, and Nipam Patel. Evolution. Cold Spring Harbor Laboratory Press, 2007.
View
| Files available
2007 |Published| Journal Article | IST-REx-ID: 3882
Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives.” Theoretical Computer Science. Elsevier, 2007. https://doi.org/10.1016/j.tcs.2007.07.047.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3881
De Alfaro, Luca, Krishnendu Chatterjee, Marco Faella, and Axel Legay. “Qualitative Logics and Equivalences for Probabilistic Systems,” 237–48. IEEE, 2007. https://doi.org/10.1109/QEST.2007.15.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3886
Chatterjee, Krishnendu. “Stochastic Müller Games Are PSPACE-Complete,” 4855:436–48. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007. https://doi.org/10.1007/978-3-540-77050-3_36.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3885
Chatterjee, Krishnendu. “Optimal Strategy Synthesis in Stochastic Müller Games,” 4423:138–52. Springer, 2007. https://doi.org/10.1007/978-3-540-71389-0_11.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 3937
Woolf, Eilon, Irina Grigorova, Adi Sagiv, Valentin Grabovsky, Sara Feigelson, Ziv Shulman, Tanja Hartmann, Michael K Sixt, Jason Cyster, and Ronen Alon. “Lymph Node Chemokines Promote Sustained T Lymphocyte Motility without Triggering Stable Integrin Adhesiveness in the Absence of Shear Forces.” Nature Immunology. Nature Publishing Group, 2007. https://doi.org/10.1038/ni1499.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4247
Gardner, Andy, Stuart West, and Nicholas H Barton. “The Relation between Multilocus Population Genetics and Social Evolution Theory.” American Naturalist. University of Chicago Press, 2007. https://doi.org/10.1086/510602.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4399
Beyer, Dirk, Thomas A Henzinger, and Vasu Singh. “Algorithms for Interface Synthesis,” 4590:4–19. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_4.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4405
Schaub, Marc, Thomas A Henzinger, and Jasmin Fisher. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.” BMC Systems Biology. BioMed Central, 2007. https://doi.org/10.1186/1752-0509-1-4.
View
| DOI
| Download (ext.)
2007 |Published| Conference Paper | IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A Henzinger. “Assume-Guarantee Synthesis,” 4424:261–75. Springer, 2007. https://doi.org/10.1007/978-3-540-71209-1_21.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science. International Federation of Computational Logic, 2007. https://doi.org/10.2168/LMCS-3(3:4)2007.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4575
Beyer, Dirk, Arindam Chakrabarti, Thomas A Henzinger, and Sanjit Seshia. “An Application of Web-Service Interfaces,” 831–38. IEEE, 2007. https://doi.org/10.1109/ICWS.2007.32 .
View
| DOI
2007 |Published| 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 |Published| Journal Article | IST-REx-ID: 8487
Gal, Maayan, Paul Schanda, Bernhard Brutscher, and Lucio Frydman. “UltraSOFAST HMQC NMR and the Repetitive Acquisition of 2D Protein Spectra at Hz Rates.” Journal of the American Chemical Society. American Chemical Society, 2007. https://doi.org/10.1021/ja066915g.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 8511
Gorodetski, A., and Vadim Kaloshin. “How Often Surface Diffeomorphisms Have Infinitely Many Sinks and Hyperbolicity of Periodic Points near a Homoclinic Tangency.” Advances in Mathematics. Elsevier, 2007. https://doi.org/10.1016/j.aim.2006.03.012.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 8512
Kaloshin, Vadim, and Brian Hunt. “Stretched Exponential Estimates on Growth of the Number of Periodic Points for Prevalent Diffeomorphisms I.” Annals of Mathematics. Princeton University Press, 2007. https://doi.org/10.4007/annals.2007.165.89.
View
| DOI