In: Design and Verification Conference and Exhibition Europe (DVCon Europe). Design and Verification Conference (DVCon Europe), November 11-12, München, Germany, 2015.
Mathias Soeken; Baruch Sterin; Rolf Drechsler; Robert K. Brayton
In: Proceedings of the 14th International Conference on Generative Programming: Concepts & Experiences (GPCE). International Conference on Generative Programming: Concepts & Experiences (GPCE-15), October 26-27, Pittsburgh, PA, USA, Pages 11-20, ACM, 10/2015.
Matthias Klusch; Ankush Meshram; Andreas Schuetze; Nikolai Helwig
In: Proceedings of the 11th ACM International Conference on Semantic Systems. ACM International Conference on Semantic Systems (SEMANTiCS-15), 11th ACM, September 15-17, Vienna, Austria, ACM ICP Series, ACM, 2015.
In: Carlos Becker Westphall; Jaime Lloret Mauri; Przemyslaw Pochec (Hrsg.). The Ninth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies. International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM-15), 9th, located at located at NexTech 2015, July 19-24, Nice, France, Pages 108-113, UBICOMM, ISBN 978-1-61208-418-3, IARIA, 7/2015.
In: S. Hölldobler; M. Krötzsch; R. Peñaloza; S. Rudolph (Hrsg.). Proceedings of KI 2015. German Conference on Artificial Intelligence (KI-15), September 21-25, Dresden, Germany, Pages 309-315, LNAI, Vol. 9324, ISBN 978-3-319-24488-4, Springer, 2015.
Jochen Kuhn; Paul Lukowicz; Michael Hirth; Jens Weppner
In: Volume 19: Workshop Proceedings of the 11th International Conference on Intelligent Environments. Ambient Intelligence and Smart Environments (AISE-19), 11th, July 13-14, Prague, Czech Republic, Pages 212-219, IOS Press, 2015.
In: Proceedings of the European Conference on Mobile Robots. European Conference on Mobile Robots (ECMR-15), September 2-4, Lincoln, United Kingdom, Pages 69-74, ISBN 978-1-4673-9164-1, IEEE Xplore, 2015.