research
∙
10/14/2022
An atom's worth of anonymity
Anonymity has gained notoriety in modern times as data about our actions...
share
research
∙
04/01/2022
Modular SAT-based techniques for reasoning tasks in team semantics
We study the complexity of reasoning tasks for logics in team semantics....
research
∙
12/06/2019
