DOI,IST REx ID,Research Group,Title of publication
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-11970-5_7,4395,,Verifying local transformations on relaxed memory models
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.3189/002214309788608804,12654,,Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model
10.3189/172756409787769555,12655,,On the role of subsurface heat conduction in glacier energy-balance modelling
10.1080/01677060802471684,1302,,Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors
10.1002/anie.200904411,8474,,Direct detection of 3hJN' hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy
10.1016/j.pnmrs.2009.05.002,8475,,Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy
10.1021/ja901633y,8476,,Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution