Mark D. Ryan

Available identifiers

zbMath Open ryan.mark-dermotMaRDI QIDQ1602966

List of research outcomes

Publication	Date of Publication	Type
Stateful applied pi calculus: observational equivalence and labelled bisimilarity	2017-05-29	Paper
Composition of password-based protocols	2014-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2863856	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2848430	2013-09-26	Paper
Practical Everlasting Privacy	2013-08-06	Paper
Model Checking Agent Knowledge in Dynamic Access Control Policies	2013-08-05	Paper
Requirements, specifications, and minimal refinement	2013-04-19	Paper
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity	2012-06-29	Paper
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster	2010-06-17	Paper
Symbolic Bisimulation for the Applied Pi Calculus	2008-04-24	Paper
Fair multi-party contract signing using private contract signatures	2008-04-16	Paper
Improved Multi-party Contract Signing	2008-03-07	Paper
Minimal refinements of specifications in modal and temporal logics	2007-11-28	Paper
Minimal refinements of specifications in modal and temporal logics	2007-04-19	Paper
Information Security	2006-10-20	Paper
Information Security	2006-10-16	Paper
Objects, Agents, and Features	2005-12-27	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Programming Languages and Systems	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4817052	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4817056	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4739288	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737004	2004-08-11	Paper
Implementation of belief change operators using BDDs	2002-06-24	Paper
Operators and Laws for Combining Preference Relations	2002-01-01	Paper
Feature integration using a feature construct	2001-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q4225114	1999-10-11	Paper
Counterfactuals and updates as inverse modalities	1999-09-29	Paper
Belief revision and verisimilitude	1996-01-29	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: Mark D. Ryan