2006
2006
IEEE Intelligent Systems
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
IEEE Intelligent Systems
BibTeX - Abstract- IEEE Intelligent SystemsICFEM 2006
Bernhard Beckert, Gerd Beuster
Proceedings, International Conference on Formal Engineering Methods
PDF - BibTeX - Abstract - Springer Verlag, LNCS 4260IJCAR 2006
Bernhard Beckert, Andre Platzer
Proceedings, International Joint Conference on Automated Reasoning
PDF - BibTeX - Abstract - Springer Verlag, LNCS 4130SEFM 2006
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Abstract of a Tutorial held at SEFM 2006, Pune, India, 11-15 September 2006
Proceedings, 4th IEEE International Conference on Software Engineering and Formal Methods
BibTeX - AbstractFMIS 2006
Bernhard Beckert, Gerd Beuster
Proceedings, International Workshop on Formal Methods for Interactive Systems
PDF - BibTeX - AbstractVerify 2006
Bernhard Beckert, Vladimir Klebanov
Proceedings, 3rd International Verification Workshop
PDF - BibTeX -AI Game Programming Wisdom
Heni Ben Amor, Jan Murray, Oliver Obst
AI Game Programming Wisdom 3, vol. 3 of Game Development Series
PDF KSEM 2006
Gerd Beuster, Roman Neruda
Proceedings, International Conference on Knowledge Science, Engineering and Management
PDF - BibTeXESCOR 2006
Gerd Beuster, Niklas Henrich, Markus Wagner
Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning, Seattle, USA, August 22, 2006, ISSN 1613-0073
PDF - BibTeX -KI
Jan Murray, Frieder Stolzenburg, Toshiaki Arai
KI (Journal)
BibTeXJournal of Decision Systems
Frieder Stolzenburg, Jan Murray, Karsten Sturm
Journal of Decision Systems, Special issue on Decision Support Systems
BibTeXIJCAR 2006
Ulrich Furbach, Natarajan Shankar (eds.)
Springer Verlag, LNCS 4130
BibTex