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