• 1 WEST 4.54

Accepting PhD Students

19982019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter
2016

A Logic for the Compliance Budget

Anderson, G., McCusker, G. & Pym, D., 2016, Proceedings, GameSec 2016- Decision and Game Theory for Security: 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016. Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. & Casey, W. (eds.). Springer Verlag, p. 370-381 (Lecture Notes in Computer Science; vol. 9996).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
1 Citation (Scopus)
88 Downloads (Pure)
2011

Coalgebraic semantics for parallel derivation strategies in logic programming

Komendantskaya, E., McCusker, G. & Power, J., 2011, Algebraic Methodology and Software Technology. Johnson, M. & Pavlovic, D. (eds.). Springer, Vol. 6486. p. 111-127 17 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
11 Citations (Scopus)
116 Downloads (Pure)

Constructing differential categories and deconstructing categories of games

Laird, J., Manzonetto, G. & McCusker, G., 2011, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings. Aceto, L., Henzinger, M. & Sgall, J. (eds.). Heidelberg, Germany: Springer, p. 186-197 12 p. (Lecture Notes in Computer Science; vol. 6756).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
3 Citations (Scopus)
98 Downloads (Pure)
2008

Logic Programs as Coalgebras

McCusker, G. & Power, J., 2008, Proc. CMCS Short Contributions 2008.

Research output: Chapter in Book/Report/Conference proceedingChapter

2007

A games model of bunched implications

McCusker, G. & Pym, D., 2007, Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings. Duparc, J. & Henzinger, T. A. (eds.). Berlin, Germany: Springer, Vol. 4646. p. 573-588 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

2004

On the semantics of the bad-variable constructor in Algol-like languages

McCusker, G., Mar 2004, Proceedings, 19th International Conference on the Mathematical Foundations of Programming Semantics, MFPS XIX. Brookes, S. & Panagaden, P. (eds.). Elsevier, Vol. 83. (Electronic Notes in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

2002

A fully abstract relational model of syntactic control of interference

McCusker, G., 2002, Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL. Bradfield, J. (ed.). Berlin, Germany: Springer, Vol. 2471. p. 247-261

Research output: Chapter in Book/Report/Conference proceedingChapter

14 Citations (Scopus)