M. 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
Dynamic measurement and protected execution: model and analysis	2016-11-09	Paper
Composition of password-based protocols	2014-06-30	Paper
Synthesising features by games	2013-12-04	Paper
Model-checking the preservation of temporal properties upon feature integration	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
Experimental study of three-scalar mixing in a turbulent coaxial jet	2012-06-26	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

This page was built for person: M. D. Ryan