Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

8924 Publications


2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples. In: IEEE; 2004:326-335. doi:10.1109/ICSE.2004.1317455
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. In: Vol 2988. Springer; 2004:77-92. doi:10.1007/978-3-540-24730-2_6
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 847
Sunyaev S, Kondrashov F, Bork P, Ramensky V. Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. 2003;12(24):3325-3330. doi:10.1093/hmg/ddg359
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 8519
Kaloshin V. The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones mathematicae. 2003;151(3):451-512. doi:10.1007/s00222-002-0244-9
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 876
Kondrashov F, Koonin E. Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. 2003;19(3):115-119. doi:10.1016/S0168-9525(02)00029-X
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 166 | OA
Browning TD, Swarbick Jones M. Counting rational points on del Pezzo surfaces of degree 5. Proceedings of the Bonn session in analytic number theory and diophantine equations. 2003;360.
View | Download None (ext.) | arXiv
 

2003 | Published | Journal Article | IST-REx-ID: 1959
Holt P, Morgan D, Sazanov LA. The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping. Journal of Biological Chemistry. 2003;278(44):43114-43120. doi:10.1074/jbc.M308247200
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 1960
Sazanov LA, Carroll J, Holt P, Toime L, Fearnley I. A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I). Journal of Biological Chemistry. 2003;278(21):19483-19491. doi:10.1074/jbc.M208959200
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 205
Browning TD. Counting rational points on cubic and quartic surfaces. Acta Arithmetica. 2003;108(3):275-295. doi:10.4064/aa108-3-7
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 206
Browning TD. A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. 2003;54(1):33-39. doi:10.1093/qjmath/54.1.33
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 13436
Michrowska A, Bieniek M, Kim M, Klajn R, Grela K. Cross-metathesis reaction of vinyl sulfones and sulfoxides. Tetrahedron. 2003;59(25):4525-4531. doi:10.1016/s0040-4020(03)00682-3
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 1457 | OA
Hausel T, Thaddeus M. Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae. 2003;153(1):197-229. doi:10.1007/s00222-003-0286-7
View | DOI | Download (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 1458 | OA
Hausel T, Thaddeus M. Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles. Journal of the American Mathematical Society. 2003;16(2):303-329. doi:10.1090/S0894-0347-02-00417-4
View | DOI | Download (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 1459 | OA
Etesi G, Hausel T. On Yang-Mills instantons over multi-centered gravitational instantons. Communications in Mathematical Physics. 2003;235(2):275-288. doi:10.1007/s00220-003-0806-8
View | DOI | Download (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 576
Hosten O, Vignolo P, Minguzzi A, Tanatar B, Tosi M. Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. 2003;36(12):2455-2463. doi:10.1088/0953-4075/36/12/306
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 6156
Rogers C, Reale V, Kim K, et al. Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. 2003;6(11):1178-1185. doi:10.1038/nn1140
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 6157
de Bono M. Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. 2003;54(1):78-92. doi:10.1002/neu.10162
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 9455
Zilberman D, Cao Xiaofeng, Jacobsen SE. ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation. Science. 2003;299(5607):716-719. doi:10.1126/science.1079695
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 9495 | OA
Cao X, Aufsatz W, Zilberman D, et al. Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation. Current Biology. 2003;13(24):2212-2217. doi:10.1016/j.cub.2003.11.052
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 11121
Walther TC, Askjaer P, Gentzel M, et al. RanGTP mediates nuclear pore complex assembly. Nature. 2003;424(6949):689-694. doi:10.1038/nature01898
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed