An Imperative Type Hierarchy with Partial Products. - Erik Meineche Schmidt; Michael I. Schwartzbach (MFCS, 1989)

Infinite Values in Hierarchical Imperative Types. - Michael I. Schwartzbach (CAAP, 1990)

Type Substitution for Object-Oriented Programming. - Jens Palsberg; Michael I. Schwartzbach (OOPSLA/ECOOP, 1990)

What is Type-Safe Code Reuse? - Jens Palsberg; Michael I. Schwartzbach (ECOOP, 1991)

Object-Oriented Type Inference. - Jens Palsberg; Michael I. Schwartzbach (OOPSLA, 1991)

Type Inference with Inequalities. - Michael I. Schwartzbach (TAPSOFT, Vol.1, 1991)

Making Type Inference Practical. - Nicholas Oxhøj; Jens Palsberg; Michael I. Schwartzbach (ECOOP, 1992)

A New Formalism for Relational Algebra. - Kim S. Larsen; Michael I. Schwartzbach; Erik Meineche Schmidt (Inf. Process. Lett., 1992)

Safety Analysis Versus Type Inference for Partial Types. - Jens Palsberg; Michael I. Schwartzbach (Inf. Process. Lett., 1992)

Three discussions on object-oriented typing. - Jens Palsberg; Michael I. Schwartzbach (OOPS Messenger, 1992)

Types for the language designer (abstract). - Michael I. Schwartzbach; Jens Palsberg (OOPSLA Addendum, 1992)

Interpretations of Recursively Defined Types. - Michael I. Schwartzbach (Theor. Comput. Sci., 1992)

Type Inference of SELF. - Ole Agesen; Jens Palsberg; Michael I. Schwartzbach (ECOOP, 1993)

Graph Types. - Nils Klarlund; Michael I. Schwartzbach (POPL, 1993)

Object-oriented type systems. - Jens Palsberg; Michael I. Schwartzbach (Wiley, 1994)

Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract). - Nils Klarlund; Michael I. Schwartzbach (CAAP, 1994)

Binding-time Analysis: Abstract Interpretation versus Type Inference. - Jens Palsberg; Michael I. Schwartzbach (ICCL, 1994)

Efficient Inference of Partial Types. - Dexter Kozen; Jens Palsberg; Michael I. Schwartzbach (J. Comput. Syst. Sci., 1994)

Injectivity of Composite Functions. - Kim S. Larsen; Michael I. Schwartzbach (J. Symb. Comput., 1994)

Static Typing for Object-Oriented Programming. - Jens Palsberg; Michael I. Schwartzbach (Sci. Comput. Program., 1994)

Efficient Recursive Subtyping. - Dexter Kozen; Jens Palsberg; Michael I. Schwartzbach (Math. Struct. Comput. Sci., 1995)

Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance - Ole Agesen; Jens Palsberg; Michael I. Schwartzbach (Softw. Pract. Exp., 1995)

Type Inference for Turbo Pascal. - Ole I. Hougaard; Michael I. Schwartzbach; Hosein Askari (Softw. Concepts Tools, 1995)

Editorial. - Jens Palsberg; Michael I. Schwartzbach (Theory Pract. Object Syst., 1995)

Safety Analysis versus Type Inference - Jens Palsberg; Michael I. Schwartzbach (Inf. Comput., 1995)

Formal Design Constraints. - Nils Klarlund; Jari Koistinen; Michael I. Schwartzbach (OOPSLA, 1996)

Foreword: Special Volume of TAPSOFT 1995 Papers. - Peter D. Mosses; Mogens Nielsen; Michael I. Schwartzbach (Theor. Comput. Sci., 1996)

Static Correctness of Hierarchical Procedures. - Michael I. Schwartzbach (Theor. Comput. Sci., 1996)

Automatic Verification of Pointer Programs using Monadic Second-Order Logic. - Jakob L. Jensen; Michael E. Jørgensen; Nils Klarlund; Michael I. Schwartzbach (PLDI, 1997)

Distributed Safety Controllers for Web Services. - Anders Sandholm 001; Michael I. Schwartzbach (FASE, 1998)

Yakyak: parsing with logical side constraints. - Nils Klarlund; Niels Damgaard; Michael I. Schwartzbach (Developments in Language Theory, 1999)

A Runtime System for Interactive Web Services. - Claus Brabrand; Anders Møller; Anders Sandholm 001; Michael I. Schwartzbach (Comput. Networks, 1999)

A Domain-Specific Language for Regular Sets of Strings and Trees. - Nils Klarlund; Michael I. Schwartzbach (IEEE Trans. Software Eng., 1999)

Compile-Time Debugging of C Programs Working on Trees. - Jacob Elgaard; Anders Møller; Michael I. Schwartzbach (ESOP, 2000)

