Publications

Export 4 results:
Author Keyword Title Type [ Year(Desc)]
Filters: Author is Aditya Agrawal  [Clear All Filters]
2003
J. Sprinkle, Agrawal, A., Levendovszky, T., Shi, F., and Karsai, G., Domain Translation Using Graph Transformations, in Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003, pp. 159–168.
G. Karsai, Agrawal, A., Shi, F., and Sprinkle, J., On the Use of Graph Transformation in the Formal Specification of Model Interpreters, Journal of Universal Computer Science, vol. 9, pp. 1296–1321, 2003.