DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:8934,8934,"KrCh,GradSch",Parameterized and algebro-geometric advances in static program analysis
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/3339984,7014,KrCh,Non-polynomial worst-case analysis of recursive programs
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/3360555,6780,KrCh,Modular verification for almost-sure termination of probabilistic programs
10.1109/Cybermatics_2018.2018.00231,6340,KrCh,Secure Credit Reporting on the Blockchain
10.4230/LIPIcs.CONCUR.2018.11,66,KrCh,Ergodic mean-payoff games for the analysis of attacks in crypto-currencies