_id,doi,title
5406,10.15479/AT:IST-2013-130-v1-1,Distributed synthesis for LTL Fragments
5747,10.1007/978-3-642-39799-8_11,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
6440,10.15479/AT:IST-2013-124-v1-1,Replacing competition with cooperation to achieve scalable lock-free FIFO queues 
1376,10.1109/FMCAD.2013.6679386,Distributed synthesis for LTL fragments
1385,10.1109/FMCAD.2013.6679394,Synthesizing multiple boolean functions using interpolation on a single proof
1387,10.1007/978-3-642-39212-2_11,Nondeterminism in the presence of a diverse or unknown future
1405,10.15479/at:ista:1405,Analysis of dynamic message passing programs
2848,10.1016/j.jtbi.2012.02.021,Evolutionary game dynamics in populations with different learners
2888,10.1007/978-3-642-33666-9_1,Quantitative reactive models
2890,10.1145/2380356.2380371,Synthesis from incompatible specifications
2891,10.4230/LIPIcs.FSTTCS.2012.362,Approximate determinization of quantitative automata
2916,10.4204/EPTCS.96.3,Interface Simulation Distances
2936,10.1145/2380356.2380370,Finite automata with time delay blocks
2942,10.1007/978-3-642-34059-8_20,Independent implementability of viewpoints
2967,10.1145/2287718.2287727,Algorithmic analysis of array-accessing programs
3128,10.1007/s10703-012-0164-2,A survey of partial-observation stochastic parity games
3136,10.1007/978-3-642-31424-7_24,Delayed continuous time Markov chains for genetic regulatory circuits
3155,10.1007/978-3-642-30793-5_13,Synchronous interface theories and time triggered scheduling
3162,10.1007/978-3-642-29860-8_12,Parametric identification of temporal properties
3168,10.1016/j.tcs.2011.12.059,Lumpability abstractions of rule based systems