Alice Miller

Identifiers

• name variant Alice Miller 0.60 · backfill

Papers (7)

1. Graphs with girth at least 5 with orders between 20 and 32 math.CO · 2017 · author #1
2. A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods cs.RO · 2016 · author #3
3. Autonomous Agent Behaviour Modelled in PRISM -- A Case Study cs.SY · 2016 · author #3
4. Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking cs.AI · 2015 · author #4
5. Solving Graph Coloring Problems with Abstraction and Symmetry cs.AI · 2014 · author #4
6. Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites cs.SY · 2014 · author #3
7. Diamond-free Degree Sequences cs.DM · 2012 · author #1

Mentions

• 1510.08266 #4 · backfill · confidence 0.70 Alice Miller
• 1602.00646 #3 · arxiv_oai · confidence 0.70 Alice Miller
• 1402.5599 #3 · arxiv_oai · confidence 0.70 Alice Miller
• 1409.5189 #4 · backfill · confidence 0.70 Alice Miller
• 1402.5599 #3 · backfill · confidence 0.70 Alice Miller
• 1208.0460 #1 · backfill · confidence 0.70 Alice Miller

Frequent Coauthors

• Michael Codish 3 shared papers
• Avraham Itzhakov 2 shared papers
• Gethin Norman 2 shared papers
• Michael Frank 2 shared papers
• Ruth Hoffmann 2 shared papers
• Chris Johnson 1 shared papers
• Murray Ireland 1 shared papers
• Murray L. Ireland 1 shared papers
• Patrick Prosser 1 shared papers
• Sandor M. Veres 1 shared papers
• Sandor Veres 1 shared papers
• Tingdi Zhao 1 shared papers
• Yu Lu 1 shared papers
• Zhaoguang Peng 1 shared papers