_id,doi,title
4193,"10.1242/​jcs.030999",Single-cell force spectroscopy
4198,10.1016/j.gde.2008.07.011,Back and forth between cell fate specification and movement during vertebrate gastrulation
4227,10.1242/dev.012062,Precision of the Dpp gradient
4244,10.1109/CEC.2008.4631167,A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks
4245,10.1111/j.1558-5646.2008.00434.x,Effects of spontaneous mutation accumulation on sex ratio traits
4366,10.1007/978-3-540-70545-1_31,Heap Assumptions on Demand
4371,10.1007/978-3-540-78127-1_26,"Checking Temporal Properties of Discrete, Timed and Continuous Behaviors"
4384,10.1145/1375581.1375626,Model checking transactional memories
4386,10.1007/978-3-540-87779-0_21,Permissiveness in transactional memories
4387,10.1007/978-3-540-85361-9_6,Completeness and nondeterminism in model checking transactional memories
4397,,CSIsat: Interpolation for LA+EUF
4400,1545,Security Evaluation of ES&S Voting Machines and Election Management System
4409,,Games for the verification of timed systems
4415,,Compositionality in deterministic real-time embedded systems
4452,10.1007/978-3-540-89439-1_24,Valigator: A verification tool with bound and invariant generation
4509,10.1098/rsta.2008.0141,Two challenges in embedded systems design: Predictability and robustness
4521,10.1145/1328438.1328459,Proving non-termination
4524,,A hierarchical coordination language for reliable real-time tasks
4527,10.1007/978-3-540-68413-8_2,Bounded asynchrony: Concurrency for modeling cell-cell interactions
4532,10.1142/S0129054108005814 ,Equivalence of labeled Markov chains