Cognitive Assistants

PUBLICATIONS

In: G. Klein, R. Gamboa (editor). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014) located at Vienna Summer of Logic July 14-17 Wien Austria Pages 467-482 Lecture Notes in Computer Science (LNCS) 8558 Springer Verlag 7/2014.

To the publication

In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop April 14-14 Berlin Germany Pages 4-7 4/2014.

To the publication

In: Electronic Design Automation Workshop - Proceedings. Electronic Design Automation Workshop (edaWorkshop-14) May 13-15 Warschau Poland VDE 2014.

To the publication

In: Jacques Carette (editor). Conferences on Intelligent Computer Mathematics CICM 2013. Conferences on Intelligent Computer Mathematics (CICM-13) Pages 326-329 Lecture Notes in Artificial Intelligence (LNAI) 7961 Springer 7/2013.

To the publication

In: Kevin McMillan, Aart Middeldorp, Andrei Voronkov (editor). Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2013) 19th December 14-19 Stellenbosch South Africa Pages 53-70 Lecture Notes in Computer Science 8312 Springer 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: 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18). International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18) 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning March 10-15 Merida Venezuela Pages 92-106 Lecture Notes in Computer Science (LNCS) 7180 Springer Verlag Berlin Heidelberg 2012.

To the publication

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

To the publication

In: Mathematics in Computer Science 3 Pages 309-330 Birkhäuser 3/2010.

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