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.

81 Publications


2001 | 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 | 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.
View | DOI | Download (ext.)
 

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

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

2001 | 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 (ext.)
 

2001 | Journal Article | IST-REx-ID: 3927
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 | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3928
Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation
M.K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, L. Sorokin, Journal of Biological Chemistry 276 (2001) 18878–18887.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3930
Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis
M.K. Sixt, B. Engelhardt, F. Pausch, R. Hallmann, O. Wendler, L. Sorokin, Journal of Cell Biology 153 (2001) 933–946.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 4002
Design and analysis of planar shape deformation
S. Cheng, H. Edelsbrunner, P. Fu, K. Lam, Computational Geometry: Theory and Applications 19 (2001) 205–218.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, in:, SIAM, 2001, pp. 47–56.
View
 

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

2001 | Journal Article | IST-REx-ID: 4007
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, Discrete & Computational Geometry 25 (2001) 525–568.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
Theory and speciation
M. Turelli, N.H. Barton, J. Coyne, Trends in Ecology and Evolution 16 (2001) 330–343.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 4266
The role of hybridisation in evolution
N.H. Barton, Molecular Ecology 10 (2001) 551–568.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Adaptation at the edge of a species' range
N.H. Barton, in:, Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–392.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
The evolutionary consequences of gene flow and local adaptation: Future approaches
N.H. Barton, in:, Dispersal, Oxford University Press, 2001.
View
 

2001 | Conference (Editor) | IST-REx-ID: 4449
EMSOFT: Embedded Software
T.A. Henzinger, C. Kirsch, EMSOFT: Embedded Software, ACM, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Some lessons from the HYTECH experience
T.A. Henzinger, J. Preussig, H. Wong Toi, in:, IEEE, 2001, pp. 2887–2892.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Springer, 2001, pp. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
A reusable and platform-independent framework for distributed control systems
T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, IEEE, 2001, pp. 1–11.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4200
A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon
C. Heisenberg, C. Houart, M. Take Uchi, G. Rauch, N. Young, P. Coutinho, I. Masai, L. Caneparo, M. Concha, R. Geisler, T. Dale, S. Wilson, D. Stemple, Genes and Development 15 (2001) 1427–1434.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae)
J.P. Bollback, J. Huelsenbeck, Journal of Molecular Evolution 52 (2001) 117–128.
View | DOI
 

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

2001 | Conference Paper | IST-REx-ID: 4600
jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, IEEE, 2001, pp. 835–836.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
Interface automata
L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 109–120.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
Interface theories for component-based design
L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 148–165.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
MCWEB: A model-checking tool for web-site debugging
L. De Alfaro, T.A. Henzinger, F. Mang, in:, ACM, 2001, pp. 86–87.
View | Download (ext.)
 

2001 | 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:, IEEE, 2001, pp. 279–290.
View | DOI
 

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

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

2001 | Journal Article | IST-REx-ID: 855
Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a 'weak'context of the start codon
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
Origin of alternative splicing by tandem exon duplication
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
Multidimensional epistasis and the disadvantage of sex
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 888
Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, E. Koonin, Genome Biology 2 (2001).
View | DOI
 

Filters and Search Terms

year=2001

Search

Filter Publications