Ekawit Nantajeewarawat

From MaRDI portal
Person:2841243



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A class of rewriting rules and reverse transformation for rule-based equivalent transformation
Electronic Notes in Theoretical Computer Science
2013-07-24Paper
Program generation in the equivalent transformation computation model using the squeeze method
Perspectives of Systems Informatics
2010-02-02Paper
On the semantics of unified modeling language diagrams using Z notation
International Journal of Intelligent Systems
2005-01-12Paper
Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory
International Journal of Intelligent Systems
2005-01-12Paper
scientific article; zbMATH DE number 2036259 (Why is no real title available?)2004-02-02Paper
scientific article; zbMATH DE number 1500566 (Why is no real title available?)2000-12-14Paper


Research outcomes over time


This page was built for person: Ekawit Nantajeewarawat