Follow
Markus Nissl
Markus Nissl
Verified email at tuwien.ac.at
Title
Cited by
Cited by
Year
Towards cross-blockchain smart contracts
M Nissl, E Sallinger, S Schulte, M Borkowski
2021 IEEE International Conference on Decentralized Applications and …, 2021
402021
Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs.
L Bellomarini, M Benedetti, S Ceri, A Gentili, R Laurendi, D Magnanimi, ...
RuleML+ RR (Supplement) 2644, 145-156, 2020
152020
Modelling Smart Contracts with DatalogMTL.
M Nissl, E Sallinger
EDBT/ICDT Workshops 3135, 2022
102022
Monotonic Aggregation for Temporal Datalog.
L Bellomarini, M Nissl, E Sallinger
RuleML+ RR (Supplement), 2021
92021
The Temporal Vadalog System
L Bellomarini, L Blasi, M Nissl, E Sallinger
Rules and Reasoning: 6th International Joint Conference on Rules and …, 2022
72022
Reasoning on company takeovers: From tactic to strategy
L Bellomarini, L Bencivelli, C Biancotti, L Blasi, FP Conteduca, A Gentili, ...
Data & Knowledge Engineering 141, 102073, 2022
72022
iTemporal: An Extensible Generator of Temporal Benchmarks
L Bellomarini, M Nissl, E Sallinger
2022 IEEE 38th International Conference on Data Engineering (ICDE), 2021-2033, 2022
72022
Query Evaluation in DatalogMTL--Taming Infinite Query Results
L Bellomarini, M Nissl, E Sallinger
arXiv preprint arXiv:2109.10691, 2021
62021
Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges.
L Bellomarini, G Galano, M Nissl, E Sallinger
RuleML+ RR (Supplement) 2956, 2021
62021
Neither in the programs nor in the data: Mining the hidden financial knowledge with knowledge graphs and reasoning
L Bellomarini, D Magnanimi, M Nissl, E Sallinger
Mining Data for Financial Applications: 5th ECML PKDD Workshop, MIDAS 2020 …, 2021
42021
Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations
Z Tian, P Lindner, M Nissl, C Koch, V Tannen
Proceedings of the ACM on Management of Data 1 (2), 1-28, 2023
32023
Blockchains as Knowledge Graphs–Blockchains for Knowledge Graphs (Vision Paper)
L Bellomarini, G Galano, M Nissl, E Sallinger
32021
Vadalog: Overview, Extensions and Business Applications
T Baldazzi, L Bellomarini, M Gerschberger, A Jami, D Magnanimi, M Nissl, ...
Reasoning Web. Causality, Explanations and Declarative Knowledge: 18th …, 2023
12023
Towards bridging traditional and smart contracts with Datalog-based languages
M Nissl, E Sallinger
Proceedings of the 4th International Workshop on the Resurgence of Datalog …, 2022
12022
Knowledge Graphs: Detection of Outdated News.
N Ferranti, A Krickl, M Nissl
ISWC (Posters/Demos/Industry), 2021
12021
Temporal Reasoning in Knowledge Graphs. Artificial Intelligence Systems for Reasoning with Time in Vadalog
M Nissl
Technische Universität Wien, 2023
2023
Towards Efficient Annotation Databases
R Heinzl, M Nissl, E Sallinger
2023
Complexity of Arithmetic in Warded Datalog+-
L Berent, M Nissl, E Sallinger
arXiv preprint arXiv:2202.05086, 2022
2022
Cross-blockchain smart contracts: invoking smart contracts across blockchains
M Nissl
Wien, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–19