Innovations in Systems and Software Engineering
Game-based verification of contract signing protocols with minimal messages
Proposed future Internet
Tracing the evolution of HCI patterns as an interaction design tool