• 1710 Citations
1992 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Foreword/postscript
2012

Preface

Barthe, G., Datta, A. & Etalle, S., 23 Jul 2012, Formal aspects of security and trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Barthe, G., Datta, A. & Etalle, S. (eds.). Berlin: Springer, p. IV 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7140).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

2007

Preface

Etalle, S. & Samarati, P., 2007, Proceedings of the 2nd International Workshop on Security and Trust Management (STM 2006), 20-21 September 2006, Hamburg, Germany. p. 1-2 (Electronic Notes in Theoretical Computer Science; vol. 179).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptProfessional

2005

Preface

Etalle, S., Mukhopadhyay, S. & Roychoudhury, A., 2005, Proceedings of the International Workshop on Software Verification and Validation (SVV 2003, Mumbai, India, December 14, 2003). Etalle, S., Mukhopadhyay, S. & Roychoudhury, A. (eds.). p. 1- (Electronic Notes in Theoretical Computer Science; vol. 118).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptProfessional