DOI,IST REx ID,Title of publication
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.1111/j.1525-142X.2008.00265.x,2892,Networking networks
10.1007/s11103-008-9295-7,3030,Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants
10.1073/pnas.0711414105,3031,Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes
10.1016/j.cub.2008.03.021,3032,ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis
10.1007/978-1-59745-273-1_11,3033,Visualization of auxin gradients in embryogenesis 
10.1038/453298a,3034,Plant biology: In their neighbour's shadow
10.1007/978-1-59745-273-1_5,3035,In vitro culture of Arabidopsis embryos 
10.1073/pnas.0712307105,3036,Auxin acts as a local morphogenetic trigger to specify lateral root founder cells