D. M. Jackson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

1998

Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control MechanismsJoy N. Reed, D. M. Jackson, B. Deianov, George M. Reed. FASE 1998: 239-254 [doi]

1995

Hierarchical Compression for Model-Checking CSP or How to Check 10:::20::: Dining Philosophers for DeadlockA. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood. TACAS 1995: 133-152

1994

The Lattice of Non-crossing Partitions and the Birkhoff-Lewis EquationsD. M. Jackson. ejc, 15(3):245-250, 1994. [doi]

1992

A D-finiteness result for products of permutationsE. Rodney Canfield, D. M. Jackson. DM, 99(1-3):25-30, 1992. [doi]

1991

Timed CSP: Theory and PracticeSteve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe. rex 1992: 640-675

1981

Comma-free Codes: An Extension of Certain Enumerative Techniques to Recursively Defined SequencesJ. S. Devitt, D. M. Jackson. JCT, 30(1):1-18, 1981.

1980

The enumeration of sequences with respect to structures on a bipartitionD. M. Jackson, Barbara Jeffcott, William T. Spears. DM, 30(2):133-149, 1980. [doi]

An Algebraic Theory of Sequence EnumerationWilliam T. Spears, Barbara Jeffcott, D. M. Jackson. JCT, 28(2):191-218, 1980.

1978

The enumeration of generalised alternating subsets with congruencesI. P. Goulden, D. M. Jackson. DM, 22(2):99-104, 1978. [doi]

Some Results on Product-Weighted Lead Codes D. M. Jackson. JCT, 25(2):181-187, 1978.

1975

The Enumeration of Generalized Double Stochastic Nonnegative Integer Square MatricesD. M. Jackson, G. H. John van Rees. SICOMP, 4(4):474-477, 1975.

1974

Normal Form Reduction of Probabilistic Computations in Non-Parametric ClassificationD. M. Jackson, William W. Wadge. cj, 17(3):249-252, 1974.

1973

Closed Form Approximations for Random Errors in Distance FunctionsD. M. Jackson. cj, 16(1):52-56, 1973.

1972

Expectations of Functions of Sequences over Finite Alphabets with Given Transition Probabilities by Methods Independent of Sequence LengthD. M. Jackson. SICOMP, 1(3):203-217, 1972.

Stability problems in non-statistical classificationD. M. Jackson, L. J. White. cj, 15(3):214-221, 1972. [doi]

1971

Classification, Relevance, and Information RetrievalD. M. Jackson. ac, 11:59-125, 1971.

Sign in or sign up to see more results.

runs on WebDSL