ANNEXE: Publications Bangor
Summary
books: 2 (in English); PhD theses 8; papers in or for
international journals: 24 published, 10 in press, 7 submitted, 14 in
preparation.
Books
K.H. Kamps and Tim Porter: Abstract Homotopy and Simple Homotopy
Theory, World Scientific, June 1997 (ISBN 9810216025)
Mark Lawson: Inverse Semigroups: The theory of partial symmetries,
World Scientific, November 1998.
PhD Theses
Ilhan Icen: Research area: Algebraic topology Supervisor: Prof. R. Brown;
Thesis title: A 2dimensional version of Holonomy, 1996.
Ali Mutlu: Research area: Simplicial groups Supervisor: Prof. T. Porter;
Thesis title: Peiffer pairings in the Moore complex of a simplicial
group, 1997.
Murat Alp: Research area: Computational group theory  particularly for crossed
modules, cat1groups and related structures. Supervisors: Prof. R. Brown
& Dr. C.D. Wensley Thesis title: GAP, Crossed modules,
Cat^{1}groups  applications of computational group theory,
1997
Peter Hines: Research area: Inverse semigroups; compact closed categories;
geometry of interaction. Supervisor: Dr. M.V. Lawson; Thesis title: The
algebra of selfsimilarity and its applications. 1998
Anne Heyworth: Research area: Computational group theory; rewriting systems;
group presentations. Supervisors: Prof. R. Brown & Dr. C.D. Wensley;
Thesis title: Applications of Rewriting Systems and Groebner Bases to
Computing Kan Extensions and Identities Among Relations, 1998.
Helen James: Research area: Semigroups; Supervisor: Dr. M.V. Lawson; Thesis
title: Applications of category theory to inverse semigroups, 2000.
Alinor Abdul Kadir: Research area: Pure Mathematics; Supervisor: Prof. T.
Porter; Thesis title: Coverings, Hypercoverings and Homotopy
Coherence, 2000.
Tanveer Khan Research: area: Semigroups; Supervisor: Dr. M.V. Lawson; Thesis
title: The relationship between the local and global structure of
semigroups, 2000.
References


AlAgl,F.A.A., Brown, R. and Steiner,R., ``Multiple categories: the equivalence
of a globular and a cubical approach'', UWB Maths preprint 00.11 (34pp).

Alp, M. and Wensley, C.D., ``Enumerating cat^{1}groups of low order'',
International Journal of Algebra and Computation 16 pp (to appear).

Arvasi, Z. and Porter, T., ``Higher dimensional Peiffer elements in Simplicial
Commutative Algebras'', Theory and Applications of Categories,
3 (1997) 123.

Arvasi, Z. and Porter, T., ``Freeness conditions for 2crossed modules of
commutative algebras'', Applied Categorical Structures 6 (1998)
455471.

Bak,A., Brown,R., Minian,G. and Porter,T., ``Global actions, groupoid atlases,
and related topics'', UWB Math Preprint 99.27 (61 pages).

Blair,L., Chandler, A., Heyworth, A. and Seward,D., ``Testing Petri Nets
for Mobile Robots Using Groebner Bases'', (accepted PN2000).

Brown, R., ``Groupoids and crossed objects in algebraic topology'',
Homology , homotopy and applications, 1 (1999) 178.

Brown, R., Bullejos, M. and Porter, T., ``Theory and aplications of crossed
complexes and homotopy colimits'', (in preparation, 54 pages at present).

Brown, R., Golasinski, M., Porter, T. and Tonks, A., ``On function spaces
of equivariant maps and the equivariant homotopy theory of crossed complexes'',
Indag. Math. 8 (1997) 157172.

Brown, R., Golasinski, M., Porter, T. and Tonks, A., ``On function spaces
of equivariant maps and the equivariant homotopy theory of crossed complexes
II: the general topological group case'' Ktheory (to appear).

Brown, R. and Heyworth, Anne, `` Using rewriting systems to compute left
Kan extensions and induced actions of categories'', J. Symbolic
Computation 29 (2000) 531.

Brown, R. and Içen,I., ``Lie local subgroupoids and their holonomy
and monodromy Lie groupoids'', Top. Appl. (2001) (to appear).

Brown, R., Içen,I.and Mucuk, O., ``Local subgroupoids II: Examples
and properties '', UWB Maths preprint 00.06 (13pp).

Brown, R. and Içen,I., ``Towards a 2dimensional notion of holonomy'',
(submitted) UWB Maths preprint 00.14.

