A New Export of the Mizar Mathematical Library (2021) Rothgang C, Korniłowicz A, Rabe F Conference contribution Building a Knowledge Graph with Inference for a Production Machine Using the Web of Things Standard (2021) Meckler S, Steinmüller H, Harth A Conference contribution Tangible Chess for Dementia Patients – Playing with Conductive 3D Printed Figures on a Touchscreen (2021) Eichhorn C, Plecher DA, Golovnya O, Volkert D, Hiyama A, Klinker G Conference contribution Grounding of Concept, Indexical, and Name (2021) Hausser R Conference contribution Nondeterministic syntactic complexity (2021) Myers RS, Milius S, Urbat H Conference contribution Using Inspiration Cards for Designing Persuasive Technology to Improve Creative Situations (2021) Jalowski M Book chapter / Article in edited volumes A Geometric Approach to Homomorphic Secret Sharing (2021) Ishai Y, Lai RWF, Malavolta G Conference contribution Structure-Preserving Diagram Operators (2021) Roux N, Rabe F Conference contribution On Language Varieties Without Boolean Operations (2021) Birkmann F, Milius S, Urbat H Conference contribution An HTTP/RDF-Based Agent Infrastructure for Manufacturing Using Stigmergy (2020) Schraudner D, Charpenay V Book chapter / Article in edited volumes