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.
104 Publications
2001 | Published | Conference Paper | IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 536–550). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View
| DOI
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 | Journal Article | IST-REx-ID: 841
Wolf, Y., Kondrashov, F., & Koonin, E. (2001). Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(01)02376-9
View
| DOI
| PubMed | Europe PMC
2001 | Published | Conference Paper | IST-REx-ID: 18397
Bronstein, M. M., Bronstein, A. M., Zibulevsky, M., & Zeevi, Y. Y. (2001). Optimal sparse representations for blind source separation and blind deconvolution: A learning approach. In 2004 International Conference on Image Processing. Singapore, Singapore: IEEE. https://doi.org/10.1109/icip.2004.1421428
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 3169
Kolmogorov, V., & Zabih, R. (2001). Computing visual correspondence with occlusions using graph cuts. In Proceedings of the 8th IEEE International Conference on Computer Vision (Vol. 2, pp. 508–515). Vancouver, Canada: IEEE. https://doi.org/10.1109/ICCV.2001.937668
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