Eingebettete Intelligenz

PUBLIKATIONEN

In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016) September 14-16 Bremen Germany ECSI - European Electronic Chips and Systems design Initiative 2016.

Zur Publikation

In: Heather Miller, Philipp Haller (Hrsg.). Proceedings of the Fifth Annual Scala Workshop. Scala Workshop (Scala-14) 5th Annual Scala Workshop befindet sich ECOOP 2014 July 28-29 Uppsala Sweden Seiten 63-66 ISBN 978-1-4503-2868-5 ACM New York 7/2014.

Zur Publikation

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

Kontakt

Sekretariat:
Jane Bensch, B.A.
Tel.: +49 631 20575 4010

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Forschungsbereich Eingebettete Intelligenz
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland

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