|
Search the dblp DataBase
Ellis Solaiman:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava
Model Checking Correctness Properties of Electronic Contracts. [Citation Graph (0, 0)][DBLP] ICSOC, 2003, pp:303-318 [Conf]
- Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
Contract Representation for Run-time Monitoring and Enforcement. [Citation Graph (0, 0)][DBLP] CEC, 2003, pp:103-110 [Conf]
- Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
Run-time monitoring and enforcement of electronic contracts. [Citation Graph (0, 0)][DBLP] Electronic Commerce Research and Applications, 2004, v:3, n:2, pp:108-125 [Journal]
Search in 0.001secs, Finished in 0.001secs
|