Flip-Flop Nets. - Vincent Schmitt (STACS, 1996)

CR-Structures. - Vincent Schmitt (Fundam. Informaticae, 1998)

Stable Trace Automata vs. Full Trace Automata. - Vincent Schmitt (Theor. Comput. Sci., 1998)

Enriched Categories and Quasi-uniform Spaces. - Vincent Schmitt (Workshop on Domains, 2002)

Bisimulations of enrichments - Vincent Schmitt; Krzysztof Worytkiewicz (CoRR, 2006)

Structured Co-spans: An Algebra of Interaction Protocols. - José Luiz Fiadeiro; Vincent Schmitt (CALCO, 2007)