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
De Alfaro L, Henzinger TA, Mang F. 2001. The control of synchronous systems, Part II. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 566–581.
View | DOI
 

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 | Book Chapter | IST-REx-ID: 3434
Huelsenbeck J, Bollback JP. 2001.Application of the likelihood function in phylogenetic analysis. In: Handbook of Statistical Genetics. , 415–439.
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: 3439
Conn J, Bollback JP, Onyabe D, Robinson T, Wilkerson R, Povoa M. 2001. Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi. Molecular Ecology Notes. 1(4), 223–225.
View | DOI
 

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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

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

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

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

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

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed