Mikael Buchholtz

发表

Mikael Buchholtz, Carlo Montangero, Lara Perrone, 2004, Global Computing.

Flemming Nielson, Hanne Riis Nielson, Mikael Buchholtz, 2004 .

Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..

Mikael Buchholtz, Jacob Kragh Andersen, 2001 .

Flemming Nielson, Hanne Riis Nielson, Mikael Buchholtz, 2004, International Journal of Information Security.

Mikael Buchholtz, 2005, TGC.

Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2005, J. Comput. Secur..

Flemming Nielson, Hanne Riis Nielson, Helmut Seidl, 2004, TACAS.

Flemming Nielson, Hanne Riis Nielson, Corrado Priami, 2004, QAPL.

Flemming Nielson, Hanne Riis Nielson, Mikael Buchholtz, 2002, FOSAD.

Flemming Nielson, Hanne Riis Nielson, Corrado Priami, 2005, PaCT.

Mikael Buchholtz, Hans Henrik Løvengreen, Jacob Andersen, 2002, MTCS.

Flemming Nielson, Pierpaolo Degano, Mikael Buchholtz, 2004 .

Stephen Gilmore, Mikael Buchholtz, Carlo Montangero, 2005, FM.

Flemming Nielson, Stephen Gilmore, Jane Hillston, 2005, PASM.

Flemming Nielson, Hanne Riis Nielson, Mikael Buchholtz, 2002 .

Mikael Buchholtz, M. Buchholtz, 2005 .