DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-33027-8_13,2048,KrPi,Practical leakage-resilient symmetric cryptography
10.1007/978-3-642-34047-5_20,2049,KrPi,Lapin: An efficient authentication protocol based on ring-LPN
10.1145/2393596.2393664,1384,ToHe,Conditional model checking: A technique to pass information between verifiers
10.15479/AT:IST-2012-0003,5396,"VlKo,ChLa",Approximating marginals using discrete energy minimization
10.1007/978-3-642-33386-6_10,5745,ToHe,Improved Single Pass Algorithms for Resolution Proof Reduction
null,6588,HeEd,Elementary solutions of the Bernstein problem on two intervals
10.1126/science.1224839,9451,DaZi,Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
10.1371/journal.pgen.1002988,9497,DaZi,Deposition of histone variant H2A.Z within gene bodies regulates responsive genes
10.1371/journal.pgen.1002512,9499,DaZi,EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development
10.1016/j.gde.2012.01.007,9528,DaZi,"Regulation of biological accuracy, precision, and memory by plant chromatin organization"
10.1101/sqb.2012.77.014944,9535,DaZi,"DNA methylation, H2A.Z, and the regulation of constitutive expression"
10.5061/dryad.sv37s,9755,SyCr,Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies
10.5061/dryad.61649,9757,SyCr,Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
10.5061/dryad.274b1,9758,NiBa,Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates
10.1038/nrn3125,3317,PeJo,Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
10.1016/j.jsc.2011.11.001,3331,HeEd,A worst case bound for topology computation of algebraic curves
10.1007/978-3-642-28729-9_18,3341,KrCh,Robustness of structurally equivalent concurrent parity games
10.1016/j.scico.2010.06.004,3836,ToHe,Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
10.1016/j.jcss.2011.05.002,3846,"KrCh,ToHe","A survey of stochastic ω regular games"
10.3389/fnins.2012.00055,493,"ScienComp,PeJo",Review of the BCI competition IV