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.

9114 Publications


2009 | Conference Paper | IST-REx-ID: 3709
C. Lampert, “Detecting objects in large image collections and videos by efficient subimage retrieval,” presented at the ICCV: International Conference on Computer Vision, 2009, pp. 987–994.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3745
G. Tkačik and W. Bialek, “Diffusion, dimensionality, and noise in transcriptional regulation,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 79, no. 5. American Institute of Physics, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
N. H. Barton and J. Coe, “On the application of statistical physics to evolutionary biology,” Journal of Theoretical Biology, vol. 259, no. 2. Elsevier, pp. 317–324, 2009.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3835
R. Bloem, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Synthesizing robust systems,” presented at the FMCAD: Formal Methods in Computer-Aided Design, 2009, pp. 85–92.
View | DOI
 

Search

Filter Publications