M. Dam
发表
G. Kreitz,
Douglas Wikström,
M. Dam,
2009
.
Lars-Åke Fredlund,
M. Dam,
1998
.
Lars-Åke Fredlund,
M. Dam,
2022
.
M. Dam,
2007
.
Mads Dam,
M. Dam,
1996
.
D. Gurov,
M. Dam,
Irem Aktug,
2008
.
Mads Dam,
M. Dam,
1996,
Lecture Notes in Computer Science.
Lars-Åke Fredlund,
Dilian Gurov,
Mads Dam,
1998
.
Mads Dam,
M. Dam,
1995,
International Conference on Algebraic Methodology and Software Technology.
Mads Dam,
Christoph Sprenger,
C. Sprenger,
2003,
FoSSaCS.
Rolf Stadler,
Erik Aurell,
Mads Dam,
2010
.
Karl Palmskog,
Mads Dam,
Karl Palmskog,
2014,
PDP.
Andreas Lindner,
Roberto Guanciale,
Mads Dam,
2020,
SEFM.
Roberto Guanciale,
Hamed Nemati,
Mads Dam,
2018
.
Roberto Guanciale,
Hamed Nemati,
Mads Dam,
2017
.
Mads Dam,
Fredrik Orava,
F. Orava,
1996
.
Mads Dam,
M. Dam,
1992,
CAAP.
Mads Dam,
M. Dam,
2010
.
Thomas Noll,
Mads Dam,
Gennady Chugunov,
2000
.
Mads Dam,
M. Dam,
2002
.
Mads Dam,
Douglas Wikström,
Gunnar Kreitz,
2010,
NordSec.
Rolf Stadler,
Mads Dam,
Fetahi Zebenigus Wuhib,
2007,
IEEE Transactions on Network and Service Management.
Rolf Stadler,
Danny Raz,
Mads Dam,
2010,
Algorithms for Next Generation Networks.
Mads Dam,
Olav L. Bandmann,
Olav Bandmann,
2002
.
Mads Dam,
M. Dam,
1998,
Inf. Comput..
Mads Dam,
M. Dam,
1996,
CSUR.
Mads Dam,
M. Dam,
1995,
CONCUR.
Roberto M. Amadio,
Mads Dam,
R. Amadio,
1995,
TAPSOFT.
Dilian Gurov,
Mads Dam,
Irem Aktug,
2008,
J. Log. Algebraic Methods Program..
Frank Piessens,
Mads Dam,
Bart Jacobs,
2010,
J. Comput. Secur..
Frank Piessens,
Mads Dam,
Bart Jacobs,
2009,
ECOOP.
Rolf Stadler,
Mads Dam,
Fetahi Zebenigus Wuhib,
2009,
2009 IFIP/IEEE International Symposium on Integrated Network Management.
Karl Palmskog,
Mads Dam,
Karl Palmskog,
2014,
2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Karl Palmskog,
Mads Dam,
Karl Palmskog,
2013,
AGERE! 2013.
Mads Dam,
M. Dam,
1992,
FSTTCS.
Mads Dam,
M. Dam,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Mads Dam,
M. Dam,
1994
.
Mads Dam,
M. Dam,
1993,
Inf. Comput..
Roberto Guanciale,
Hamed Nemati,
Mads Dam,
2016,
J. Comput. Secur..
Roberto Guanciale,
Hamed Nemati,
Mads Dam,
2015,
SOFSEM.
Roberto Guanciale,
Hamed Nemati,
Mads Dam,
2013,
CCS.
Roberto Guanciale,
Hamed Nemati,
Mads Dam,
2013,
TrustED '13.
Mads Dam,
Sonja Buchegger,
S. Buchegger,
2015,
Lecture Notes in Computer Science.
Flemming Nielson,
Pierre Jouvelot,
Bent Thomsen,
1996,
LOMAPS.
Lars-Åke Fredlund,
Dilian Gurov,
Thomas Arts,
2003,
International Journal on Software Tools for Technology Transfer.
Mads Dam,
Frank Jensen,
Frank Jensen,
1986,
ESOP.
Rolf Stadler,
Mads Dam,
Fetahi Zebenigus Wuhib,
2005,
DSOM.
Rolf Stadler,
Mads Dam,
R. Stadler,
2005
.
Mads Dam,
Mika Cohen,
M. Dam,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Mads Dam,
Dimitar P. Guelev,
M. Dam,
2011,
M4M/LAMAS.
Karl Palmskog,
M. Dam,
R. Guanciale,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Roberto Guanciale,
Mads Dam,
Musard Balliu,
2014,
CCS.
Rolf Stadler,
Erik Aurell,
Mads Dam,
2010,
ArXiv.
Roberto Guanciale,
Hamed Nemati,
Mads Dam,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Mads Dam,
Christoph Baumann,
Oliver Schwarz,
2019,
Journal of Cryptographic Engineering.
Christoph Baumann,
Oliver Schwarz,
M. Dam,
2019,
Journal of Cryptographic Engineering.
Mads Dam,
Oliver Schwarz,
Narges Khakpour,
2013,
CPP.
Mads Dam,
Gurvan Le Guernic,
Musard Balliu,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
Mads Dam,
Gurvan Le Guernic,
Musard Balliu,
2011,
PLAS '11.
Mads Dam,
M. Dam,
2006,
POPL '06.
Mads Dam,
Pablo Giambiagi,
M. Dam,
2000,
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Dilian Gurov,
Mads Dam,
D. Gurov,
2002,
J. Log. Comput..
Mads Dam,
M. Dam,
1994,
J. Log. Comput..
Dilian Gurov,
Mads Dam,
D. Gurov,
2000
.
Karl Palmskog,
Mads Dam,
Ali Jafari,
2013,
ICE.
S. Hansson,
Peter Pagin,
D. Gurov,
2018,
The Bulletin of Symbolic Logic.
Mads Dam,
Andreas Lundblad,
M. Dam,
2010,
ArXiv.
B. Meyer,
Wolfram Schulte,
Mario Ornaghi,
2008
.
Roberto Guanciale,
Hamed Nemati,
Mads Dam,
2018,
POST.
Dilian Gurov,
Mads Dam,
D. Gurov,
1999,
Ershov Memorial Conference.
Lars-Åke Fredlund,
Dilian Gurov,
Mads Dam,
1997,
COMPOS.
Roberto M. Amadio,
Mads Dam,
R. Amadio,
1996,
FTRTFT.
Frank Piessens,
Mads Dam,
Bart Jacobs,
2014,
Mathematical Structures in Computer Science.
Roberto Guanciale,
Mads Dam,
Musard Balliu,
2019,
CCS.
Roberto Guanciale,
Hamed Nemati,
Mads Dam,
2016,
2016 IEEE Symposium on Security and Privacy (SP).
Thomas Arts,
Mads Dam,
T. Arts,
1999,
World Congress on Formal Methods.