Mark D. Ryan
机构: Professor of Computer Security, University of Birmingham
每年引用次数
引用次数
引用: 10,824
H-指数: 47
I10-指数 : 129
出版物: 354
Trans-coronary electrogram mapping during percutaneous coronary intervention: a novel electrophysiological assessment of myocardial viability
K De Silva , A Bandara , M Ryan , J Bostock
EUROPEAN HEART JOURNAL 37 374 -375
2016
The Editor-in-Chief would like to thank the following colleagues who have helped maintain the standards set for a scientific journal, through their refereeing of the papers that have been submitted. Aczel, P. Luosto, K.
R Alur , D Makinson , O Arieli , J Makowsky
A note on the relation between interpreted systems and kripke models
A Lomuscio , M Ryan
Unpublished manuscript
3
1997
PRISMA: Development of Software Architectures with an Aspect Oriented, Reflexive and Dynamic Approach
Jennifer Pérez , Isidro Ramos , Javier Jaén , Patricio Letelier
Dagstuhl Seminar ( 03081)
3
2003
MOVEP'2 k: modélisation et vérification des processus parallèles(Nantes, 19-23 juin 2000)
F Cassez , C Jard , B Rozoy , M Ryan
Bücher und Buch-Herausgaben
T Naz , J Dorn
Business action for climate-resilient supply chains: a practical framework from identifying priorities to evaluating impact
T Norton , M Ryan , F Wang
Business for Social Responsibility, San Francisco
18
2015
Outline of a commitment logic for legal reasoning
H Fuks , M Ryan , M Sadler
Proceedings of 3rd International Conference on Logics, Informatics and Law, V 2 391 -405
12
1989
Binary decision diagrams
M Huth , M Ryan
Logic in Computer Science: Modelling and Reasoning about Systems 358 -413
8
2004
Verification by model checking
M Huth , M Ryan
Logic in Computer Science: Modelling and Reasoning about Systems 172 -255
5
2004
LICS web tutor
M Huth , M Ryan
Accessed 15 -11
4
2016
Trusted Computing: concepts
M Ryan
University of Birmingham
2
2008
The semantics of a feature construct for SMV: A case study in non-monotonic composition
M Plath , M Ryan
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR
2
1999
Clopidogrel associated leukopenia/neutropenia following coronary angioplasty
M Mustafa , I Ragab , M Marshal , M Esak
Int J Fam Commun Med 2 ( 1) 18 -19
1
2018
IMPACT OF ANALYTICAL PERFORMANCE OF POINT OF CARE (POCT) BLOOD GLUCOSE METERS ON APPLICATION OF A'TIGHT GLYCAEMIC CONTROL'(TGC) PROTOCOL IN AN INTENSIVE CARE UNIT SETTING
M Ryan , P McBride , R Calderwood
CLINICAL CHEMISTRY AND LABORATORY MEDICINE 49 S686 -S686
2011
Production and actions of hydrogen sulfide, a novel gaseous bioactive substance in the kidneys
NJ Li , M Ryan , L Chen , PL Li
HYPERTENSION 46 ( 5) 861 -861
2005
Proceedings of FIREworks Workshop on Language Constructs for Describing Features (15-16 May 2000-Glasgow)
S Gilmore , M Ryan
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR
2000
Results for the Feature Interaction Contest 2000
M Plath , M Ryan
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR
2000
Rule induction using a reverse Polish representation
G. F. Davenport , M. D. Ryan , V. J. Rayward-Smith
genetic and evolutionary computation conference 990 -995
3
1999
Verification of integrity and secrecy properties of a biometric authentication protocol
A. Salaiwarakul , M. D. Ryan
information security practice and experience 1 -13
6
2008