_id,doi,title
9648,10.1007/978-3-642-23672-3_35,Incremental-decremental algorithm for computing AT-models and persistent homology
9762,10.5061/dryad.299h8,Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas)
9943,10.1109/isbi.2011.5872394,Ilastik: Interactive learning and segmentation toolkit
3345,10.1007/978-3-642-22993-0_21,Energy and mean-payoff parity Markov Decision Processes
3346,10.1109/LICS.2011.10,Two views on multiple mean payoff objectives in Markov Decision Processes
3347,10.1007/978-3-642-21254-3_16,Finitary languages
3348,10.1145/1967701.1967734,Synthesis of memory efficient real time controllers for safety objectives
3349,10.4204/EPTCS.54.6,A reduction from parity games to simple stochastic games
3350,10.1007/978-3-642-24310-3_11,Minimum attention controller synthesis for omega regular objectives
3351,10.1007/978-3-642-22953-4_13,On memoryless quantitative objectives
3352,10.1145/2001269.2001289,Biology as reactivity
3353,10.1145/1985342.1985345,A theory of synchronous relational interfaces
3354,10.1145/1970398.1970404,Qualitative concurrent parity games
3355,10.1109/QEST.2011.40,Quantitative evaluation of BFT protocols
3356,10.1109/LICS.2011.33,Temporal specifications with accumulative values
3357,10.1007/978-3-642-21254-3_17,The complexity of request-response games
3358,10.1145/1966445.1966476,Scheduling large jobs by abstraction refinement
3359,10.1145/2038642.2038666,From boolean to quantitative synthesis
3360,10.4230/LIPIcs.CSL.2011.82,Determinizing discounted-sum automata
3361,10.1109/CSF.2011.21,The complexity of quantitative information flow problems