• 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

2019

A History Based Logic for Dynamic Preference Updates

McCusker, G. & Baskent, C., 12 Nov 2019, In : Journal of Logic, Language and Information. p. 1-31 31 p.

Research output: Contribution to journalArticle

2018

On Compositionality of Dinatural Transformations

McCusker, G. & Santamaria, A., 31 Dec 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. & Jung, A. (eds.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 119. p. 33:1-33:22 22 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 119).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
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)
2015

A graphical foundation for interleaving in game semantics

McCusker, G., Power, J. & Wingfield, C., 1 Apr 2015, In : Journal of Pure and Applied Algebra. 219, 4, p. 1131-1174 44 p.

Research output: Contribution to journalArticle

Open Access
File
119 Downloads (Pure)
2013

Constructing differential categories and deconstructing categories of games

Laird, J., Manzonetto, G. & McCusker, G., Jan 2013, In : Information and Computation. 222, p. 247-264 18 p.

Research output: Contribution to journalArticle

Open Access
File
12 Citations (Scopus)
127 Downloads (Pure)

Imperative programs as proofs via game semantics

Churchill, M., Laird, J. & McCusker, G., Nov 2013, In : Annals of Pure and Applied Logic. 164, 11, p. 1038-1078 41 p.

Research output: Contribution to journalArticle

Open Access
File
1 Citation (Scopus)
119 Downloads (Pure)

Weighted relational models of typed Lambda-Calculi

Laird, J. D., Manzonetto, G., Mccusker, G. & Pagani, M., 1 Jun 2013, 2013 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS). Los Alamitos, California: IEEE, p. 301-310 10 p. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
26 Citations (Scopus)
129 Downloads (Pure)
2012

A graphical foundation for schedules

McCusker, G., Power, J. & Wingfield, C., 24 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 286, p. 273-289 16 p.

Research output: Contribution to journalArticle

Open Access
File
29 Citations (Scopus)
107 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)

Imperative programs as proofs via game semantics

Churchill, M., Laird, J. & McCusker, G., 2011, 26th Annual IEEE Symposium on Logic in Computer Science (LICS) 2011. IEEE, p. 65-74 10 p. (Annual Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
3 Citations (Scopus)
108 Downloads (Pure)
2010

A graph model for imperative computation

McCusker, G. A., 12 Jan 2010, In : Logical Methods in Computer Science. 6, 1, 35 p., Paper 2.

Research output: Contribution to journalArticle

File
8 Citations (Scopus)
117 Downloads (Pure)

Modelling local variables: possible worlds and object spaces

McCusker, G. A. & Power, J., 6 Sep 2010, In : Electronic Notes in Theoretical Computer Science. 265, p. 389-402 14 p.

Research output: Contribution to journalArticle

File
111 Downloads (Pure)

Understanding game semantics through coherence spaces

Calderon, A. C. & McCusker, G. A., 6 Sep 2010, In : Electronic Notes in Theoretical Computer Science. 265, p. 231-244 14 p.

Research output: Contribution to journalArticle

File
4 Citations (Scopus)
117 Downloads (Pure)
2008

Foreword for special issue of APAL for GaLoP 2005

McCusker, G. & Ghica, D., 2008, In : Annals of Pure and Applied Logic. 151, 2-3, p. 69-69 1 p.

Research output: Contribution to journalArticle

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

2003

The regular-language semantics of second-order Idealized Algol

McCusker, G. & Ghica, D., 2003, In : Theoretical Computer Science. 309, 1-3, p. 469-502 34 p.

Research output: Contribution to journalArticle

45 Citations (Scopus)
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)
1998

A fully abstract game semantics for general references

Abramsky, S., Honda, K. & McCusker, G., 1 Jan 1998, Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998. IEEE, Vol. 1998-June. p. 334-344 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

121 Citations (Scopus)