Ludwig Ostermayer

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Development Team

Software Development

Top Venues

Challenge+DC@RuleML

Julius Maximilians University Würzburg, Germany (PHD)

Education History

Julius Maximilians University Würzburg, Germany

PHD

Publications

Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro
Source Code Verification for Embedded Systems using Prolog. WLP / WFLP (2017)
Ludwig Ostermayer
Seamless Cooperation of Java and Prolog for Rule-Based Software Development. Challenge+DC@RuleML (2015)
Ludwig Ostermayer, Frank Flederer, Dietmar Seipel
CAPJA - A Connector Architecture for Prolog and Java. KESE@ECAI (2014)
Ludwig Ostermayer, Frank Flederer, Dietmar Seipel
PPI - A Portable Prolog Interface for Java. WLP/WFLP (2014)
Ludwig Ostermayer, Dietmar Seipel
A Prolog Framework for Integrating Business Rules into Java Applications. KESE (2013)