Bob Gilman's Web Page

Robert Gilman
Professor of Mathematics
Stevens Institute of Technology
Hoboken, NJ 07030
(201) 216-5449, fax: (201) 216-8321

Publications

A geometric zero-one law, J. Symbolic Logic, 74, 2009, 929-938 (with Y. Gurevich and A. G. Miasnikov). pdf.

Solving one-variable equations in free groups, J. Group Theory, 12, 2009, 317-330 (with Dimitri Bormotov and Alexei Myasnikov). Abstract, pdf (187K)

New developments in commutator key exchange, Proc. First Int. Conf. on Symbolic Computation and Cryptography (SCC-2008), Beijing, 2008 (with A. G. Miasnikov, A. D. Myasnikov, and A. Ushakov). pdf.

A characterisation of virtually free groups, Archiv der Mathematik, 89, 2007, 289-295 (with S. Hermiller, D. Holt, S. Rees). pdf.

Report on generic case complexity, Herald of Omsk University, Special Issue, 2007, 103-110 (with A. G. Miasnikov, A. D. Myasnikov, and A. Ushakov). pdf.

Formal languages and their application to combinatorial group theory, in Groups, Languages Algorithms, Contemp. Math., 378, Amer. Math. Soc., 2005, 1-36. Abstract, gzipped postscript, pdf

Automatic quotients of free groups, J. Pure Appl. Algebra 202 (2005), 313-324. Introduction, dvi (55K), pdf (190K).

One variable equations in free groups via context free languages , Computational and experimental group theory, 83-88, Contemp. Math., 349, Amer. Math. Soc., 2004 (with Alexei G. Myasnikov). pdf.

Word hyperbolic semigroups, Math. Proc. Camb. Phil. Soc., 136 (2004) 513-524 (with Andrew Duncan). Introduction, postscript , pdf.

On the definition of word hyperbolic groups, Math. Zeitschr. 242 (2002) 529-541. Abstract, dvi (55K, no pictures), pdf.

Context-free languages of sub-exponential growth, J. Computer and System Sci., J. Comput. System Sci. 64 (2002) 308-310. (with Martin Bridson). dvi, pdf.

Web version of three talks on groups and formal languages.

On groups whose word problem is solved by a nested stack automaton, (with Michael Shapiro). Abstract, dvi (67K), dvi.gz (28K), pdf (184K).

Combing nilpotent and polycyclic groups, Int. J. of Algebra and Computation 9 (1999) 135-155 (with Derek Holt and Sarah Rees). Abstract, dvi (95K), dvi.gz (40K), pdf (246K).

A shrinking lemma for indexed languages, Theoretical Computer Sci. 163 (1996) 277-281. Abstract, dvi (20K), dvi.gz (10K), pdf (115K).

Formal languages and infinite groups, in Geometric and Computational Perspectives on Infinite Groups (Minneapolis, MN and New Brunswick, NJ, 1994),, DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 25 (1996) 27-51, Amer. Math. Soc. Abstract, dvi (109K), dvi.gz (44K), pdf (275K).

Formal language theory and the geometry of 3-manifolds, Commentarii Math. Helv. 71 (1996) 525-555, (with Martin Bridson). Abstract, dvi (136K), dvi.gz (58K), pdf (339K).

On bounded languages and the geometry of nilpotent groups, in Combinatorial and Geometric Group Theory, Edinburgh 1993, London Math. Soc. Lecture Notes 204 (1995) 1-15, Cambr. U. P., (with Martin Bridson). Abstract, dvi (67K), dvi.gz (28K), pdf (206K).

Automatic Groups and String Rewriting, in Proc. of the Ecole de Printemps d'Informatique Théorique, Font Romeu, May 17-21, 1993, Springer Lecture Notes in Comp. Sci. 909 (1995) 17-21. Abstract, dvi (37K), dvi.gz (16K), pdf (121K).

The geometry of cycles in the Cayley diagram of a group, in The Mathematical Legacy of Wilhelm Magnus, Contemporary Mathematics 169 (1994) 331-340, Amer. Math. Soc. Abstract, dvi (42K), dvi.gz (19K), pdf (166K).

A remark about combings of groups, Int. J. of Algebra and Computation 3 (1993) 575-581 (with Martin Bridson). Abstract, dvi (27K), dvi.gz (13K), pdf (124K).

Publications

Vita

Other Links