Travelled to:
1 × Canada
1 × The Netherlands
1 × USA
2 × United Kingdom
3 × Italy
Collaborated with:
∅ A.Harding P.Schobbens S.Kremer H.Harris M.Koleini E.Ritter C.Baier E.M.Clarke V.Hartonas-Garmhausen M.Z.Kwiatkowska
Talks about:
default (3) model (2) check (2) atl (2) probabilist (1) algorithm (1) synthesi (1) structur (1) strategi (1) protocol (1)
Person: Mark Ryan
DBLP: Ryan:Mark
Contributed to:
Wrote 9 papers:
- TACAS-2013-KoleiniRR #data access #model checking #policy
- Model Checking Agent Knowledge in Dynamic Access Control Policies (MK, ER, MR), pp. 448–462.
- ESOP-2005-KremerR #analysis #protocol #π-calculus
- Analysis of an Electronic Voting Protocol in the Applied π Calculus (SK, MR), pp. 186–200.
- TACAS-2005-HardingRS #algorithm #game studies #ltl #synthesis
- A New Algorithm for Strategy Synthesis in LTL Games (AH, MR, PYS), pp. 477–492.
- ASE-2003-HarrisR
- Theoretical Foundations of Updating Systems (HH, MR), pp. 291–294.
- VMCAI-2002-HardingRS #approximate #atl
- Approximating ATL* in ATL (AH, MR, PYS), pp. 289–301.
- ICALP-1997-BaierCHKR #model checking #probability #process
- Symbolic Model Checking for Probabilistic Processes (CB, EMC, VHG, MZK, MR), pp. 430–440.
- RE-1993-Ryan #specification
- Defaults in specifications (MR), pp. 142–149.
- KR-1992-Ryan #representation
- Representing Defaults as Sentences with Reduced Priority (MR), pp. 649–660.
- LICS-1991-Ryan
- Defaults and Revision in Structured Theories (MR), pp. 362–373.