DOI,IST REx ID,Title of publication
10.1007/978-1-4020-9457-6_15,18726,Observing the first stars and black holes
10.1007/978-1-4020-9457-6_15,18735,Observing the First Stars and Black Holes
10.1074/jbc.M109.032144,1971,Structural basis for the mechanism of respiratory complex I
10.1534/genetics.107.085225,4357,Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence
10.1007/978-3-642-04222-5_23,4360,Combining theories with shared set operations
null,4363,Formalizing and Verifying Transactional Memories
10.1007/978-3-642-03237-0_3,4365,Abstraction refinement for quantified array assertions
10.1007/978-3-642-02658-4_37,4375,Intra-module inference
10.1145/1639949.164009,4376,Parallel programming with object assemblies
10.1007/978-3-642-05089-3_22,4377,It's doomed; we can prove it
10.1007/978-3-642-02658-4_26,4383,Software transactional memory on relaxed memory models
10.1145/1582716.1582725,4385,Preventing versus curing: Avoiding conflicts in transactional memories
10.1007/978-3-642-02658-4_16,4391,Automated analysis of Java methods for confidentiality
10.1007/978-3-642-04027-6_9,4403,Algorithmic analysis of array-accessing programs
10.1007/978-3-642-02658-4_27,4453,Sliding-window abstraction for infinite Markov chains
10.1007/978-3-642-03845-7_12,4535,Approximation of event probabilities in noisy cellular processes
10.1109/LICS.2009.16,4540,Expressiveness and closure properties for quantitative languages
10.1007/978-3-642-03409-1_2,4542,Alternating weighted automata
10.1007/978-3-642-03816-7_4,4543,Stochastic games with finitary objectives
10.1137/1.9781611973068.23,4544,Termination criteria for solving concurrent safety and reachability games