DOI,IST REx ID,Title of publication
10.1007/3-540-45449-7_11,4623,Interface theories for component-based design
10.1007/3-540-44685-0_24,4632,Compositional methods for probabilistic systems
10.1007/3-540-44685-0_36,4633,Symbolic algorithms for infinite-state games
10.1007/3-540-44685-0_38,4634,"The control of synchronous systems, Part II"
null,4635,MCWEB: A model-checking tool for web-site debugging
10.1109/LICS.2001.932504,4636,From verification to control: dynamic programs for omega-regular objectives
10.1159/000016374,12925,Structure and Function of the Ion Channel ICln
10.1016/S0168-9525(00)02059-X,842,No footprints of primordial introns in a eukaryotic genome
10.1007/s002200050811,8525,Generic diffeomorphisms with superexponential growth of number of periodic orbits
10.1109/LEOS.2000.890656,1736,"Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems"
10.1006/jmbi.2000.4079,1957,Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms
10.1021/bi000335t,1958,Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme
10.1055/s-2000-8670,13437,Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles
10.1112/S0025579300015965,1455,Inscribing cubes and covering by rhombic dodecahedra via equivariant topology
10.1083/jcb.148.2.293,11126,"An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins"
10.1016/s1097-2765(00)80266-x,11127,GTP hydrolysis by Ran is required for nuclear envelope assembly
10.1006/jagm.1999.1055,11683,Computing vertex connectivity: New bounds from old techniques
10.1016/s1389-1286(00)00055-4,11685,On near-uniform URL sampling
10.1137/s009753979732428x,11694,Exploring unknown environments
10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0,11770,A comparison of techniques to find mirrored hosts on the WWW