Alice Ann Miller

Available identifiers

zbMath Open miller.alice-annWikidataQ60721732 ScholiaQ60721732MaRDI QIDQ1312994

List of research outcomes

Publication	Date of Publication	Type
Feasibility assessments of a dynamical approach to compartmental modelling on graphs: scaling limits and performance analysis	2023-11-17	Paper
Collaborative models for autonomous systems controller synthesis	2020-09-09	Paper
Constraints for symmetry breaking in graph representation	2019-10-25	Paper
Graphs with girth at least 5 with orders between 20 and 32	2017-08-22	Paper
Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking	2017-08-16	Paper
Model checking learning agent systems using Promela with embedded C code and abstraction	2016-10-28	Paper
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols	2016-06-06	Paper
Extending Symmetry Reduction Techniques to a Realistic Model of Computation	2015-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q5167096	2014-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q2851072	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2848420	2013-09-26	Paper
On the constructive orbit problem	2010-06-16	Paper
Automatic symmetry detection for Promela	2009-11-25	Paper
An automatic abstraction technique for verifying featured, parameterised systems	2008-10-07	Paper
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives	2008-09-04	Paper
A template-based approach for the generation of abstractable and reducible models of featured networks	2006-12-14	Paper
Feature interaction detection by pairwise analysis of LTL properties -- A case study	2006-11-17	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Objects, Agents, and Features	2005-12-27	Paper
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol	2003-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4531757	2002-05-23	Paper
Line-closed subsets of Steiner triple systems and classical linear spaces	1997-10-26	Paper
Non-Cayley vertex-transitive graphs of order twice the product of two odd primes	1994-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q3978113	1992-06-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alice Ann Miller