Veröffentlichungen

Liste als BibTeX-Datei exportieren

2017

  • Nikhil Somani, Markus Rickert und Alois Knoll. An Exact Solver for Geometric Constraints with Inequalities. IEEE Robotics and Automation Letters, 2(2):1148–1155, April 2017. Details DOI BibTeX

2016

  • Alexander Perzylo, Nikhil Somani, Stefan Profanter, Ingmar Kessler, Markus Rickert und Alois Knoll. Intuitive Instruction of Industrial Robots: Semantic Process Descriptions for Small Lot Production. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Seiten 2293–2300, Daejeon, Republic of Korea, Oktober 2016. Details DOI BibTeX
  • Andreas Reidt, Markus Duchon und Helmut Krcmar. Sicherheitsaspekte von Industrie 4.0. In Tagungsband Smarte Fabrik & Smarte Arbeit – Industrie 4.0 gewinnt Kontur VPP2016 – Vernetzt planen und produzieren, Seiten 445-456, Oktober 2016. Technische Universität Chemnitz Institut für Betriebswissenschaften und Fabriksysteme, Müller, Bullinger-Hoffmann. Details BibTeX
  • Nikhil Somani, Markus Rickert, Andre Gaschler, Caixia Cai, Alexander Perzylo und Alois Knoll. Task Level Robot Programming using Prioritized Non-Linear Inequality Constraints. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Seiten 430–437, Daejeon, Republic of Korea, Oktober 2016. Details DOI BibTeX
  • Simon Barner, Alexander Diewald, Fernando Eizaguirre, Anatoly Vasilevskiy und Franck Chauvel. Building Product-lines of Mixed-Criticality Systems. In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, September 2016. IEEE. Details BibTeX
  • Andreas Reidt, Markus Duchon und Helmut Krcmar. Referenzarchitektur eines Ressourcen-Cockpits zur Unterstützung der Instandhaltung, Band , Seiten 221, München, 1 Ausgabe, September 2016. , fortiss GmbH. Details DOI BibTeX
  • Chao Chen, Markus Rickert und Alois Knoll. Combining Task and Motion Planning for Intersection Assistance Systems. In Proceedings of the IEEE Intelligent Vehicles Symposium, Seiten 1242–1247, Gothenburg, Sweden, Juni 2016. Details DOI BibTeX
  • Mathias Haage, Stefan Profanter, Ingmar Kessler, Alexander Perzylo, Nikhil Somani, Olof Sörnmo, Martin Karlsson, Sven Gestegård Robertz, Klas Nilsson, Ludovic Resch und Michael Marti. On Cognitive Robot Woodworking in SMErobotics. In Proceedings of the International Symposium on Robotics (ISR), Munich, Germany, Juni 2016. Details BibTeX
  • Markus Rickert und Alexander Perzylo. Industrieroboter für KMU: Flexible und intuitive Prozessbeschreibung. Industrie Management, 32(2):46–49, April 2016. Details BibTeX
  • Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto und Georgeta Igna. Factory Product Lines: Tackling the Compatibility Problem. In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Januar 2016. ACM. Details BibTeX
  • Lacramioara Astefanoaei, Saddek Bensalem und Marius Bozga. A Compositional Approach to the Verification of Hybrid Systems. In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Seiten 88–103, 2016. Details DOI BibTeX
  • Wiebke Koepp, Patrick van der Smagt und Sebastian Urban. A Differentiable Transition Between Additive and Multiplicative Neurons. In International Conference on Learning Representations (ICLR), 2016. Details BibTeX
  • Alexander Diewald, Sebastian Voss und Simon Barner. A Lightweight Design Space Exploration and Optimization Language. In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), Seiten 190–193, New York, NY, USA, 2016. ACM. Details DOI BibTeX
  • Martin Hofmann, Christian Neukirchen und Harald Rueß. Certification for u-Calculus with Winning Strategies. In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, Seiten 111–128, 2016. Details DOI BibTeX
  • Maximilian Karl, Maximilian Sölch, Justin Bayer und Patrick van der Smagt. Deep Variational Bayes Filters: Unsupervised Learning of State Space Models from Raw Data. arxiv, ():, 2016. Details BibTeX
  • Andreas Reidt und Helmut Krcmar. Entwicklung und Implementierung eines Softwareprototyps zur Informationsunterstützung und Qualitätsbewertung. In Cloud-Services aus der Geschäftsperspektive, Seiten 143-157, 2016. Springer Fachmedien Wiesbaden. Details DOI BibTeX
  • Agneta Gustus und Patrick van der Smagt. Evaluation of joint type modelling in the human hand. Journal of Biomechanics, ():, 2016. Details DOI BibTeX
  • Zaur Molotnikov, Konstantin Schorp, Vincent Aravantinos und Bernhard Schätz. FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive Industry. 2016. Details BibTeX
  • Chao Chen. Motion Planning for Nonholonomic Vehicles with Space Exploration Guided Heuristic Search. Technische Universität München, 2016. Details BibTeX
  • Jan Wollersheim, Patrick Hoberg, Andreas Reidt und Helmut Krcmar. Motivation, Bausteine und Vorgehensweise. In Cloud-Services aus der Geschäftsperspektive, Seiten 3-14, 2016. Springer Fachmedien Wiesbaden. Details DOI BibTeX