Searching for authors named "Hong Zhu" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Formal Specification of Evolutionary Software Agents
- …Formal Specification of Evolutionary Software Agents Hong Zhu Dept of Computing, Oxford Brookes…
- Cited by 8 (8 self) – Add To MetaCart
-
Formal Reasoning about Emergent Behaviour
- … Reasoning about Emergent Behaviours of Multi-Agent Systems Hong Zhu Department of Computing, School…
- Cited by 3 (3 self) – Add To MetaCart
-
The Role of Caste in Formal Specification of MAS
- …The Role of Castes in Formal Specification of MAS Hong Zhu School of Computing and Mathematical…
- Cited by 8 (8 self) – Add To MetaCart
-
Survey of Computational Assumptions Used in Cryptography Broken or Not by Shor's Algorithm
- … in Science c Hong Zhu, 2001 Abstract We survey the computational assumptions of various cryptographic…
- Cited by 2 (0 self) – Add To MetaCart
-
SLABS: A Formal Specification Language for Agent-Based Systems
- …SLABS: A Formal Specification Language for Agent-Based Systems Hong Zhu School of Computing…
- Cited by 18 (12 self) – Add To MetaCart
-
Automating Scenario-Driven Structured Requirements Engineering
- … Engineering Hong Zhu School of Computing and Mathematical Sciences, Oxford Brookes University, Gipsy Lane…
- Add To MetaCart
-
Caste: A Step Beyond Object Orientation
- …Caste: A Step Beyond Object Orientation Hong Zhu and David Lightfoot Department of Computing…
- Cited by 3 (2 self) – Add To MetaCart
-
A Theory of Behaviour Observation in Software Testing
- … in Software Testing Hong Zhu School of Computing and Mathematics, Oxford Brookes University, Gipsy Lane…
- Cited by 6 (3 self) – Add To MetaCart
-
Analysing and Specifying Scenarios and Agent Behaviours
- …Modelling and Specifying Scenarios and Agent Behaviour ∗ Lijun Shan Hong Zhu Department…
- Cited by 1 (1 self) – Add To MetaCart
-
A Theory of Testing High Level Petri Nets
- …A Theory of Testing High Level Petri Nets Hong Zhu Xudong He School of Computing and Math…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
