DOI,IST REx ID,Research Group,Title of publication
10.1109/FMCAD.2013.6679394,1385,ToHe,Synthesizing multiple boolean functions using interpolation on a single proof
10.1007/978-3-642-39212-2_11,1387,ToHe,Nondeterminism in the presence of a diverse or unknown future
10.4007/annals.2013.177.3.8,1442,,Positivity for Kac polynomials and DT-invariants of quivers
null,1443,,Global topology of the Hitchin system
10.1016/j.aim.2012.10.009,1469,,Arithmetic harmonic analysis on character and quiver varieties II
10.5427/jsing.2013.7c,1470,,Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
10.1038/nature12010,1785,,Experimental realization of non-Abelian non-adiabatic geometric gates
10.1103/PhysRevLett.110.203602,1786,,Collective suppression of linewidths in circuit QED
10.1038/nphys2612,1787,,"Correlations, indistinguishability and entanglement in Hong-Ou-Mandel experiments at microwave frequencies"
10.1016/j.neuron.2013.09.019,1790,,The sacred disease: The puzzling genetics of epileptic disorders
10.1063/1.4840535,17991,,Transport properties of individual C60-molecules
10.1021/ja410656a,17992,,Silicon ring strain creates high-conductance pathways in single-molecule circuits
10.1021/nl403698m,17993,,Tuning rectification in single-molecular diodes
10.1021/jp405229b,17994,,"Ultrafast charge transfer through noncovalent Au–N interactions in molecular systems"
10.1021/ja4055367,17995,,Impact of molecular symmetry on single-molecule conductance
10.1021/nl401654s,17996,,Conductance of molecular junctions formed with silver electrodes
10.1021/nl4012276,17997,,"Length-dependent thermopower of highly conducting Au–C bonded single molecule junctions"
10.1021/nn4007187,17998,,"Correlating structure, conductance, and mechanics of silver atomic-scale contacts"
10.1038/nnano.2013.91,17999,,Single-molecule junctions beyond electronic transport
10.1007/978-3-642-34141-0_12,18351,,Group-Valued Regularization for Motion Segmentation of Articulated Shapes