Semi-automated service composition using visual contracts. - Muhammad Naeem 002; Reiko Heckel; Fernando Orejas (FIT, 2009)

Incremental Service Composition Based on Partial Matching of Visual Contracts. - Muhammad Naeem 002; Reiko Heckel; Fernando Orejas; Frank Hermann 001 (FASE, 2010)

Towards matching of service feature models based on linear logic. - Muhammad Naeem 002; Reiko Heckel (SPLC Workshops, 2011)

Matching of service feature diagrams based on linear logic. - Muhammad Naeem 002 (2012)