André Antakli; Pablo Alvarado Moya; Beat Brüderlin; Ulrich Canzler; Holger Dammertz; Volker Enderlein; Jürgen Grüninger; Andreas Harth; Hilko Hoffmann; Eduard Jundt; Peter Keitler; Felix Leif Keppmann; Roland Krzikalla; Sebastian Lampe; Alexander Löffler; Julian Meder; Michael Otto; Frieder Pankratz; Sebastian Pfützner; Matthias Roth; Richard Sauerbier; Werner Schreiber; Roland Stechow; Johannes Tümler; Christian Vogelgesang; Oliver Wasenmüller; Andreas Weinmann; Jochen Willneff; Hans-Joachim Wirsching; Ingo Zinnikus; Konrad Zürl; René Schubotz
In: 16th IEEE International Symposium on Mixed and Augmented Reality (ISMAR). IEEE International Symposium on Mixed and Augmented Reality (ISMAR-17), October 9-13, Nantes, France, 16, 2017.
In: Maxime Descoteaux; Lena Maier-Hein; Alfred Franz; Pierre Jannin; D. Louis Collins; Simon Duchesne (Hrsg.). Medical Image Computing and Computer Assisted Intervention (MICCAI 2017). Medical Image Computing and Computer Assisted Intervention (MICCAI-2017), September 10-14, Quebec City, Quebec, Canada, Pages 223-231, ISBN 978-3-319-66182-7, Springer International Publishing, 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.