DOI,IST REx ID,Research Group,Title of publication
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.1145/2579821,2211,KrCh,Partial-observation stochastic games: How to win when belief fails
10.1007/978-3-642-54830-7_14,2212,KrCh,Perfect-information stochastic mean-payoff parity games
10.1007/978-3-642-54830-7_16,2213,KrCh,The complexity of partial-observation stochastic parity games with finite-memory strategies
10.1371/journal.pone.0085699,2214,MiSi,Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects
10.1038/nrm3805,2215,MiSi,Mechanisms and principles of homology search during recombination
10.1145/2562059.2562141,2216,KrCh,Edit distance for timed automata
10.1145/2562059.2562130,2217,ToHe,Model measuring for hybrid systems
10.1007/978-3-642-54631-0_1,2219,KrPi,Simple chosen-ciphertext security from low noise LPN
10.1016/j.chembiol.2014.04.004,2220,ToBo,Suppressive drug interactions between antifungals
10.1093/pcp/pcu012,2222,JiFr,VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis
10.1093/pcp/pct196,2223,JiFr,BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis
10.1214/EJP.v19-3054,2225,LaEr,Isotropic local laws for sample covariance and generalized Wigner matrices
10.1103/PhysRevE.89.013001,2226,BjHo,Transient growth of Ekman-Couette flow
10.1007/s13127-013-0150-6,2227,"JiFr,EvBe",Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences
10.1038/nn.3678,2228,PeJo,A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons
10.1126/science.1244811,2229,PeJo,Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse
10.3389/fninf.2014.00016,2230,"ScienComp,PeJo",Stimfit: Quantifying electrophysiological data with Python
10.1016/j.bpj.2014.01.014,2231,GaTk,Noise and information transmission in promoters with multiple internal states