Christoph Walther

#	Item
1	SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-23 09:19:29 Theoretical computer science Computing Software engineering Logic in computer science Automated theorem proving Static program analysis Termination analysis Rewriting KeY Automated reasoning Bytecode Christoph Walther
2	Heidelberg Nobel Prize Winners Christoph Mager Harald zur Hausen at the awarding of the Nobel Prize in Medicine 2008 Add to Reading List Source URL: www.uni-heidelberg.de Language: English - Date: 2012-11-09 10:08:55 Nobel laureates in Physics Max Planck Society Bert Sakmann Walther Bothe Heidelberg University Richard Kuhn Albrecht Kossel Kaiser Wilhelm Society Friedrich Bergius Science and technology in Germany Germany Science