Michael I. Schwartzbach

75 papers A* 8A 9B 6C 4Journal 31Unranked 13
YearRankTypeTitle / Venue / Authors
2012 B conf
WebSelF: A Web Scraping Framework.
ICWE
Jakob G. Thomsen, Erik Ernst, Claus Brabrand, Michael I. Schwartzbach
2011 A conf
Related Types.
ECOOP
Johnni Winther, Michael I. Schwartzbach
2011 J jnl
XML graphs in program analysis.
Sci. Comput. Program.
Anders Møller, Michael I. Schwartzbach
2009 B ed.
Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
CC
Oege de Moor, Michael I. Schwartzbach
2009 J jnl
Information systems preface.
Inf. Syst.
Marcelo Arenas, Michael I. Schwartzbach
2009 — conf
Secure Multiparty Computation Goes Live.
Financial Cryptography
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
2008 B conf
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation.
CC
Michael I. Schwartzbach
2008 J jnl
Dual syntax for XML languages.
Inf. Syst.
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2008 J jnl
Multiparty Computation Goes Live.
IACR Cryptol. ePrint Arch.
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
2007 — conf
A domain-specific programming language for secure multiparty computation.
PLAS
Janus Dam Nielsen, Michael I. Schwartzbach
2007 — ed.
Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers
DBPL
Marcelo Arenas, Michael I. Schwartzbach
2007 J jnl
Static validation of XSL transformations.
ACM Trans. Program. Lang. Syst.
Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach
2007 J jnl
The metafront system: Safe and extensible parsing and transformation.
Sci. Comput. Program.
Claus Brabrand, Michael I. Schwartzbach
2007 C conf
XML graphs in program analysis.
PEPM
Anders Møller, Michael I. Schwartzbach
2006 J jnl
A singular choice for multiple choice.
ACM SIGCSE Bull.
Gudmund Skovbjerg Frandsen, Michael I. Schwartzbach
2006 — book
An introduction to XML and web technologies.
Anders Møller, Michael I. Schwartzbach
2006 J jnl
Contracts for Cooperation between Web Service Programmers and HTML Designers.
J. Web Eng.
Henning Böttger, Anders Møller, Michael I. Schwartzbach
2006 A* ed.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006
PLDI
Michael I. Schwartzbach, Thomas Ball
2005 — conf
Dual Syntax for XML Languages.
DBPL
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2005 A conf
The Design Space of Type Checkers for XML Transformation Languages.
ICDT
Anders Møller, Michael I. Schwartzbach
2004 J jnl
Static Analysis of XML Transformations in Java.
IEEE Trans. Software Eng.
Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach
2003 J jnl
Extending Java for high-level Web service construction.
ACM Trans. Program. Lang. Syst.
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
2003 B conf
Precise Analysis of String Expressions.
SAS
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
2003 — conf
The metafront System: Extensible Parsing and Transformation.
LDTA@ETAPS
Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard
2002 C conf
Growing languages with metamorphic syntax macros.
PEPM
Claus Brabrand, Michael I. Schwartzbach
2002 J jnl
Language-Based Caching of Dynamiclly Generated HTML.
World Wide Web
Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach
2002 J jnl
MONA Implementation Secrets.
Int. J. Found. Comput. Sci.
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
2002 J jnl
The <bigwig> project.
ACM Trans. Internet Techn.
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2002 J jnl
The DSD Schema Language.
Autom. Softw. Eng.
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
2001 — conf
Static validation of dynamically generated HTML.
PASTE
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2001 A* conf
The Pointer Assertion Logic Engine.
PLDI
Anders Møller, Michael I. Schwartzbach
2000 A* conf
A Type System for Dynamic Web Documents.
POPL
Anders Sandholm, Michael I. Schwartzbach
2000 A conf
Compile-Time Debugging of C Programs Working on Trees.
ESOP
Jacob Elgaard, Anders Møller, Michael I. Schwartzbach
2000 — conf
DSD: A schema language for XML.
FMSP
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
2000 C conf
MONA Implementation Secrets.
CIAA
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
2000 J jnl
PowerForms: Declarative client-side form field validation.
World Wide Web
Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach
2000 A ed.
Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings
TACAS
Susanne Graf, Michael I. Schwartzbach
1999 J jnl
A Domain-Specific Language for Regular Sets of Strings and Trees.
IEEE Trans. Software Eng.
Nils Klarlund, Michael I. Schwartzbach
1999 J jnl
A Runtime System for Interactive Web Services.
Comput. Networks
Claus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach
1999 C conf
Yakyak: parsing with logical side constraints.
Developments in Language Theory
Nils Klarlund, Niels Damgaard, Michael I. Schwartzbach
1998 B conf
Distributed Safety Controllers for Web Services.
FASE
Anders Sandholm, Michael I. Schwartzbach
1997 — conf
A Domain-Specific Language for Regular Sets of Strings and Trees.
DSL
Nils Klarlund, Michael I. Schwartzbach
1997 A* conf
Automatic Verification of Pointer Programs using Monadic Second-Order Logic.
PLDI
Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach
1996 J jnl
Foreword: Special Volume of TAPSOFT 1995 Papers.
Theor. Comput. Sci.
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
1996 A conf
Formal Design Constraints.
OOPSLA
Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach
1996 J jnl
Static Correctness of Hierarchical Procedures.
Theor. Comput. Sci.
Michael I. Schwartzbach
1995 J jnl
Editorial.
Theory Pract. Object Syst.
Jens Palsberg, Michael I. Schwartzbach
1995 J jnl
Efficient Recursive Subtyping.
Math. Struct. Comput. Sci.
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
1995 J jnl
Safety Analysis versus Type Inference
Inf. Comput.
Jens Palsberg, Michael I. Schwartzbach
1995 — ed.
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings
TAPSOFT
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
1995 J jnl
Type Inference for Turbo Pascal.
Softw. Concepts Tools
Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari
1995 J jnl
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
Softw. Pract. Exp.
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
1994 — conf
Binding-time Analysis: Abstract Interpretation versus Type Inference.
ICCL
Jens Palsberg, Michael I. Schwartzbach
1994 J jnl
Efficient Inference of Partial Types.
J. Comput. Syst. Sci.
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
1994 — conf
Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract).
CAAP
Nils Klarlund, Michael I. Schwartzbach
1994 J jnl
Injectivity of Composite Functions.
J. Symb. Comput.
Kim S. Larsen, Michael I. Schwartzbach
1994 — book
Object-oriented type systems.
Jens Palsberg, Michael I. Schwartzbach
1994 J jnl
Static Typing for Object-Oriented Programming.
Sci. Comput. Program.
Jens Palsberg, Michael I. Schwartzbach
1993 A* conf
Efficient Recursive Subtyping.
POPL
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
1993 A* conf
Graph Types.
POPL
Nils Klarlund, Michael I. Schwartzbach
1993 A conf
Type Inference of SELF.
ECOOP
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
1992 J jnl
A New Formalism for Relational Algebra.
Inf. Process. Lett.
Kim S. Larsen, Michael I. Schwartzbach, Erik Meineche Schmidt
1992 A* conf
Efficient Inference of Partial Types
FOCS
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
1992 J jnl
Interpretations of Recursively Defined Types.
Theor. Comput. Sci.
Michael I. Schwartzbach
1992 A conf
Making Type Inference Practical.
ECOOP
Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach
1992 J jnl
Safety Analysis Versus Type Inference for Partial Types.
Inf. Process. Lett.
Jens Palsberg, Michael I. Schwartzbach
1992 J jnl
Three discussions on object-oriented typing.
OOPS Messenger
Jens Palsberg, Michael I. Schwartzbach
1992 — conf
Types for the language designer (abstract).
OOPSLA Addendum
Michael I. Schwartzbach, Jens Palsberg
1991 A conf
Object-Oriented Type Inference.
OOPSLA
Jens Palsberg, Michael I. Schwartzbach
1991 — conf
Type Inference with Inequalities.
TAPSOFT, Vol.1
Michael I. Schwartzbach
1991 A conf
What is Type-Safe Code Reuse?
ECOOP
Jens Palsberg, Michael I. Schwartzbach
1990 — conf
Infinite Values in Hierarchical Imperative Types.
CAAP
Michael I. Schwartzbach
1990 A* conf
Static Correctness of Hierarchical Procedures.
ICALP
Michael I. Schwartzbach
1990 — conf
Type Substitution for Object-Oriented Programming.
OOPSLA/ECOOP
Jens Palsberg, Michael I. Schwartzbach
1989 B conf
An Imperative Type Hierarchy with Partial Products.
MFCS
Erik Meineche Schmidt, Michael I. Schwartzbach