Optimal Transport with Some Directed Distances (2021) Stummer W Conference contribution A Language with Type-Dependent Equality (2021) Rabe F Conference contribution Applied Reconfigurable Computing. Architectures, Tools, and Applications (2021) Derrien S, Hannig F, Diniz PC, Chillet D Conference contribution, other 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