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
Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
2001 | Published | Conference Paper | IST-REx-ID: 4634
The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
2001 | Published | Conference Paper | IST-REx-ID: 4635
MCWEB: A model-checking tool for web-site debugging
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.
View
| Download None (ext.)
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.
2001 | Published | Conference Paper | IST-REx-ID: 4636
From verification to control: dynamic programs for omega-regular objectives
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2001, pp. 279–290.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2001, pp. 279–290.
2001 | Published | Journal Article | IST-REx-ID: 841
Footprints of primordial introns on the eukaryotic genome: still no clear traces
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
View
| DOI
| PubMed | Europe PMC
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
2001 | Published | Conference Paper | IST-REx-ID: 18397
Optimal sparse representations for blind source separation and blind deconvolution: A learning approach
M.M. Bronstein, A.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, 2004 International Conference on Image Processing, IEEE, 2001.
View
| DOI
M.M. Bronstein, A.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, 2004 International Conference on Image Processing, IEEE, 2001.
2001 | Published | Conference Paper | IST-REx-ID: 3169
Computing visual correspondence with occlusions using graph cuts
V. Kolmogorov, R. Zabih, in:, Proceedings of the 8th IEEE International Conference on Computer Vision, IEEE, 2001, pp. 508–515.
View
| DOI
V. Kolmogorov, R. Zabih, in:, Proceedings of the 8th IEEE International Conference on Computer Vision, IEEE, 2001, pp. 508–515.
2001 | Published | Book Chapter | IST-REx-ID: 3434
Application of the likelihood function in phylogenetic analysis
J. Huelsenbeck, J.P. Bollback, in:, D. Balding, M. Bishop, C. Cannings (Eds.), Handbook of Statistical Genetics, Wiley-Blackwell, 2001, pp. 415–439.
View
| DOI
J. Huelsenbeck, J.P. Bollback, in:, D. Balding, M. Bishop, C. Cannings (Eds.), Handbook of Statistical Genetics, Wiley-Blackwell, 2001, pp. 415–439.
2001 | Published | Journal Article | IST-REx-ID: 3438
Bayesian inference of phylogeny and its impact on evolutionary biology
J. Huelsenbeck, F. Ronquist, R. Nielsen, J.P. Bollback, Science 294 (2001) 2310–2314.
View
| DOI
| PubMed | Europe PMC
J. Huelsenbeck, F. Ronquist, R. Nielsen, J.P. Bollback, Science 294 (2001) 2310–2314.
2001 | Published | Journal Article | IST-REx-ID: 3439
Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi
J. Conn, J.P. Bollback, D. Onyabe, T. Robinson, R. Wilkerson, M. Povoa, Molecular Ecology Notes 1 (2001) 223–225.
View
| DOI
J. Conn, J.P. Bollback, D. Onyabe, T. Robinson, R. Wilkerson, M. Povoa, Molecular Ecology Notes 1 (2001) 223–225.
2001 | Published | Journal Article | IST-REx-ID: 3440
Empirical and hierarchical Bayesian estimation of ancestral states
J. Huelsenbeck, J.P. Bollback, Systematic Biology 50 (2001) 351–366.
View
| DOI
| PubMed | Europe PMC
J. Huelsenbeck, J.P. Bollback, Systematic Biology 50 (2001) 351–366.
2001 | Published | Conference Paper | IST-REx-ID: 3447
Weighted quantified computation tree logic
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Elsevier, 2001.
View
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Elsevier, 2001.
2001 | Published | Journal Article | IST-REx-ID: 3493 | 
Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists
M.. Jones, P.M. Jonas, Y. Sahara, G. Westbrook, Biophysical Journal 81 (2001) 2660–2670.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.. Jones, P.M. Jonas, Y. Sahara, G. Westbrook, Biophysical Journal 81 (2001) 2660–2670.
2001 | Published | Journal Article | IST-REx-ID: 3494 |
Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network.
M. Bartos, I. Vida, M. Frotscher, J. Geiger, P.M. Jonas, Journal of Neuroscience 21 (2001) 2687–2698.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Bartos, I. Vida, M. Frotscher, J. Geiger, P.M. Jonas, Journal of Neuroscience 21 (2001) 2687–2698.
2001 | Published | Journal Article | IST-REx-ID: 3495
Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression
J. Jerecic, C. Schulze, P.M. Jonas, R. Sprengel, P. Seeburg, J. Bischofberger, Molecular Brain Research 94 (2001) 96–104.
View
| DOI
| PubMed | Europe PMC
J. Jerecic, C. Schulze, P.M. Jonas, R. Sprengel, P. Seeburg, J. Bischofberger, Molecular Brain Research 94 (2001) 96–104.
2001 | Published | Journal Article | IST-REx-ID: 3496 |
PTP and LTP at a hippocampal mossy fiber-interneuron synapse
H. Alle, P.M. Jonas, J. Geiger, PNAS 98 (2001) 14708–14713.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
H. Alle, P.M. Jonas, J. Geiger, PNAS 98 (2001) 14708–14713.
2001 | Patent | IST-REx-ID: 3507 |
Molecular classification for property prediction
J. Liang, H. Edelsbrunner, (2001).
[Published Version]
View
| Download Published Version (ext.)
J. Liang, H. Edelsbrunner, (2001).
2001 | Published | Journal Article | IST-REx-ID: 3517
The application of printed circuit board technology for fabrication of multi-channel micro-drives
I. Szabo, A. Czurkó, J.L. Csicsvari, H. Hirase, X. Leinekugel, G. Buzsáki, Journal of Neuroscience Methods 105 (2001) 105–110.
View
| DOI
| PubMed | Europe PMC
I. Szabo, A. Czurkó, J.L. Csicsvari, H. Hirase, X. Leinekugel, G. Buzsáki, Journal of Neuroscience Methods 105 (2001) 105–110.
2001 | Published | Journal Article | IST-REx-ID: 3540 |
Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience
H. Hirase, X. Leinekugel, A. Czurkó, J.L. Csicsvari, G. Buzsáki, PNAS 98 (2001) 9386–9390.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H. Hirase, X. Leinekugel, A. Czurkó, J.L. Csicsvari, G. Buzsáki, PNAS 98 (2001) 9386–9390.
2001 | Published | Journal Article | IST-REx-ID: 3546 |
Behavior-dependent states of the hippocampal network affect functional clustering of neurons
H. Hirase, X. Leinekugel, J.L. Csicsvari, A. Czurkó, G. Buzsáki, Journal of Neuroscience 21 (2001).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H. Hirase, X. Leinekugel, J.L. Csicsvari, A. Czurkó, G. Buzsáki, Journal of Neuroscience 21 (2001).