107 citations · 207 across the 14 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.FL2010★ 8 cited
Relating timed and register automata
Diego Figueira, Piotr Hofman, Sławomir Lasota
Timed automata and register automata are well-known models of computation over timed and data words respectively. The former has clocks that allow to test the lapse of time between…
cs.LO2010★ 107 cited
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma
Diego Figueira, Santiago Figueira, Sylvain Schmitz +1
Dickson's Lemma is a simple yet powerful tool widely used in termination proofs, especially when dealing with counters or related data structures. However, most computer scientists…