Kognitive Assistenzsysteme

PUBLIKATIONEN

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

Zur Publikation

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

Zur Publikation

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

Zur Publikation

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

Zur Publikation

In: Kevin McMillan, Aart Middeldorp, Andrei Voronkov (Hrsg.). 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 Seiten 53-70 Lecture Notes in Computer Science 8312 Springer 2013.

Zur Publikation

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: 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 Seiten 92-106 Lecture Notes in Computer Science (LNCS) 7180 Springer Verlag Berlin Heidelberg 2012.

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: Mathematics in Computer Science 3 Seiten 309-330 Birkhäuser 3/2010.

Zur Publikation

Kontakt

Sekretariat:
Iris Lambrecht
Tel.: +49 681 85775 5006

Teamassistenz:
Sylvia Krüger
Tel.: +49 681 85775 5152

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Stuhlsatzenhausweg 3
Saarland Informatics Campus, Geb. D3 2
66123 Saarbrücken
Deutschland

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