DOI,IST REx ID,Title of publication
10.1145/1017753.1017774,4445,A typed assembly language for real-time programs
10.1145/964001.964021,4458,Abstractions from proofs
10.1145/996841.996844,4459,Race checking by context inference
10.1007/978-3-540-39910-0_16,4461,Extreme model checking
10.1007/978-3-540-24743-2_24,4525,Event-driven programming with logical execution times
10.1109/QEST.2004.10051,4555,Trading memory for randomness
10.1016/j.ic.2004.06.001,4556,Stack size analysis for interrupt-driven programs
null,4558,Quantitative stochastic parity games
10.1109/WPC.2004.1311069  ,4577,An eclipse plug-in for model checking
10.1007/978-3-540-27864-1_2,4578,The BLAST query language for software verification
10.1109/ICSE.2004.1317455,4581,Generating tests from counterexamples
10.1007/978-3-540-24730-2_6,4629,Model checking discounted temporal properties
10.1093/hmg/ddg359,847,"Impact of selection, mutation rate and genetic drift on human genetic variation"
10.1007/s00222-002-0244-9,8519,The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles
10.1016/S0168-9525(02)00029-X,876,"Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences"
null,166,Counting rational points on del Pezzo surfaces of degree 5
10.1074/jbc.M308247200,1959,The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping
10.1074/jbc.M208959200,1960,A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I)
10.4064/aa108-3-7,205,Counting rational points on cubic and quartic surfaces
10.1093/qjmath/54.1.33,206,A note on the distribution of rational points on threefolds