DOI,IST REx ID,Title of publication
null,4397,CSIsat: Interpolation for LA+EUF
null,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
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.1007/s00542-008-0565-8,21512,Modelling of the filling of micro-cavities of finite geometry by amorphous polymers using hot-embossing
10.1017/S0016672308009683,517,Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin
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
null,3969,Persistent homology - a survey
10.1109/ICCV.2003.1238463,3174,Visual correspondence using energy minimization and mutual information