Michael I. Schwartzbach
发表
Anders B. Sandholm,
Michael I. Schwartzbach,
1997
.
Michael I. Schwartzbach,
Janus Dam Nielsen,
M. I. Schwartzbach,
2007,
PLAS '07.
Mogens Nielsen,
Peter D. Mosses,
Michael I. Schwartzbach,
1995
.
Jens Palsberg,
Michael I. Schwartzbach,
1991,
OOPSLA 1991.
Claus Brabrand,
Michael I. Schwartzbach,
Anders Møller,
2004,
World Wide Web.
Claus Brabrand,
Michael I. Schwartzbach,
M. Schwartzbach,
2000,
PEPM '02.
Michael I. Schwartzbach,
M. Schwartzbach,
1994
.
Michael I. Schwartzbach,
Anders Møller,
Jacob Elgaard,
2000,
ESOP.
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1992,
Inf. Comput..
Nils Klarlund,
Michael I. Schwartzbach,
1994
.
Claus Brabrand,
Michael I. Schwartzbach,
Mads Vanggaard,
2003,
LDTA@ETAPS.
Nils Klarlund,
Michael I. Schwartzbach,
Jari Koistinen,
1995
.
Jens Palsberg,
Michael I. Schwartzbach,
Ole Agesen,
1993
.
Michael I. Schwartzbach,
Anders Møller,
M. I. Schwartzbach,
2000,
PLDI '01.
Claus Brabrand,
Michael I. Schwartzbach,
Anders Møller,
2005,
DBPL.
Oege de Moor,
Michael I. Schwartzbach,
2009
.
Claus Brabrand,
Erik Ernst,
Michael I. Schwartzbach,
2012,
ICWE.
Michael I. Schwartzbach,
M. Schwartzbach,
1990,
TAPSOFT, Vol.1.
Jens Palsberg,
Michael I. Schwartzbach,
Ole Agesen,
1993,
ECOOP.
Jens Palsberg,
Michael I. Schwartzbach,
1992,
OOPS.
Jens Palsberg,
Michael I. Schwartzbach,
1994,
Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94).
Michael I. Schwartzbach,
2008,
CC.
Susanne Graf,
Michael I. Schwartzbach,
2000,
TACAS.
Jens Palsberg,
Michael I. Schwartzbach,
1994,
Wiley professional computing.
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1990
.
Claus Brabrand,
Michael I. Schwartzbach,
Mads Vanggaard,
2003
.
Aske Simon Christensen,
Michael I. Schwartzbach,
Anders Møller,
2003,
SAS.
Erik Meineche Schmidt,
Kim S. Larsen,
Michael I. Schwartzbach,
1992,
Inf. Process. Lett..
Oege de Moor,
Michael I. Schwartzbach,
M. Schwartzbach,
2009
.
Nils Klarlund,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1993,
POPL '93.
Thomas Ball,
Michael I. Schwartzbach,
2006,
PLDI 2006.
Michael I. Schwartzbach,
1996,
Theor. Comput. Sci..
Ivan Damgård,
Tomas Toft,
Martin Geisler,
2009,
Financial Cryptography.
Michael I. Schwartzbach,
M. Schwartzbach,
1992,
Theor. Comput. Sci..
Michael I. Schwartzbach,
1989
.
Michael I. Schwartzbach,
Anders Møller,
Mads Østerby Olesen,
2005,
TOPL.
Susanne Graf,
Michael I. Schwartzbach,
2000
.
Mogens Nielsen,
Peter D. Mosses,
Michael I. Schwartzbach,
1996,
Theor. Comput. Sci..
Michael I. Schwartzbach,
Anders Møller,
2011,
Encyclopedia of Cryptography and Security.
Jens Palsberg,
Michael I. Schwartzbach,
Ole Agesen,
1995,
Softw. Pract. Exp..
Nils Klarlund,
Michael I. Schwartzbach,
Anders Møller,
2000,
CIAA.
Jens Palsberg,
Michael I. Schwartzbach,
1992,
Inf. Process. Lett..
Michael I. Schwartzbach,
Anders Møller,
2011,
Sci. Comput. Program..
Claus Brabrand,
Michael I. Schwartzbach,
Anders Møller,
2005,
Inf. Syst..
Claus Brabrand,
Michael I. Schwartzbach,
Anders Møller,
2002,
ACM Trans. Internet Techn..
Nils Klarlund,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1994,
CAAP.
Claus Brabrand,
Anders Sandholm,
Michael I. Schwartzbach,
2000
.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1991,
OOPSLA '91.
Claus Brabrand,
Michael I. Schwartzbach,
2007,
Sci. Comput. Program..
Michael I. Schwartzbach,
Anders Møller,
2005
.
Marcelo Arenas,
Michael I. Schwartzbach,
M. Schwartzbach,
2007
.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
POPL '93.
Anders Møller,
Michael I. Schwartzbach,
Henning Böttger,
2006,
J. Web Eng..
Nils Klarlund,
Michael I. Schwartzbach,
Anders Møller,
2002,
Automated Software Engineering.
Gudmund Skovbjerg Frandsen,
Michael I. Schwartzbach,
2006,
ACM SIGCSE Bull..
Thomas Ball,
Michael I. Schwartzbach,
2006,
PLDI.
Aske Simon Christensen,
Michael I. Schwartzbach,
Anders Møller,
2002,
TOPL.
Nils Klarlund,
Michael I. Schwartzbach,
Niels Damgaard,
1999,
Developments in Language Theory.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1990,
ECOOP.
Nils Klarlund,
Michael I. Schwartzbach,
Jari Koistinen,
1996,
OOPSLA '96.
Aske Simon Christensen,
Michael I. Schwartzbach,
Anders Møller,
2002
.
Marcelo Arenas,
Michael I. Schwartzbach,
2009,
Inf. Syst..
Michael I. Schwartzbach,
Johnni Winther,
M. Schwartzbach,
2011,
ECOOP.
Anders Sandholm,
Michael I. Schwartzbach,
M. Schwartzbach,
1997,
FASE.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
Claus Brabrand,
Michael I. Schwartzbach,
M. Schwartzbach,
2000,
PEPM '02.
Thomas Ball,
Michael I. Schwartzbach,
2006
.
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1991,
Sci. Comput. Program..
Anders Sandholm,
Michael I. Schwartzbach,
M. Schwartzbach,
2000,
POPL '00.
Nils Klarlund,
Michael I. Schwartzbach,
Michael E. Jørgensen,
1997,
PLDI '97.
Jens Palsberg,
Michael I. Schwartzbach,
1991
.
Anders Møller,
Michael I. Schwartzbach,
M. I. Schwartzbach,
2004,
ICDT.
Ivan Damgård,
Tomas Toft,
Martin Geisler,
2008,
IACR Cryptol. ePrint Arch..
Nils Klarlund,
Michael I. Schwartzbach,
1997,
IEEE Trans. Software Eng..
Kim S. Larsen,
Michael I. Schwartzbach,
1994,
J. Symb. Comput..
Claus Brabrand,
Michael I. Schwartzbach,
Anders Møller,
2001,
PASTE '01.
Claus Brabrand,
Michael I. Schwartzbach,
Anders Moeller,
2022
.
Erik Meineche Schmidt,
Michael I. Schwartzbach,
1989,
MFCS.
Jens Palsberg,
Michael I. Schwartzbach,
1995,
Theory Pract. Object Syst..
Michael I. Schwartzbach,
M. Schwartzbach,
1989,
Theor. Comput. Sci..
Marcelo Arenas,
Michael I. Schwartzbach,
2007,
DBPL.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1990,
OOPSLA/ECOOP '90.
Christian Kirkegaard,
Michael I. Schwartzbach,
Anders Møller,
2003,
IEEE Transactions on Software Engineering.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1992,
ECOOP.
Claus Brabrand,
Anders Sandholm,
Michael I. Schwartzbach,
1999
.
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1992,
OOPSLA '92.
Nils Klarlund,
Michael I. Schwartzbach,
Anders Møller,
2000,
Int. J. Found. Comput. Sci..
Michael I. Schwartzbach,
Ole I. Hougaard,
Hosein Askari,
1995,
Softw. Concepts Tools.
Jens Palsberg,
Michael I. Schwartzbach,
1990
.
Jens Palsberg,
Michael I. Schwartzbach,
Nicholas Oxhøj,
1992
.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
Michael I. Schwartzbach,
1990,
CAAP.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
POPL '93.
Michael I. Schwartzbach,
Anders Møller,
M. Schwartzbach,
2007,
PEPM '07.
Kurt Mehlhorn,
Karsten Weihe,
Mooly Sagiv,
2021
.
Prakash Panangaden,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1985
.
Michael I. Schwartzbach,
Anders Møller,
2004
.
Jens Palsberg,
Michael I. Schwartzbach,
1991
.
Jens Palsberg,
Michael I. Schwartzbach,
1992
.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1992
.
Nils Klarlund,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1994
.
Prakash Panangaden,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1989
.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1995
.
Jens Palsberg,
Michael I. Schwartzbach,
1990
.
Jens Palsberg,
Michael I. Schwartzbach,
1991
.
Nils Klarlund,
Michael I. Schwartzbach,
1994
.
Jens Palsberg,
Michael I. Schwartzbach,
1992
.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992
.
Jens Palsberg,
Michael I. Schwartzbach,
1990
.
Jens Palsberg,
Michael I. Schwartzbach,
1990
.