| 2008 |
|---|
| 28 | EE | Anders Møller:
Static Analysis for Event-Based XML Processing.
PLAN-X 2008 |
| 27 | EE | Claus Brabrand,
Anders Møller,
Michael I. Schwartzbach:
Dual syntax for XML languages.
Inf. Syst. 33(4-5): 385-406 (2008) |
| 2007 |
|---|
| 26 | EE | Claus Brabrand,
Robert Giegerich,
Anders Møller:
Analyzing Ambiguity of Context-Free Grammars.
CIAA 2007: 214-225 |
| 25 | EE | Anders Møller,
Michael I. Schwartzbach:
XML graphs in program analysis.
PEPM 2007: 1-10 |
| 24 | EE | Anders Møller,
Mads Østerby Olesen,
Michael I. Schwartzbach:
Static validation of XSL transformations.
ACM Trans. Program. Lang. Syst. 29(4): (2007) |
| 2006 |
|---|
| 23 | | Christian Kirkegaard,
Anders Møller:
Type Checking with XML Schema in XACT.
PLAN-X 2006: 14-23 |
| 22 | | Christian Kirkegaard,
Anders Møller:
XACT - XML Transformations in Java.
PLAN-X 2006: 87 |
| 21 | EE | Christian Kirkegaard,
Anders Møller:
Static Analysis for Java Servlets and JSP.
SAS 2006: 336-352 |
| 20 | | Henning Böttger,
Anders Møller,
Michael I. Schwartzbach:
Contracts for Cooperation between Web Service Programmers and HTML Designers.
J. Web Eng. 5(1): 65-90 (2006) |
| 2005 |
|---|
| 19 | EE | Claus Brabrand,
Anders Møller,
Michael I. Schwartzbach:
Dual Syntax for XML Languages.
DBPL 2005: 27-41 |
| 18 | EE | Anders Møller,
Michael I. Schwartzbach:
The Design Space of Type Checkers for XML Transformation Languages.
ICDT 2005: 17-36 |
| 2004 |
|---|
| 17 | EE | Aske Simon Christensen,
Christian Kirkegaard,
Anders Møller:
A Runtime System for XML Transformations in Java.
XSym 2004: 143-157 |
| 16 | EE | Anders Møller:
Verifying Programs that Manipulate Pointers: (Invited Talk).
Electr. Notes Theor. Comput. Sci. 98: 3-4 (2004) |
| 15 | EE | Christian Kirkegaard,
Anders Møller,
Michael I. Schwartzbach:
Static Analysis of XML Transformations in Java.
IEEE Trans. Software Eng. 30(3): 181-192 (2004) |
| 2003 |
|---|
| 14 | EE | Aske Simon Christensen,
Anders Møller,
Michael I. Schwartzbach:
Precise Analysis of String Expressions.
SAS 2003: 1-18 |
| 13 | EE | Aske Simon Christensen,
Anders Møller,
Michael I. Schwartzbach:
Extending Java for high-level Web service construction.
ACM Trans. Program. Lang. Syst. 25(6): 814-875 (2003) |
| 2002 |
|---|
| 12 | EE | Claus Brabrand,
Anders Møller,
Michael I. Schwartzbach:
The <bigwig> project.
ACM Trans. Internet Techn. 2(2): 79-114 (2002) |
| 11 | | Nils Klarlund,
Anders Møller,
Michael I. Schwartzbach:
The DSD Schema Language.
Autom. Softw. Eng. 9(3): 285-319 (2002) |
| 10 | EE | Nils Klarlund,
Anders Møller,
Michael I. Schwartzbach:
MONA Implementation Secrets.
Int. J. Found. Comput. Sci. 13(4): 571-586 (2002) |
| 9 | | Claus Brabrand,
Anders Møller,
Steffan Olesen,
Michael I. Schwartzbach:
Language-Based Caching of Dynamiclly Generated HTML.
World Wide Web 5(4): 305-324 (2002) |
| 2001 |
|---|
| 8 | EE | Claus Brabrand,
Anders Møller,
Michael I. Schwartzbach:
Static validation of dynamically generated HTML.
PASTE 2001: 38-45 |
| 7 | | Anders Møller,
Michael I. Schwartzbach:
The Pointer Assertion Logic Engine.
PLDI 2001: 221-231 |
| 2000 |
|---|
| 6 | EE | Nils Klarlund,
Anders Møller,
Michael I. Schwartzbach:
MONA Implementation Secrets.
CIAA 2000: 182-194 |
| 5 | EE | Jacob Elgaard,
Anders Møller,
Michael I. Schwartzbach:
Compile-Time Debugging of C Programs Working on Trees.
ESOP 2000: 119-134 |
| 4 | EE | Nils Klarlund,
Anders Møller,
Michael I. Schwartzbach:
DSD: A schema language for XML.
FMSP 2000: 101-111 |
| 3 | | Claus Brabrand,
Anders Møller,
Mikkel Ricky,
Michael I. Schwartzbach:
PowerForms: Declarative client-side form field validation.
World Wide Web 3(4): 205-214 (2000) |
| 1999 |
|---|
| 2 | EE | Claus Brabrand,
Anders Møller,
Anders Sandholm,
Michael I. Schwartzbach:
A Runtime System for Interactive Web Services.
Computer Networks 31(11-16): 1391-1401 (1999) |
| 1998 |
|---|
| 1 | | Jacob Elgaard,
Nils Klarlund,
Anders Møller:
MONA 1.x: New Techniques for WS1S and WS2S.
CAV 1998: 516-520 |
