Please note that IST 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.

5632 Publications


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

2001 | Journal Article | IST-REx-ID: 3546
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).
View
 

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

2001 | Journal Article | IST-REx-ID: 4001
Cheng H, Edelsbrunner H, Fu P. 2001. Shape space from deformation. Computational Geometry: Theory and Applications. 19(2–3), 191–204.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner H. 2001. 180 wrapped tubes. Journal of Universal Computer Science. 7(5), 379–399.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto S, Barton NH. 2001. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 55(10), 1921–1931.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. EMSOFT: Embedded Software , LNCS, vol. 2211. 166–184.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. 2001. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 18(2), 97–116.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. 2001. Symbolic algorithms for infinite-state games. CONCUR: Concurrency Theory, LNCS, vol. 2154. 536–550.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
Rogozin I, Kondrashov F, Glazko G. 2001. Use of mutation spectra analysis software. Human Mutation. 17(2), 83–102.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed