4 citations · 8 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 1 cited
Timed Systems through the Lens of Logic
S. Akshay, Paul Gastin, Vincent Juge +1
In this paper, we analyze timed systems with data structures, using a rich interplay of logic and properties of graphs. We start by describing behaviors of timed systems using grap…
math.GR2019★ 4 cited
Asymptotic combinatorics of Artin-Tits monoids and of some other monoids
Samy Abbes, Sébastien Gouëzel, Vincent Jugé +1
We introduce methods to study the combinatorics of the normal form of large random elements in Artin-Tits monoids. These methods also apply in an axiomatic framework that encompass…