DOI,IST REx ID,Research Group,Title of publication
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
10.1109/ISVD.2012.11,2903,"HeEd,MaJö",The adaptive topology of a digital image
10.5802/jtnb.819,2904,HeEd,Weak multipliers for generalized van der Corput sequences
null,2911,,Open problems in discrete and computational geometry
10.4213/rm9503,2912,HeEd,On the configuration space for the shortest networks
null,2915,ChLa,Multi-modal learning for dynamic tactile sensing
10.4204/EPTCS.96.3,2916,"ToHe,KrCh",Interface Simulation Distances
10.1017/S1473550412000407,2917,NiBa,The game of active search for extra terrestrial intelligence Breaking the Great Silence 
null,2928,VlKo,Generalized sequential tree-reweighted message passing
null,2929,,The power of linear programming for valued CSPs: a constructive characterization
10.1007/978-3-642-32147-4_40,2930,VlKo,Towards minimizing k-submodular functions
10.1109/TPAMI.2012.105,2931,VlKo,A dual decomposition approach to feature correspondence
10.1145/2380356.2380370,2936,"KrCh,ToHe",Finite automata with time delay blocks
10.1145/2382196.2382249,2937,KrPi,Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
10.1111/1365-2435.12013,2938,SyCr,Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies
10.1070/RM2012v067n04ABEH004807,2941,HeEd,On the optimality of functionals over triangulations of Delaunay sets
10.1007/978-3-642-34059-8_20,2942,ToHe,Independent implementability of viewpoints
10.1111/mmi.12071,2943,CaGu,Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions