Lucca Tiemens

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Computer Supported Collaboration

Collaborative Learning Environment

Knowledge Building

Top Venues

Publications

Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. RAMiCS (2020)
Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda
Computer-supported Exploration of a Categorical Axiomatization of Modeloids. CoRR (2019)