DOI,IST REx ID,Research Group,Title of publication
10.1016/j.tcs.2014.06.031,1375,KrCh,Approximating the minimum cycle mean
10.1007/978-3-642-54013-4_10,1392,ToHe,A logic-based framework for verifying consensus algorithms
10.1145/2593882.2593900,1393,ToHe,Probabilistic programming
null,1507,LaEr,"Random matrices, log-gases and Hölder regularity"
10.1142/9789814618144_0007,1516,RoSe,On the BCS gap equation for superfluid fermionic gases
10.1145/2591010,1629,ChWo,Edit propagation using geometric relationship functions
10.1007/978-3-319-10879-7_7,1643,KrPi,Constrained Verifiable Random Functions 
10.4204/EPTCS.169.5,1702,ToHe,Generalised interpolation by solving recursion free-horn clauses
null,1708,GaTk,Spatio-temporal representations of uncertainty in spiking neural networks
10.1016/j.cub.2014.08.036,1852,JiFr,An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis
10.1109/IOT.2014.7030120,1853,KrCh,Game theoretic secure localization in wireless sensor networks
10.1111/cgf.12509,1854,ChWo,Partial shape matching using transformation parameter similarity
10.1038/nature13889,1862,"JiFr,Bio,EvBe",Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules
10.1007/978-3-319-13338-6_6,1869,ToHe,Suraq - a controller synthesis tool using uninterpreted functions
10.4230/LIPIcs.FSTTCS.2014.431,1870,ToHe,Lipschitz robustness of finite-state transducers
10.1007/978-3-319-10936-7_17,1875,ToHe,Cost-aware automatic program repair
10.17323/1609-4514-2014-14-3-491-504,1876,HeEd,Functionals on triangulations of delaunay sets
10.1038/514441a,1877,MiSi,Physiology: Relax and come in
null,1884,KrCh,Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples
10.7554/eLife.03722,1886,GaTk,Variance predicts salience in central sensory processing