From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. - Jana Koehler; Giuliano Tirenni; Santhosh Kumaran (EDOC, 2002)

Efficient Allocation of Marketing Resources using Dynamic Programming. - Giuliano Tirenni; Abderrahim Labbi; André Elisseeff; Cesar Berrospi (SDM, 2005)