Publications by Stephen Brookes

2018 • Electronic Notes in Theoretical Computer Science • 336:223-239
Kavanagh R, Brookes S

2014 • Electronic Notes in Theoretical Computer Science • 308:65-86
Brookes S

2014 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 251-255
Brookes S, O'Hearn PW, Reddy U

2012 • Electronic Notes in Theoretical Computer Science • 286:87-102
Brookes S

2011 • Electronic Notes in Theoretical Computer Science • 276:5-28
Brookes S

2010 • Electronic Notes in Theoretical Computer Science • 265:177-195
Brookes S

2007 • Theoretical Computer Science • 375(1-3):227-270
Brookes S

2006 • Electronic Notes in Theoretical Computer Science • 155:277-307
Brookes S

2006 • Electronic Notes in Theoretical Computer Science • 162:127-133
Brookes S

2006 • Electronic Notes in Theoretical Computer Science • 158:123-150
Brookes S

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3525:1-14
Brookes S

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3170:16-34
Brookes S

2002 • Information and Computation • 179(1):118-149
Brookes S

2002 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2421:466-482
Brookes S

2001 • Electronic Notes in Theoretical Computer Science • 45:463-464
Brookes S, Mislove M

2001 • Electronic Notes in Theoretical Computer Science • 45:22-40
Brookes S

2000
Shaw M, Brookes S, Donner M, Driscoll JR, Pausch R, Scherlis W, Spector AZ

1999 • Electronic Notes in Theoretical Computer Science • 20:512-513
Brookes S, Jung A, Mislove M, Scedrov A

1999 • Electronic Notes in Theoretical Computer Science • 20:182-201
Brookes S

1997 • Electronic Notes in Theoretical Computer Science • 6:60-76
Brookes S

1996 • Proceedings - Symposium on Logic in Computer Science • 164-173
Brookes S

1996 • Information and Computation • 127(2):145-163
Brookes S

1995 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 953:180-181
Brookes S

1995 • Electronic Notes in Theoretical Computer Science • 1:46-65
Brookes S, Older S

1995 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 13-24
Brookes S, Dancanet D