Home
Browse
Search
Latest additions
Policies
FAQ
About Open Access
Browse by Author
Browse by Year
Browsing publications by
Yishi Zhao
Newcastle Authors
Title
Year
Dr Nigel Thomas
Emeritus Professor Michael Harrison
Yishi Zhao
Xiao Chen
From Protocols to People: Large Scale Analysis in Markovian Process Algebra
2012
Yishi Zhao
Dr Nigel Thomas
A Simplified Solution of a PEPA Model of Kerberos Protocol
2011
Yishi Zhao
Dr Nigel Thomas
Mean value analysis for a class of PEPA models
2011
Yishi Zhao
Dr Nigel Thomas
Efficient solutions of a PEPA model of a key distribution centre
2010
Yishi Zhao
Professor Xiangning He
Simon Lambert
Professor Volker Pickert
High Steo-up Boost Converter with Coupled Inductor and Switched Capacitor
2010
Yishi Zhao
Dr Nigel Thomas
Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols
2009
Yishi Zhao
Dr Nigel Thomas
Efficient Analysis of PEPA model of Non-repudiation Protocols
2009
Yishi Zhao
Dr Nigel Thomas
Experiences of Using the PEPA Performance Modelling Tools with a non-repudiation protocol
2009
Dr Nigel Thomas
Yishi Zhao
Mean value analysis for a class of PEPA models
2009
Yishi Zhao
Dr Nigel Thomas
A Cost Model Analysis of a Secure Key Distribution Centre
2008
1
2
