Maximilian Marx
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EDBT | Declarative Debugging for Datalog with Aggregation. | Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krtzsch, Maximilian Marx, Julin Mndez |
| 2022 | ICDT | Tuple-Generating Dependencies Capture Complex Values. | Maximilian Marx, Markus Krtzsch |
| 2022 | TACAS | A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry Gonzlez, Markus Krtzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach |
| 2019 | ICDT | The Power of the Terminating Chase (Invited Talk). | Markus Krtzsch, Maximilian Marx, Sebastian Rudolph |
| 2019 | ICFCA | Discovering Implicational Knowledge in Wikidata. | Tom Hanika, Maximilian Marx, Gerd Stumme |
| 2018 | ICDT | Preserving Constraints with the Stable Chase. | David Carral, Markus Krtzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph |
| 2018 | IJCAI | Attributed Description Logics: Reasoning on Knowledge Graphs. | Markus Krtzsch, Maximilian Marx, Ana Ozaki, Veronika Thost |
| 2017 | IJCAI | Logic on MARS: Ontologies for Generalised Property Graphs. | Maximilian Marx, Markus Krtzsch, Veronika Thost |
| 2017 | ISCAS | A self-test on wafer level for a MEM gyroscope readout based on ΔΣ modulation. | Sebastian Nessler, Maximilian Marx, Yiannos Manoli |
| 2015 | ISCAS | Q-enhancement of a low-power gm-C bandpass filter for closed-loop sensor readout applications. | Daniel DeDorigo, Stefan Rombach, Michael Maurer, Maximilian Marx, Sebastian Nessler, Yiannos Manoli |