Kognitive Assistenzsysteme

PUBLIKATIONEN

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

Technical Report Deutsches Forschungszentrum für Künstliche Intelligenz DFKI Research Reports (RR) 10-01 2010.

Zur Publikation

In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence and Symbolic Computation (AISC-2010) 10th befindet sich Intelligent Computer Mathematics 2010 (CICM 2010) July 5-10 Paris France Seiten 34-48 Lecture Notes in Computer Science (LNCS) 6167 Springer 2010.

Zur Publikation

In: SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security, Proceedings. International Conference on Computer Safety, Reliability and Security (SAFEComp-2010) September 14-17 Vienna Austria Seiten 347-360 Lecture Notes in Computer Science (LNCS) 6351 Springer 2010.

Zur Publikation

In: M. Huhn, H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08) befindet sich ETAPS'08 March 29 Budapest Hungary Seiten 57-70 238 4 Elsevier B.V. 2009.

Zur Publikation

In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008) August 22-22 Montreal QC Canada Seiten 3-21 Electronic Notes in Theoretical Computer Science (ENTCS) 226 Elsevier Science 2009.

Zur Publikation

In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems (AVOCS-09) 9th September 23-25 Swansea United Kingdom Electronic Communications of the EASST 23 2009.

Zur Publikation

In: FM 2009: Formal Methods. International Symposium on Formal Methods (FM-2009) November 2-6 Eindhoven Netherlands Seiten 419-434 Lecture Notes in Computer Science (LNCS) 5350 Springer 2009.

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