Vincent Schmitt

Identifiers

• name variant Vincent Schmitt 0.60 · backfill

Papers (6)

1. Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering cs.SE · 2026 · author #3
2. Tensor product for symmetric monoidal categories math.CT · 2007 · author #1
3. Bisimulations of enrichments cs.LO · 2006 · author #1
4. Flatness, preorders and general metric spaces (revised) math.CT · 2006 · author #1
5. Flatness, accessibility and metric spaces math.CT · 2004 · author #1
6. Flatness, preorders and general metric spaces math.CT · 2003 · author #1

Mentions

• 0711.0324 #1 · backfill · confidence 0.70 Vincent Schmitt

Frequent Coauthors

• Jannik Bauer 1 shared papers
• Krzysztof Worytkiewicz 1 shared papers
• Om Parkash 1 shared papers
• Rainer Drath 1 shared papers
• Thomas Greiner 1 shared papers