DOI,IST REx ID,Research Group,Title of publication
10.1145/1985342.1985345,3353,ToHe,A theory of synchronous relational interfaces
10.1145/1970398.1970404,3354,"KrCh,ToHe",Qualitative concurrent parity games
10.1242/dev.071233,3396,CaHe,Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube
10.1016/j.ydbio.2011.03.025,3379,CaHe,Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail
10.1007/BF03651375,3781,HeEd,The difference in length of curves in R^n
10.1111/j.1742-4658.2011.08136.x,3383,CaHe,"Invited Lectures ‐ Symposia Area"
10.1073/pnas.1010767108,3368,CaHe,Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
10.1364/OL.36.001260,3373,CaHe,Measuring the complete force field of an optical trap
10.1086/661246,3393,NiBa,Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects
10.1098/rsif.2010.0438,3375,NiBa,The statistical mechanics of a polygenic character under stabilizing selection mutation and drift
10.1007/978-3-642-17511-4_7,10908,ToHe,ABC: Algebraic Bound Computation for loops
10.1137/1.9781611973075.129,10909,HeEd,Hardness results for homology localization
10.1186/1748-7188-5-37,2409,JoBo,Accuracy of phylogeny reconstruction methods combining overlapping gene data sets
10.1242/dev.049320,12199,XiFe,"Tapetal cell fate, lineage and proliferation in the Arabidopsis anther"
10.1042/bst0380571,12200,XiFe,"Cell–cell interactions during patterning of the <i>Arabidopsis</i> anther"
10.1007/978-3-642-02091-9_18,14983,ScienComp,Adaptive Methods in BCI Research - An Introductory Tutorial
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