Anders Møller

Publications
Influence

How much variance can be explained by ecologists and evolutionary biologists?

Anders Møller, M. Jennions
Biology, Medicine
Oecologia
1 August 2002

Abstract. The average amount of variance explained by the main factor of interest in ecological and evolutionary studies is an important quantity because it allows evaluation of the general strength… Expand

MONA Implementation Secrets

N. Klarlund, Anders Møller, M. Schwartzbach
Computer Science
Int. J. Found. Comput. Sci.
1 August 2002

We present an overview of MONA and a selection of implementation "secrets" that have been discovered and tested over the years, including formula reductions, DAGification, guided tree automata, three-valued logic, eager minimization, BDD-based automata representations, and cache-conscious data structures. Expand

The Pointer Assertion Logic Engine

Anders Møller, Michael I. Schwartzbach
Computer Science
9 June 2000

We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants. Expand

Parent-offspring resemblance in degree of sociality in a passerine bird

Anders Møller
Biology
Behavioral Ecology and Sociobiology
1 February 2002

Abstract. The tendency to aggregate with conspecifics is a common type of social behavior, and interspecific differences in degree of sociality may indicate that evolutionary changes in sociality… Expand

Document Structure Description 1.0

N. Klarlund, Anders Møller, Michael I. Schwartzbach
Computer Science
2000

Document Structure Description 1.0 is a specification of a new XML notation for describing classes of XML documents. Expand

Static Validation of XSL Transformations

Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach
Computer Science
11 October 2005

We present a validation technique for XSLT based on the summary graph formalism introduced in the static analysis of JWIG Web services that provides static guarantees that the output of the transformation is valid relative to the input schema. Expand

Extending Java for high-level Web service construction

A. Christensen, Anders Møller, M. Schwartzbach
Computer Science
TOPL
1 November 2003

We incorporate innovations from the <bigwig> project into the Java language to provide high-level features for Web service programming. Expand

Greater improvement in quality of life outcomes in patients using fixed-combination calcipotriol plus betamethasone dipropionate aerosol foam versus gel: results from the PSO-ABLE study

C. Griffiths, L. S. Stein Gold, +4 authors C. Paul
Medicine
European Journal of Dermatology
1 May 2018

BackgroundHealth-related quality of life (HRQoL) measures provide patient-centred evaluations of response to treatment. In the 12-week, Phase III PSO-ABLE study, fixed-combination calcipotriol 50… Expand

A Runtime System for Interactive Web Services

Claus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach
Computer Science
Comput. Networks
17 May 1999

We present ideas for an improved runtime system for interactive Web services built on top of CGI running on virtually every combination of browser and HTTP/CGI server. Expand

Static Program Analysis

Anders Møller, M. Schwartzbach
Computer Science
Encyclopedia of Cryptography and Security
2011

syntax trees (ASTs) as known from compiler construction provide a representation of programs that is suitable for flow-insensitive analyses, for example, type analysis (Chapter 3), control flow analysis, and pointer analysis. Expand

Recommended Authors