Böhm-Like Trees for Term Rewriting Systems. - Jeroen Ketema (RTA, 2004)

Some Undecidable Approximations of TRSs. - Jeroen Ketema (WRS, 2004)

Vicious Circles in Orthogonal Term Rewriting Systems. - Jeroen Ketema; Jan Willem Klop; Vincent van Oostrom (WRS, 2004)

On Confluence of Infinitary Combinatory Reduction Systems. - Jeroen Ketema; Jakob Grue Simonsen (LPAR, 2005)

On Normalisation of Infinitary Combinatory Reduction Systems. - Jeroen Ketema (RTA, 2008)

Comparing Böhm-Like Trees. - Jeroen Ketema (RTA, 2009)

Infinitary Combinatory Reduction Systems: Confluence - Jeroen Ketema; Jakob Grue Simonsen (Log. Methods Comput. Sci., 2009)

Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus. - Jeroen Ketema; Jakob Grue Simonsen (FLOPS, 2010)

Automated Verification of Executable UML Models. - Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; Mohammad Reza Mousavi 001; Jaco van de Pol; Osmar Marchi dos Santos (FMCO, 2010)

Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies - Jeroen Ketema; Jakob Grue Simonsen (Log. Methods Comput. Sci., 2010)

Towards model checking executable UML specifications in mCRL2. - Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; Mohammad Reza Mousavi 001; Jaco van de Pol (Innov. Syst. Softw. Eng., 2010)

Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. - Niels Bjørn Bugge Grathwohl; Jeroen Ketema; Jens Duelund Pallesen; Jakob Grue Simonsen (RTA, 2011)

Infinitary Combinatory Reduction Systems. - Jeroen Ketema; Jakob Grue Simonsen (Inf. Comput., 2011)

Counterexamples in infinitary rewriting with non-fully-extended rules. - Jeroen Ketema (Inf. Process. Lett., 2011)

Characterizing Languages by Normalization and Termination in String Rewriting - (Extended Abstract). - Jeroen Ketema; Jakob Grue Simonsen (Developments in Language Theory, 2012)

A distributed scheduling algorithm for real-time (D-SAR) industrial wireless sensor and actuator networks. - Pouria Zand; Supriyo Chatterjea; Jeroen Ketema; Paul J. M. Havinga (ETFA, 2012)

Rational Term Rewriting Revisited: Decidability and Confluence. - Takahito Aoto 001; Jeroen Ketema (ICGT, 2012)

Reinterpreting Compression in Infinitary Rewriting. - Jeroen Ketema (RTA, 2012)

Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. - Peter Collingbourne; Alastair F. Donaldson; Jeroen Ketema; Shaz Qadeer (ESOP, 2013)

Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. - Nathan Chong; Alastair F. Donaldson; Paul H. J. Kelly; Jeroen Ketema; Shaz Qadeer (OOPSLA, 2013)

Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus. - Jeroen Ketema; Jakob Grue Simonsen (ACM Trans. Comput. Log., 2013)

Engineering a Static Verification Tool for GPU Kernels. - Ethel Bardsley; Adam Betts; Nathan Chong; Peter Collingbourne; Pantazis Deligiannis; Alastair F. Donaldson; Jeroen Ketema; Daniel Liew; Shaz Qadeer (CAV, 2014)

A sound and complete abstraction for reasoning about parallel prefix sums. - Nathan Chong; Alastair F. Donaldson; Jeroen Ketema (POPL, 2014)

PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming. - Riyadh Baghdadi; Ulysse Beaugnon; Albert Cohen 001; Tobias Grosser; Michael Kruse; Chandan Reddy 001; Sven Verdoolaege; Adam Betts; Alastair F. Donaldson; Jeroen Ketema; Javed Absar; Sven van Haastregt; et al. (PACT, 2015)

GPU Concurrency: Weak Behaviours and Programming Assumptions. - Jade Alglave; Mark Batty; Alastair F. Donaldson; Ganesh Gopalakrishnan; Jeroen Ketema; Daniel Poetzl; Tyler Sorensen 001; John Wickerson (ASPLOS, 2015)

Asynchronous programming, analysis and testing with state machines. - Pantazis Deligiannis; Alastair F. Donaldson; Jeroen Ketema; Akash Lal; Paul Thomson (PLDI, 2015)

The Design and Implementation of a Verification Technique for GPU Kernels. - Adam Betts; Nathan Chong; Alastair F. Donaldson; Jeroen Ketema; Shaz Qadeer; Paul Thomson; John Wickerson (ACM Trans. Program. Lang. Syst., 2015)

Forward Progress on GPU Concurrency (Invited Talk). - Alastair F. Donaldson; Jeroen Ketema; Tyler Sorensen 001; John Wickerson (CONCUR, 2017)

Souper: A Synthesizing Superoptimizer. - Raimondas Sasnauskas; Yang Chen 024; Peter Collingbourne; Jeroen Ketema; Jubi Taneja; John Regehr (CoRR, 2017)

Termination analysis for GPU kernels. - Jeroen Ketema; Alastair F. Donaldson (Sci. Comput. Program., 2017)

Reducing Code Duplication by Identifying Fresh Domain Abstractions. - Steven Klusener; Arjan J. Mooij; Jeroen Ketema; Hans van Wezep (ICSME, 2018)

Implementing and Evaluating Candidate-Based Invariant Generation. - Adam Betts; Nathan Chong; Pantazis Deligiannis; Alastair F. Donaldson; Jeroen Ketema (IEEE Trans. Software Eng., 2018)

Computing with Infinite Terms and Infinite Reductions. - Jeroen Ketema; Jakob Grue Simonsen (Fundam. Informaticae, 2019)

Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation. - Arjan J. Mooij; Jeroen Ketema; Steven Klusener; Mathijs Schuts (SANER, 2020)

Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases. - Dennis Dams; Jeroen Ketema; Pepijn Kramer; Arjan J. Mooij; Andrei Radulescu (BENEVOL, 2021)