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. 2003. Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. 300(5617), 321–324.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 4256
Barton NH, Zuidema W. 2003. The erratic path towards complexity. Current Biology. 13(16), R649–R651.
[Published Version] View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4257
Charlesworth B, Charlesworth D, Barton NH. 2003. The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. 34, 99–125.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4338
Vines T, Kohler SC, Thiel M, Ghira I, Sands TR, Maccallum C, Barton NH, Nürnberger B. 2003. On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. 57(8), 1876–1888.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4348
Huelsenbeck J, Nielsen R, Bollback JP. 2003. Stochastic mapping of morphological characters. Systematic Biology. 52(2), 131–158.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 4350
Harshman J, Huddleston C, Bollback JP, Parsons T, Braun M. 2003. True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. 52(3), 386–402.
View | DOI | PubMed | Europe PMC
 

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

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

2003 | Published | Journal Article | IST-REx-ID: 4460
Henzinger TA, Kupferman O, Qadeer S. 2003. From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. 23(3), 303–327.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4462
Henzinger TA, Jhala R, Majumdar R. 2003. Counterexample-guided control. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 886–902.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. 2003. Thread-modular abstraction refinement. Proceedings of the 15th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2725, 262–274.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4464
Henzinger TA, Kirsch C, Matic S. 2003. Schedule-carrying code. Proceedings of the 3rd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2855, 241–256.
View | DOI
 

2003 | Published | Book Chapter | IST-REx-ID: 4465
Henzinger TA, Horowitz B, Kirsch C. 2003.Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. , 123–146.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. 2003. On the universal and existential fragments of the mu-calculus. Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2619, 49–64.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4467
Henzinger TA, Jhala R, Majumdar R, Sutre G. 2003. Software verification with BLAST. Proceedings of the 10th International SPIN Workshop . SPIN: Model Checking Software, LNCS, vol. 2648, 235–239.
View | DOI
 

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

2003 | Published | Journal Article | IST-REx-ID: 4469
Henzinger TA, Horowitz B, Kirsch C. 2003. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. 91(1), 84–99.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 2613
Kitano J, Kimura K, Yamazaki Y, Soda T, Shigemoto R, Nakajima Y, Nakanishi S. 2002. 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. 22(4), 1280–1289.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2614 | OA
Millán C, Luján R, Shigemoto R, Sánchez Prieto J. 2002. 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. 277(16), 14092–14101.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2615
Toyono T, Seta Y, Sataoka S, Harada H, Morotomi T, Kawano S, Shigemoto R, Toyoshima K. 2002. Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae. Archives of Histology and Cytology. 65(1), 91–96.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed