DOI,IST REx ID,Title of publication
10.2168/LMCS-3(3:4)2007,4547,Algorithms for omega-regular games with imperfect information
null,4559,"Stochastic ω-Regular Games"
null,4566,A framework for compositional design and analysis of systems
10.1007/s10009-007-0044-z,4567,The software model checker BLAST: Applications to software engineering
10.1007/978-3-540-73420-8_71,4570,Minimum-time reachability in timed games
10.1145/1250734.1250769,4571,Path invariants
10.1007/978-3-540-69738-1_27,4572,Invariant synthesis for combined theories
10.1007/978-3-540-73368-3_51,4573,Configurable software verification: Concretizing the convergence of model checking and program analysis
10.1109/ICWS.2007.32 ,4575,An application of web-service interfaces
10.1016/j.tcs.2007.07.008,4626,Concurrent reachability games
10.1021/ja062025p,8488,Speeding up three-dimensional protein NMR experiments to a few minutes
10.1002/mrc.1825,8489,HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains
10.1016/j.jmr.2005.10.007,8490,Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR
10.3934/dcds.2006.15.611,8513,Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits
10.1017/s0143385705000714,8514,The effect of projections on fractal sets and measures in Banach spaces
10.1142/9789812704016_0026,8515,Long time behaviour of periodic stochastic flows
10.1371/journal.pbio.0040073,854,Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius
10.1186/1745-6150-1-31,868,Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation
10.1016/j.jtbi.2005.10.020,869,Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites
10.1016/j.jtbi.2005.08.033,873,Role of selection in fixation of gene duplications