| 2009 | ||
|---|---|---|
| 4 | Mabroka Ali Mayouf, Zarina Shukur: Using Animation in Active Learning Tool to Detect Possible Attacks in Cryptographic Protocols. IVIC 2009: 510-520 | |
| 2006 | ||
| 3 | Mohammed Sullabi, Zarina Shukur: Web-based Collaborative Model for Preparing Formal Software Specifications. iiWAS 2006: 433-442 | |
| 2002 | ||
| 2 | Zarina Shukur, Abdullah Mohd Zin, Ainita Ban: M2Z: A Tool for Translating a Natural Language Software Specification into Z. ICFEM 2002: 406-410 | |
| 2000 | ||
| 1 | Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin: A Knowledge-based Automated Debugger in Learning System. AADEBUG 2000 | |
| 1 | Syed Ahmad Aljunid | [1] |
| 2 | Ainita Ban | [2] |
| 3 | Mabroka Ali Mayouf | [4] |
| 4 | Mohd Jan Nordin | [1] |
| 5 | Mohammed Sullabi | [3] |
| 6 | Abdullah Mohd Zin | [1] [2] |