9 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.FL2022
A Report on Achieving Complete Regular-Expression Matching using Mealy Machines
Ricardo Almeida
While regexp matching is a powerful mechanism for finding patterns in data streams, regexp engines in general only find matches that do not overlap. Moreover, different forms of no…
cs.FL2012★ 9 cited
Deciding KAT and Hoare Logic with Derivatives
Ricardo Almeida, Sabine Broda, Nelma Moreira
Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular e…