| Smarter elder care? A cost-effectiveness analysis of implementing technology in elder care. | 3 | 0.68 | 2011 |
| Economic gains from electronic message exchange: the importance of working procedures. | 1 | 0.36 | 2010 |
| From SIBS to Distributed Objects: A Transformation Approach for Service Creation | 0 | 0.34 | 1999 |
| Protocol verification with reactive Promela/Rspin. | 1 | 0.36 | 1996 |
| Reactive EFSMs - Reactive Promela/RSPIN | 1 | 2.45 | 1996 |
