Wiwat Vatanawood
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
2
Active years
2005–2019
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SNPD | Transformation of Bounded Timed Petri Nets into Event-B. | Suphattra Kaewopchoei, Wiwat Vatanawood |
| 2019 | SNPD | Formalizing Time Petri Nets with Metric Temporal Logic using Promela. | Jutamard Kawises, Wiwat Vatanawood |
| 2018 | SNPD | Event-B Formalization of Basic Supply Chain Patterns. | Chalika Saksupawattanakul, Wiwat Vatanawood |
| 2018 | SNPD | Formalism of Stochastic Queueing Network using Stochastic Petri Nets. | Kesinee Soomanat, Wiwat Vatanawood |
| 2018 | SNPD | An Ontology-based Knowledge Acquisition for PDM. | Wisarat Srisungnoen, Wiwat Vatanawood |
| 2017 | SNPD | A scheme of criminal law knowledge acquisition using ontology. | Pongpanut Osathitporn, Nuanwan Soonthornphisaj, Wiwat Vatanawood |
| 2005 | ICALT | Instructional Design Using Component-Based Development and Learning Object Classification. | Noppamas Pukkhem, Wiwat Vatanawood |