Vincent Schmitt

According to our database, Vincent Schmitt authored at least 6 papers between 1996 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Structured Co-spans: An Algebra of Interaction Protocols.

José Luiz Fiadeiro, Vincent Schmitt

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Bisimulations of enrichments

Vincent Schmitt, Krzysztof Worytkiewicz

CoRR, 2006

2002

Enriched Categories and Quasi-uniform Spaces.

Vincent Schmitt

Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002

1998

Stable Trace Automata vs. Full Trace Automata.

Vincent Schmitt

Theor. Comput. Sci., 1998

CR-Structures.

Vincent Schmitt

Fundam. Informaticae, 1998

1996

Flip-Flop Nets.

Vincent Schmitt

Proceedings of the STACS 96, 1996