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.

119 Publications


2003 | Journal Article | IST-REx-ID: 3917
Cremer S, Heinze J. Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in die Wissenschaft. 2003;12(15):32-36.
View
 

2003 | Thesis | IST-REx-ID: 4416
Majumdar R. Symbolic algorithms for verification and control. 2003:1-201.
View
 

2003 | Thesis | IST-REx-ID: 4425
Horowitz B. Giotto: A time-triggered language for embedded programming. 2003:1-237.
View
 

2003 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. Discounting the future in systems theory. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:1022-1037. doi:10.1007/3-540-45061-0_79
View | DOI
 

2003 | 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 | Conference Paper | IST-REx-ID: 4561
Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. Resource interfaces. In: Third International Conference on Embedded Software. Vol 2855. ACM; 2003:117-133. doi:10.1007/978-3-540-45212-6_9
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. The element of surprise in timed games. In: Proceedings of the 14th International Conference on Concurrency Theory. Vol 2761. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2003:144-158. doi:10.1007/978-3-540-45187-7_9
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
Henzinger TA, Kirsch C, Sanvido M, Pree W. From control models to real-time code using Giotto. IEEE Control Systems Magazine. 2003;23(1):50-64. doi:10.1109/MCS.2003.1172829
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. Wiley-Blackwell; 2003:123-146. doi:10.1002/047172288X.ch8
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. In: Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Vol 2619. Springer; 2003:49-64. doi:10.1007/3-540-36577-X_5
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger TA, Jhala R, Majumdar R, Sutre G. Software verification with BLAST. In: Proceedings of the 10th International SPIN Workshop . Vol 2648. Springer; 2003:235-239. doi:10.1007/3-540-44829-2_17
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. Thread-modular abstraction refinement. In: Proceedings of the 15th International Conference on Computer Aided Verification. Vol 2725. Springer; 2003:262-274. doi:10.1007/978-3-540-45069-6_27
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications