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 981-02-1602-5)

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 2-dimensional 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, cat1-groups and related structures. Supervisors: Prof. R. Brown & Dr. C.D. Wensley Thesis title: GAP, Crossed modules, Cat1-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 self-similarity 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

  1. Al-Agl,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).
  2. Alp, M. and Wensley, C.D., ``Enumerating cat1-groups of low order'', International Journal of Algebra and Computation 16 pp (to appear).
  3. Arvasi, Z. and Porter, T., ``Higher dimensional Peiffer elements in Simplicial Commutative Algebras'', Theory and Applications of Categories, 3 (1997) 1-23.
  4. Arvasi, Z. and Porter, T., ``Freeness conditions for 2-crossed modules of commutative algebras'', Applied Categorical Structures 6 (1998) 455-471.
  5. Bak,A., Brown,R., Minian,G. and Porter,T., ``Global actions, groupoid atlases, and related topics'', UWB Math Preprint 99.27 (61 pages).
  6. Blair,L., Chandler, A., Heyworth, A. and Seward,D., ``Testing Petri Nets for Mobile Robots Using Groebner Bases'', (accepted PN2000).
  7. Brown, R., ``Groupoids and crossed objects in algebraic topology'', Homology , homotopy and applications, 1 (1999) 1-78.
  8. Brown, R., Bullejos, M. and Porter, T., ``Theory and aplications of crossed complexes and homotopy colimits'', (in preparation, 54 pages at present).
  9. 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) 157-172.
  10. 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'' K-theory (to appear).
  11. Brown, R. and Heyworth, Anne, `` Using rewriting systems to compute left Kan extensions and induced actions of categories'', J. Symbolic Computation 29 (2000) 5-31.
  12. Brown, R. and Içen,I., ``Lie local subgroupoids and their holonomy and monodromy Lie groupoids'', Top. Appl. (2001) (to appear).
  13. Brown, R., Içen,I.and Mucuk, O., ``Local subgroupoids II: Examples and properties '', UWB Maths preprint 00.06 (13pp).
  14. Brown, R. and Içen,I., ``Towards a 2-dimensional notion of holonomy'', (submitted) UWB Maths preprint 00.14.
  15. Brown, R. and Içen,I., `Homotopies and automorphisms of crossed modules of groupoids', UWB Maths preprint 00.13.
  16. Brown,R. and Janelidze,G., ``Van Kampen theorems for categories of covering morphisms in lextensive categories'', J. Pure Appl. Algebra 119 (1997) 255-263.
  17. Brown, R. and Janelidze, G., ``Galois theory of second order covering maps of simplicial sets", J. Pure Applied Algebra 135 (1999) 83-91.
  18. Brown, R. and Janelidze, G., ``On homotopy double groupoids associated to a map'', (in preparation).
  19. Brown, R. and Mosa, G.H., ``Double categories, 2-categories, thin structures and connections'', Theory and Applications of Categories 5 (1999) 163-175.
  20. Brown, R. and Mosa, G.H., ``Double algebroids and crossed modules of algebroids'', (in preparation).
  21. Brown, R., Moore, Emma and Wensley, C.D., Free crossed resolutions for the fundamental groupoid of a graph of groups (in preparation).
  22. 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) 28-61.
  23. Brown, R., Villanueva, R. and Wensley, C.D., Higher dimensional group theory, (book in preparation).
  24. Brown, R. and Wensley, C.D., ``Induced crossed modules and computational group theory '', J. Symbolic Computation, (submitted) (1995).
  25. Brown, R., Morris, I., Shrimpton, J. and Wensley, C.D., ``Graphs of morphisms of graphs'', UWB Preprint 99.20, 18pp.
  26. Chandler, A. and Heyworth, A., ``Groebner Basis Procedures for Testing Petri Nets'', xxxarchive math/0002119, UWB Math Preprint 99.11.
  27. Cordier, J.-M. and Porter, T, ``Homotopy Coherent Category Theory'', Trans. Amer. Math. Soc. 349 (1997) 1-54.
  28. Ehlers, P. and Porter, T., ``Varieties of simplicial groupoids I: Crossed complexes'', J. Pure and Applied Algebra 120 (1997) 221-233. ``Erratum'', ibid, 134 (1999) 221-233.
  29. Ehlers, P. and Porter, T., ``Joins for (augmented) simplicial sets'', J. Pure and Applied Algebra, 145 (2000) 37-44.
  30. 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
  31. 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) 101-105.
  32. Heyworth,A., ``Groebner basis techniques for computing actions of K-categories'', Accepted for: CT 2000 : Category Theory 2000, Como, Italy.
  33. Heyworth,A., ``Languages, automata and normal forms for induced actions'', (in preparation).
  34. Heyworth,A., ``One-sided noncommutative Gröbner bases with applications to coset systems and Green's relations'', (submitted) UWB Preprint 99.10.
  35. Heyworth,A., ``Automata accepting normal forms for induced actions'', (submitted) UWB Preprint 99.19, 13pp.
  36. Heyworth,A.,``Grobner Basis Techniques for Computing Actions of K-Categories'', math/0003080, accepted paper for CT2000, Como.
  37. Heyworth, Anne and Reinert, Birgit, ``Applications of Gröbner bases to group rings and identities among relations'', UWB Preprint 99.09.
  38. Heyworth, Anne and Wensley, C.D. , ``Logged Knuth-Bendix procedures and identities among relations'', UWB Preprint 99.07.
  39. Hines,P. and Lawson, M.V., ``An application of polycyclic monoids to rings'', Semigroup Forum 56 (1998) 146-149.
  40. James, Helen, and Lawson, M.V., ``An application of groupoids of fractions to inverse semigroups'', Periodica Mathematica Hungarica 38 (1999) 43-54.
  41. Khan, T.A. and Lawson, M.V., `` A characterisation of a class of semigroups with locally commuting idempotents'', Periodica Mathematica Hungarica (to appear).
  42. Kamps, H.K. and Porter, T., ``A homotopy 2-groupoid from a fibration'', Homology, Homotopy and Applications 1 (1999) 79-93.
  43. Lawson, M.V., ``Tiling Semigroups'', J Algebra 224 (2000) 140-150.
  44. Lawson, M.V., ``The Moebius inverse monoid'', J. Algebra 200 (1998) 428-438.
  45. Lawson, M.V., ``McAlister semigroups'', J. Algebra 202 (1998) 276-294.
  46. Lawson, M.V., ``Constructing inverse semigroups from category actions'', J. Pure and Applied Algebra 137 (1999) 57-101.
  47. Lawson, M.V., ``The structure of 0-E-unitary inverse semigroups I: the monoid case'', Proc. Edin. Math. Soc. 42 (1999) 497-520.
  48. Lawson, M.V., ``Rees matrix semigroups over semigroupoids and the structure of a class of abundant semigroups'', Acta Scientiarum Mathematicarum (to appear).
  49. Lawson, M.V. and Marki, L., ``Enlargements and coverings by Rees matrix semigroups'', Monatshefte fuer Mathematik (to appear).
  50. Mutlu, A. and Porter, T., ``Iterated Peiffer pairings in the Moore complex of a simplicial group'', Applied Categorical structures, (to appear).
  51. 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) 148-173.
  52. Mutlu, A. and Porter, T., ``Freeness conditions for 2-crossed modules and complexes'', Theory and Applications of Categories, 4 (1998) 174-194.
  53. Mutlu, A. and Porter, T., ``Free crossed resolutions from simplicial resolutions with given CW-basis'', Cahiers Top. Géom. Diff. Catégoriques, 40 (1999) 261-283.
  54. Mutlu, A. and Porter, T., ``Iterated Peiffer pairings in the Moore complex of a simplicial group'', Applied Categorical Structures (to appear).
  55. Mutlu, A. and Porter, T., ``Freeness conditions for crossed squares and squared complexes'', K-Theory (to appear).
  56. Porter, T., ``TQFT's from homotopy n-types'', J. London Math. Soc. (2) 58 (1998) 723-732.
  57. Wensley, C.D., `The endomorphism digraph of a reflexive digraph', UWB preprint 99.02 (6pp).
  58. Wensley, C.D. and Alp, M., ``XMOD - crossed modules and cat1-groups in GAP'', Manual for the GAP share package XMOD, v.1.3 (1997) 1-78.
  59. Moore, Emma, Graphs of Groups: Word Computations and Free Crossed   Resolutions, PhD Thesis, University of Wales, Bangor (2000) (submitted).




File translated from TEX by TTH, version 2.78.
On 6 Jan 2001, 23:46.