Herr Prof. Harald Richter und Herr Stefan Aust haben auf der ADVCOMP 2011 den Best Paper Award für "Energy-aware MPSoC with Space-sharing for Real-time Applications" erhalten.
group are attending the AAMAS 2005 conference organized this year in Utrecht, Netherlands. Moreover, Prof. Dix is serving as a chair of doctoral mentoring programme and also he is one of the organizers of
Central and Eastern European Conference on Multi-Agent Systems, where he also presents paper by him and Prof. Dix: "Do Agents Make Model Checking Explode (Computationally)?".
The 17th Belgian-Dutch Conference on Artificial Intelligence and present there a paper by him and Prof. Dix: "Turning Game Models Turn-Based for Model Checking Properties of Agents".- BNAIC 2005 -
Deutsch
English