Jeremy Dawson

Details der Publikationsliste

Zeitraum

1999 - 2008

Anzahl

11

Co-Autoren

The impact of leadership and quality climate on hospital performance (2008)

Shipton, Helen, Armstrong, Claire, West, Michael, Dawson, Jeremy

Objective To explore the relationship between leadership effectiveness and health-care trust performance, taking into account external quality measures and the number of patient complaints; also, to...

Session I: Algebra (2007)

Session I Logic, Coffee Break, Robert Meyer, Coffee Break, Jeremy Dawson

Title: Solving coherence problems with term rewriting.

The impact of an innovative human resource function on firm performance: the moderating role of financing strategy (2004)

Knight-Turvey, Neal, Neal, Andrew, West, Michael A., Dawson, Jeremy

The current study examined the impact of the human resource function and financing strategy on the financial performance of 104 UK manufacturing firms. Hypotheses are drawn from a resource-based...

The impact of an innovative human resource function on firm performance: the moderating role of financing strategy (2004)

Knight-Turvey, Neal, Neal, Andrew, West, Michael A., Dawson, Jeremy

The current study examined the impact of the human resource function and financing strategy on the financial performance of 104 UK manufacturing firms. Hypotheses are drawn from a resource-based...

Mechanising cut-elimination for display logic (2001)

Dawson, Jeremy, Gore, Rajeev

We describe a deep embedding of the display calculus ÆRA, for relation algebras, using Isabelle/HOL. We then describe how the embedding was used to formalise a cut-elimination theorem for ÆRA. Our...

Mechanising cut-elimination for display logic (2001)

Dawson, Jeremy, Gore, Rajeev

We describe a deep embedding of the display calculus ÆRA, for relation algebras, using Isabelle/HOL. We then describe how the embedding was used to formalise a cut-elimination theorem for ÆRA. Our...

Mechanising cut-elimination for display logic (2001)

Dawson, Jeremy, Gore, Rajeev

We describe a deep embedding of the display calculus ÆRA, for relation algebras, using Isabelle/HOL. We then describe how the embedding was used to formalise a cut-elimination theorem for ÆRA. Our...

Mechanising cut-elimination for display logic (2001)

Dawson, Jeremy, Gore, Rajeev

We describe a deep embedding of the display calculus ÆRA, for relation algebras, using Isabelle/HOL. We then describe how the embedding was used to formalise a cut-elimination theorem for ÆRA. Our...

Mechanising cut-elimination for display logic (2001)

Dawson, Jeremy, Gore, Rajeev

We describe a deep embedding of the display calculus ÆRA, for relation algebras, using Isabelle/HOL. We then describe how the embedding was used to formalise a cut-elimination theorem for ÆRA. Our...

The effectiveness of top management groups in manufacturing organisations (1999)

West, Michael, Patterson, Malcolm, Dawson, Jeremy, Nickell, Steve

We test whether demographic characteristics and team processes in top management teams predict the subsequent productivity and profitability of their companies in 42 UK manufacturing organisation....

The effectiveness of top management groups in manufacturing organisations (1999)

West, Michael, Patterson, Malcolm, Dawson, Jeremy, Nickell, Steve

We test whether demographic characteristics and team processes in top management teams predict the subsequent productivity and profitability of their companies in 42 UK manufacturing organisation....