2004 |
5 | EE | Stéphane Lo Presti,
Michael J. Butler,
Michael Leuschel,
Chris Booth:
A Trust Analysis Methodology for Pervasive Computing Systems.
Trusting Agents for Trusting Electronic Societies 2004: 129-143 |
4 | EE | Audun Jøsang,
Stéphane Lo Presti:
Analysing the Relationship between Risk and Trust.
iTrust 2004: 135-145 |
3 | EE | Michael J. Butler,
Michael Leuschel,
Stéphane Lo Presti,
Phillip Turner:
The Use of Formal Methods in the Analysis of Trust (Position Paper).
iTrust 2004: 333-339 |
2002 |
2 | EE | Stéphane Lo Presti,
Didier Bert,
Andrzej Duda:
TAO: Temporal Algebraic Operators for modeling multimedia presentations.
J. Network and Computer Applications 25(4): 319-342 (2002) |
1999 |
1 | | Didier Bert,
Stéphane Lo Presti:
Algebraic Specification of Operator-Based Multimedia Scenarios.
WADT 1999: 383-400 |