Alice Ann Miller

From MaRDI portal
Person:1312994

Available identifiers

zbMath Open miller.alice-annWikidataQ60721732 ScholiaQ60721732MaRDI QIDQ1312994

List of research outcomes

PublicationDate of PublicationType
Feasibility assessments of a dynamical approach to compartmental modelling on graphs: scaling limits and performance analysis2023-11-17Paper
Collaborative models for autonomous systems controller synthesis2020-09-09Paper
Constraints for symmetry breaking in graph representation2019-10-25Paper
Graphs with girth at least 5 with orders between 20 and 322017-08-22Paper
Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking2017-08-16Paper
Model checking learning agent systems using Promela with embedded C code and abstraction2016-10-28Paper
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols2016-06-06Paper
Extending Symmetry Reduction Techniques to a Realistic Model of Computation2015-03-18Paper
https://portal.mardi4nfdi.de/entity/Q51670962014-07-09Paper
https://portal.mardi4nfdi.de/entity/Q28510722013-10-02Paper
https://portal.mardi4nfdi.de/entity/Q28484202013-09-26Paper
On the constructive orbit problem2010-06-16Paper
Automatic symmetry detection for Promela2009-11-25Paper
An automatic abstraction technique for verifying featured, parameterised systems2008-10-07Paper
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives2008-09-04Paper
A template-based approach for the generation of abstractable and reducible models of featured networks2006-12-14Paper
Feature interaction detection by pairwise analysis of LTL properties -- A case study2006-11-17Paper
FM 2005: Formal Methods2006-01-10Paper
Objects, Agents, and Features2005-12-27Paper
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol2003-08-27Paper
https://portal.mardi4nfdi.de/entity/Q45317572002-05-23Paper
Line-closed subsets of Steiner triple systems and classical linear spaces1997-10-26Paper
Non-Cayley vertex-transitive graphs of order twice the product of two odd primes1994-08-28Paper
https://portal.mardi4nfdi.de/entity/Q39781131992-06-25Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Alice Ann Miller