| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Intelligent Strategies for Pathway Mining: Model and Pattern Identification | 978-3-319-04171-1 (3-319-04171-1) | 2014 |
| Secure Transaction Protocol Analysis: Models and Applications | 978-3-540-85073-1 (3-540-85073-2) | 2008 |