DOI,IST REx ID,Research Group,Title of publication
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.tcs.2014.08.019,1733,"ToHe,KrCh",Interface simulation distances
null,8044,RoSe,Structure of the excitation spectrum for many-body quantum systems
10.1016/j.cell.2014.01.029,9458,DaZi,Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse eukaryotes
10.1073/pnas.1418564111,9479,DaZi,"The AAA-ATPase molecular chaperone Cdc48/p97 disassembles sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA genes"
10.1016/j.tplants.2014.01.014,9519,DaZi,DNA methylation as a system of plant genomic immunity
10.1371/journal.pone.0111430.s006,9722,JoCs,Transition probability between TF expression states when Dbx2 inhibits Nkx2.2
10.1371/journal.pcbi.1003818.s001,9739,KrCh,"Detailed proofs for “The time scale of evolutionary innovation”"
10.5061/dryad.vm0vc,9740,SyCr,Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
10.5061/dryad.85dn7,9741,CaGu,Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
10.5061/dryad.s42n1,9747,CaGu,Data from: Role of sex and migration in adaptation to sink environments
10.5061/dryad.246qg,9752,GaTk,Data from: Transformation of stimulus correlations by the retina
10.5061/dryad.nc0gc,9753,SyCr,Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
10.1371/journal.pone.0107518,468,CampIT,Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
10.4204/EPTCS.146.11,475,KrCh,First cycle games
10.1007/s00453-013-9843-7,535,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1002/ece3.1150,537,"NiBa,GaTk",Fitness consequences of maternal and grandmaternal effects
10.15479/AT:IST-2014-148-v2-1,5411,ToHe,Compositional specifications for IOCO testing
10.15479/AT:IST-2014-153-v1-1,5412,KrCh,CEGAR for qualitative analysis of probabilistic systems