Fresh_Identifiers Dependents

2023

MLSS Decision Procedure

by Lukas Stevens

May 05

2021

CoSMeDis: A confidentiality-verified distributed social media platform

by Thomas Bauereiss and Andrei Popescu

Aug 16

CoSMed: A confidentiality-verified social media platform

by Thomas Bauereiss and Andrei Popescu

Aug 16

CoCon: A Confidentiality-Verified Conference Management System

by Andrei Popescu, Peter Lammich and Thomas Bauereiss

Aug 16

2018

First-Order Terms

by Christian Sternagel and René Thiemann

Feb 06