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.

11082 Publications


2007 | Published | Journal Article | IST-REx-ID: 3028
Michniewicz M, Zago M, Abas L, Weijers D, Schweighofer A, Meskiene I, Heisler M, Ohno C, Zhang J, Huang F, Schwab R, Weigel D, Meyerowitz E, Luschnig C, Offringa R, Friml J. 2007. Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux. Cell. 130(6), 1044–1056.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 3029
Laplaze L, Benková E, Casimiro I, Maes L, Vanneste S, Swarup R, Weijers D, Calvo V, Parizot B, Herrera Rodriguez M, Offringa R, Graham N, Doumas P, Friml J, Bogusz D, Beeckman T, Bennett M. 2007. Cytokinins act directly on lateral root founder cells to inhibit root initiation. Plant Cell. 19(12), 3889–3900.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4225
Bollenbach MT, Vetsigian K, Kishony R. 2007. Evolution and multilevel optimization of the genetic code. Genome Research. 17(4), 401–404.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4226
Kicheva A, Pantazis P, Bollenbach T, Kalaidzidis Y, Bittig T, Julicher F, Gonzalez Gaitan M. 2007. Kinetics of morphogen gradient formation. Science. 315(5811), 521–525.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4234 | OA
de Vladar H, Pen I. 2007. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 373, 477–485.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 4246
Free A, Barton NH. 2007. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 22(11), 611–619.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. 2007. The relation between multilocus population genetics and social evolution theory. American Naturalist. 169(2), 207–226.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4342
Danowski P. 2007. Library 2.0 and User-Generated Content - What can the users do for us? WLIC: World Library and Information Congress.
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 4353
Binladen J, Gilbert MT, Bollback JP, Panitz F, Bendixen C, Nielsen R, Willerslev E. 2007. The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing. PLoS One. 2(2).
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4354
Freyhult E, Bollback JP, Gardner P. 2007. Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. 17(1), 117–25.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 4355
Bollback JP, Huelsenbeck J. 2007. Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. 24(6), 1397–1406.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4356
Petersen L, Bollback JP, Dimmic M, Hubisz M, Nielsen R. 2007. Genes under positive selection in Escherichia coli. Genome Research. 17(9), 1336–1343.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. 2007. Algorithms for interface synthesis. CAV: Computer Aided Verification, LNCS, vol. 4590, 4–19.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. 2007. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 1(4).
View | DOI | Download (ext.)
 

2007 | Published | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 2007.Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, vol. 4444, 273–292.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4446
Henzinger TA, Kirsch C. 2007. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 29(393).
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4511
Henzinger TA. 2007. Quantitative generalizations of languages. DLT: Developments in Language Theory, LNCS, vol. 4588, 20–22.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4514
Henzinger TA. 2007. Games, time, and probability: Graph models for system design and analysis. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 4362, 103–110.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4529
Fisher J, Henzinger TA. 2007. Executable cell biology. Nature Biotechnology. 25, 1239–1249.
View | DOI
 

2007 | Published | Conference (Editor) | IST-REx-ID: 4530
Duparc J, Henzinger TA. 2007. CSL: Computer Science Logic , Springer,p.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed