Login / Signup
Anna-Lena Müller
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 5
Top Topics
Formal Models
Predicate Calculus
Multiple Domains
File Management
Top Venues
Mensch & Computer
INTERACT (4)
IHIET (Paris)
ECSCW Exploratory Papers
</>
Publications
</>
Tom Gross
,
Anna-Lena Müller
NotificationManager: Personal Boundary Management on Mobile Devices.
INTERACT (4)
(2021)
Tom Gross
,
Anna-Lena Müller
A Formal Model of Availability to Reduce Cross-Domain Interruptions.
IHIET (Paris)
(2021)
Anna-Lena Müller
,
Tom Gross
A Formal Model of the Sematic Structure of Life Domains to Reduce Interruptions.
Mensch & Computer
(2019)
Anna-Lena Müller
,
Tom Gross
Notification Manager: Reducing Interruptions with Boundary Management Concepts.
Mensch & Computer
(2019)
Mirko Fetter
,
Anna-Lena Müller
,
Petr Vasilyev
,
Laura Marie Barth
,
Tom Gross
Towards a Better Understanding of Availability and Interruptibility with Mobile Availability Probes.
ECSCW Exploratory Papers
(2018)