Mario Wenzel

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 8

Top Topics

Integrity Constraints

Declarative Programming

Top Venues

Publications

Stefan Brass, Mario Wenzel
Integrity Constraints for Microcontroller Programming in Datalog. ADBIS (2021)
Mario Wenzel, Stefan Brass
Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. LOPSTR (2020)
Mario Wenzel, Stefan Brass
Declarative Programming for Microcontrollers - Datalog on Arduino. DECLARE (2019)
Mario Wenzel, Stefan Brass
Declarative Programming for Microcontrollers - Datalog on Arduino. CoRR (2019)
Stefan Brass, Mario Wenzel
Performance Analysis and Comparison of Deductive Systems and SQL Databases. Datalog (2019)
Sibylle Schwarz, Mario Wenzel
ev3dev-prolog - Prolog API for LEGO EV3. GI-Jahrestagung (Workshops) (2019)
Stefan Brass, Mario Wenzel
An Abstract Machine for Push Bottom-Up Evaluation of Datalog. DEXA (2) (2018)
Kristof Van Laerhoven, Mario Wenzel, Anouk Geelen, Christopher Hübel, Maike Wolters, Antje Hebestreit, Lene Frost Andersen, Pieter van't Veer, Thomas Kubiak
Experiences from a Wearable-Mobile Acquisition System for Ambulatory Assessment of Diet and Activity. iWOAR (2017)