DOI,IST REx ID,Title of publication
10.1090/amsip/016,2710,The kernel of Dirac operators on S3 and R3
10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5,2731,Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation
10.1023/A:1018667323830,2732,Fokker-Planck equations as scaling limits of reversible quantum systems
10.5802/aif.1777,2733,Diamagnetic behavior of sums Dirichlet eigenvalues
10.1159/000016374,12925,Structure and Function of the Ion Channel ICln
10.1063/1.1324697,21551,F+ and F centers in α-Al2O3 by electron-induced x-ray emission spectroscopy and cathodoluminescence
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.1017/cbo9780511564635.038,18732,The Role of H2 Molecules in Cosmological Structure Formation
10.1007/10719504_42,18733,The radiative feedback from the first stars and quasars and the end of the dark age
10.1142/9789812792433_0042,18744,"Galaxy cluster baryon fraction, cluster surveys and cosmology"
10.1007/978-94-011-4114-7_13,18752,Radiative Feedback From the First Objects and the End of the Cosmological Dark Age
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.1007/3-540-46419-0_21,4433,Fair bisimulation
10.1007/3-540-46430-1_15,4434,Robust undecidability of timed and hybrid systems
10.1007/3-540-46419-0_11,4435,Symbolic model checking for rectangular hybrid systems
10.1007/3-540-46541-3_2,4439,A classification of symbolic transition systems
10.1007/3-540-46430-1_14,4481,Beyond HyTech: Hybrid systems analysis using interval numerical methods
10.1007/978-3-540-45099-3_12,4482,Abstract interpretation of game properties