| |
| 2006 | ||
|---|---|---|
| 5 | EE | Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang: Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. Electr. Notes Theor. Comput. Sci. 146(2): 189-206 (2006) |
| 2005 | ||
| 4 | EE | Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang: Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. Electr. Notes Theor. Comput. Sci. 128(6): 231-246 (2005) |
| 2004 | ||
| 3 | EE | Qianyi Zhang, Georgios K. Theodoropoulos: Modelling SAMIPS: A Synthesisable Asynchronous MIPS Processor. Annual Simulation Symposium 2004: 205-212 |
| 2 | EE | Georgios K. Theodoropoulos, Qianyi Zhang: A Distributed Colouring Algorithm for Control Hazards in Asynchronous Pipelines. ISPAN 2004: 266-272 |
| 2003 | ||
| 1 | EE | Qianyi Zhang, Georgios K. Theodoropoulos: Towards an Asynchronous MIPS Processor. Asia-Pacific Computer Systems Architecture Conference 2003: 137-150 |
| 1 | Marta Z. Kwiatkowska | [4] [5] |
| 2 | Georgios K. Theodoropoulos | [1] [2] [3] [4] [5] |
| 3 | Xu Wang | [4] [5] |