-
On the construction of pullbacks for safe Petri nets
The product of safe Petri nets is a well known operation: it generalizes to concurrent systems the usual synchronous product of automata. In this short note, we... -
Orthogonal Decomposition of Graphs
International audience -
Decomposing Graphs with Symmetries
International audience -
Integer-valued polynomials over matrices and divided differences
International audience -
Étude explicite de quelques n-champs géométriques
In [PRID], Pridham has shown that any Artin n-stack M has a presentation as a simplicial scheme X. → M such that the simplicial scheme X satisfies certain properties...
