Mario Wenzel

According to our database, Mario Wenzel authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Using Answer Set Programming for Integrity Maintenance in a Smart Home System.

Mario Wenzel

Proceedings of the Rules and Reasoning, 2024

2021

Integrity Constraints for Microcontroller Programming in Datalog.

Stefan Brass, Mario Wenzel

Proceedings of the Advances in Databases and Information Systems, 2021

2020

Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines.

Mario Wenzel, Stefan Brass

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Declarative Programming for Microcontrollers - Datalog on Arduino.

Mario Wenzel, Stefan Brass

Proceedings of the Declarative Programming and Knowledge Management, 2019

ev3dev-prolog - Prolog API for LEGO EV3.

Sibylle Schwarz, Mario Wenzel

Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

Performance Analysis and Comparison of Deductive Systems and SQL Databases.

Stefan Brass, Mario Wenzel

Proceedings of the Datalog 2.0 2019, 2019

2018

An Abstract Machine for Push Bottom-Up Evaluation of Datalog.

Stefan Brass, Mario Wenzel

Proceedings of the Database and Expert Systems Applications, 2018

2017

Experiences from a Wearable-Mobile Acquisition System for Ambulatory Assessment of Diet and Activity.

Kristof Van Laerhoven, Mario Wenzel, Anouk Geelen, Christopher Hübel, Maike Wolters, Antje Hebestreit, Lene Frost Andersen, Pieter van't Veer, Thomas Kubiak

Proceedings of the 4th international Workshop on Sensor-based Activity Recognition and Interaction, 2017