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.
11357 Publications
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
2003 |
Published |
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
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
2002 |
Published |
Journal Article |
IST-REx-ID: 2616
López Bendito G, Shigemoto R, Fairén A, Luján R. Differential distribution of group I metabotropic glutamate receptors during rat cortical development. Cerebral Cortex. 2002;12(6):625-638. doi:10.1093/cercor/12.6.625
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2617 |
Losonczy A, Zhang L, Shigemoto R, Somogyi P, Nusser Z. Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. 2002;542(1):193-210. doi:10.1113/jphysiol.2002.020024
View
| DOI
| Download (ext.)
2002 |
Published |
Journal Article |
IST-REx-ID: 2618
Nunzi M, Shigemoto R, Mugnaini E. Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. 2002;451(2):189-199. doi:10.1002/cne.10344
View
| DOI
| PubMed | Europe PMC