Peter Brooke

Affiliations: 
2003-2009 Physics Macquarie University, Macquarie Park, New South Wales, Australia 
Google:
"Peter Brooke"
Mean distance: 13.9
 
SNBCP
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Brooke P, Paige R. (2015) User-visible cryptography in email and web scenarios Information and Computer Security. 23: 58-72
Zhu H, He J, Qin S, et al. (2014) Denotational semantics and its algebraic derivation for an event-driven system-level language Formal Aspects of Computing. 27: 133-166
Liu P, Zhu H, Qin S, et al. (2013) Linking algebraic semantics and operational semantics for web services using maude Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 260-263
Liu P, Zhu H, Qin S, et al. (2013) Linking the semantics of BPEL using Maude Proceedings - Asia-Pacific Software Engineering Conference, Apsec. 1: 422-431
Brooke PJ. (2012) Approaches to modelling security scenarios with domain-specific languages (Transcript of discussion) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7622: 55-59
Brooke PJ, Paige RF, Power C. (2012) Approaches to modelling security scenarios with domain-specific languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7622: 41-54
Paige RF, Brooke PJ, Ge X, et al. (2012) Revealing complexity through domain-specific modelling and analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7539: 251-265
Tian H, Brooke PJ, Bosser AG. (2012) Behaviour-based cheat detection in multiplayer games with Event-B Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7321: 206-220
Paige RF, Galloway A, Charalambous R, et al. (2011) High-integrity agile processes for the development of safety critical software International Journal of Critical Computer-Based Systems. 2: 181-216
Brooke PJ, Paige RF, Power C. (2010) Document-centric XML workflows with fragment digital signatures Software - Practice and Experience. 40: 655-672
See more...