1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.HC2023
Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles
Oana Andrei, Muffy Calder, Matthew Chalmers +1
We present a study using new computational methods, based on a novel combination of machine learning for inferring admixture hidden Markov models and probabilistic model checking,…
cs.SE2015★ 1 cited
Probabilistic Formal Analysis of App Usage to Inform Redesign
Oana Andrei, Muffy Calder, Matthew Chalmers +2
This paper sets out a process of app analysis intended to support understanding of use but also redesign. From usage logs we infer activity patterns - Markov models - and employ pr…