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 TA, Majumdar R. Symbolic algorithms for infinite-state games. In: Proceedings of the 12th International Conference on on Concurrency Theory. Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:536-550. doi:10.1007/3-540-44685-0_36
View
| DOI
2001 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4635
De Alfaro L, Henzinger TA, Mang F. MCWEB: A model-checking tool for web-site debugging. In: Proceedings of the 10th International Conference on World Wide Web. ACM; 2001:86-87.
View
| Download None (ext.)
2001 | Published | Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. From verification to control: dynamic programs for omega-regular objectives. In: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science. IEEE; 2001:279-290. doi:10.1109/LICS.2001.932504
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 841
Wolf Y, Kondrashov F, Koonin E. Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics. 2001;17(9):499-501. doi:10.1016/S0168-9525(01)02376-9
View
| DOI
| PubMed | Europe PMC
2001 | Published | Conference Paper | IST-REx-ID: 18397
Bronstein MM, Bronstein AM, Zibulevsky M, Zeevi YY. Optimal sparse representations for blind source separation and blind deconvolution: A learning approach. In: 2004 International Conference on Image Processing. IEEE; 2001. doi:10.1109/icip.2004.1421428
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 3169
Kolmogorov V, Zabih R. Computing visual correspondence with occlusions using graph cuts. In: Proceedings of the 8th IEEE International Conference on Computer Vision. Vol 2. IEEE; 2001:508-515. doi:10.1109/ICCV.2001.937668
View
| DOI
2001 | Published | Book Chapter | IST-REx-ID: 3434
Huelsenbeck J, Bollback JP. Application of the likelihood function in phylogenetic analysis. In: Balding D, Bishop M, Cannings C, eds. Handbook of Statistical Genetics. Wiley-Blackwell; 2001:415-439. doi:10.1002/9780470061619.ch15
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 3438
Huelsenbeck J, Ronquist F, Nielsen R, Bollback JP. Bayesian inference of phylogeny and its impact on evolutionary biology. Science. 2001;294(5550):2310-2314. doi:10.1126/science.1065889
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3439
Conn J, Bollback JP, Onyabe D, Robinson T, Wilkerson R, Povoa M. Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi. Molecular Ecology Notes. 2001;1(4):223-225. doi: 10.1046/j.1471-8278.2001.00078.x
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 3440
Huelsenbeck J, Bollback JP. Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. 2001;50(3):351-366. doi:10.1080/10635150119871
View
| DOI
| PubMed | Europe PMC
2001 | Published | Conference Paper | IST-REx-ID: 3447
Chatterjee K, Dasgupta P, Chakrabarti P. Weighted quantified computation tree logic. In: Elsevier; 2001.
View
2001 | Published | Journal Article | IST-REx-ID: 3493 | 
Jones M., Jonas PM, Sahara Y, Westbrook G. Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. 2001;81(5):2660-2670. doi: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 PM. Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. 2001;21(8):2687-2698. doi: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 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 | Published | Journal Article | IST-REx-ID: 3496 |
Alle H, Jonas PM, Geiger J. PTP and LTP at a hippocampal mossy fiber-interneuron synapse. PNAS. 2001;98(25):14708-14713. doi:10.1073/pnas.251610898
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Patent | IST-REx-ID: 3507 |
Liang J, Edelsbrunner H. Molecular classification for property prediction. 2001.
[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. The application of printed circuit board technology for fabrication of multi-channel micro-drives. Journal of Neuroscience Methods. 2001;105(1):105-110. doi: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 JL, Buzsáki G. Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. 2001;98(16):9386-9390. doi: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 JL, Czurkó A, Buzsáki G. Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience. 2001;21(10). doi:10.1523/JNEUROSCI.21-10-j0003.2001
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC