Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
D. M. Jackson
1990 – 1999
- 1998
[c3]Joy N. Reed, D. M. Jackson, B. Deianov, George M. Reed: Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. FASE 1998: 239-254- 1995
- [c2]A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood: Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. TACAS 1995: 133-152
- 1994
- [j12]D. M. Jackson: The Lattice of Non-crossing Partitions and the Birkhoff-Lewis Equations. Eur. J. Comb. 15(3): 245-250 (1994)
- 1992
- [j11]E. Rodney Canfield, D. M. Jackson: A D-finiteness result for products of permutations. Discrete Mathematics 99(1-3): 25-30 (1992)
- 1991
- [c1]Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe: Timed CSP: Theory and Practice. REX Workshop 1991: 640-675
1980 – 1989
- 1989
- [j10]
- 1981
- [j9]J. S. Devitt, D. M. Jackson: Comma-free Codes: An Extension of Certain Enumerative Techniques to Recursively Defined Sequences. J. Comb. Theory, Ser. A 30(1): 1-18 (1981)
- 1980
- [j8]William T. Spears, Barbara Jeffcott, D. M. Jackson: An Algebraic Theory of Sequence Enumeration. J. Comb. Theory, Ser. A 28(2): 191-218 (1980)
1970 – 1979
- 1978
- [j7]D. M. Jackson: Some Results on "Product-Weighted Lead Codes". J. Comb. Theory, Ser. A 25(2): 181-187 (1978)
- 1975
- [j6]D. M. Jackson, G. H. John van Rees: The Enumeration of Generalized Double Stochastic Nonnegative Integer Square Matrices. SIAM J. Comput. 4(4): 474-477 (1975)
- 1974
- [j5]D. M. Jackson, William W. Wadge: Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification. Comput. J. 17(3): 249-252 (1974)
- 1973
- [j4]D. M. Jackson: Closed Form Approximations for Random Errors in Distance Functions. Comput. J. 16(1): 52-56 (1973)
- 1972
- [j3]D. M. Jackson, L. J. White: Stability problems in non-statistical classification. Comput. J. 15(3): 214-221 (1972)
- [j2]D. M. Jackson: Expectations of Functions of Sequences over Finite Alphabets with Given Transition Probabilities by Methods Independent of Sequence Length. SIAM J. Comput. 1(3): 203-217 (1972)
- 1971
- [j1]D. M. Jackson: Classification, Relevance, and Information Retrieval. Advances in Computers 11: 59-125 (1971)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:11 CET by the dblp team