Michael I. Schwartzbach

Publication Activity (10 Years)

Years Active: 1989-2012
Publications (10 Years): 0

Top Topics

Image Sequences

Theoretical Framework

Top Venues

Publications

Jakob G. Thomsen, Erik Ernst, Claus Brabrand, Michael I. Schwartzbach
WebSelF: A Web Scraping Framework. ICWE (2012)
Anders Møller, Michael I. Schwartzbach
XML graphs in program analysis. Sci. Comput. Program. 76 (6) (2011)
Johnni Winther, Michael I. Schwartzbach
Related Types. ECOOP (2011)
Marcelo Arenas, Michael I. Schwartzbach
Information systems preface. Inf. Syst. 34 (7) (2009)
Peter Bogetoft, Dan Lund Christensen, Ivan Damgård, Martin Geisler, Thomas P. Jakobsen, Mikkel Krøigaard, Janus Dam Nielsen, Jesper Buus Nielsen, Kurt Nielsen, Jakob Pagter, Michael I. Schwartzbach, Tomas Toft
Secure Multiparty Computation Goes Live. Financial Cryptography (2009)
Peter Bogetoft, Dan Lund Christensen, Ivan Damgård, Martin Geisler, Thomas P. Jakobsen, Mikkel Krøigaard, Janus Dam Nielsen, Jesper Buus Nielsen, Kurt Nielsen, Jakob Pagter, Michael I. Schwartzbach, Tomas Toft
Multiparty Computation Goes Live. IACR Cryptol. ePrint Arch. 2008 (2008)
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
Dual syntax for XML languages. Inf. Syst. 33 (4-5) (2008)
Michael I. Schwartzbach
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. CC (2008)
Janus Dam Nielsen, Michael I. Schwartzbach
A domain-specific programming language for secure multiparty computation. PLAS (2007)
Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach
Static validation of XSL transformations. ACM Trans. Program. Lang. Syst. 29 (4) (2007)
Claus Brabrand, Michael I. Schwartzbach
The metafront system: Safe and extensible parsing and transformation. Sci. Comput. Program. 68 (1) (2007)
Anders Møller, Michael I. Schwartzbach
XML graphs in program analysis. PEPM (2007)
Gudmund Skovbjerg Frandsen, Michael I. Schwartzbach
A singular choice for multiple choice. ACM SIGCSE Bull. 38 (4) (2006)
Henning Böttger, Anders Møller, Michael I. Schwartzbach
Contracts for Cooperation between Web Service Programmers and HTML Designers. J. Web Eng. 5 (1) (2006)
Anders Møller, Michael I. Schwartzbach
The Design Space of Type Checkers for XML Transformation Languages. ICDT (2005)
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
Dual Syntax for XML Languages. DBPL (2005)
Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach
Static Analysis of XML Transformations in Java. IEEE Trans. Software Eng. 30 (3) (2004)
Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard
The metafront System: Extensible Parsing and Transformation. Electron. Notes Theor. Comput. Sci. 82 (3) (2003)
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
Precise Analysis of String Expressions. SAS (2003)
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
Extending Java for high-level Web service construction. ACM Trans. Program. Lang. Syst. 25 (6) (2003)
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
The DSD Schema Language. Autom. Softw. Eng. 9 (3) (2002)
Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach
Language-Based Caching of Dynamiclly Generated HTML. World Wide Web 5 (4) (2002)
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
The project. ACM Trans. Internet Techn. 2 (2) (2002)
Claus Brabrand, Michael I. Schwartzbach
Growing languages with metamorphic syntax macros. PEPM (2002)
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
MONA Implementation Secrets. Int. J. Found. Comput. Sci. 13 (4) (2002)
Anders Møller, Michael I. Schwartzbach
The Pointer Assertion Logic Engine. PLDI (2001)
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
Static validation of dynamically generated HTML. PASTE (2001)
Anders Sandholm, Michael I. Schwartzbach
A Type System for Dynamic Web Documents. POPL (2000)
Jacob Elgaard, Anders Møller, Michael I. Schwartzbach
Compile-Time Debugging of C Programs Working on Trees. ESOP (2000)
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
MONA Implementation Secrets. CIAA (2000)
Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach
PowerForms: Declarative client-side form field validation. World Wide Web 3 (4) (2000)
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
DSD: A schema language for XML. FMSP (2000)
Claus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach
A Runtime System for Interactive Web Services. Comput. Networks 31 (11-16) (1999)
Nils Klarlund, Niels Damgaard, Michael I. Schwartzbach
Yakyak: parsing with logical side constraints. Developments in Language Theory (1999)
Nils Klarlund, Michael I. Schwartzbach
A Domain-Specific Language for Regular Sets of Strings and Trees. IEEE Trans. Software Eng. 25 (3) (1999)
Anders Sandholm, Michael I. Schwartzbach
Distributed Safety Controllers for Web Services. FASE (1998)
Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach
Automatic Verification of Pointer Programs using Monadic Second-Order Logic. PLDI (1997)
Nils Klarlund, Michael I. Schwartzbach
A Domain-Specific Language for Regular Sets of Strings and Trees. DSL (1997)
Michael I. Schwartzbach
Static Correctness of Hierarchical Procedures. Theor. Comput. Sci. 156 (1&2) (1996)
Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach
Formal Design Constraints. OOPSLA (1996)
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
Foreword: Special Volume of TAPSOFT 1995 Papers. Theor. Comput. Sci. 167 (1&2) (1996)
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
Efficient Recursive Subtyping. Math. Struct. Comput. Sci. 5 (1) (1995)
Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari
Type Inference for Turbo Pascal. Softw. Concepts Tools 16 (4) (1995)
Jens Palsberg, Michael I. Schwartzbach
Editorial. Theory Pract. Object Syst. 1 (3) (1995)
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance Softw. Pract. Exp. 25 (9) (1995)
Jens Palsberg, Michael I. Schwartzbach
Safety Analysis versus Type Inference Inf. Comput. 118 (1) (1995)
Jens Palsberg, Michael I. Schwartzbach
Static Typing for Object-Oriented Programming. Sci. Comput. Program. 23 (1) (1994)
Nils Klarlund, Michael I. Schwartzbach
Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract). CAAP (1994)
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
Efficient Inference of Partial Types. J. Comput. Syst. Sci. 49 (2) (1994)
Kim S. Larsen, Michael I. Schwartzbach
Injectivity of Composite Functions. J. Symb. Comput. 17 (5) (1994)
Jens Palsberg, Michael I. Schwartzbach
Binding-time Analysis: Abstract Interpretation versus Type Inference. ICCL (1994)
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
Efficient Recursive Subtyping. POPL (1993)
Michael I. Schwartzbach, Jens Palsberg
Types for the language designer (abstract). OOPS Messenger 4 (2) (1993)
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
Type Inference of SELF. ECOOP (1993)
Nils Klarlund, Michael I. Schwartzbach
Graph Types. POPL (1993)
Jens Palsberg, Michael I. Schwartzbach
Safety Analysis Versus Type Inference for Partial Types. Inf. Process. Lett. 43 (4) (1992)
Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach
Making Type Inference Practical. ECOOP (1992)
Jens Palsberg, Michael I. Schwartzbach
Three discussions on object-oriented typing. OOPS Messenger 3 (2) (1992)
Michael I. Schwartzbach
Interpretations of Recursively Defined Types. Theor. Comput. Sci. 106 (1) (1992)
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
Efficient Inference of Partial Types FOCS (1992)
Kim S. Larsen, Michael I. Schwartzbach, Erik Meineche Schmidt
A New Formalism for Relational Algebra. Inf. Process. Lett. 41 (3) (1992)
Michael I. Schwartzbach
Type Inference with Inequalities. TAPSOFT, Vol.1 (1991)
Jens Palsberg, Michael I. Schwartzbach
Object-Oriented Type Inference. OOPSLA (1991)
Jens Palsberg, Michael I. Schwartzbach
What is Type-Safe Code Reuse? ECOOP (1991)
Jens Palsberg, Michael I. Schwartzbach
Type Substitution for Object-Oriented Programming. OOPSLA/ECOOP (1990)
Michael I. Schwartzbach
Static Correctness of Hierarchical Procedures. ICALP (1990)
Michael I. Schwartzbach
Infinite Values in Hierarchical Imperative Types. CAAP (1990)
Erik Meineche Schmidt, Michael I. Schwartzbach
An Imperative Type Hierarchy with Partial Products. MFCS (1989)