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
B. Charlesworth, D. Charlesworth, and N. H. Barton, “The effects of genetic and geographic structure on neutral variation,” Annual Review of Ecology and Systematics, vol. 34. Annual Reviews, pp. 99–125, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4338
T. Vines et al., “On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata,” Evolution, vol. 57, no. 8. Wiley-Blackwell, pp. 1876–1888, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4348
J. Huelsenbeck, R. Nielsen, and J. P. Bollback, “Stochastic mapping of morphological characters,” Systematic Biology, vol. 52, no. 2. Oxford University Press, pp. 131–158, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 4350
J. Harshman, C. Huddleston, J. P. Bollback, T. Parsons, and M. Braun, “True and false gharials: A nuclear gene phylogeny of crocodylia,” Systematic Biology, vol. 52, no. 3. Oxford University Press, pp. 386–402, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Thesis | IST-REx-ID: 4416
R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.
View
 

2003 | Published | Thesis | IST-REx-ID: 4425
B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.
View
 

2003 | Published | Journal Article | IST-REx-ID: 4460
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” Formal Methods in System Design, vol. 23, no. 3. Springer, pp. 303–327, 2003.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4462
T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 886–902.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4463
T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” in Proceedings of the 15th International Conference on Computer Aided Verification, Boulder, CO, USA, 2003, vol. 2725, pp. 262–274.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4464
T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” in Proceedings of the 3rd International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 241–256.
View | DOI
 

2003 | Published | Book Chapter | IST-REx-ID: 4465
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4466
T. A. Henzinger, O. Kupferman, and R. Majumdar, “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 , Warsaw, Poland, 2003, vol. 2619, pp. 49–64.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4467
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” in Proceedings of the 10th International SPIN Workshop , Portland, OR, USA, 2003, vol. 2648, pp. 235–239.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4468
T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” IEEE Control Systems Magazine, vol. 23, no. 1. IEEE, pp. 50–64, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4469
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” Proceedings of the IEEE, vol. 91, no. 1. IEEE, pp. 84–99, 2003.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4561
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Resource interfaces,” in Third International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 117–133.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 2615
T. Toyono 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, vol. 65, no. 1. Japan Society of Histological Documentation, pp. 91–96, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2616
G. López Bendito, R. Shigemoto, A. Fairén, and R. Luján, “Differential distribution of group I metabotropic glutamate receptors during rat cortical development,” Cerebral Cortex, vol. 12, no. 6. Oxford University Press, pp. 625–638, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2617 | OA
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, and Z. Nusser, “Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones,” Journal of Physiology, vol. 542, no. 1. Wiley-Blackwell, pp. 193–210, 2002.
View | DOI | Download (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 2618
M. Nunzi, R. Shigemoto, and E. Mugnaini, “Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum,” Journal of Comparative Neurology, vol. 451, no. 2. Wiley-Blackwell, pp. 189–199, 2002.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed