Markus Nissl

25 papers A* 2B 1C 2Journal 7Unranked 13
YearRankTypeTitle / Venue / Authors
2025 C conf
The Temporal Vadalog System (Short Paper).
TIME
Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger
2025 J jnl
The Temporal Vadalog System: Temporal Datalog-Based Reasoning.
Theory Pract. Log. Program.
Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger
2024 — conf
Industrial Experience Report on AI-Assisted Coding in Professional Software Development.
LLM4CODE@ICSE
Rudolf Ramler, Michael Moser, Lukas Fischer, Markus Nissl, René Heinzl
2024 J jnl
The Temporal Vadalog System: Temporal Datalog-based Reasoning.
CoRR
Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger
2024 — conf
Towards FATEful Smart Contracts.
AMW
Luigi Bellomarini, Marco Favorito, Eleonora Laurenza, Markus Nissl, Emanuel Sallinger
2024 C conf
Towards FATEful Smart Contracts.
DLT
Luigi Bellomarini, Marco Favorito, Eleonora Laurenza, Markus Nissl, Emanuel Sallinger
2023 J jnl
Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations.
Proc. ACM Manag. Data
Zilu Tian, Peter Lindner, Markus Nissl, Christoph Koch, Val Tannen
2023 A* conf
Temporal Datalog with Existential Quantification.
IJCAI
Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega
2023 — conf
Towards Efficient Annotation Databases (short paper).
AMW
René Heinzl, Markus Nissl, Emanuel Sallinger
2022 J jnl
Complexity of Arithmetic in Warded Datalog+-.
CoRR
Lucas Berent, Markus Nissl, Emanuel Sallinger
2022 — conf
Modelling Smart Contracts with DatalogMTL.
EDBT/ICDT Workshops
Markus Nissl, Emanuel Sallinger
2022 J jnl
Reasoning on company takeovers: From tactic to strategy.
Data Knowl. Eng.
Luigi Bellomarini, Lorenzo Bencivelli, Claudia Biancotti, Livia Blasi, Francesco Paolo Conteduca, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Michele Savini Zangrandi, Flavia Tonelli, Stefano Ceri, Davide Benedetto, Markus Nissl, Emanuel Sallinger
2022 B conf
The Temporal Vadalog System.
RuleML+RR
Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger
2022 — conf
Towards Bridging Traditional and Smart Contracts with Datalog-based Languages.
Datalog
Markus Nissl, Emanuel Sallinger
2022 — conf
Vadalog: Overview, Extensions and Business Applications.
RW
Teodoro Baldazzi, Luigi Bellomarini, Markus Gerschberger, Aditya Jami, Davide Magnanimi, Markus Nissl, Aleksandar Pavlovic, Emanuel Sallinger
2022 A* conf
iTemporal: An Extensible Generator of Temporal Benchmarks.
ICDE
Luigi Bellomarini, Markus Nissl, Emanuel Sallinger
2021 — conf
Knowledge Graphs: Detection of Outdated News.
ISWC (Posters/Demos/Industry)
Nicolas Ferranti, Astrid Krickl, Markus Nissl
2021 — conf
Monotonic Aggregation for Temporal Datalog.
RuleML+RR (Supplement)
Luigi Bellomarini, Markus Nissl, Emanuel Sallinger
2021 J jnl
Query Evaluation in DatalogMTL - Taming Infinite Query Results.
CoRR
Luigi Bellomarini, Markus Nissl, Emanuel Sallinger
2021 — conf
Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges.
RuleML+RR (Supplement)
Luigi Bellomarini, Giuseppe Galano, Markus Nissl, Emanuel Sallinger
2021 — conf
Towards Cross-Blockchain Smart Contracts.
DAPPS
Markus Nissl, Emanuel Sallinger, Stefan Schulte, Michael Borkowski
2020 — conf
Blockchains as Knowledge Graphs - Blockchains for Knowledge Graphs (Vision Paper).
KR4L@ECAI
Luigi Bellomarini, Markus Nissl, Emanuel Sallinger
2020 — conf
Neither in the Programs Nor in the Data: Mining the Hidden Financial Knowledge with Knowledge Graphs and Reasoning.
MIDAS@PKDD/ECML
Luigi Bellomarini, Davide Magnanimi, Markus Nissl, Emanuel Sallinger
2020 — conf
Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs.
RuleML+RR (Supplement)
Luigi Bellomarini, Marco Benedetti, Stefano Ceri, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Markus Nissl, Emanuel Sallinger
2020 J jnl
Towards Cross-Blockchain Smart Contracts.
CoRR
Markus Nissl, Emanuel Sallinger, Stefan Schulte, Michael Borkowski