Verifying Estelle specifications: numerical Petri nets approach. - Ajin Jirachiefpattana; Richard Lai 001 (ICNP, 1993)

Verification of the ISO ROSE protocol specified in Estelle. - Ajin Jirachiefpattana; Richard Lai 001 (PSTV, 1994)

Verification of ISO ACSE protocol specified in Estelle. - Richard Lai 001; Ajin Jirachiefpattana (Comput. Commun., 1994)

A rapid protocol prototyping development system. - Ajin Jirachiefpattana; Richard Lai 001 (RSP, 1995)

Performance evaluation of PC routers using a single-server multi-queue system with a reflection technique. - Ajin Jirachiefpattana; Phil County; Tharam S. Dillon; Richard Lai 001 (Comput. Commun., 1997)

EVEN: A software environment for Estelle specification verification. - Ajin Jirachiefpattana; Richard Lai 001 (J. Syst. Softw., 1997)

Hybrid Approach for Web-based Diary Information System Development. - Waraporn Jirachiefpattana; Ajin Jirachiefpattana; Amrudee Sukpan; Duenpen Santhititham (PACIS, 2000)

Thailand's national digital divide strategic framework. - Proadpran Punyabukkana; Suchai Thanawastien; Ajin Jirachiefpattana (W4A, 2008)