DOI,IST REx ID,Title of publication
45,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
1567,4368,AMT: a property-based monitoring tool for analog systems
1568,4370,On synthesizing controllers from bounded-response properties
1552,4394,Using First-Order Theorem Provers in the Jahob Data Structure Verification System
1553,4398,Shape Analysis for Composite Data Structures
10.1007/978-3-540-73368-3_4,4399,Algorithms for interface synthesis
1544,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
10.1145/1286821.1286824,4446,"The embedded machine: Predictable, portable real-time code"
10.1007/978-3-540-73208-2_2,4511,Quantitative generalizations of languages
10.1007/978-3-540-69507-3_7,4514,"Games, time, and probability: Graph models for system design and analysis"
10.1038/nbt1356,4529,Executable cell biology
10.1007/978-3-540-74915-8,4530,CSL: Computer Science Logic 
10.1371/journal.pcbi.0030092,4531,Predictive modeling of signaling crosstalk during C. elegans vulval development
10.1007/978-3-540-71209-1_21,4537,Assume-guarantee synthesis