Concepedia

Clemens Grabmayer

CG

7

Publications

130

Citations

7

H-Index

2007

Active since

Affiliations

Vrije Universiteit Amsterdam(Current)

Utrecht University

Clemens Grabmayer is an author at Vrije Universiteit Amsterdam specializing in formal methods, automated reasoning, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationGraph TheoryVerificationProgram AnalysisProof ComplexityComputational Complexity

Publications per year

2007–2020

7

Publications

7

A characterization of regular expressions under bisimulation

J. C. M. Baeten, Flavio Corradini, Clemens Grabmayer · Journal of the ACM · 2007 · 33 citations

Combinatorics On Word, Logical Automaton, Engineering +13

Expressive power of digraph solvability

Marc Bezem, Clemens Grabmayer, Michał Walicki · Annals of Pure and Applied Logic · 2011 · 22 citations

Directed Graph, Digraph Solvability, Engineering +6

Complexity of Fractran and Productivity

Jörg Endrullis, Clemens Grabmayer · ArXiv.org · 2009 · 19 citations · Full text

A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity

Clemens Grabmayer, Wan Fokkink · 2020 · 16 citations · Full text

Engineering, Complete Proof System, Verification +16

Automatic Sequences and Zip-Specifications

Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks et al. · 2012 · 15 citations

Engineering, Computational Complexity, Higher-order Logic +16

Rows per page

1–5 of 7