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.1007/978-3-642-12032-9_8,4361,ToHe,Forward analysis of depth-bounded processes
null,3962,"CaHe,GradSch",Dendritic cell migration across basement membranes in the skin