Edit Profile (opens in new tab) Ketema, Jeroen Compute Distance To: Compute Author ID: ketema.jeroen Published as: Ketema, Jeroen External Links: MGP Documents Indexed: 20 Publications since 2004 Co-Authors: 10 Co-Authors with 14 Joint Publications 186 Co-Co-Authors all top 5 Co-Authors 6 single-authored 10 Simonsen, Jakob Grue 2 Donaldson, Alastair F. 1 Aoto, Takahito 1 Bugge Grathwohl, Niels Bjørn 1 Chong, Nathan 1 Collingbourne, Peter 1 Klop, Jan Willem 1 Pallesen, Jens Duelund 1 Qadeer, Shaz 1 van Oostrom, Vincent Serials 2 Logical Methods in Computer Science 1 Information Processing Letters 1 Information and Computation 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic Fields 20 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 43 times in 20 Documents Cited by ▼ Year ▼ Infinitary combinatory reduction systems: confluence. Zbl 1187.68277Ketema, Jeroen; Simonsen, Jakob Grue 7 2009 Infinitary combinatory reduction systems. Zbl 1078.68658Ketema, Jeroen; Simonsen, Jakob Grue 7 2005 Infinitary combinatory reduction systems: normalising reduction strategies. Zbl 1191.68365Ketema, Jeroen; Simonsen, Jakob Grue 5 2010 Böhm-like trees for term rewriting systems. Zbl 1187.68276Ketema, Jeroen 4 2004 Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus. Zbl 1354.68143Ketema, Jeroen; Simonsen, Jakob Grue 4 2013 Infinitary combinatory reduction systems. Zbl 1235.68095Ketema, Jeroen; Simonsen, Jakob Grue 3 2011 On normalisation of infinitary combinatory reduction systems. Zbl 1145.68448Ketema, Jeroen 3 2008 Comparing Böhm-like trees. Zbl 1242.68135Ketema, Jeroen 3 2009 On confluence of infinitary combinatory reduction systems. Zbl 1143.68426Ketema, Jeroen; Simonsen, Jakob Grue 3 2005 Interleaving and lock-step semantics for analysis and verification of GPU kernels. Zbl 1381.68139Collingbourne, Peter; Donaldson, Alastair F.; Ketema, Jeroen; Qadeer, Shaz 2 2013 A sound and complete abstraction for reasoning about parallel prefix sums. Zbl 1284.68387Chong, Nathan; Donaldson, Alastair F.; Ketema, Jeroen 1 2014 Rational term rewriting revisited: decidability and confluence. Zbl 1367.68125Aoto, Takahito; Ketema, Jeroen 1 2012 A sound and complete abstraction for reasoning about parallel prefix sums. Zbl 1284.68387Chong, Nathan; Donaldson, Alastair F.; Ketema, Jeroen 1 2014 Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus. Zbl 1354.68143Ketema, Jeroen; Simonsen, Jakob Grue 4 2013 Interleaving and lock-step semantics for analysis and verification of GPU kernels. Zbl 1381.68139Collingbourne, Peter; Donaldson, Alastair F.; Ketema, Jeroen; Qadeer, Shaz 2 2013 Rational term rewriting revisited: decidability and confluence. Zbl 1367.68125Aoto, Takahito; Ketema, Jeroen 1 2012 Infinitary combinatory reduction systems. Zbl 1235.68095Ketema, Jeroen; Simonsen, Jakob Grue 3 2011 Infinitary combinatory reduction systems: normalising reduction strategies. Zbl 1191.68365Ketema, Jeroen; Simonsen, Jakob Grue 5 2010 Infinitary combinatory reduction systems: confluence. Zbl 1187.68277Ketema, Jeroen; Simonsen, Jakob Grue 7 2009 Comparing Böhm-like trees. Zbl 1242.68135Ketema, Jeroen 3 2009 On normalisation of infinitary combinatory reduction systems. Zbl 1145.68448Ketema, Jeroen 3 2008 Infinitary combinatory reduction systems. Zbl 1078.68658Ketema, Jeroen; Simonsen, Jakob Grue 7 2005 On confluence of infinitary combinatory reduction systems. Zbl 1143.68426Ketema, Jeroen; Simonsen, Jakob Grue 3 2005 Böhm-like trees for term rewriting systems. Zbl 1187.68276Ketema, Jeroen 4 2004 all cited Publications top 5 cited Publications all top 5 Cited by 24 Authors 5 Endrullis, Jörg 5 Klop, Jan Willem 4 Hendriks, Dimitri 3 Kahrs, Stefan Michael 3 Ketema, Jeroen 3 Polonsky, Andrew 2 Czajka, Łukasz 2 Fujita, Ken-etsu 1 Aoto, Takahito 1 Barendregt, Hendrik Pieter 1 Cogumbreiro, Tiago 1 Hansen, Helle Hvid 1 Huisman, Marieke 1 Igarashi, Atsushi 1 Ishizuka, Mamoru 1 Iwami, Munehiro 1 Kojima, Kensuke 1 Lange, Julien 1 Overbeek, Roy 1 Rong, Dennis Liew Zhen 1 Safari, Mohsen 1 Silva, Alexandra 1 Simonsen, Jakob Grue 1 Zicarelli, Hannah all top 5 Cited in 7 Serials 4 Logical Methods in Computer Science 3 Theoretical Computer Science 3 Information and Computation 2 Acta Informatica 1 Information Processing Letters 1 MSCS. Mathematical Structures in Computer Science 1 ACM Transactions on Computational Logic Cited in 4 Fields 18 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 2 General algebraic systems (08-XX) 1 General topology (54-XX) Citations by Year