Publikationen

In: Margaria Tiziana , Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12) October 15-18 Amirandes, Heraclion, Crete Greece Seiten 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

Zur Publikation

In: James H. Davenport , William Farmer , Florian Rabe , Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management befindet sich Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Seiten 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

Zur Publikation

In: Tendencias em Matematica Aplicada e Computacional (TEMA) 12 1 Seiten 21-30 SBMAC Brasil 4/2011.

Zur Publikation

In: Mathematical Structures in Computer Science (MSCS) 21 2 Seiten 235-266 Cambridge University Press Cambridge 3/2011.

Zur Publikation

In: The Computer Journal 54 1 Seiten 31-41 Oxford University Press Oxford 2011.

Zur Publikation

In: Toby Walsh (Hrsg.). 22nd International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2011) July 16-22 Barcelona Spain AAAI Press Menlo Park, CA 2011.

Zur Publikation

In: Information and Computation (Inform. Comput.) 208 Seiten 1447-1468 Elsevier Amsterdam 12/2010.

Zur Publikation

In: Dominique Méry , Stephan Merz (Hrsg.). Proceedings 8th International Conference on Integrated Formal Methods (iFM 2010). International Conference on Integrated Formal Methods (IFM-2010) October 11-14 Nancy France Seiten 59-73 Lecture Notes in Computer Science (LNCS) 6396 Springer 10/2010.

Zur Publikation

In: Michael Gormish , Rolf Ingold (Hrsg.). Proceedings of 10th ACM Symposium on Document Engineering. ACM Symposium on Document Engineering (DocEng-10) September 21-24 Manchester United Kingdom ACM 9/2010.

Zur Publikation

In: Jonathan Aldrich , Ricardo Massa (Hrsg.). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10) befindet sich Brazilian Conference on Software: Theory and Practice September 27-October 1 Salvador-Bahia Brazil 9/2010.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence