Richard Lai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1990–2013
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICCE | Improving student engagement through a blended teaching method using Moodle. | Richard Lai, Nurazlina Sanusi |
| 1998 | COMPSAC | Some Maintainability Metrics for a Communication Protocol Specified in Estell. | Sun-Jen Huang, Richard Lai |
| 1997 | COMPSAC | Estimating the size of an Estelle specification for a communication protocol. | Sun-Jen Huang, Richard Lai |
| 1995 | RSP | A rapid protocol prototyping development system. | Ajin Jirachiefpattana, Richard Lai |
| 1993 | FORTE | Integrating Estelle and ASN.1 for Automatic Implementation. | Anthony C. C. Lo, Richard Lai |
| 1993 | ICCI | A New Decomposition Method to Relieve the State Space Explosion Problem. | Xiaobo Li, Richard Lai, Tharam S. Dillon |
| 1993 | ICNP | Verifying Estelle specifications: numerical Petri nets approach. | Ajin Jirachiefpattana, Richard Lai |
| 1992 | ICCI | Theory of Deductive Systems for Protocol Verification. | Xiaobo Li, Richard Lai, Tharam S. Dillon |
| 1990 | CAV | On Using Protean To Verify ISO FTAM Protocol. | Richard Lai, Ken R. Parker, Tharam S. Dillon |