Đorđe Žikelić

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fully automated selfish mining analysis in efficient proof systems blockchains	2025-06-13	Paper
On lexicographic proof rules for probabilistic termination Formal Aspects of Computing	2024-09-25	Paper
Algorithms and hardness results for computing cores of Markov chains	2024-09-12	Paper
MDPs as distribution transformers: affine invariant synthesis for safety objectives	2024-02-01	Paper
scientific article; zbMATH DE number 7788376 (Why is no real title available?) (available as arXiv preprint)	2024-01-15	Paper
A learner-verifier framework for neural network controllers and certificates of stochastic systems	2023-12-13	Paper
On Lexicographic Proof Rules for Probabilistic Termination	2023-04-21	Paper
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs	2022-12-07	Paper
scientific article; zbMATH DE number 7561655 (Why is no real title available?)	2022-07-21	Paper
Bidding mechanisms in graph games Journal of Computer and System Sciences	2021-04-14	Paper
Bidding mechanisms in graph games Journal of Computer and System Sciences	2021-04-14	Paper
Stochastic invariants for probabilistic termination Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Theorems about quadrilaterals and conics International Journal of Computer Mathematics	2014-12-29	Paper

Research outcomes over time

This page was built for person: Đorđe Žikelić