C
Clemens Grabmayer
Researcher at VU University Amsterdam
Publications - 64
Citations - 537
Clemens Grabmayer is an academic researcher from VU University Amsterdam. The author has contributed to research in topics: Abstract semantic graph & Rewriting. The author has an hindex of 12, co-authored 60 publications receiving 498 citations. Previous affiliations of Clemens Grabmayer include Utrecht University & University of Bergen.
Papers
More filters
Book ChapterDOI
Data-Oblivious Stream Productivity
TL;DR: This work presents a method that is provably optimal among all such data-oblivious approaches, and suggests that in order to improve on this algorithm one has to proceed in a data-aware fashion.
Journal Article
Productivity of stream definitions
TL;DR: In this article, the authors give an algorithm for deciding productivity of a large and natural class of recursive stream definitions, which can be expressed as a dataflow of abstract stream elements, called pebbles, in a finite pebbleflow net(work).
Journal ArticleDOI
Productivity of stream definitions
TL;DR: An algorithm for deciding productivity of a large and natural class of recursive stream definitions, where productivity is undecidable for stream definitions in general, is shown to be decided for 'pure' stream definitions.
Journal ArticleDOI
A characterization of regular expressions under bisimulation
TL;DR: A set of so-called well-behaved finite automata that, modulo bisimulation equivalence, corresponds exactly to the set of regular expressions is defined, and it is shown how to determine whether a given finite automaton is in this set.
Journal ArticleDOI
On equal μ-terms
Jörg Endrullis,Jörg Endrullis,Clemens Grabmayer,Clemens Grabmayer,Jan Willem Klop,Jan Willem Klop,Vincent Van Oostrom,Vincent Van Oostrom +7 more
TL;DR: This paper gives a decidability proof in an ‘ α -free’ manner, essentially treating μ -terms as first-order terms, and next, a proof in higher- order style, employing α -equivalence classes and viewing R μ as a higher-order rewriting system.