We present the results of an extensive and substantial case study on pair programming,
which was carried out in courses for software development at the University of Dortmund, …

A term rewrite system is called simply terminating if its termination can be shown by means of
a simplification ordering. According to a result of Weiermann, the derivation length function …

Infection of mammalian host cells by bacterial pathogens is a highly dynamic process and
microscopy is instrumental to reveal the cellular and molecular details of host-pathogen …

… Computability via KBO as presented in Section 6.3 is the topic of Lepper (2000a). The
work on the first two papers was partially supported by grant WE 2178/2–1 of the Deutsche …

How should the field of philology react to the ongoing quantitative growth of its material
basis? This essay will first discuss two opposing strategies: The quantitative analysis of large …

The different labelling systems defined by the functional theories of harmony have been
developed from about 1870 to 1950, without the help of computers. The complexity of harmonic …

During plant fertilisation, excess male gametes compete for a limited number of female
gametes. The dormant male gametophyte, encapsulated in the pollen grain, consists of two …

Background—This study investigated whether the extent of perfusion defect determined by
intravenous myocardial contrast echocardiography (MCE) in patients with acute myocardial …

Revision control manages changes and deviations of document repositories. Theoretical
foundation on an algebra of patches has been investigated only partially. In this paper, the …

The authors' "metatools" are a collection of tools for generic programming. This includes
generating Java sources from mathematically well-founded specifications, as well as the …