Mathias Weber - TU Kaiserslautern

Mathias Weber, M.Sc.

E-Mail-Adresse	m_weber@cs.uni-kl.de
Telefon	+49 - 631 - 205 - 32 72
Fax	+49 - 631 - 205 - 34 20
Postanschrift	TU Kaiserslautern Fachbereich Informatik, Gebäude 34 Postfach 30 49 D-67653 Kaiserslautern
Besucheradresse	Gebäude 34, Raum 406 Gottlieb-Daimler-Str. Zugang über Paul-Ehrlich-Str. D-67653 Kaiserslautern Google-Karte
Sprechzeiten	Do. 9:30 - 11:00

Mathias Weber and Annette Bieniusa. ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases. In arXiv (Link)
Mathias Weber, Annette Bieniusa and Arnd Poetzsch-Heffter. EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper) In Formal Techniques for Distributed Objects, Components, and Systems, Springer, June 2017 (Link, Long Version)
Mathias Weber, Annette Bieniusa and Arnd Poetzsch-Heffter. Access Control for Weakly Consistent Replicated Information Systems In Security and Trust Management, Springer, September 2016 (Link)
Arnd Poetzsch-Heffter, Barbara Paech and Mathias Weber. Integrated Modeling and Evolution of Social Software. In Social Informatics - The Social Impact of Interactions between Humans and IT, Springer, October 2014