Login / Signup
Marcus Vetter
Publication Activity (10 Years)
Years Active: 2000-2023
Publications (10 Years): 3
Top Topics
Synthetic Datasets
Formal Verification
Model Checking
Multi Object
Top Venues
CoRR
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
EURASIP J. Image Video Process.
Int. J. Comput. Assist. Radiol. Surg.
</>
Publications
</>