2007 | ||
---|---|---|
6 | EE | José Luiz Fiadeiro, Vincent Schmitt: Structured Co-spans: An Algebra of Interaction Protocols. CALCO 2007: 194-208 |
2006 | ||
5 | EE | Vincent Schmitt, Krzysztof Worytkiewicz: Bisimulations of enrichments CoRR abs/cs/0602077: (2006) |
2004 | ||
4 | EE | Vincent Schmitt: Enriched Categories and Quasi-uniform Spaces. Electr. Notes Theor. Comput. Sci. 73: 165-205 (2004) |
1998 | ||
3 | Vincent Schmitt: CR-Structures. Fundam. Inform. 33(1): 71-83 (1998) | |
2 | EE | Vincent Schmitt: Stable Trace Automata vs. Full Trace Automata. Theor. Comput. Sci. 200(1-2): 45-100 (1998) |
1996 | ||
1 | Vincent Schmitt: Flip-Flop Nets. STACS 1996: 517-528 |
1 | José Luiz Fiadeiro | [6] |
2 | Krzysztof Worytkiewicz | [5] |