M. Schwartzbach
发表
D. Kozen,
J. Palsberg,
M. Schwartzbach,
1994
.
J. Palsberg,
M. Schwartzbach,
1992
.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
D. Kozen,
J. Palsberg,
M. Schwartzbach,
1992
.
Jens Palsberg,
Michael I. Schwartzbach,
Ole Agesen,
1995,
Softw. Pract. Exp..
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1992,
ECOOP.
J. Palsberg,
M. Schwartzbach,
1994
.
Ivan Damgård,
Tomas Toft,
Martin Geisler,
2009,
Financial Cryptography.
Nils Klarlund,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1994
.
J. Palsberg,
M. Schwartzbach,
1991
.
M. I. Schwartzbach,
M. Schwartzbach,
D. Lea,
2005
.
Kurt Mehlhorn,
Karsten Weihe,
Mooly Sagiv,
2021
.
M. Schwartzbach,
E. M. Schmidt,
1990
.
Claus Brabrand,
Michael I. Schwartzbach,
Mads Vanggaard,
2003
.
Oege de Moor,
Michael I. Schwartzbach,
M. Schwartzbach,
2009
.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
POPL '93.
Marcelo Arenas,
Michael I. Schwartzbach,
M. Schwartzbach,
2007
.
M. Schwartzbach,
1989,
CAAP.
M. Schwartzbach,
Nils Klarlund,
1998
.
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1992,
OOPSLA '92.
Claus Brabrand,
Michael I. Schwartzbach,
M. Schwartzbach,
2000,
PEPM '02.
Claus Brabrand,
Michael I. Schwartzbach,
Anders Møller,
2002,
ACM Trans. Internet Techn..
Claus Brabrand,
Michael I. Schwartzbach,
Anders Moeller,
2022
.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1990,
ECOOP.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1990,
OOPSLA/ECOOP '90.
Ivan Damgård,
Tomas Toft,
Martin Geisler,
2008,
IACR Cryptol. ePrint Arch..
Michael I. Schwartzbach,
Janus Dam Nielsen,
M. I. Schwartzbach,
2007,
PLAS '07.
Claus Brabrand,
Michael I. Schwartzbach,
Anders Møller,
2005,
Inf. Syst..
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1991,
Sci. Comput. Program..
Michael I. Schwartzbach,
M. Schwartzbach,
1994
.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1991,
OOPSLA '91.
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1990
.
M. Schwartzbach,
E. M. Schmidt,
1988,
MFCS.
Michael I. Schwartzbach,
Johnni Winther,
M. Schwartzbach,
2011,
ECOOP.
Michael I. Schwartzbach,
M. Schwartzbach,
1989,
Theor. Comput. Sci..
Michael I. Schwartzbach,
M. Schwartzbach,
1992,
Theor. Comput. Sci..
Michael I. Schwartzbach,
M. Schwartzbach,
1990,
TAPSOFT, Vol.1.
Nils Klarlund,
Michael I. Schwartzbach,
Anders Møller,
2000,
Int. J. Found. Comput. Sci..
Anders Sandholm,
Michael I. Schwartzbach,
M. Schwartzbach,
1997,
FASE.
Nils Klarlund,
Anders Møller,
Michael I. Schwartzbach,
2000,
FMSP '00.
Michael I. Schwartzbach,
Anders Møller,
M. Schwartzbach,
2007,
PEPM '07.
Christian Kirkegaard,
Michael I. Schwartzbach,
Anders Møller,
2003,
IEEE Transactions on Software Engineering.
Aske Simon Christensen,
Michael I. Schwartzbach,
Anders Møller,
2003,
SAS.
Aske Simon Christensen,
Michael I. Schwartzbach,
Anders Møller,
2002,
TOPL.
Nils Klarlund,
Michael I. Schwartzbach,
Anders Møller,
2002,
Automated Software Engineering.
Nils Klarlund,
Anders Møller,
Michael I. Schwartzbach,
2000
.
Anders Sandholm,
Michael I. Schwartzbach,
M. Schwartzbach,
2000,
POPL '00.
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1992,
Inf. Comput..
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1992
.
Claus Brabrand,
Michael I. Schwartzbach,
M. Schwartzbach,
2000,
PEPM '02.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
POPL '93.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
Proceedings., 33rd Annual Symposium on Foundations of Computer Science.