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: 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
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger TA, Jhala R, Majumdar R. Counterexample-guided control. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:886-902. doi:10.1007/3-540-45061-0_69
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger TA, Kirsch C, Matic S. Schedule-carrying code. In: Proceedings of the 3rd International Conference on Embedded Software. Vol 2855. ACM; 2003:241-256. doi:10.1007/978-3-540-45212-6_16
View
| DOI
2003 | Journal Article | IST-REx-ID: 4460
Henzinger TA, Kupferman O, Qadeer S. From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. 2003;23(3):303-327. doi:10.1023/A:1026228213080
View
| DOI
2003 | Journal Article | IST-REx-ID: 4469
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. 2003;91(1):84-99. doi:10.1109/JPROC.2002.805825
View
| DOI
2003 | Journal Article | IST-REx-ID: 4338
Vines T, Kohler SC, Thiel M, et al. On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. 2003;57(8):1876-1888. doi:10.1111/j.0014-3820.2003.tb00595.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 4350
Harshman J, Huddleston C, Bollback JP, Parsons T, Braun M. True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. 2003;52(3):386-402. doi:10.1080/10635150390197028
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck J, Nielsen R, Bollback JP. Stochastic mapping of morphological characters. Systematic Biology. 2003;52(2):131-158. doi:10.1080/10635150390192780
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4254
Navarro A, Barton NH. Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. 2003;57(3):447-459. doi:10.1111/j.0014-3820.2003.tb01537.x
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4257
Charlesworth B, Charlesworth D, Barton NH. The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. 2003;34:99-125. doi:10.1146/annurev.ecolsys.34.011802.132359
View
| DOI
2003 | Journal Article | IST-REx-ID: 4256
Barton NH, Zuidema W. The erratic path towards complexity. Current Biology. 2003;13(16):R649-R651. doi:10.1016/S0960-9822(03)00573-6
[Published Version]
View
| DOI
2003 | Journal Article | IST-REx-ID: 4255
Navarro A, Barton NH. Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. 2003;300(5617):321-324. doi:10.1126/science.1080600
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4146 | 
Ulrich F, Concha M, Heid P, et al. Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development. 2003;130(22):5375-5384. doi:10.1242/dev.00758
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4169
Montero J, Kilian B, Chan J, Bayliss P, Heisenberg C-PJ. Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. 2003;13(15):1279-1289. doi:10.1016/S0960-9822(03)00505-0
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4185
Kilian B, Mansukoski H, Barbosa F, Ulrich F, Tada M, Heisenberg C-PJ. The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development. 2003;120(4):467-476. doi:10.1016/S0925-4773(03)00004-2
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 3992 |
Edelsbrunner H, Koehl P. The weighted-volume derivative of a space-filling diagram. PNAS. 2003;100(5):2203-2208. doi:10.1073/pnas.0537830100
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner H, Üngör A. Relaxed scheduling in dynamic skin triangulation. In: Proceedings of the Japanese Conference on Discrete and Computational Geometry . Vol 2866. Springer; 2003:135-151. doi:10.1007/978-3-540-44400-8_14
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3997
Bremer P, Edelsbrunner H, Hamann B, Pascucci V. A multi-resolution data structure for two-dimensional Morse-Smale functions. In: Proceedings of the 14th IEEE Conference on Visualization . IEEE; 2003:139-146. doi:10.1109/VISUAL.2003.1250365
View
| DOI
2003 | Journal Article | IST-REx-ID: 4168
Montero J, Heisenberg C-PJ. Adhesive crosstalk in gastrulation. Developmental Cell. 2003;5(2):190-191. doi:10.1016/S1534-5807(03)00235-1
View
| DOI
| PubMed | Europe PMC
2003 | Book Chapter | IST-REx-ID: 3991
Cheng H, Edelsbrunner H. Area and perimeter derivatives of a union of disks. In: Computer Science in Perspective: Essays Dedicated to Thomas Ottmann. Vol 2598. Springer; 2003:88-97. doi:10.1007/3-540-36477-3_7
View
| DOI