DOI,IST REx ID,Title of publication
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
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.1016/j.jmatprotec.2009.06.011,21514,Quality assessment of polymer replication by hot embossing and micro-injection moulding processes using scanning mechanical microscopy
10.14778/1453856.1453880,11878,Web page language identification based on URLs