J. Ketema
发表
Pantazis,
S. Qadeer,
A. Donaldson,
2014
.
O. M. Santos,
H. Hansen,
J. Ketema,
2011
.
J. Ketema,
J. Ketema,
2006
.
J. Simonsen,
J. Ketema,
2018
.
J. Endrullis,
J. Ketema,
2007
.
J. Simonsen,
J. Ketema,
S. Blom,
2009
.
Albert Cohen,
Adam Betts,
Alastair F. Donaldson,
2014,
SPLASH 2014.
John Wickerson,
Alastair F. Donaldson,
Tyler Sorensen,
2017,
CONCUR.
John Regehr,
Yang Chen,
Jeroen Ketema,
2017,
ArXiv.
Elnar Hajiyev,
Albert Cohen,
Chandan Reddy,
2015,
2015 International Conference on Parallel Architecture and Compilation (PACT).
Alastair F. Donaldson,
Jeroen Ketema,
Nathan Chong,
2014,
POPL.
Bas Luttik,
Osmar Marchi dos Santos,
Jaco van de Pol,
2010,
FMCO.
Jakob Grue Simonsen,
Jeroen Ketema,
J. Simonsen,
2013,
TOCL.
Takahito Aoto,
Jeroen Ketema,
J. Ketema,
2012,
ICGT.
Jakob Grue Simonsen,
Jeroen Ketema,
J. Simonsen,
2010,
FLOPS.
Jan Willem Klop,
Jeroen Ketema,
J. Klop,
2004
.
Jeroen Ketema,
J. Ketema,
2004,
RTA.
Jakob Grue Simonsen,
Jeroen Ketema,
J. Simonsen,
2005,
Inf. Comput..
J. Regehr,
Peter Collingbourne,
J. Ketema,
2017,
ArXiv.
Alastair F. Donaldson,
S. Qadeer,
John Wickerson,
2015,
TOPL.
Paul H. J. Kelly,
Alastair F. Donaldson,
Jeroen Ketema,
2013,
OOPSLA.
Alastair F. Donaldson,
Jeroen Ketema,
Shaz Qadeer,
2013,
ESOP.
Jakob Grue Simonsen,
Jeroen Ketema,
J. Simonsen,
2012,
Developments in Language Theory.
Arjan J. Mooij,
Mathijs Schuts,
A. Steven Klusener,
2020,
2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER).
Jeroen Ketema,
J. Ketema,
2001
.
Alastair F. Donaldson,
Tyler Sorensen,
J. Alglave,
2022
.