DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-32940-1_10,10904,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
10.1007/978-3-642-33090-2_27,10905,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1007/978-3-642-28756-5_46,10906,ToHe,HSF(C): A software verifier based on Horn clauses
10.1126/science.1224839,12198,XiFe,Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
10.5061/DRYAD.0G0FS,13075,NiBa,Data from: A likelihood-based comparison of population histories in a parasitoid guild
10.1145/2393596.2393664,1384,ToHe,Conditional model checking: A technique to pass information between verifiers
10.1007/978-3-642-33027-8_13,2048,KrPi,Practical leakage-resilient symmetric cryptography
10.1007/978-3-642-34047-5_20,2049,KrPi,Lapin: An efficient authentication protocol based on ring-LPN
10.1242/bio.20122287,2263,SiHi,A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors
10.1109/TCBB.2012.91,2302,"ToHe,CaGu",The propagation approach for computing biochemical reaction networks
10.4171/JST/31,2318,RoSe,Absence of bound states implies non-negativity of the scattering length
10.1093/molbev/msr285,2411,JoBo,A consistent phylogenetic backbone for the fungi
10.4230/LIPIcs.FSTTCS.2012.461,2715,KrCh,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
null,2825,ChLa,Dynamic pruning of factor graphs for maximum marginal prediction
10.1016/j.jtbi.2012.02.021,2848,"KrCh,ToHe",Evolutionary game dynamics in populations with different learners
10.1070/RM2012v067n06ABEH004820,2849,HeEd,On the configuration space of Steiner minimal trees
10.1007/978-3-642-33666-9_1,2888,ToHe,Quantitative reactive models
10.1145/2380356.2380371,2890,ToHe,Synthesis from incompatible specifications
10.4230/LIPIcs.FSTTCS.2012.362,2891,ToHe,Approximate determinization of quantitative automata
null,2902,HeEd,Fractal and computational geometry for generalizing cartographic objects