Andreas Werner

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 4

Top Topics

Digital Elevation

Functional Verification

Top Venues

GIL Jahrestagung

UbiComp/ISWC Adjunct

Elektrotech. Informationstechnik

Publications

Olga Thoss, Andreas Werner, Robert Kaiser, Reinhold Kröger
Unified Approach to Static and Runtime Verification. GI-Jahrestagung (2020)
Constantin Scheuermann, Thomas Binderberger, Nadine von Frankenberg, Andreas Werner
Digital twin: a machine learning approach to predict individual stress levels in extreme environments. UbiComp/ISWC Adjunct (2020)
Andreas Werner, Robert Kaiser
Autonomes Fahren in der Lehre. Echtzeit (2018)
Alexander Boschmann, Strahinja Dosen, Andreas Werner, Ali Raies, Dario Farina
A novel immersive augmented reality system for prosthesis training and assessment. BHI (2016)
Andrea Werner, Andreas Werner
Ex-ante Bewertung landwirtschaftlicher Nutzungsänderungen unter Anwendung einer Entscheidungsunterstützungsmethode. GIL Jahrestagung (2013)
Markus Haider, Andreas Werner
An overview of state of the art and research in the fields of sensible, latent and thermo-chemical thermal energy storage. Elektrotech. Informationstechnik 130 (6) (2013)
Folkert Onken, Ralf Köstler, Christian Paulsen, Andreas Werner
Mit dem DLQ-Datenportal und dem Datenprotokoll ISOagriNET in die Zukunft der Datenkommunikation. GIL Jahrestagung (2013)
Andreas Werner
Datenmodell zur Energiepotential und -bedarfsanalyse bei der Einrichtung dezentraler Biogaslösungen. GIL Jahrestagung (2009)
Gerald Stieglbauer, Andreas Werner
Modellierung von deterministischer Software in Simulink. Inform. Forsch. Entwickl. 19 (4) (2005)
Gerald Stieglbauer, Andreas Werner
Modellierung von deterministischer Software in Simulink. GI Jahrestagung (2) (2004)
Andreas Werner
A Semantic Approach to Order-Sorted Rewriting. J. Symb. Comput. 25 (4) (1998)
Andreas Werner, Harald Echtle, M. Monika Wierse
High Performance Simulation of Internal Combustion Engines. SC (1998)
Andreas Werner
Normalizing Narrowing for Weakly Terminating and Confluent Systems. CP (1995)
Andreas Werner
A Semantic Approach to Order-Sorted Rewriting. RTA (1993)