DOI,IST REx ID,Title of publication
10.1016/j.ceb.2008.01.008,1717,The Decapentaplegic morphogen gradient a precise definition
10.1088/1367-2630/10/6/063001,1719,Dynamics of anisotropic tissue growth
10.1021/bi801160u,1967,"Chemical and NADH-induced, ROS-dependent, cross-linking between sublimits of complex I from Escherichia coli and Thermus thermophilus"
10.1016/j.bbabio.2008.03.023,1968,Three-dimensional structure of respiratory complex I from Escherichia coli in ice in the presence of nucleotides
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
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