DOI,IST REx ID,Title of publication
10.1006/tpbi.2001.1557,4263,Neutral evolution in spatially continuous populations
10.1080/106351502753475862,4347,Inferring the root of a phylogenetic tree
10.1093/oxfordjournals.molbev.a004175,4349,Bayesian model adequacy and choice in phylogenetics
10.1016/S0304-3975(00)00308-X,4407,Axioms for real-time logics
10.1145/774572.774592,4413,Convertibility verification and converter synthesis: Two faces of the same coin
null,4414,Games in open systems verification and synthesis
10.1007/3-540-45828-X_5,4421,A Giotto-based helicopter control system
10.1007/3-540-45793-3_20,4422,Trading probability for fairness
10.3182/20020721-6-ES-1901.01628,4423,Embedded software design and system integration for rotorcraft UAV using platforms
10.1145/512529.512567,4444,"The embedded machine: predictable, portable real-time code"
10.1007/3-540-45828-X_7,4470,Time-safety checking for embedded programs
10.1007/3-540-45465-9_55,4471,Synthesis of uninitialized systems
10.1007/3-540-45657-0_45,4472,Temporal safety proofs for systems code
10.1145/509705.509707,4473,An assume-guarantee rule for checking simulation
10.1006/inco.2001.3085,4474,Fair simulation
10.1145/503272.503279,4476,Lazy abstraction
10.1007/3-540-45657-0_34,4562,Synchronous and bidirectional component interfaces
10.1007/3-540-45657-0_35,4563,Interface compatibility checking for software modules
10.1007/3-540-45873-5_13,4565,A comparison of control problems for timed and hybrid systems
10.1145/585265.585270,4595,Alternating-time temporal logic