DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-23175-9_7,3271,HeEd,Efficient computation of persistent homology for cubical data
10.1007/978-3-642-22438-6_36,3323,ToHe,An efficient decision procedure for imperative tree data structures
10.1007/978-3-642-18275-4_26,3324,ToHe,Decision procedures for automating termination proofs
10.1007/978-3-642-24372-1_37,3326,ToHe,"What’s decidable about weighted automata"
10.1007/978-3-642-19805-2_13,3327,,Co-Büching them all
10.1007/s00373-011-1020-7,3332,HeEd,A note on the complexity of real algebraic hypersurfaces
10.1007/978-3-642-25249-5_3,3335,HeEd,"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web"
10.48550/arXiv.1107.2146,3338,KrCh,Bounded rationality in concurrent parity games
10.1007/978-3-642-22110-1_21,3342,KrCh,Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
10.1137/1.9781611973082.101,3343,KrCh,Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
10.1007/978-3-642-24288-5_1,3344,KrCh,Graph games with reachability objectives
10.1007/978-3-642-22993-0_21,3345,KrCh,Energy and mean-payoff parity Markov Decision Processes
10.1007/978-3-642-21254-3_16,3347,KrCh,Finitary languages
10.1145/1967701.1967734,3348,KrCh,Synthesis of memory efficient real time controllers for safety objectives
10.1007/978-3-642-24310-3_11,3350,KrCh,Minimum attention controller synthesis for omega regular objectives
10.1007/978-3-642-22953-4_13,3351,KrCh,On memoryless quantitative objectives
10.1007/978-3-642-21254-3_17,3357,"KrCh,ToHe",The complexity of request-response games
10.1007/978-3-642-23217-6_27,3362,ToHe,Dynamic reactive modules
10.1007/978-3-642-19835-9_24,3365,"KrCh,ToHe",QUASY: quantitative synthesis tool
10.1007/978-3-642-22110-1_20,3366,"ToHe,KrCh",Quantitative synthesis for concurrent programs