Markus Nissl

cs.DBcs.AIcs.CRcs.DCcs.LO

On Valency

published · living versions

W_by2ahdj6·v1 · currentpublished

with Rene Heinzl

1 version

4 papers in the corpus · 2020–2024

The Temporal Vadalog System: Temporal Datalog-based Reasoning2412.13019v1 · Luigi Bellomarini, Livia Blasi, Markus Nissl et al.2024 · 1 citationTheory and Practice of Logic Programming 25 (2025) 168-196

Complexity of Arithmetic in Warded Datalog+-2202.05086v1 · Lucas Berent, Markus Nissl, Emanuel Sallinger2022 · 0 citationsarXiv

Query Evaluation in DatalogMTL -- Taming Infinite Query Results2109.10691v2 · Luigi Bellomarini, Markus Nissl, Emanuel Sallinger2021 · 3 citationsarXiv

Towards Cross-Blockchain Smart Contracts2010.07352v2 · Markus Nissl, Emanuel Sallinger, Stefan Schulte et al.2020 · 44 citationsarXiv

Career total: 26 works. 4 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.