- J. Knowledge Management (2012)
- ICME, page 1-4. IEEE, (2011)
- ICTAI, page 932-933. IEEE, (2011)
- ICECS, page 711-714. IEEE, (2009)
- CoRR (2006)
- ICECS, page 591-594. IEEE, (2010)
- Formal Modeling: Actors, Open Systems, Biological Systems, volume 7000 of Lecture Notes in Computer Science, page 277-298. Springer, (2011)
- EXPRESS, volume 64 of EPTCS, page 1-15. (2011)
- ICALT, page 48-52. IEEE Computer Society, (2011)
- WADT, volume 3423 of Lecture Notes in Computer Science, page 126-143. Springer, (2004)
- ISCAS, page 579-582. IEEE, (2011)
- AMAST, volume 3116 of Lecture Notes in Computer Science, page 72-86. Springer, (2004)
- CADE, volume 2741 of Lecture Notes in Computer Science, page 2-16. Springer, (2003)
- Electr. Notes Theor. Comput. Sci. (2002)
- Electr. Notes Theor. Comput. Sci. (2002)
- Environmental Modelling and Software 24(1):63-73 (2009)
- ICCSA 4, volume 6785 of Lecture Notes in Computer Science, page 35-49. Springer, (2011)
- ICCSA 1, volume 5072 of Lecture Notes in Computer Science, page 165-178. Springer, (2008)
- ICCSA 1, volume 5592 of Lecture Notes in Computer Science, page 107-117. Springer, (2009)
- CONIELECOMP, page 266-270. IEEE, (2011)


author