DOI,IST REx ID,Research Group,Title of publication
10.1098/rsob.140017,2188,JiFr,Polar delivery in plants; commonalities and differences to animal epithelial cells
null,2189,ChLa,Adaptation de domaine de vote de majorité par auto-étiquetage non itératif
10.1007/978-3-319-08867-9_13,2190,"ToHe,KrCh",From LTL to deterministic automata: A safraless compositional approach
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,1395,SyCr,Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
null,1402,JiFr,Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
null,1403,CaHe,Forces driving epithelial spreading in zebrafish epiboly
null,1404,SyCr,Evolution of a fungal pathogen towards individual versus social immunity in ants
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