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.
9087 Publications
2008 | Conference Paper | IST-REx-ID: 3504 |
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2008, vol. 2, pp. 107–118.
[Published Version]
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3876
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: complexity and robustness,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2008, vol. 5215, pp. 124–140.
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3878 |
K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, 2008, vol. 5356, pp. 91–106.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3943
K. Kessenbrock et al., “Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin,” The Journal of Clinical Investigation, vol. 118, no. 7. American Society for Clinical Investigation, pp. 2438–2447, 2008.
View
| DOI
2008 | Journal Article | IST-REx-ID: 4135
D. Storch, A. Šizling, J. Reif, J. Polechova, E. Šizlingová, and K. Gaston, “The quest for a null model for macroecological patterns: geometry of species distributions at multiple spatial scales,” Ecology Letters, vol. 11, no. 8. Wiley-Blackwell, pp. 771–784, 2008.
View
| DOI
2008 | Journal Article | IST-REx-ID: 4180
M. Krieg, J. Helenius, C.-P. J. Heisenberg, and D. Mueller, “A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics,” Angewandte Chemie - International Edition, vol. 47, no. 50. Wiley-Blackwell, pp. 9775–9777, 2008.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 4244
E. Yang, N. H. Barton, T. Arslan, and A. Erdogan, “A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks,” presented at the WCCI: IEEE World Congress on Computational Intelligence, 2008, pp. 2749–2756.
View
| DOI
2008 | Book Chapter | IST-REx-ID: 4371
O. Maler, D. Nickovic, and A. Pnueli, “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors,” in Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3038
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3037 |
E. Feraru and J. Friml, “PIN polar targeting,” Plant Physiology, vol. 147, no. 4. American Society of Plant Biologists, pp. 1553–1559, 2008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Conference Paper | IST-REx-ID: 3198
L. Torresani, V. Kolmogorov, and C. Rother, “Feature correspondence via graph matching: Models and global optimization,” presented at the ECCV: European Conference on Computer Vision, 2008, vol. 5303, pp. 596–609.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3195
S. Vicente, V. Kolmogorov, and C. Rother, “Graph cut based image segmentation with connectivity priors,” presented at the CVPR: Computer Vision and Pattern Recognition, 2008.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3225
M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi property combiners for hash functions revisited,” presented at the ICALP: Automata, Languages and Programming, 2008, vol. 5126, no. PART 2, pp. 655–666.
View
| Files available
| DOI
2008 | Journal Article | IST-REx-ID: 3307 |
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3435 |
J. P. Bollback, T. York, and R. Nielsen, “Estimation of 2Nes From Temporal Allele Frequency Data,” Genetics, vol. 179, no. 1. Genetics Society of America, pp. 497–502, 2008.
View
| DOI
| Download (ext.)