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.

727 Publications


2007 | Conference Paper | IST-REx-ID: 3981
D. Attali, H. Edelsbrunner, J. Harer, and Y. Mileyko, “Alpha-beta witness complexes,” presented at the WADS: International Workshop on Algrithms and Data Structures, 2007, vol. 4619, pp. 386–397.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3027
N. Malenica et al., “MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins,” Plant Journal, vol. 51, no. 4. Wiley-Blackwell, pp. 537–550, 2007.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3219
U. Maurer, K. Z. Pietrzak, and R. Renner, “Indistinguishability amplification,” presented at the CRYPTO: International Cryptology Conference, 2007, vol. 4622, pp. 130–149.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
L. Li, J. Bischofberger, and P. M. Jonas, “Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons,” Journal of Neuroscience, vol. 27, no. 49. Society for Neuroscience, pp. 13420–9, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4531
J. Fisher, N. Piterman, A. Hajnal, and T. A. Henzinger, “Predictive modeling of signaling crosstalk during C. elegans vulval development,” PLoS Computational Biology, vol. 3(5):e92. Public Library of Science, 2007.
View | DOI
 

2007 | Thesis | IST-REx-ID: 4566
A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.
View
 

2007 | Journal Article | IST-REx-ID: 4567
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “The software model checker BLAST: Applications to software engineering,” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5. Springer, pp. 505–525, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4626
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” Theoretical Computer Science, vol. 386, no. 3. Elsevier, pp. 188–217, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7781
M. R. Robinson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep,” Evolution, vol. 60, no. 10. Wiley, pp. 2168–2181, 2007.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 1034 | OA
H. Nägerl et al., “Experimental evidence for Efimov quantum states,” presented at the ICAP: International Conference on Atomic Physics, 2006, vol. 869, pp. 269–277.
View | DOI | Download None (ext.)
 

Filters and Search Terms

type%3Ddissertation

Search

Filter Publications