DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-021-00373-5,9393,KrCh,Faster algorithms for quantitative verification in bounded treewidth graphs
10.1038/s41467-021-24271-w,9640,KrCh,Fast and strong amplifiers of natural selection
10.15479/at:ista:10293,10293,"GradSch,KrCh",Evolution of cooperation via (in)direct reciprocity under imperfect information
10.1007/978-3-030-45237-7_5,7808,ToHe,How many bits does it take to quantize your neural network?
null,8287,ToHe,Reachability analysis of linear hybrid systems via block decomposition
10.4230/LIPIcs.CONCUR.2020.23,8600,"KrCh,ToHe",Multi-dimensional long-run average problems for vector addition systems with states
10.1109/TCAD.2020.3012803,8788,KrCh,Precedence-aware automated competitive analysis of real-time scheduling
10.1109/TCAD.2020.3012859,8790,ToHe,Reachability analysis of linear hybrid systems via block decomposition
10.4230/LIPIcs.OPODIS.2019.21,7346,KrCh,The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game
10.3233/FAIA200375,7505,ToHe,Outside the box: Abstraction-based monitoring of neural networks
10.1007/978-3-030-59152-6_14,8728,KrCh,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
10.1145/3385412.3385969,8089,KrCh,Polynomial invariant generation for non-deterministic recursive programs
10.1007/978-3-030-44914-8_5,7810,KrCh,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
10.1007/978-3-030-11245-5_22,5948,KrCh,Termination of nondeterministic probabilistic programs
10.1145/3302504.3311804,6035,ToHe,JuliaReach: A toolbox for set-based reachability
10.1007/978-3-030-17462-0_13,6042,ToHe,Semantic fault localization and suspiciousness ranking
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction
10.1145/3302504.3311800,6428,ToHe,Interface-aware signal temporal logic
10.1007/978-3-030-25540-4_36,6462,"ToHe,KrCh",Run-time optimization for learned controllers through quantitative games
10.1007/978-3-030-25540-4_16,6493,ToHe,Membership-based synthesis of linear hybrid automata