dblp.uni-trier.dewww.uni-trier.de

Vincent Schmitt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
6EEJosé Luiz Fiadeiro, Vincent Schmitt: Structured Co-spans: An Algebra of Interaction Protocols. CALCO 2007: 194-208
2006
5EEVincent Schmitt, Krzysztof Worytkiewicz: Bisimulations of enrichments CoRR abs/cs/0602077: (2006)
2004
4EEVincent 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)
2EEVincent 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

Coauthor Index

1José Luiz Fiadeiro [6]
2Krzysztof Worytkiewicz [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)