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.
43 Publications
1994 | Published | Journal Article | IST-REx-ID: 3641
The reduction in fixation probability caused by substitutions at linked loci
N.H. Barton, Genetical Research 64 (1994) 199–208.
View
| DOI
| Download None (ext.)
N.H. Barton, Genetical Research 64 (1994) 199–208.
1994 | Published | Journal Article | IST-REx-ID: 3642 | 
Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?
M. Turelli, N.H. Barton, Genetics 138 (1994) 913–941.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Turelli, N.H. Barton, Genetics 138 (1994) 913–941.
1994 | Published | Journal Article | IST-REx-ID: 4032
Counting triangle crossings and halving planes
T. Dey, H. Edelsbrunner, Discrete & Computational Geometry 12 (1994) 281–289.
View
| DOI
| Download None (ext.)
T. Dey, H. Edelsbrunner, Discrete & Computational Geometry 12 (1994) 281–289.
1994 | Published | Journal Article | IST-REx-ID: 4033
Selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, SIAM Journal on Computing 23 (1994) 1138–1151.
View
| DOI
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, SIAM Journal on Computing 23 (1994) 1138–1151.
1994 | Published | Journal Article | IST-REx-ID: 4037 |
Three-dimensional alpha shapes
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.
1994 | Published | Journal Article | IST-REx-ID: 4038
Algorithms for bichromatic line-segment problems and polyhedral terrains
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Algorithmica 11 (1994) 116–132.
View
| DOI
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Algorithmica 11 (1994) 116–132.
1994 | Published | Journal Article | IST-REx-ID: 4039
Ray shooting in polygons using geodesic triangulations
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, Algorithmica 12 (1994) 54–68.
View
| DOI
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, Algorithmica 12 (1994) 54–68.
1994 | Published | Journal Article | IST-REx-ID: 4179 |
Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons
A. Leingärtner, C.-P.J. Heisenberg, R. Kolbeck, H. Thoenen, D. Lindholm, Journal of Biological Chemistry 269 (1994) 828–830.
View
| DOI
| Download None (ext.)
A. Leingärtner, C.-P.J. Heisenberg, R. Kolbeck, H. Thoenen, D. Lindholm, Journal of Biological Chemistry 269 (1994) 828–830.
1994 | Published | Journal Article | IST-REx-ID: 4202
NMDA potentiates NGF-induced sprouting of septal cholinergic fibres
C.-P.J. Heisenberg, J. Cooper, J. Berke, M. Sofroniew, Neuroreport 5 (1994) 413–416.
View
| DOI
| Download None (ext.)
C.-P.J. Heisenberg, J. Cooper, J. Berke, M. Sofroniew, Neuroreport 5 (1994) 413–416.
1994 | Published | Conference Paper | IST-REx-ID: 4420
Proving safety properties of hybrid systems
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 431–454.
View
| DOI
| Download None (ext.)
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 431–454.
1994 | Published | Conference Paper | IST-REx-ID: 4440
Verification methods for the divergent runs of clock systems
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
1994 | Published | Journal Article | IST-REx-ID: 4501 |
Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
View
| DOI
| Download None (ext.)
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
1994 | Published | Journal Article | IST-REx-ID: 4503
Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
View
| DOI
| Download None (ext.)
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
1994 | Published | Conference Paper | IST-REx-ID: 4586
Finitary fairness
R. Alur, T.A. Henzinger, in:, Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61.
1994 | Published | Book Chapter | IST-REx-ID: 4590
Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.
1994 | Published | Journal Article | IST-REx-ID: 4591
A really temporal logic
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.
1994 | Published | Conference Paper | IST-REx-ID: 4614
The observational power of clocks
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–177.
View
| DOI
| Download None (ext.)
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–177.
1994 | Published | Conference Paper | IST-REx-ID: 4615
A determinizable class of timed automata
R. Alur, L. Fix, T.A. Henzinger, in:, International Conference on Computer Aided Verification, Springer, 1994, pp. 1–13.
View
| DOI
| Download None (ext.)
R. Alur, L. Fix, T.A. Henzinger, in:, International Conference on Computer Aided Verification, Springer, 1994, pp. 1–13.
1994 | Published | Conference Paper | IST-REx-ID: 4617
The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.
View
| DOI
| Download None (ext.)
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.
1994 | Published | Conference Paper | IST-REx-ID: 11857
Fully dynamic cycle-equivalence in graphs
M.H. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.
View
| DOI
M.H. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.