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.

725 Publications


2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro L, Henzinger TA. 2001. Interface automata. Proceedings of the 8th European software engineering conference. FSE: Foundations of Software Engineering, 109–120.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4200 | OA
Heisenberg C-PJ, Houart C, Take Uchi M, Rauch G, Young N, Coutinho P, Masai I, Caneparo L, Concha M, Geisler R, Dale T, Wilson S, Stemple D. 2001. A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon. Genes and Development. 15(11), 1427–1434.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3928 | OA
Sixt MK, Hallmann R, Wendler O, Scharffetter Kochanek K, Sorokin L. 2001. Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry. 276(22), 18878–18887.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3622
Gardner M, Fowler K, Patridge L, Barton NH. 2001. Genetic variation for preadult viability in Drosophila melanogaster. Evolution. 55(8), 1609–1620.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3495
Jerecic J, Schulze C, Jonas PM, Sprengel R, Seeburg P, Bischofberger J. 2001. Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression. Molecular Brain Research. 94(1–2), 96–104.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2609
Tamaru Y, Nomura S, Mizuno N, Shigemoto R. 2001. Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience. 106(3), 481–503.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2347 | OA
Lieb É, Seiringer R, Yngvason J. 2001. A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas. Communications in Mathematical Physics. 224(1), 17–31.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Journal Article | IST-REx-ID: 11755
Henzinger MH. 2001. Hyperlink analysis for the Web. IEEE Internet Computing. 5(1), 45–50.
View | DOI | WoS
 

2000 | Journal Article | IST-REx-ID: 11770 | OA
Bharat K, Broder A, Dean J, Henzinger MH. 2000. A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. 51(12), 1114–1122.
[Published Version] View | DOI | Download Published Version (ext.)
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. 2000. The control of synchronous systems. Proceedings of the 11th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1877, 458–473.
View | DOI
 

Filters and Search Terms

type%3Ddissertation

Search

Filter Publications