BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ryan:Mark

Contributed to:

TACAS 20132013
ESOP 20052005
TACAS 20052005
ASE 20032003
VMCAI 20022002
ICALP 19971997
RE 19931993
KR 19921992
LICS 19911991

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.
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.
Defaults and Revision in Structured Theories (MR), pp. 362–373.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.