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
De Alfaro L, Henzinger TA, Mang F. 2001. MCWEB: A model-checking tool for web-site debugging. Proceedings of the 10th international conference on World Wide Web. WWW: World Wide Web Conference, 86–87.
View
| Download None (ext.)
2001 | Published | Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. 2001. From verification to control: dynamic programs for omega-regular objectives. Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 279–290.
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. 17(9), 499–501.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Conference Paper | IST-REx-ID: 18397
Bronstein MM, Bronstein AM, Zibulevsky M, Zeevi YY. 2001. Optimal sparse representations for blind source separation and blind deconvolution: A learning approach. 2004 International Conference on Image Processing. ICIP: International Conference on Image Processing.
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 3169
Kolmogorov V, Zabih R. 2001. Computing visual correspondence with occlusions using graph cuts. Proceedings of the 8th IEEE International Conference on Computer Vision. ICCV: International Conference on Computer Vision vol. 2, 508–515.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 3438
Huelsenbeck J, Ronquist F, Nielsen R, Bollback JP. 2001. Bayesian inference of phylogeny and its impact on evolutionary biology. Science. 294(5550), 2310–2314.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3440
Huelsenbeck J, Bollback JP. 2001. Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. 50(3), 351–366.
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. CIT: Conference on Information Technology.
View
2001 | Published | Journal Article | IST-REx-ID: 3493 | 
Jones M., Jonas PM, Sahara Y, Westbrook G. 2001. Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. 81(5), 2660–2670.
[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 PM. 2001. Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. 21(8), 2687–2698.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | 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 | Published | Journal Article | IST-REx-ID: 3496 |
Alle H, Jonas PM, Geiger J. 2001. PTP and LTP at a hippocampal mossy fiber-interneuron synapse. PNAS. 98(25), 14708–14713.
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 JL, 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. 105(1), 105–110.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3540 |
Hirase H, Leinekugel X, Czurkó A, Csicsvari JL, Buzsáki G. 2001. Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. 98(16), 9386–9390.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3546 |
Hirase H, Leinekugel X, Csicsvari JL, Czurkó A, Buzsáki G. 2001. Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience. 21(10).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC