DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-37709-9_2,14318,KrCh,"Automated tail bound analysis for probabilistic recurrence relations"
10.1007/978-3-031-13185-1_4,12000,KrCh,"Sound and complete certificates for auantitative termination analysis of probabilistic programs"
10.4230/LIPIcs.FSTTCS.2022.29,12102,"KrCh,GradSch",Algorithms and hardness results for computing cores of Markov chains
10.15479/AT:ISTA:8934,8934,"KrCh,GradSch",Parameterized and algebro-geometric advances in static program analysis
10.1145/3453483.3454076,9645,KrCh,Polynomial reachability witnesses via Stellensätze
10.1145/3453483.3454102,9646,KrCh,Quantitative analysis of assertion violations in probabilistic programs
10.29252/ijmsi.15.2.117,8671,KrCh,A note on belief structures and s-approximation spaces
10.1007/978-3-030-59152-6_14,8728,KrCh,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
10.1016/j.ress.2019.106665,6918,KrCh,An efficient algorithm for computing network reliability in small treewidth
10.1007/978-3-030-44914-8_5,7810,KrCh,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
10.1145/3385412.3385969,8089,KrCh,Polynomial invariant generation for non-deterministic recursive programs
10.1145/3339984,7014,KrCh,Non-polynomial worst-case analysis of recursive programs
10.1145/3363525,7158,KrCh,Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
10.1109/BLOC.2019.8751326,6056,KrCh,Probabilistic smart contracts: Secure randomness on the blockchain
10.1145/3314221.3314581,6175,KrCh,Cost analysis of nondeterministic probabilistic programs
10.1145/3297280.3297319,6378,KrCh,"Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving"
10.1145/3290366,6380,KrCh,Efficient parameterized algorithms for data packing
10.1145/3297280.3297322,6490,KrCh,The treewidth of smart contracts
10.1145/3360555,6780,KrCh,Modular verification for almost-sure termination of probabilistic programs
10.24963/ijcai.2018/653,5977,KrCh,Computational approaches for stochastic shortest path on succinct MDPs