Mario Wenzel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2018–2021
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ADBIS | Integrity Constraints for Microcontroller Programming in Datalog. | Stefan Brass, Mario Wenzel |
| 2020 | LOPSTR | Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. | Mario Wenzel, Stefan Brass |
| 2019 | GI | ev3dev-prolog - Prolog API for LEGO EV3. | Sibylle Schwarz, Mario Wenzel |
| 2018 | DEXA | An Abstract Machine for Push Bottom-Up Evaluation of Datalog. | Stefan Brass, Mario Wenzel |