New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.LO
2017
EPTL - A temporal logic for weakly consistent systems
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
cs.DB
2018
ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases
Mathias Weber, Annette Bieniusa