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
2001 |
Published |
Conference Paper |
IST-REx-ID: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 566–581). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_38
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4635
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging. In Proceedings of the 10th international conference on World Wide Web (pp. 86–87). Hong Kong, Hong Kong: ACM.
View
| Download None (ext.)
2001 |
Published |
Conference Paper |
IST-REx-ID: 4636
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (pp. 279–290). Boston, MA, USA: IEEE. https://doi.org/10.1109/LICS.2001.932504
View
| DOI
2001 |
Published |
Book Chapter |
IST-REx-ID: 3434
Huelsenbeck, J., & Bollback, J. P. (2001). Application of the likelihood function in phylogenetic analysis. In D. Balding, M. Bishop, & C. Cannings (Eds.), Handbook of Statistical Genetics (pp. 415–439). Wiley-Blackwell. https://doi.org/10.1002/9780470061619.ch15
View
| DOI
2001 |
Published |
Journal Article |
IST-REx-ID: 3438
Huelsenbeck, J., Ronquist, F., Nielsen, R., & Bollback, J. P. (2001). Bayesian inference of phylogeny and its impact on evolutionary biology. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1065889
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 3439
Conn, J., Bollback, J. P., Onyabe, D., Robinson, T., Wilkerson, R., & Povoa, M. (2001). Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi. Molecular Ecology Notes. Wiley-Blackwell. https://doi.org/ 10.1046/j.1471-8278.2001.00078.x
View
| DOI
2001 |
Published |
Journal Article |
IST-REx-ID: 3440
Huelsenbeck, J., & Bollback, J. P. (2001). Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. Oxford University Press. https://doi.org/10.1080/10635150119871
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Conference Paper |
IST-REx-ID: 3447
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2001). Weighted quantified computation tree logic. Presented at the CIT: Conference on Information Technology, Elsevier.
View
2001 |
Published |
Journal Article |
IST-REx-ID: 3493 |
Jones, M. ., Jonas, P. M., Sahara, Y., & Westbrook, G. (2001). Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/S0006-3495(01)75909-7
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 3494 |
Bartos, M., Vida, I., Frotscher, M., Geiger, J., & Jonas, P. M. (2001). Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.21-08-02687.2001
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 3495
Jerecic, J., Schulze, C., Jonas, P. M., 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. Elsevier. https://doi.org/10.1016/S0169-328X(01)00221-2
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 3496 |
Alle, H., Jonas, P. M., & Geiger, J. (2001). PTP and LTP at a hippocampal mossy fiber-interneuron synapse. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.251610898
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 |
Patent |
IST-REx-ID: 3507 |
Liang, J., & Edelsbrunner, H. (2001). Molecular classification for property prediction.
[Published Version]
View
| Download Published Version (ext.)
2001 |
Published |
Journal Article |
IST-REx-ID: 3517
Szabo, I., Czurkó, A., Csicsvari, J. L., Hirase, H., Leinekugel, X., & Buzsáki, G. (2001). The application of printed circuit board technology for fabrication of multi-channel micro-drives. Journal of Neuroscience Methods. Elsevier. https://doi.org/10.1016/S0165-0270(00)00362-9
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 3540 |
Hirase, H., Leinekugel, X., Czurkó, A., Csicsvari, J. L., & Buzsáki, G. (2001). Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.161274398
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 3546 |
Hirase, H., Leinekugel, X., Csicsvari, J. L., Czurkó, A., & Buzsáki, G. (2001). Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.21-10-j0003.2001
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |
Published |
Book |
IST-REx-ID: 3586
Edelsbrunner, H. (2001). Geometry and Topology for Mesh Generation (Vol. 7). Cambridge University Press. https://doi.org/10.1017/CBO9780511530067
View
| Files available
| DOI
2001 |
Published |
Book Review |
IST-REx-ID: 3596
Barton, N. H. (2001). Mendel and mathematics. Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(01)02315-0
View
| DOI
2001 |
Published |
Journal Article |
IST-REx-ID: 3622
Gardner, M., Fowler, K., Patridge, L., & Barton, N. H. (2001). Genetic variation for preadult viability in Drosophila melanogaster. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2001.tb00680.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 3927 |
Wolf, D., Hallmann, R., Sass, G., Sixt, M. K., Küsters, S., Fregien, B., … Tiegs, G. (2001). TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis. Journal of Immunology. American Association of Immunologists. https://doi.org/10.4049/jimmunol.166.2.1300
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC