A development of RDF data transfer and query on Hadoop Framework. - Jutamard Kawises; Wiwat Vatanawood (ICIS, 2016)

Formalizing Time Petri Nets with Metric Temporal Logic using Promela. - Jutamard Kawises; Wiwat Vatanawood (SNPD, 2019)