• Publications
  • Influence
How much variance can be explained by ecologists and evolutionary biologists?
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 strengthExpand
  • 413
  • 66
  • PDF
MONA Implementation Secrets
TLDR
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
  • 158
  • 13
  • PDF
The Pointer Assertion Logic Engine
TLDR
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
  • 133
  • 13
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 socialityExpand
  • 39
  • 7
Document Structure Description 1.0
TLDR
Document Structure Description 1.0 is a specification of a new XML notation for describing classes of XML documents. Expand
  • 20
  • 5
  • PDF
Static Validation of XSL Transformations
TLDR
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
  • 17
  • 4
Extending Java for high-level Web service construction
TLDR
We incorporate innovations from the <bigwig> project into the Java language to provide high-level features for Web service programming. Expand
  • 98
  • 2
  • PDF
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
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 50Expand
  • 4
  • 2
A Runtime System for Interactive Web Services
TLDR
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
  • 23
  • 1
  • PDF
Static Program Analysis
TLDR
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
  • 17
  • 1
  • PDF