Wissenschaft­liche Publikationen

Liste als BibTeX-Datei exportieren

2019

• März 2019 Body Randomization Reduces the Sim-to-Real Gap for Compliant Quadruped Locomotion Alexander Vandersompele , Gabriel Urbain , Hossain Mahmud , Francis Wyffels und Joni Dambre Frontiers in Neurorobotics, 13():, März 2019. Details URL PDF DOI BIB
• März 2019 Künstliche Intelligenz Out-of-the-Box – aber was steckt in der Box? Dian Balta , Helmut Krcmar und Peter Kuhn Vortrag, März 2019. Details URL BIB
• März 2019 Runtime Monitoring Neuron Activation Patterns Chih-Hong Cheng , Georg Nührenberg und Hirotoshi Yasuoka In Design, Automation & Test in Europe Conference & Exhibition, Seiten 300–303, Florence, Italy, März 2019. Details URL DOI BIB
• März 2019 The Collaborative Virtual Reality Neurorobotics Lab Tim Weissker , Emmanouil Angelidis , Alexander Kulik , Stephan Beck , Andre Kunert , Anton Frolov , Sandro Weber , Adrian Kreskowski und Bernd Froehlich In Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces (VR), Seiten 1671–1674, Osaka, Japan, März 2019. IEEE. Details URL PDF DOI BIB
• Februar 2019 Wissensbasierte digitale Unterstützung in der Pflanzenbauberatung Anahita Nafissi , Fabian Weckesser , Ingmar Kessler , Markus Rickert , Matthias Pfaff , Sebastian Peisl und Michael Beck In Andreas Meyer-Aurich , Markus Gandorfer , Norbert Barta , Andreas Gronauer , Jochen Kantelhardt und Helga Floto , Editor, Referate der 39. GIL-Jahrestagung in Wien: Informatik in der Land-, Forst- und Ernährungswirtschaft Fokus: Digitalisierung für landwirtschaftliche Betriebe in kleinstrukturierten Regionen – ein Widerspruch in sich?, Band 287 von Lecture Notes in Informatics, Seiten 145–150. Gesellschaft für Informatik, Bonn, Germany, Februar 2019. Details URL BIB
• Februar 2019 Digitalgestützte Bürgerbeteiligung & KI Dian Balta , Helmut Krcmar , Peter Kuhn , Daniel Kulus und Mahdi Sellami PLANERIN, 2019(1):19–22, Februar 2019. Details URL BIB
• Februar 2019 OPC UA versus ROS, DDS, and MQTT: Performance Evaluation of Industry 4.0 Protocols Stefan Profanter , Ayhun Tekat , Kirill Dorofeev , Markus Rickert und Alois Knoll In Proceedings of the IEEE International Conference on Industrial Technology (ICIT), Melbourne, Australia, Februar 2019. Details DOI BIB
• Januar 2019 Structure and behavior preserving statecharts refinements Eugene Syriani , Vasco Sousa und Levi Lúcio Science of Computer Programming, 170():49–79, Januar 2019. Details DOI BIB
• 2019 A general proof certification framework for modal logic Tomer Libal und Marco Volpe Mathematical Structures in Computer Science, 29(8):1344–1378, 2019. Details DOI BIB
• 2019 A Hybrid Approach of Solar Power Forecasting Using Machine Learning Arpit Bajpai und Markus Duchon Seiten 108-113, 2019. Details DOI BIB
• 2019 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols Musab A. Alturki , Tajana Ban Kirigin , Max Kanovich , Vivek Nigam , Andre Scedrov und Carolyn Talcott In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, Band 11565 von Lecture Notes in Computer Science, Seiten 192–213, 2019. Springer. Details BIB
• 2019 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols Musab A. Alturki , Tajana Ban Kirigin , Max Kanovich , Vivek Nigam , Andre Scedrov und Carolyn Talcott Seiten 192–213, 2019. Details DOI BIB
• 2019 A Perspective On Digital Wellbeing Matthias Schmidmaier In the he ACM Conference on Human Factors in Computing System, Workshop on Designing for Digital Wellbeing, . 2019. Details BIB
• 2019 An OPC UA based Energy Management Platform for Multi-Energy Prosumers in Districts Denis Bytschkow , Alexandre Capone , Jan Mayer , Michael Kramer und Thomas Licklederer , 2019. Details BIB
• 2019 Benefits and Challenges of Smart Highways for the User Gesa Wiegand In IUI Workshops, 2019. Details BIB
• 2019 BLE Injection-Free Attack: A Novel Attack On Bluetooth LowEnergy Devices Aellison Cassimiro T. dos Santos , José L. Soares Filho , {{$1A}}villa {{$1I}}. S. Silva , Vivek Nigam und Iguatemi Fonseca Journal of Ambient Intelligence and Humanized Computing, ():, 2019. Details BIB
• 2019 Cooperative Multi-Vehicle Behavior Coordination for Autonomous Driving Tobias Kessler und Alois Knoll IEEE Intelligent Vehicles Symposium (IV), ():, 2019. Details BIB
• 2019 Design and Runtime Verification Side-by-Side in eTrice Sudeep Kanav , Levi Lúcio , Christian Hilden und Thomas Schuetz In Proceedings of the NASA Formal Methods Symposium, Band 11460 von LNCS, Seiten 255–262, 2019. Springer. Details DOI BIB
• 2019 Effective Management of Standardizing in E-Government Dian Balta IGI Global, Hershey, PA, USA, 1 Ausgabe, 2019. Details URL DOI BIB
• 2019 ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models Vivek Nigam , Alexandros Tsalidis , Sebastian Voss und Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB