author- VaMoS, page 45-54. ACM, (2012)
- VaMoS, page 37-44. ACM, (2012)
- VaMoS, page 183-191. ACM, (2012)
- FASE'08/ETAPS'08: Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering, page 16--30. Berlin, Heidelberg, Springer-Verlag, (2008)
- ICSE, page 321-330. ACM, (2011)
- CoRR (2007)
- CoRR (2011)
- CoRR (2006)
- CoRR (2004)
- CoRR (2010)
- SPLC, page 65-69. IEEE, (2011)
- Theory and Practice of Logic Programming TPLP (2011)Accepted for Publication .
- iStar, volume 766 of CEUR Workshop Proceedings, page 2-7. CEUR-WS.org, (2011)
- Handbook of Service Description: USDL and its Methods, chapter 6, Springer, New York, (2011)
- CLIMA, volume 4371 of Lecture Notes in Computer Science, page 20-40. Springer, (2006)
- ACM SIGSOFT Software Engineering Notes 36(4):24-25 (2011)
- SPLC Workshops, page 50. ACM, (2011)
- JELIA, volume 3229 of Lecture Notes in Computer Science, page 44-56. Springer, (2004)
- PADL, volume 3350 of Lecture Notes in Computer Science, page 128-142. Springer, (2005)
- RuleML, volume 3323 of Lecture Notes in Computer Science, page 113-127. Springer, (2004)
