Thomas Vogel

机构：University of Tübingen · ORCID：0000-0002-7127-352X

发表论文 270 篇 · 总被引 3358 次 · h-index 28

代表论文

How does generative artificial intelligence impact student creativity? (2023 · Journal of Creativity · 被引 342)
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python (2022 · Information and Software Technology · 被引 126)
Management of female pelvic organ prolapse—Summary of the 2021 HAS guidelines (2023 · Journal of Gynecology Obstetrics and Human Reproduction · 被引 36)
A property specification pattern catalog for real-time system verification with UPPAAL (2022 · Information and Software Technology · 被引 21)
A user study for evaluation of formal verification results and their explanation at Bosch (2023 · Empirical Software Engineering · 被引 10)
Runtime Verification of Self-Adaptive Systems with Changing Requirements (2023 · 被引 6)