Game Theory Meets Theoretical Computer Science
Abramsky, S
Mavronicolas, M
Theoretical Computer Science
volume 343
issue 1-2
1-3
(10 Oct 2005)
doi:10.1016/j.tcs.2005.05.004
Linear realizability and full completeness for typed lambda-calculi
Abramsky, S
Lenisa, M
Annals of Pure and Applied Logic
volume 134
issue 2-3
122-168
(01 Jul 2005)
doi:10.1016/j.apal.2004.08.003
A game semantics for generic polymorphism
Abramsky, S
Jagadeesan, R
Annals of Pure and Applied Logic
volume 133
issue 1-3 SPEC. ISS.
3-37
(01 May 2005)
doi:10.1016/j.apal.2004.10.002
Practical and theoretical innovations in multi-agent systems research
D'Inverno, M
Luck, M
Abramsky, S
Vasconcelos, W
Sabater, J
Sierra, C
Querol, J
Panzarasa, P
Jennings, N
McBurney, P
Parsons, S
O'Riordan, C
Van Eijk, R
De Boer, F
Van der Hoek, W
Meyer, J
Fasli, M
Lomuscio, A
Sergot, M
Schut, M
Wooldridge, M
Norman, T
Reed, C
Kollingbaum, M
Byde, A
Koning, J
Huget, M
Johnson, N
Lamper, D
Jefferies, P
Hart, M
Howison, S
Kraus, S
Karageorgos, A
Thompson, S
Mehandjiev, N
Machado, R
Bordini, R
Oechslein, C
Klugl, F
Puppe, F
Ashri, R
Zhu, H
Kudenko, D
Bauer, M
Dengler, D
Schroeder, M
Noy, P
Maheswaran, V
Antonopoulos, N
Bigham, J
Ryan, D
Thong, W
Cuthbert, L
Knowledge Engineering Review
volume 17
issue 3
295-301
(01 Sep 2002)
doi:10.1017/S0269888902000504
Methods for estimation of associations between multiple species parasite infections
Howard, S
Donnelly, C
Chan, M
Parasitology
volume 122
issue 2
233-251
(28 Feb 2001)
doi:10.1017/S0031182001007272
A fully abstract denotational semantics for the calculus of higher-order communicating systems
Thomsen, B
Abramsky, S
Theoretical Computer Science
volume 254
issue 1-2
557-589
(04 Aug 2001)
doi:10.1016/S0304-3975(00)00281-4
Full abstraction for PCF
Abramsky, S
Jagadeesan, R
Malacaria, P
Information and Computation
volume 163
issue 2
409-470
(01 Jan 2000)
doi:10.1006/inco.2000.2930
Methods for estimation of associations between multiple species parasite infections.
Howard, S
Donnell, C
Chan, M
Parasitology
volume 122
issue Pt 2
233-251
(Feb 2001)
doi:10.1017/s0031182001007272
Rough fibrils provide a toughening mechanism in biological fibers.
Brown, C
Harnagea, C
Gill, H
Price, A
Traversa, E
Licoccia, S
Rosei, F
ACS Nano
volume 6
issue 3
1961-1969
(27 Mar 2012)
doi:10.1021/nn300130q
The importance of immediate destruction in epidemics of foot and mouth disease.
Howard, S
Donnelly, C
Res Vet Sci
volume 69
issue 2
189-196
(Oct 2000)
doi:10.1053/rvsc.2000.0415