Institute | IER | Universität Stuttgart

Institut für Energiewirtschaft und Rationelle Energieanwendung
Prof. Dr.-Ing. A. Voß

uni

contact

Universität Stuttgart

Staff presentation

Volker Klotz, Dipl.-Ing.

	Department:	Technology Assessment and Environment ( TFU )
	Section:	Technology Assessment
	Scientist

	Phone:	+49 (0)711 685 87922
	Fax:	+49 (0)711 685 87873
	Email:
	Adress:	Heßbruehlstr. 49a, D-70565 Stuttgart, Germany
	Room:	1.07

Projects
CASES - Cost Assessment for Sustainable Energy Systems
IP-NEEDS - New Energy Externalities Developments for Sustainability RS1b Development and improvement of a methodology to estimate external costs of energy
HEIMTSA - Health and environment integrated methodology and toolbox for scenario assessment
INTARESE - Integrated assessment of health risks of environmental stressors in Europe

Publications
Kuhn, A., Fantke, P., Klotz, V., Nitter, S. and Friedrich, R. (2007): Complex problems – simple models? An integrated and flexible modelling approach to address human health and environmental impacts of anthropogenic emissions. Conference Paper, MODSIM 2007. Christchurch. Tuomisto, J., Pohjola, M. (eds.), Asikainen, A., Bjørnsdalsæter, S., Boogaard, H., Boudet, C., van Bree, L., Grellier, J., Honoré, C., Wijnstra, S., H., Karjalainen, A., Klotz, V., Knol, A., Kollanus, V., Kuhn, A., Kunseler, E., Kuusisto, E., Leino, O., Loh, M., Niitynen, M., Sabel, C., Tainio, M., Villman, J.(2007): Open Risk Assessment – A New Way of Providing Scientific Information for Decision-making. Kansanterveyslaitoksen julkaisuja 18/2007. Kuopio. Volker Klotz and Christoph Meinel. The first 10 years of the ECCC digital library. Communications of the ACM, 49(1):131–134, January 2006. Mohammad Ghasemzadeh, Volker Klotz, and Christoph Meinel. Embedding Memorization to Semantic Tree Search for deciding QBFs. In 17th Australian Joint Conference on Artificial Intelligence, pages 681–693, Cairns, Australia, December 2004. Mohammad Ghasemzadeh, Volker Klotz, and Christoph Meinel. Representation and Evaluation of QBFs in Prenex-NNF. In Symposium on Methods of Artificial Intelligence (AI-METH 2004), pages 115–120, Gliwice, Poland, November 2004. Mohammad Ghasemzadeh, Volker Klotz, and Christoph Meinel. Strengthening Semantic-tree Method in evaluating QBFs. In 6th International Workshop on Boolean Problems (IWBP-04), pages 257–264, Freiberg, Germany, September 2004. Volker Klotz and Christoph Meinel. 10 Jahre ECCC - Eine digitale Bibliothek in weltweiter Benutzung. Informatik-Spektrum (Springer-Verlag), 4:380–388, August 2004. Mohammad Ghasemzadeh, Volker Klotz, and Christoph Meinel. FZQSAT: A QSAT Solver for QBFs in Prenex NNF (A Useful Tool for Circuit Verification). In IEEE/ACM International Workshop on Logic and Synthesis (IWLS 2004), pages 135–142, California, USA, June 2004. vollständige Publikationsliste/full publication list