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, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Symbolic Algorithms for Infinite-State Games.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:536–50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_36.
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems, Part II.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:566–81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_38.
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 4635
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” In Proceedings of the 10th International Conference on World Wide Web, 86–87. ACM, 2001.
View
| Download None (ext.)
2001 | Published | Conference Paper | IST-REx-ID: 4636
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives.” In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 279–90. IEEE, 2001. https://doi.org/10.1109/LICS.2001.932504.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 841
Wolf, Yuri, Fyodor Kondrashov, and Eugene Koonin. “Footprints of Primordial Introns on the Eukaryotic Genome: Still No Clear Traces .” Trends in Genetics. Elsevier, 2001. 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., Alex 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. IEEE, 2001. https://doi.org/10.1109/icip.2004.1421428.
View
| DOI
2001 | Published | Conference Paper | IST-REx-ID: 3169
Kolmogorov, Vladimir, and Ramin Zabih. “Computing Visual Correspondence with Occlusions Using Graph Cuts.” In Proceedings of the 8th IEEE International Conference on Computer Vision, 2:508–15. IEEE, 2001. https://doi.org/10.1109/ICCV.2001.937668.
View
| DOI
2001 | Published | Book Chapter | IST-REx-ID: 3434
Huelsenbeck, John, and Jonathan P Bollback. “Application of the Likelihood Function in Phylogenetic Analysis.” In Handbook of Statistical Genetics, edited by David Balding, Martin Bishop, and Chriss Cannings, 415–39. Wiley-Blackwell, 2001. https://doi.org/10.1002/9780470061619.ch15.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 3438
Huelsenbeck, John, Fredrik Ronquist, Rasmus Nielsen, and Jonathan P Bollback. “Bayesian Inference of Phylogeny and Its Impact on Evolutionary Biology.” Science. American Association for the Advancement of Science, 2001. https://doi.org/10.1126/science.1065889.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3439
Conn, Jan, Jonathan P Bollback, David Onyabe, Tessa Robinson, Richard Wilkerson, and Marinete Povoa. “Isolation of Polymorphic Microsatellite Markers from the Malaria Vector Anopheles Darlingi.” Molecular Ecology Notes. Wiley-Blackwell, 2001. https://doi.org/ 10.1046/j.1471-8278.2001.00078.x.
View
| DOI
2001 | Published | Journal Article | IST-REx-ID: 3440
Huelsenbeck, John, and Jonathan P Bollback. “Empirical and Hierarchical Bayesian Estimation of Ancestral States.” Systematic Biology. Oxford University Press, 2001. https://doi.org/10.1080/10635150119871.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “Weighted Quantified Computation Tree Logic.” Elsevier, 2001.
View
2001 | Published | Journal Article | IST-REx-ID: 3493 | 
Jones, M.V, Peter M Jonas, Y. Sahara, and G. Westbrook. “Microscopic Kinetics and Energetics Distinguish GABAA Receptor Agonists from Antagonists.” Biophysical Journal. Biophysical Society, 2001. 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, Marlene, Imre Vida, Michael Frotscher, Jörg Geiger, and Peter M Jonas. “Rapid Signaling at Inhibitory Synapses in a Dentate Gyrus Interneuron Network.” Journal of Neuroscience. Society for Neuroscience, 2001. 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, Jasna, Christian Schulze, Peter M Jonas, Rolf Sprengel, Peter Seeburg, and Joseph Bischofberger. “Impaired NMDA Receptor Function in Mouse Olfactory Bulb Neurons by Tetracycline-Sensitive NR1 (N598R) Expression.” Molecular Brain Research. Elsevier, 2001. https://doi.org/10.1016/S0169-328X(01)00221-2.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3496 |
Alle, Henrik, Peter M Jonas, and Jörg Geiger. “PTP and LTP at a Hippocampal Mossy Fiber-Interneuron Synapse.” PNAS. National Academy of Sciences, 2001. https://doi.org/10.1073/pnas.251610898 .
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Patent | IST-REx-ID: 3507 |
Liang, Jie, and Herbert Edelsbrunner. “Molecular Classification for Property Prediction,” 2001.
[Published Version]
View
| Download Published Version (ext.)
2001 | Published | Journal Article | IST-REx-ID: 3517
Szabo, Imre, András Czurkó, Jozsef L Csicsvari, Hajima Hirase, Xavier Leinekugel, and György Buzsáki. “The Application of Printed Circuit Board Technology for Fabrication of Multi-Channel Micro-Drives.” Journal of Neuroscience Methods. Elsevier, 2001. https://doi.org/10.1016/S0165-0270(00)00362-9.
View
| DOI
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3540 |
Hirase, Hajima, Xavier Leinekugel, András Czurkó, Jozsef L Csicsvari, and György Buzsáki. “Firing Rates of Hippocampal Neurons Are Preserved during Subsequent Sleep Episodes and Modified by Novel Awake Experience.” PNAS. National Academy of Sciences, 2001. 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, Hajima, Xavier Leinekugel, Jozsef L Csicsvari, András Czurkó, and György Buzsáki. “Behavior-Dependent States of the Hippocampal Network Affect Functional Clustering of Neurons.” Journal of Neuroscience. Society for Neuroscience, 2001. https://doi.org/10.1523/JNEUROSCI.21-10-j0003.2001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC