This paper presents an evaluation of Supply Chain Management Software. For this purpose, we conducted an empirical study in the European automotive industry among car manufacturers, suppliers, distributors, and logistic service providers from 25 countries. In particular, we analysed the...

This paper presents an empirical study addressing current tendenciesin corporate environmental reporting released to the public. On the one hand, we survey British and German environmental statements according to the "European Eco-Management and Audit Scheme". On the other hand, we explore why...

We introduce 'formal methods' of mechanized reasoning from computer science to address two problems in auction design and practice: is a given auction design soundly specified, possessing its intended properties; and, is the design faithfully implemented when actually run? Failure on either...

Formal methods use computers to verify proofs or even discover new theorems. Interest in applying formal methods to problems in economics has increased in the past decade, but - to date - none of this work has been published in economics journals. This paper applies formal methods to a familiar...