publications:

 

A participatory model for community information, Development by Design’02, 2nd International Conference on  Open Collaborative Design  for Sustainable Innovation Creativity, Control & Culture for Sustainable Change, December, 2002  Bangalore, India. 

 

Share-Where Maintenance in Visual Algebraic Specifications,  Advances in Computing Science - ASIAN '97: Kathmandu, Nepal. December 9-11, 1997. 297-311 Input and Output for Visual Languages, Theory of Visual Languages, Springer-Verlag, 1998.

Pretty-printing of Visual Sentences, Proc. VL'97, IEEE Symposium Visual Languages , Capri, Italy, September 1997.

 

Specifying Input and Output of Visual Languages, Workshop on Theory of Visual Languages, Gubbio, Italy, May 1996.

 

The VAS Formalism in VASE, Proc. VL'96, IEEE Symposium Visual Languages Boulder CO, September 1996.

 

Towards a Visual Programming Environment Generator for Algebraic Specifications, Proc. VL'95, IEEE Symposium Visual Languages Darmstadt, Germany, September 1995.

 

Visual  Object  Definition  Language, Proceedings of the fifth Eurographics workshop on Programming Paradigms in Graphics, pages 109-124, Eurographics'95, Maastricht, The Netherlands.

 

Specifying Visual Syntax, Proceedings of  ASF+SDF'95, a workshop on Generating Tools from Algebraic Specifications, Tech. report P9504, University of Amsterdam, pages 143-155, May 1995.

 

Generating Visual Editors for Formally Specified Languages, Proceedings of the 1994 IEEE Symposium on Visual Languages, St. Louis, MO, 1994.

 

Teaching formal methods using the ASF+SDF Meta-environment, Collection editors: T. B. Dinesh and Susan M. Uskudarli, July 1994.  URL: file://ftp.cwi.nl/pub/gipe/drafts/TFM.ps.Z