DOI,IST REx ID,Title of publication
10.1126/science.1135774,4226,Kinetics of morphogen gradient formation
null,4233,Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas
10.1016/j.physa.2006.06.025,4234,"Determinism, noise, and spurious estimations in a generalised model of population growth"
10.1016/j.tree.2007.07.007,4246,Do evolution and ecology need the Gaia hypothesis?
10.1086/510602,4247,The relation between multilocus population genetics and social evolution theory
601,4342,Library 2.0 and User-Generated Content - What can the users do for us?
10.1515/BFUP.2007.149,4343,Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei
10.1515/BFUP.2007.130,4344,Bibliothek 2.0? Wird alles anders?
10.1371/journal.pone.0000197,4353,The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing
10.1101/gr.5890907,4354,Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA
10.1093/molbev/msm056,4355,Clonal interference is alleviated by high mutation rates in large populations
10.1101/gr.6254707,4356,Genes under positive selection in Escherichia coli
10.1007/978-3-540-75454-1_22,4368,AMT: A property-based monitoring tool for analog systems
10.1007/978-3-540-73368-3_12,4370,On synthesizing controllers from bounded-response properties
10.1007/978-3-540-69738-1_5,4394,Using first-order theorem provers in the Jahob data structure verification system
10.1007/978-3-540-73368-3_22,4398,Shape analysis for composite data structures
10.1007/978-3-540-73368-3_4,4399,Algorithms for interface synthesis
10.1007/978-3-540-71209-1_51,4402,Model checking on trees with path equivalences
10.1186/1752-0509-1-4,4405,Qualitative networks: A symbolic approach to analyze biological signaling networks
10.1007/978-3-540-71322-7_13,4417,Abstract counterexample-based refinement for powerset domains