Publications

Displaying results 1 to 10 of 43

In: 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020) February 25-27 Valetta Malta 2020.

To the publication

In: 25th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2020) 25th January 13-16 Beijing China 2020.

To the publication

In: Software Engineering and Formal Methods - 17th International Conference, Proceedings.. International Conference on Software Engineering and Formal Methods (SEFM-2019) September 16-20 Oslo Norway Pages 454-468 Lecture Notes in Computer Science (LNCS) 11724 ISBN 978-3-030-30446-1 Springer Cham 9/2019.

To the publication

In: Proceedings of the 14th German Conference on Multiagent System Technologies (Mates 2016). German Conference on Multiagent System Technologies (MATES-2016) September 27-30 Klagenfurt Austria Pages 131-146 Lecture Notes in Artificial Intelligence (LNAI) 9872 Springer 9/2016.

To the publication

In: Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016) International Joint Conference on Automated Reasoning IJCAR 2016 July 2 Coimbra Portugal Pages 43-52 Electronic Proceedings in Theoretical Computer Science (EPTCS) 239 Open Publishing Association 1/2017.

To the publication

In: Proceedings of the 12th International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE-16) 12th September 12-13 London United Kingdom IEEE 9/2016.

To the publication

In: 5th International Conference on Dynamics in Logistics (LDIC 2016). International Conference on Dynamics in Logistics (LDIC-2016) Pages 3-17 Lecture Notes in Logistics Springer 2016.

To the publication

In: 3rd Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2016). Workshop on Design Automation for Understanding Hardware Designs (DUHDe-16) March 18 Dresden Germany 3/2016.

To the publication

In: Proceedings of the Fifth Annual Scala Workshop. Scala Workshop (Scala-14) 5th Annual Scala Workshop ECOOP 2014 July 28-29 Uppsala Sweden Pages 63-66 ISBN 978-1-4503-2868-5 ACM New York 7/2014.

To the publication

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