DOI,IST REx ID,Title of publication
10.1038/ncb1705,4181,Tensile forces govern germ-layer organization in zebrafish
10.1242/dev.020396,4190,Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation
"10.1242/​jcs.030999",4193,Single-cell force spectroscopy
10.1016/j.gde.2008.07.011,4198,Back and forth between cell fate specification and movement during vertebrate gastrulation
10.1242/dev.012062,4227,Precision of the Dpp gradient
10.1109/CEC.2008.4631167,4244,A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks
10.1111/j.1558-5646.2008.00434.x,4245,Effects of spontaneous mutation accumulation on sex ratio traits
10.1007/978-3-540-70545-1_31,4366,Heap Assumptions on Demand
10.1007/978-3-540-78127-1_26,4371,"Checking Temporal Properties of Discrete, Timed and Continuous Behaviors"
10.1145/1375581.1375626,4384,Model checking transactional memories
10.1007/978-3-540-87779-0_21,4386,Permissiveness in transactional memories
10.1007/978-3-540-85361-9_6,4387,Completeness and nondeterminism in model checking transactional memories
null,4397,CSIsat: Interpolation for LA+EUF
1545,4400,Security Evaluation of ES&S Voting Machines and Election Management System
null,4409,Games for the verification of timed systems
null,4415,Compositionality in deterministic real-time embedded systems
10.1007/978-3-540-89439-1_24,4452,Valigator: A verification tool with bound and invariant generation
10.1098/rsta.2008.0141,4509,Two challenges in embedded systems design: Predictability and robustness
10.1145/1328438.1328459,4521,Proving non-termination
null,4524,A hierarchical coordination language for reliable real-time tasks