DOI,IST REx ID,Title of publication
1555,4375,Intra-module Inference
1546,4376,Parallel programming with object assemblies
1557,4377,It's Doomed; We Can Prove It
10.1007/978-3-642-02658-4_26,4383,Software transactional memory on relaxed memory models
1533,4385,Preventing versus curing: avoiding conflicts in transactional memories
1548,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
10.1007/978-3-642-02930-1_1,4545,A survey of stochastic games with limsup and liminf objectives
10.1007/978-3-642-02658-4_14,4569,Better quality in synthesis through quantitative objectives
10.1007/978-3-642-00768-2_7,4580,Alpaga: A tool for solving parity games with imperfect information
10.1002/hyp.7085,12656,"A study of the energy balance and melt regime on Juncal Norte Glacier, semi-arid Andes of central Chile, using melt models of different complexity"
10.1016/j.cub.2008.02.022,1296,Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster
10.1371/journal.pgen.1000281,844,Hypermutable non-synonymous sites are under stronger negative selection
10.1016/j.jmb.2008.05.040,8480,Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy