Publications by Stephen Brookes

1994 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 802:320-332
Brookes S, Geva S

1993 • Proceedings Symposium on Logic in Computer Science • 98-109
Brookes S

1993 • Theoretical Computer Science • 121(1-2):179-186
Brookes S

1993 • Formal methods in system design • 2(1):73-91
Brookes S

1992 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 598:326-349
Brookes S, Geva S

1992 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 598 LNCS:VI
Brookes S, Main M, Melton A, Mislove M, Schmidt D

1992 • Theoretical Computer Science • 101(2):177-221
Brookes S, Geva S

1991 • Distributed Computing • 4(4):209-230
BROOKES SD, ROSCOE AW

1988 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 298:312-330
BROOKES SD

1986 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 239:59-100
BROOKES SD

1986 • undefined • 58-65
Brookes SD

1985 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 193:41-60
Brookes SD

1985 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 197:281-305
BROOKES SD, ROSCOE AW

1985 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 197:1-34
BROOKES SD

1984 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 164:68-85
BROOKES SD

1984 • Journal of the ACM • 31(3):560-599
BROOKES SD, HOARE CAR, ROSCOE AW

1983 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 154:97-108
BROOKES SD, ROUNDS WC

1983 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 154:83-96
BROOKES SD

1981 • Annual Symposium on Foundations of Computer Science • 140-149
Rounds WC, Brookes SD

• Logical Methods in Computer Science • Volume 15, Issue 2:
Kavanagh R, Brookes S