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.
736 Publications
2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems, Part II. In: Proceedings of the 12th International Conference on on Concurrency Theory. Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:566-581. doi:10.1007/3-540-44685-0_38
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro L, Henzinger TA. Interface automata. In: Proceedings of the 8th European Software Engineering Conference. ACM; 2001:109-120. doi:10.1145/503209.503226
View
| DOI
2001 | Journal Article | IST-REx-ID: 4200 | 
Heisenberg C-PJ, Houart C, Take Uchi M, et al. 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. 2001;15(11):1427-1434. doi:10.1101/gad.194301
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3928 |
Sixt MK, Hallmann R, Wendler O, Scharffetter Kochanek K, Sorokin L. Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry. 2001;276(22):18878-18887. doi:10.1074/jbc.M010898200
[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. Genetic variation for preadult viability in Drosophila melanogaster. Evolution. 2001;55(8):1609-1620. doi:10.1111/j.0014-3820.2001.tb00680.x
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. Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression. Molecular Brain Research. 2001;94(1-2):96-104. doi:10.1016/S0169-328X(01)00221-2
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 2609
Tamaru Y, Nomura S, Mizuno N, Shigemoto R. Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience. 2001;106(3):481-503. doi:10.1016/S0306-4522(01)00305-0
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 2347 |
Lieb É, Seiringer R, Yngvason J. A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas. Communications in Mathematical Physics. 2001;224(1):17-31. doi:10.1007/s002200100533
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2001 | Journal Article | IST-REx-ID: 11755
Henzinger MH. Hyperlink analysis for the Web. IEEE Internet Computing. 2001;5(1):45-50. doi:10.1109/4236.895141
View
| DOI
| WoS
2000 | Journal Article | IST-REx-ID: 11770 |
Bharat K, Broder A, Dean J, Henzinger MH. A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. 2000;51(12):1114-1122. doi:10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems. In: Proceedings of the 11th International Conference on Concurrency Theory. Vol 1877. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2000:458-473. doi:10.1007/3-540-44618-4_33
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. Symbolic model checking for rectangular hybrid systems. In: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1785. Springer; 2000:142-156. doi:10.1007/3-540-46419-0_11
View
| DOI
2000 | Journal Article | IST-REx-ID: 3798
Jonas PM. The time course of signaling at central glutamatergic synapses. Physiology. 2000;15(2):83-89. doi:10.1152/physiologyonline.2000.15.2.83
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3548
Harris K, Henze D, Csicsvari JL, Hirase H, Buzsáki G. Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. 2000;84(1):401-414. doi:10.1152/jn.2000.84.1.401
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3623
Barton NH, Patridge L. Measuring fitness by means of balancer chromosomes. Genetical Research. 2000;75(3):297-314. doi:10.1017/S0016672399004346
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3490 |
Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. 2000;20(22):8290-8297. doi:10.1523/JNEUROSCI.20-22-08290.2000
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2602 |
Perroy J, Prezèau L, De Waard M, Shigemoto R, Bockaërt J, Fagni L. Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons. Journal of Neuroscience. 2000;20(21):7896-7904. doi:10.1523/JNEUROSCI.20-21-07896.2000
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2598 |
Sillevis Smitt P, Kinoshita A, De Leeuw B, et al. Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. 2000;342(1):21-27. doi:10.1056/NEJM200001063420104
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 11769
Henzinger MH, King V. Randomized fully dynamic graph algorithms with polylogarithmic time per operation. Journal of the ACM. 1999;46(4):502-516. doi:10.1145/320211.320215
View
| DOI
1999 | Journal Article | IST-REx-ID: 11895 |
Silverstein C, Marais H, Henzinger MH, Moricz M. Analysis of a very large web search engine query log. ACM SIGIR Forum. 1999;33(1):6-12. doi:10.1145/331403.331405
[Published Version]
View
| DOI
| Download Published Version (ext.)