DOI,IST REx ID,Title of publication
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
10.1007/978-3-540-68413-8_2,4527,Bounded asynchrony: Concurrency for modeling cell-cell interactions
10.1142/S0129054108005814 ,4532,Equivalence of labeled Markov chains
10.1145/1450058.1450070,4533,Interface theories with component reuse
10.1016/j.ipl.2007.08.035,4534,Reduction of stochastic parity to stochastic mean-payoff games
10.1145/1403375.1403595,4546,Logical reliability of interacting real-time tasks
10.1007/s00182-007-0110-5,4548,Stochastic limit-average games are in EXPTIME
10.1109/ASE.2008.13,4568,Program analysis with dynamic change of precision
10.1017/S0016672308009683,517,Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin
10.1126/science.1152697,581,Observation of the spin hall effect of light via weak measurements
null,584,Spin hall effect of light via weak measurements: Sharp and smooth index variations
10.1073/pnas.0707607105,6146,A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans
10.1016/j.tig.2008.01.001,6148,Beyond induced mutants: using worms to study natural variation in genetic pathways
10.1016/j.cub.2008.01.002,6149,Sleep: dozy worms and sleepy flies
10.1126/science.1154413,1982,Spatial regulators for bacterial cell division self-organize into surface waves in vitro