Mathias Weber

According to our database, Mathias Weber authored at least 6 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Access Control for Weakly Consistent Replicated Information Systems.

Mathias Weber

PhD thesis, 2020

2018

ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases.

Mathias Weber, Annette Bieniusa

CoRR, 2018

2017

EPTL - A temporal logic for weakly consistent systems.

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter

CoRR, 2017

EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper).

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016

Access Control for Weakly Consistent Replicated Information Systems.

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

2014

Integrated Modeling and Evolution of Social Software.

Arnd Poetzsch-Heffter, Barbara Paech, Mathias Weber

Proceedings of the Socioinformatics, 2014