DSD: A schema language for XML. - Nils Klarlund; Anders Møller; Michael I. Schwartzbach (FMSP, 2000)

A Type System for Dynamic Web Documents. - Anders Sandholm 001; Michael I. Schwartzbach (POPL, 2000)

PowerForms: Declarative client-side form field validation. - Claus Brabrand; Anders Møller; Mikkel Ricky; Michael I. Schwartzbach (World Wide Web, 2000)

Static validation of dynamically generated HTML. - Claus Brabrand; Anders Møller; Michael I. Schwartzbach (PASTE, 2001)

The Pointer Assertion Logic Engine. - Anders Møller; Michael I. Schwartzbach (PLDI, 2001)

Growing languages with metamorphic syntax macros. - Claus Brabrand; Michael I. Schwartzbach (PEPM, 2002)

The DSD Schema Language. - Nils Klarlund; Anders Møller; Michael I. Schwartzbach (Autom. Softw. Eng., 2002)

MONA Implementation Secrets. - Nils Klarlund; Anders Møller; Michael I. Schwartzbach (Int. J. Found. Comput. Sci., 2002)

The <bigwig> project. - Claus Brabrand; Anders Møller; Michael I. Schwartzbach (ACM Trans. Internet Techn., 2002)

Language-Based Caching of Dynamiclly Generated HTML. - Claus Brabrand; Anders Møller; Steffan Olesen; Michael I. Schwartzbach (World Wide Web, 2002)

Precise Analysis of String Expressions. - Aske Simon Christensen; Anders Møller; Michael I. Schwartzbach (SAS, 2003)

The metafront System: Extensible Parsing and Transformation. - Claus Brabrand; Michael I. Schwartzbach; Mads Vanggaard (LDTA@ETAPS, 2003)

Extending Java for high-level Web service construction. - Aske Simon Christensen; Anders Møller; Michael I. Schwartzbach (ACM Trans. Program. Lang. Syst., 2003)

Static Analysis of XML Transformations in Java. - Christian Kirkegaard; Anders Møller; Michael I. Schwartzbach (IEEE Trans. Software Eng., 2004)

The Design Space of Type Checkers for XML Transformation Languages. - Anders Møller; Michael I. Schwartzbach (ICDT, 2005)

An introduction to XML and web technologies. - Anders Møller; Michael I. Schwartzbach (Addison-Wesley, 2006)

Contracts for Cooperation between Web Service Programmers and HTML Designers. - Henning Böttger; Anders Møller; Michael I. Schwartzbach (J. Web Eng., 2006)

A singular choice for multiple choice. - Gudmund Skovbjerg Frandsen; Michael I. Schwartzbach (ACM SIGCSE Bull., 2006)

A domain-specific programming language for secure multiparty computation. - Janus Dam Nielsen; Michael I. Schwartzbach (PLAS, 2007)

The metafront system: Safe and extensible parsing and transformation. - Claus Brabrand; Michael I. Schwartzbach (Sci. Comput. Program., 2007)

Static validation of XSL transformations. - Anders Møller; Mads Østerby Olesen; Michael I. Schwartzbach (ACM Trans. Program. Lang. Syst., 2007)

Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. - Michael I. Schwartzbach (CC, 2008)

Multiparty Computation Goes Live. - Peter Bogetoft; Dan Lund Christensen; Ivan Damgård; Martin Geisler 001; Thomas P. Jakobsen; Mikkel Krøigaard; Janus Dam Nielsen; Jesper Buus Nielsen; Kurt Nielsen; Jakob Pagter; Michael I. Schwartzbach; Tomas Toft (IACR Cryptol. ePrint Arch., 2008)

Dual syntax for XML languages. - Claus Brabrand; Anders Møller; Michael I. Schwartzbach (Inf. Syst., 2008)

Secure Multiparty Computation Goes Live. - Peter Bogetoft; Dan Lund Christensen; Ivan Damgård; Martin Geisler 001; Thomas P. Jakobsen; Mikkel Krøigaard; Janus Dam Nielsen; Jesper Buus Nielsen; Kurt Nielsen; Jakob Pagter; Michael I. Schwartzbach; Tomas Toft (Financial Cryptography, 2009)

Information systems preface. - Marcelo Arenas; Michael I. Schwartzbach (Inf. Syst., 2009)

Related Types. - Johnni Winther; Michael I. Schwartzbach (ECOOP, 2011)

XML graphs in program analysis. - Anders Møller; Michael I. Schwartzbach (Sci. Comput. Program., 2011)

WebSelF: A Web Scraping Framework. - Jakob G. Thomsen; Erik Ernst; Claus Brabrand; Michael I. Schwartzbach (ICWE, 2012)