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
null,5398,E-Lib,Actual state of research data @ ISTAustria
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.1007/978-1-4614-3903-5_6,10896,HaJa,The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books
10.1007/978-3-642-33386-6_14,10903,ToHe,Accurate invariant checking for programs manipulating lists and arrays with infinite data
10.1007/978-3-642-32940-1_10,10904,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
10.1007/978-3-642-33090-2_27,10905,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1007/978-3-642-28756-5_46,10906,ToHe,HSF(C): A software verifier based on Horn clauses