Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jeroen Ketema" ( http://dblp.L3S.de/Authors/Jeroen_Ketema )

URL (Homepage):  http://www.prove-and-die.org/  Author page on DBLP  Author page in RDF  Community of Jeroen Ketema in ASPL-2

Publication years (Num. hits)
2004-2011 (15)
Publication types (Num. hits)
article(7) inproceedings(8)
Venues (Conferences, Journals, ...)
RTA(5) Electr. Notes Theor. Comput. S...(2) Logical Methods in Computer Sc...(2) FLOPS(1) FMCO(1) Inf. Comput.(1) Inf. Process. Lett.(1) ISSE(1) LPAR(1)
Authors
Jeroen Ketema(15) Jakob Grue Simonsen(7) Bas Luttik(2) Helle Hvid Hansen(2) Jaco van de Pol(2) Mohammad Reza Mousavi(2) Jan Willem Klop(1) Jens Duelund Pallesen(1) Niels Bjørn Bugge Grathwohl(1) Osmar Marchi dos Santos(1) Vincent van Oostrom(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jeroen Ketema Counterexamples in infinitary rewriting with non-fully-extended rules. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema, Jakob Grue Simonsen Infinitary Combinatory Reduction Systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. Search on Bibsonomy RTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol Towards model checking executable UML specifications in mCRL2. Search on Bibsonomy ISSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema, Jakob Grue Simonsen Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  BibTeX  RDF
1Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos Automated Verification of Executable UML Models. Search on Bibsonomy FMCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema, Jakob Grue Simonsen Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema, Jakob Grue Simonsen Infinitary Combinatory Reduction Systems: Confluence Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Jeroen Ketema Comparing Böhm-Like Trees. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema On Normalisation of Infinitary Combinatory Reduction Systems. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom Vicious Circles in Orthogonal Term Rewriting Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema Some Undecidable Approximations of TRSs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema, Jakob Grue Simonsen On Confluence of Infinitary Combinatory Reduction Systems. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema, Jakob Grue Simonsen Infinitary Combinatory Reduction Systems. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema Böhm-Like Trees for Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.