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.
8920 Publications
2003 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
Thesis |
IST-REx-ID: 4416
Majumdar R. Symbolic algorithms for verification and control. 2003:1-201.
View
2003 |
Published |
Thesis |
IST-REx-ID: 4425
Horowitz B. Giotto: A time-triggered language for embedded programming. 2003:1-237.
View
2003 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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
2002 |
Published |
Journal Article |
IST-REx-ID: 2613
Kitano J, Kimura K, Yamazaki Y, et al. Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins. Journal of Neuroscience. 2002;22(4):1280-1289. doi:10.1523/JNEUROSCI.22-04-01280.2002
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2614 |
Millán C, Luján R, Shigemoto R, Sánchez Prieto J. The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals. Journal of Biological Chemistry. 2002;277(16):14092-14101. doi:10.1074/jbc.M109044200
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2615
Toyono T, Seta Y, Sataoka S, et al. Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae. Archives of Histology and Cytology. 2002;65(1):91-96. doi:10.1679/aohc.65.91
View
| DOI
| PubMed | Europe PMC