( en | de | ru )

 

Disambiguation of "Ryan, Mark"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Model Checking for Probabilistic Processes.

, , , , and . ICALP, volume 1256 of Lecture Notes in Computer Science, page 430-440. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Judith Ryan

Aisling Ryan

Ryan Beveridge

Lawrence John Ryan

John Ryan

 

Other publications of authors with the same name

In AI We Trust: Ethics, Artificial Intelligence, and Reliability.. Sci. Eng. Ethics, 26 (5): 2749-2767 (2020)The Future of Transportation: Ethical, Legal, Social and Economic Impacts of Self-driving Vehicles in the Year 2025.. Sci. Eng. Ethics, 26 (3): 1185-1208 (2020)Belief Revision and Verisimilitude., and . Notre Dame J. Formal Log., 36 (1): 15-29 (1995)Artificial intelligence ethics guidelines for developers and users: clarifying their content and normative implications., and . J. Inf. Commun. Ethics Soc., 19 (1): 61-86 (2021)Untraceability in the applied pi-calculus., , , and . ICITST, page 1-6. IEEE, (2009)Automatic verification of transparency protocols., , and . EuroS&P, page 107-121. IEEE, (2023)Software Package Requirements and Procurement., , and . IWSSD, page 141-145. IEEE Computer Society, (1996)SoK: TEE-Assisted Confidential Smart Contract., , , , and . Proc. Priv. Enhancing Technol., 2022 (3): 711-731 (2022)An AI ethics 'David and Goliath': value conflicts between large tech companies and their employees., , , and . AI Soc., 39 (2): 557-572 (April 2024)Towards a Verified Reference Implementation of a Trusted Platform Module., , and . Security Protocols Workshop, volume 7028 of Lecture Notes in Computer Science, page 69-81. Springer, (2009)