_id,doi,title
10908,10.1007/978-3-642-17511-4_7,ABC: Algebraic Bound Computation for loops
488,10.4230/LIPIcs.FSTTCS.2010.1,Expressiveness of streaming string transducers
533,10.1007/s10703-010-0102-0,Doomed program points
5388,10.15479/AT:IST-2010-0004,Quantitative synthesis for concurrent programs
5389,10.15479/AT:IST-2010-0003,Simulation distances
5391,10.15479/AT:IST-2010-0001,Model checking of linearizability of concurrent list implementations
3719,,Lumpability abstractions of rule-based systems
3834,10.1186/1752-0509-4-42,Solving the chemical master equation using sliding windows
3838,10.1145/1839764.1839772,Hybrid numerical solution of the chemical master equation
3839,10.1007/978-3-642-11319-2_14,Invariant and type inference for matrices
3840,10.1145/1706299.1706319,From boolean to quantitative notions of correctness
3842,10.1049/iet-syb.2010.0005,Fast adaptive uniformization of the chemical master equation
3845,10.1007/978-3-642-16242-8_25,Aligators for arrays
3847,10.1109/QEST.2010.33,SABRE: A tool for the stochastic analysis of biochemical reaction networks
3853,10.1007/978-3-642-15375-4_19,Mean-payoff automaton expressions
3855,10.1007/978-3-642-15155-2_24,Qualitative analysis of partially-observable Markov Decision Processes
3856,10.1007/978-3-642-15155-2_23,Randomness for free
3857,10.1007/978-3-642-15643-4_1,Probabilistic Automata on infinite words: decidability and undecidability results
3859,10.1007/978-3-642-15297-9,Formal modeling and analysis of timed systems
3860,10.4230/LIPIcs.FSTTCS.2010.505,Generalized mean-payoff and energy games