Cognitive Assistants

PUBLICATIONS

In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13) September 3-6 Warsaw Poland 2013.

To the publication

In: Margaria Tiziana, Bernhard Steffen (editor). 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 Pages 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

To the publication

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

To the publication

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

To the publication

In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic Methodology and Software Technology (AMAST-2010) Thirteenth June 23-25 Manoir St-Castin Quebec Canada LNCS Springer 2010.

To the publication

In: K. Breitman, A. Cavalcanti (editor). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009) December 9-12 Rio de Janeiro Brazil Lecture Notes in Computer Science (LNCS) 5885 Springer 2009.

To the publication

In: Orna Grumberg, Michael Huth (editor). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2007) 13th located at the European Joint Conferences on Theory and Practice of Software (ETAPS 2007) March 24-April 1 Braga Portugal Pages 519-522 Lecture Notes in Computer Science (LNCS) 4424 Springer-Verlag Heidelberg 2007.

To the publication

In: Bernhard Beckert (editor). VERIFY 2007, 4th International Verification Workshop. Pages 119-135 CEUR Workshop Proceedings 259 2007.

To the publication

Contact

Secretary:
Iris Lambrecht
Phone: +49 681 85775 5006

Team Assistant:
Sylvia Krüger
Phone: +49 681 85775 5152

German Research Center for
Artificial Intelligence GmbH (DFKI)
Stuhlsatzenhausweg 3
Saarland Informatics Campus, Geb. D3 2
66123 Saarbrücken
Deutschland

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