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.

11357 Publications


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
 

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.)
 

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
 

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
 

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
 

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
 

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
 

2001 | Published | Conference Paper | IST-REx-ID: 3447
Weighted quantified computation tree logic
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Elsevier, 2001.
View
 

2001 | Published | Journal Article | IST-REx-ID: 3493 | OA
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
 

2001 | Published | Journal Article | IST-REx-ID: 3494 | OA
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
 

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
 

2001 | Published | Journal Article | IST-REx-ID: 3496 | OA
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
 

2001 | Patent | IST-REx-ID: 3507 | OA
Molecular classification for property prediction
J. Liang, H. Edelsbrunner, (2001).
[Published Version] View | Download Published Version (ext.)
 

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
 

2001 | Published | Journal Article | IST-REx-ID: 3540 | OA
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
 

2001 | Published | Journal Article | IST-REx-ID: 3546 | OA
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
 

2001 | Published | Book | IST-REx-ID: 3586
Geometry and Topology for Mesh Generation
H. Edelsbrunner, Geometry and Topology for Mesh Generation, Cambridge University Press, 2001.
View | Files available | DOI
 

2001 | Published | Book Review | IST-REx-ID: 3596
Mendel and mathematics
N.H. Barton, Trends in Genetics 17 (2001) 420–420.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 3622
Genetic variation for preadult viability in Drosophila melanogaster
M. Gardner, K. Fowler, L. Patridge, N.H. Barton, Evolution 55 (2001) 1609–1620.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 3927 | OA
TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis
D. Wolf, R. Hallmann, G. Sass, M.K. Sixt, S. Küsters, B. Fregien, C. Trautwein, G. Tiegs, Journal of Immunology 166 (2001) 1300–1307.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed