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