Vincent Schmitt

According to our database, Vincent Schmitt authored at least 7 papers between 1996 and 2026.

Collaborative distances:

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

2026

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering.

Om Parkash, Jannik Bauer, Vincent Schmitt, Thomas Greiner, Rainer Drath

CoRR, April, 2026

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