DOI,IST REx ID,Research Group,Title of publication
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.15479/AT:IST-2010-0004,5388,"KrCh,ToHe",Quantitative synthesis for concurrent programs
10.15479/AT:IST-2010-0003,5389,ToHe,Simulation distances
10.15479/AT:IST-2010-0002,5390,KrCh,"Topological, automata-theoretic and logical characterization of finitary languages"
10.15479/AT:IST-2010-0001,5391,ToHe,Model checking of linearizability of concurrent list implementations
10.1007/978-3-642-13675-7_1,5940,,Instance Deadlock: A Mystery behind Frozen Programs
10.1038/nsmb.1816,598,,P53 activates transcription by directing structural shifts in Mediator
10.1371/journal.pone.0013922,6142,,Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
null,619,,"“This is a fundamentalist town”: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House"
10.1038/nm.2245,6198,,Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95
10.1111/j.1558-5646.2009.00853.x,2071,,Effective population size and the Faster-X effect: Empirical results and their interpretation
dx.doi.org/10.3929/ethz-a-006354908,2075,,Measurement-based modeling and fabrication of deformable materials for human faces
10.1039/c0sm01143f,10127,,Particle self-assembly on soft elastic shells