Brown, R. and Içen,I., `Homotopies and automorphisms of crossed modules
of groupoids', UWB Maths preprint 00.13.

Brown,R. and Janelidze,G., ``Van Kampen theorems for categories of covering
morphisms in lextensive categories'', J. Pure Appl. Algebra 119
(1997) 255263.

Brown, R. and Janelidze, G., ``Galois theory of second order covering maps
of simplicial sets", J. Pure Applied Algebra 135 (1999) 8391.

Brown, R. and Janelidze, G., ``On homotopy double groupoids associated to
a map'', (in preparation).

Brown, R. and Mosa, G.H., ``Double categories, 2categories, thin structures
and connections'', Theory and Applications of Categories 5 (1999)
163175.

Brown, R. and Mosa, G.H., ``Double algebroids and crossed modules of
algebroids'', (in preparation).

Brown, R., Moore, Emma and Wensley, C.D., Free crossed resolutions for the
fundamental groupoid of a graph of groups (in preparation).

Brown, R. and Razak Salleh, A., ``Free crossed resolutions of groups and
presentations of modules of identities among relations'', LMS J. Computation
and Mathematics 2 (1999) 2861.

Brown, R., Villanueva, R. and Wensley, C.D., Higher dimensional group
theory, (book in preparation).

Brown, R. and Wensley, C.D., ``Induced crossed modules and computational
group theory '', J. Symbolic Computation, (submitted) (1995).

Brown, R., Morris, I., Shrimpton, J. and Wensley, C.D., ``Graphs of morphisms
of graphs'', UWB Preprint 99.20, 18pp.

Chandler, A. and Heyworth, A., ``Groebner Basis Procedures for Testing Petri
Nets'', xxxarchive math/0002119, UWB Math Preprint 99.11.

Cordier, J.M. and Porter, T, ``Homotopy Coherent Category Theory'', Trans.
Amer. Math. Soc. 349 (1997) 154.

Ehlers, P. and Porter, T., ``Varieties of simplicial groupoids I: Crossed
complexes'', J. Pure and Applied Algebra 120 (1997) 221233.
``Erratum'', ibid, 134 (1999) 221233.

Ehlers, P. and Porter, T., ``Joins for (augmented) simplicial sets'', J.
Pure and Applied Algebra, 145 (2000) 3744.

Heyworth,A., Applications of Rewriting Systems and Gröbner Bases
to Computing Kan Extensions and Identities Among Relations, PhD thesis,
Bangor, (1998).
http://xxx.soton.ac.uk/abs/math.CT/9812097

Heyworth,A., ``Rewriting as a special case of noncommutative Groebner basis
theory'', Proc. CGAMA'98, Edinburgh 1998, C.U.P., London Math. Soc.
Lecture Note Series Vol.275 (2000) 101105.

Heyworth,A., ``Groebner basis techniques for computing actions of Kcategories'',
Accepted for: CT 2000 : Category Theory 2000, Como, Italy.

Heyworth,A., ``Languages, automata and normal forms for induced actions'',
(in preparation).

Heyworth,A., ``Onesided noncommutative Gröbner bases with applications
to coset systems and Green's relations'', (submitted) UWB Preprint 99.10.

Heyworth,A., ``Automata accepting normal forms for induced actions'', (submitted)
UWB Preprint 99.19, 13pp.

Heyworth,A.,``Grobner Basis Techniques for Computing Actions of KCategories'',
math/0003080, accepted paper for CT2000, Como.

Heyworth, Anne and Reinert, Birgit, ``Applications of Gröbner bases
to group rings and identities among relations'', UWB Preprint 99.09.

Heyworth, Anne and Wensley, C.D. , ``Logged KnuthBendix procedures and
identities among relations'', UWB Preprint 99.07.

Hines,P. and Lawson, M.V., ``An application of polycyclic monoids to rings'',
Semigroup Forum 56 (1998) 146149.

James, Helen, and Lawson, M.V., ``An application of groupoids of fractions
to inverse semigroups'', Periodica Mathematica Hungarica 38 (1999)
4354.

Khan, T.A. and Lawson, M.V., `` A characterisation of a class of semigroups
with locally commuting idempotents'', Periodica Mathematica Hungarica
(to appear).

Kamps, H.K. and Porter, T., ``A homotopy 2groupoid from a fibration'',
Homology, Homotopy and Applications 1 (1999) 7993.

Lawson, M.V., ``Tiling Semigroups'', J Algebra 224 (2000) 140150.

Lawson, M.V., ``The Moebius inverse monoid'', J. Algebra 200 (1998)
428438.

Lawson, M.V., ``McAlister semigroups'', J. Algebra 202 (1998) 276294.

Lawson, M.V., ``Constructing inverse semigroups from category actions'',
J. Pure and Applied Algebra 137 (1999) 57101.

Lawson, M.V., ``The structure of 0Eunitary inverse semigroups I: the monoid
case'', Proc. Edin. Math. Soc. 42 (1999) 497520.

Lawson, M.V., ``Rees matrix semigroups over semigroupoids and the structure
of a class of abundant semigroups'', Acta Scientiarum Mathematicarum
(to appear).

Lawson, M.V. and Marki, L., ``Enlargements and coverings by Rees matrix
semigroups'', Monatshefte fuer Mathematik (to appear).

Mutlu, A. and Porter, T., ``Iterated Peiffer pairings in the Moore complex
of a simplicial group'', Applied Categorical structures, (to appear).

Mutlu, A. and Porter, T., ``Applications of Peiffer pairings in the Moore
complex of a simplicial group'', Theory and Applications of
Categories, 4, No. 7, (1998) 148173.

Mutlu, A. and Porter, T., ``Freeness conditions for 2crossed modules and
complexes'', Theory and Applications of Categories, 4 (1998) 174194.

Mutlu, A. and Porter, T., ``Free crossed resolutions from simplicial resolutions
with given CWbasis'', Cahiers Top. Géom. Diff.
Catégoriques, 40 (1999) 261283.

Mutlu, A. and Porter, T., ``Iterated Peiffer pairings in the Moore complex
of a simplicial group'', Applied Categorical Structures (to appear).

Mutlu, A. and Porter, T., ``Freeness conditions for crossed squares and squared
complexes'', KTheory (to appear).

Porter, T., ``TQFT's from homotopy ntypes'', J. London Math. Soc.
(2) 58 (1998) 723732.

Wensley, C.D., `The endomorphism digraph of a reflexive digraph', UWB preprint
99.02 (6pp).

Wensley, C.D. and Alp, M., ``XMOD  crossed modules and
cat^{1}groups in GAP'', Manual for the GAP share package XMOD,
v.1.3 (1997) 178.

Moore, Emma, Graphs of Groups: Word Computations and Free Crossed
Resolutions, PhD Thesis, University of Wales, Bangor (2000) (submitted).
File translated from T_{E}X by
T_{T}H, version 2.78.
On 6 Jan 2001, 23:46.