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.
6997 Publications
1998 |Published| Journal Article | IST-REx-ID: 3527
Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat
J.L. Csicsvari, A. Czurkó, H. Hirase, G. Buzsáki, European Journal of Neuroscience 10 (1998) 2553–2553.
View
J.L. Csicsvari, A. Czurkó, H. Hirase, G. Buzsáki, European Journal of Neuroscience 10 (1998) 2553–2553.
1998 |Published| Journal Article | IST-REx-ID: 3629
Habitat preference in the Bombina hybrid zone in Croatia
C. Maccallum, B. Nürnberger, N.H. Barton, J. Szymura, Evolution 52 (1998) 227–239.
View
| DOI
| PubMed | Europe PMC
C. Maccallum, B. Nürnberger, N.H. Barton, J. Szymura, Evolution 52 (1998) 227–239.
1998 |Published| Journal Article | IST-REx-ID: 3628 |
Testing for epistasis between deleterious mutations
S. West, A. Peters, N.H. Barton, Genetics 149 (1998) 435–444.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
S. West, A. Peters, N.H. Barton, Genetics 149 (1998) 435–444.
1998 |Published| Journal Article | IST-REx-ID: 3627
The effect of hitch-hiking on neutral genealogies
N.H. Barton, Genetical Research 72 (1998) 123–133.
View
| DOI
N.H. Barton, Genetical Research 72 (1998) 123–133.
1998 |Published| Journal Article | IST-REx-ID: 4017 |
Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design
J. Liang, H. Edelsbrunner, C. Woodward, Protein Science 7 (1998) 1884–1897.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Liang, H. Edelsbrunner, C. Woodward, Protein Science 7 (1998) 1884–1897.
1998 |Published| Journal Article | IST-REx-ID: 4012
Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, S. Subramaniam, Proteins: Structure, Function and Bioinformatics 33 (1998) 18–29.
View
| DOI
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, S. Subramaniam, Proteins: Structure, Function and Bioinformatics 33 (1998) 18–29.
1998 |Published| Journal Article | IST-REx-ID: 4013 |
On the definition and the construction of pockets in macromolecules
H. Edelsbrunner, M. Facello, J. Liang, Discrete Applied Mathematics 88 (1998) 83–102.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H. Edelsbrunner, M. Facello, J. Liang, Discrete Applied Mathematics 88 (1998) 83–102.
1998 |Published| Conference Paper | IST-REx-ID: 4015
Shape reconstruction with Delaunay complex
H. Edelsbrunner, in:, Proceedingsof the 3rd Latin American Symposium on Theoretical Informatics, Springer, 1998, pp. 119–132.
View
| DOI
H. Edelsbrunner, in:, Proceedingsof the 3rd Latin American Symposium on Theoretical Informatics, Springer, 1998, pp. 119–132.
1998 |Published| Conference Paper | IST-REx-ID: 4019
Shape space from deformation
H. Cheng, H. Edelsbrunner, P. Fu, in:, Proceedings of the 6th Pacific Conference on Computer Graphics and Applications, IEEE, 1998, pp. 104–113.
View
| DOI
H. Cheng, H. Edelsbrunner, P. Fu, in:, Proceedings of the 6th Pacific Conference on Computer Graphics and Applications, IEEE, 1998, pp. 104–113.
1998 |Published| Conference Paper | IST-REx-ID: 4016
Wrapping 3D scanning data
H. Edelsbrunner, M. Facello, P. Fu, J. Qian, D. Nekhayev, in:, SPIE, 1998, pp. 148–158.
View
| DOI
H. Edelsbrunner, M. Facello, P. Fu, J. Qian, D. Nekhayev, in:, SPIE, 1998, pp. 148–158.
1998 |Published| Journal Article | IST-REx-ID: 4281
Why sex and recombination?
N.H. Barton, B. Charlesworth, Science 281 (1998) 1986–1990.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, B. Charlesworth, Science 281 (1998) 1986–1990.
1998 |Published| Journal Article | IST-REx-ID: 4280
Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton
M. Ritchie, N.H. Barton, Trends in Ecology and Evolution 13 (1998) 282–283.
View
| DOI
| PubMed | Europe PMC
M. Ritchie, N.H. Barton, Trends in Ecology and Evolution 13 (1998) 282–283.
1998 |Published| Book Review | IST-REx-ID: 4283
The geometry of adaptation
N.H. Barton, Nature 395 (1998) 751–752.
View
| DOI
N.H. Barton, Nature 395 (1998) 751–752.
1998 |Published| Book Review | IST-REx-ID: 4282
Genetics and analysis of quantitative traits
N.H. Barton, Genetical Research 72 (1998) 73–73.
View
| DOI
N.H. Barton, Genetical Research 72 (1998) 73–73.
1998 |Published| Conference Paper | IST-REx-ID: 4410
An algorithm for the approximative analysis of rectangular automata
J. Preußig, S. Kowalewski, H. Wong Toi, T.A. Henzinger, in:, Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1998, pp. 228–240.
View
| DOI
J. Preußig, S. Kowalewski, H. Wong Toi, T.A. Henzinger, in:, Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1998, pp. 228–240.
1998 |Published| Conference Paper | IST-REx-ID: 4408
Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–236.
View
| DOI
J. Raskin, P. Schobbens, T.A. Henzinger, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–236.
1998 |Published| Conference Paper | IST-REx-ID: 4429
Reachability verification for hybrid automata
T.A. Henzinger, V. Rusu, in:, Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, Springer, 1998, pp. 190–204.
View
| DOI
T.A. Henzinger, V. Rusu, in:, Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, Springer, 1998, pp. 190–204.
1998 |Published| Conference (Editor) | IST-REx-ID: 4430
HSCC: Hybrid Systems—Computation and Control
T.A. Henzinger, ed., HSCC: Hybrid Systems—Computation and Control, Springer, 1998.
View
| DOI
T.A. Henzinger, ed., HSCC: Hybrid Systems—Computation and Control, Springer, 1998.
1998 |Published| Conference Paper | IST-REx-ID: 4486
An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, Springer, 1998, pp. 421–432.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, Springer, 1998, pp. 421–432.
1998 |Published| Conference Paper | IST-REx-ID: 4490
The regular real-time languages
T.A. Henzinger, J. Raskin, P. Schobbens, in:, Proceedings of the 25th International Colloqium on Automata, Languages and Programming, Springer, 1998, pp. 580–591.
View
| DOI
T.A. Henzinger, J. Raskin, P. Schobbens, in:, Proceedings of the 25th International Colloqium on Automata, Languages and Programming, Springer, 1998, pp. 580–591.