Publications

Displaying results 1 to 10 of 78

In: Proceedings of the 51st ACM Technical Symposium on Computer Science Education. ACM Technical Symposium on Computer Science Education (SIGCSE-2020) March 11-14 Portland United States ACM 2020.

To the publication

In: Proceedings of the 19th Koli Calling International Conference on Computing Education Research. International Conference on Computing Education Research (Koli Calling-2019) November 21-24 Koli Finland ACM New York, NY 2019.

To the publication

In: Enhanced Living Environments: From models to technologies. Chapter End-users’ AAL and ELE service scenarios in Pages 101-132 IET Digital Library 2017.

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: Inclusive Smart Cities and Digital Health. International Conference on Smart Homes and Health Telematics (ICOST-2016) Inclusive Smart Cities and Digital Health May 25-27 Wuhan China Pages 1-13 Lecture Notes in Computer Science (LNCS) 9677 Springer Intl. Publishing Switzerland 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: 25. International Symposium on Logic-Based Program Synthesis and Transformation. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR-2015) July 13-15 Siena Italy Pages 313-330 Lecture Notes in Computer Science, (LNCS) 9527 Springer-Verlag 11/2015.

To the publication

In: Essays in Honor of Christoph Walther on the Occasion of his 60th Birthday. Pages 54-80 Lecture Notes in Artificial Intelligence (LNAI) 6463 Springer Verlag Berlin Heidelberg 11/2010.

To the publication

In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10) 9th Conference on Intelligent Computer Mathematics July 8-9 Paris France Pages 398-410 Lecture Notes in Artificial Intelligence (LNAI) 6167/2010 ISBN 3-652-14127-7 Springer Verlag 7/2010.

To the publication

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