DOI,IST REx ID,Research Group,Title of publication
10.1515/9783110232103,4346,E-Lib,Handbuch Bibliothek 2.0
10.1007/978-3-642-12032-9_8,4361,ToHe,Forward analysis of depth-bounded processes
10.1007/978-3-642-16612-9_32,4362,ToHe,Runtime verification for software transactional memories
10.1007/978-3-642-15297-9_13,4369,ToHe,From MTL to deterministic timed automata
10.1007/978-3-642-11319-2_6,4378,ToHe,Building a calculus of data structures
10.1145/1879021.1879022,4380,ToHe,A marketplace for cloud resources
10.1109/CLOUD.2010.71,4381,ToHe,FlexPRICE: Flexible provisioning of resources in a cloud environment
10.1145/1810479.1810529,4382,ToHe,Transactions in the jungle
10.1007/978-3-642-14295-6_57,4388,"KrCh,ToHe",GIST: A solver for probabilistic games
10.1109/ACSD.2010.26,4389,ToHe,Robustness of sequential circuits
10.1007/978-3-642-14295-6_41,4390,ToHe,Model checking of linearizability of concurrent list implementations
10.1007/978-3-642-13754-9_3,4392,ToHe,Quantitative Simulation Games
10.1007/978-3-642-15375-4_18,4393,ToHe,Simulation distances
10.1007/978-3-642-12029-9_19,4396,ToHe,Shape refinement through explicit heap analysis
10.1111/j.1558-5646.2010.01019.x,474,NiBa,A new model for extinction and recolonization in two dimensions: Quantifying phylogeography
10.4230/LIPIcs.FSTTCS.2010.1,488,ToHe,Expressiveness of streaming string transducers
10.4204/EPTCS.25.7,489,KrCh,How do we remember the past in randomised strategies? 
10.1007/s10703-010-0102-0,533,ToHe,Doomed program points
10.15479/AT:IST-2010-0004,5388,"KrCh,ToHe",Quantitative synthesis for concurrent programs
10.15479/AT:IST-2010-0003,5389,ToHe,Simulation distances