• 1654 Citaten
1992 …2019
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput 1992 2019

Filter
Boekredactie
2012

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Belgium
2011

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Italy
privacy
data protection
information flow
interaction
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. (redactie) & Marsh, S. (redactie), 2007, Berlin: Springer. 414 blz. (IFIP International Federation for Information Processing; vol. 238)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2006

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

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

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

2005

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

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

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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. (redactie) & Smaus, J. G. (redactie), 1999, Amsterdam: Elsevier. 125 blz. (Electronic Notes in Theoretical Computer Science; vol. 30, nr. 1)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel