#### Filter Results:

- Full text PDF available (2)

#### Publication Year

2007

2011

- This year (0)
- Last 5 years (0)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Sebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss, Michael R. Laurence
- Theor. Comput. Sci.
- 2011

We calculate the character table of the maximal subgroup of the Monster N(3B) ∼= 3 + .2.Suz:2, and also of the group 31+12:6.Suz:2, which has the former as a quotient. The strategy is to induce characters from the inertia groups in 31+12:6.Suz:2 of characters of 3. We obtain the quotient map to N(3B) computationally, and our careful concrete approach allows… (More)

- Richard W. Barraclough, David Binkley, +5 authors Lahcen Ouarbya
- Theor. Comput. Sci.
- 2010

We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Weiser (which only considered terminating ones) and, as such, is an accurate characterisation of the semantic relationship between a program and the slice produced by these algorithms.… (More)

- ‹
- 1
- ›