Algebraic Specification of Operator-Based Multimedia Scenarios. - Didier Bert; Stéphane Lo Presti (WADT, 1999)

TAO: Temporal Algebraic Operators for modeling multimedia presentations. - Stéphane Lo Presti; Didier Bert; Andrzej Duda (J. Netw. Comput. Appl., 2002)

Langage de spécification et de description de présentations multimédias. - Stéphane Lo Presti (2002)

A Trust Analysis Methodology for Pervasive Computing Systems. - Stéphane Lo Presti; Michael J. Butler; Michael Leuschel; Chris Booth (Trusting Agents for Trusting Electronic Societies, 2004)

The Use of Formal Methods in the Analysis of Trust (Position Paper). - Michael J. Butler; Michael Leuschel; Stéphane Lo Presti; Phillip Turner (iTrust, 2004)

Analysing the Relationship between Risk and Trust. - Audun Jøsang; Stéphane Lo Presti (iTrust, 2004)