In: International Conference on Neural Information Processing. International Conference on Neural Information Processing (ICONIP-2017), 24th International Conference on Neural Information Processing, November 14-18, Guangzhou, China, Pages 286-293, Vol. 10635, ISBN 978-3-319-70095-3, Springer, 10/2017.
In: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-22), January 16-19, Tokio, Japan, 2017.
Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler
In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22), January 16-19, Tokio, Japan, 2017.
In: Serge Autexier; Pedro Queresma (Hrsg.). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016), located at International Joint Conference on Automated Reasoning IJCAR 2016, July 2, Coimbra, Portugal, Pages 43-52, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 239, Open Publishing Association, 1/2017.
In: Marlon Dumas; Marcelo Fantinato (Hrsg.). Business Process Management Workshops. Business Process Management (BPM-2016), International Workshop on Sustainability-Aware Business Process Management, located at BPM 2016, September 18-22, Rio de Janeiro, Brazil, Lecture Notes in Business Information Processing (LNBIP), Vol. 281, Springer, 2017.