Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Alice Miller
Researcher
PaperDiamond-free Degree SequencesAuthorship / preprint / 2012PaperDesigning a mobile game to generate player data -- lessons learnedAuthorship / preprint / 2021PaperFormal Specification and Quantitative Analysis of a Constellation of Navigation SatellitesAuthorship / preprint / 2014PaperAutonomous Agent Behaviour Modelled in PRISM -- A Case StudyAuthorship / preprint / 2016PaperA Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification MethodsAuthorship / preprint / 2016PaperSolving Graph Coloring Problems with Abstraction and SymmetryAuthorship / preprint / 2015PaperComputing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breakingAuthorship / preprint / 2015