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: 4635
L. De Alfaro, T. A. Henzinger, and F. Mang, “MCWEB: A model-checking tool for web-site debugging,” in Proceedings of the 10th international conference on World Wide Web, Hong Kong, Hong Kong, 2001, pp. 86–87.
View
| Download None (ext.)
2001 | Published | Conference Paper | IST-REx-ID: 4636
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “From verification to control: dynamic programs for omega-regular objectives,” in Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, Boston, MA, USA, 2001, pp. 279–290.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 841
Y. Wolf, F. Kondrashov, and E. Koonin, “Footprints of primordial introns on the eukaryotic genome: still no clear traces ,” Trends in Genetics, vol. 17, no. 9. Elsevier, pp. 499–501, 2001.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Conference Paper | IST-REx-ID: 18397
M. M. Bronstein, A. M. Bronstein, M. Zibulevsky, and Y. Y. Zeevi, “Optimal sparse representations for blind source separation and blind deconvolution: A learning approach,” in 2004 International Conference on Image Processing, Singapore, Singapore, 2001.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 3438
J. Huelsenbeck, F. Ronquist, R. Nielsen, and J. P. Bollback, “Bayesian inference of phylogeny and its impact on evolutionary biology,” Science, vol. 294, no. 5550. American Association for the Advancement of Science, pp. 2310–2314, 2001.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3439
J. Conn, J. P. Bollback, D. Onyabe, T. Robinson, R. Wilkerson, and M. Povoa, “Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi,” Molecular Ecology Notes, vol. 1, no. 4. Wiley-Blackwell, pp. 223–225, 2001.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 3440
J. Huelsenbeck and J. P. Bollback, “Empirical and hierarchical Bayesian estimation of ancestral states,” Systematic Biology, vol. 50, no. 3. Oxford University Press, pp. 351–366, 2001.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Conference Paper | IST-REx-ID: 3447
K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Weighted quantified computation tree logic,” presented at the CIT: Conference on Information Technology, 2001.
View
2001 | Published | Journal Article | IST-REx-ID: 3493 | 
M. . Jones, P. M. Jonas, Y. Sahara, and G. Westbrook, “Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists,” Biophysical Journal, vol. 81, no. 5. Biophysical Society, pp. 2660–2670, 2001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3494 |
M. Bartos, I. Vida, M. Frotscher, J. Geiger, and P. M. Jonas, “Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network.,” Journal of Neuroscience, vol. 21, no. 8. Society for Neuroscience, pp. 2687–2698, 2001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3495
J. Jerecic, C. Schulze, P. M. Jonas, R. Sprengel, P. Seeburg, and J. Bischofberger, “Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression,” Molecular Brain Research, vol. 94, no. 1–2. Elsevier, pp. 96–104, 2001.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3496 |
H. Alle, P. M. Jonas, and J. Geiger, “PTP and LTP at a hippocampal mossy fiber-interneuron synapse,” PNAS, vol. 98, no. 25. National Academy of Sciences, pp. 14708–14713, 2001.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Patent | IST-REx-ID: 3507 |
J. Liang and H. Edelsbrunner, “Molecular classification for property prediction.” 2001.
[Published Version]
View
| Download Published Version (ext.)
2001 | Published | Journal Article | IST-REx-ID: 3517
I. Szabo, A. Czurkó, J. L. Csicsvari, H. Hirase, X. Leinekugel, and G. Buzsáki, “The application of printed circuit board technology for fabrication of multi-channel micro-drives,” Journal of Neuroscience Methods, vol. 105, no. 1. Elsevier, pp. 105–110, 2001.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3540 |
H. Hirase, X. Leinekugel, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience,” PNAS, vol. 98, no. 16. National Academy of Sciences, pp. 9386–9390, 2001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3546 |
H. Hirase, X. Leinekugel, J. L. Csicsvari, A. Czurkó, and G. Buzsáki, “Behavior-dependent states of the hippocampal network affect functional clustering of neurons,” Journal of Neuroscience, vol. 21, no. 10. Society for Neuroscience, 2001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC