• 1710 Citations
1992 …2019

Research output per year

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

Research Output

Filter
Book editing
2012

Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Barthe, G. (ed.), Datta, A. (ed.) & Etalle, S. (ed.), 2012, Berlin: Springer. (Lecture notes in computer science; vol. 7140)

Research output: Book/ReportBook editingAcademic

2011

Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers

Degano, P. (ed.), Etalle, S. (ed.) & Guttman, J. (ed.), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 6561)

Research output: Book/ReportBook editingAcademic

2007

Trust management : proceedings of IFIPTM 2007: joint iTrust and PST conferences on privacy, trust management and security, July 30 - August 2, 2007, New Brunswick, Canada

Etalle, S. (ed.) & Marsh, S. (ed.), 2007, Berlin: Springer. 414 p. (IFIP International Federation for Information Processing; vol. 238)

Research output: Book/ReportBook editingAcademic

2006

Logic programming : 22nd International Conference, ICLP 2006, Seattle WA, USA, August 17-20, 2006 : proceedings

Etalle, S. (ed.) & Truszczynski, M. (ed.), 2006, Berlin: Springer. (Lecture notes in computer science; vol. 4079)(ICLP : international conference on logic programming : proceedings; vol. 22)

Research output: Book/ReportBook editingProfessional

2005

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

Etalle, S. (ed.), 2005, Berlin: Springer. (Lecture notes in computer science; vol. 3573)(LOPSTR : logic-based program synthesis and transformation : international workshop : selected papers; vol. 14)

Research output: Book/ReportBook editingProfessional

1999

Workshop on Verification of Logic Programs (in connection with ICLP'99, International Conference on Logic Programming, Las Cruces NM, USA, December 1, 1999)

Etalle, S. (ed.) & Smaus, J. G. (ed.), 1999, Amsterdam: Elsevier. 125 p. (Electronic Notes in Theoretical Computer Science; vol. 30, no. 1)

Research output: Book/ReportBook editingProfessional