- Static Validation of XSL Transformations ANDERS MLLER, MADS STERBY OLESEN, and MICHAEL I. SCHWARTZBACH
- JWIG: Yet Another Framework for Maintainable and Secure Web Applications
- Compile-Time Debugging of C Programs Working on Trees
- Language-Based Caching of Dynamically Generated HTML
- Dual Syntax for XML Languages Claus Brabrand, Anders Mller, and Michael I. Schwartzbach
- G D G
- Static Analysis for Event-Based XML Processing Anders Mller
- A Runtime System for XML Transformations in Java Aske Simon Christensen, Christian Kirkegaard, and Anders Mller
- Dual Syntax for XML Languages Claus Brabrand, Anders Mller # , and Michael I. Schwartzbach
- Analyzing Ambiguity of Context-Free Grammars Claus Brabranda
- Journal of Web Engineering, Vol. 5, No. 1 (2006) 6589 c Rinton Press
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Static Analysis of XML Transformations in Java
- Analyzing Ambiguity of Context-Free Grammars Claus Brabrand1
- A Framework for Automated Testing of JavaScript Web Applications
- XML Graphs in Program Analysis Anders Mller and Michael I. Schwartzbach
- Dual Syntax for XML Languages Claus Brabrand, Anders Mller , and Michael I. Schwartzbach
- Static Validation of Dynamically Generated HTML Claus Brabrand, Anders Mller, and Michael I. Schwartzbach
- The Pointer Assertion Logic Engine Anders Mller & Michael I. Schwartzbach
- International Journal of Foundations of Computer Science c World Scientific Publishing Company
- Document Structure Description 2.0 Anders Mller, BRICS
- Mona 1.x: New Techniques for WS1S and WS2S Jacob Elgaard 1 , Nils Klarlund 2 , and Anders Mller 3
- Aarhus Universitet dProgSprog note Datalogisk Institut April 2006
- A Performance Evaluation of the Mobile Agent Paradigm L. lsmail D. Hagimont
- Type Checking with XML Schema in XACT Christian Kirkegaard and Anders Mller
- DSD: A Schema Language for XML Nils Klarlund
- Static Analysis for Java Servlets and JSP Christian Kirkegaard and Anders Mller
- Document Structure Description 1.0 Nils Klarlund
- DSD: A Schema Language for XML Nils Klarlund
- Type Analysis for JavaScript Simon Holm Jensen1,
- The Project Claus Brabrand, Anders Mller, and Michael I. Schwartzbach
- The Design Space of Type Checkers for XML Transformation Languages
- Precise Analysis of String Expressions Aske Simon Christensen, Anders Mller , and Michael I. Schwartzbach
- Static Analysis for Dynamic XML Aske Simon Christensen, Anders Mller, and Michael I. Schwartzbach
- PowerForms: Declarative Client-Side Form Field Validation
- XML Graphs in Program Analysis$ Anders Mller and Michael Schwartzbach
- A Runtime System for Interactive Web Services Claus Brabrand Anders Mller Anders Sandholm
- MONA Implementation Secrets Nils Klarlund 1 , Anders Mller 2 , and Michael I. Schwartzbach 2
- Extending Java for High-Level Web Service Construction
- Tool-supported Refactoring for JavaScript Technical Report
- Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications
- Automated Detection of Client-State Manipulation Vulnerabilities Anders Mller1
