DOI,IST REx ID,Research Group,Title of publication
10.1016/b978-0-12-384719-5.00031-9,10899,NiBa,Differentiation
10.1007/978-1-62703-426-5_14,10900,MiSi,Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations
10.1007/978-3-642-37064-9_20,10902,KrCh,How to travel between languages
10.1109/TPAMI.2013.140,2516,ChLa,Attribute-based classification for zero-shot learning of object categories
10.1126/science.1224839,12198,XiFe,Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
10.5061/DRYAD.0G0FS,13075,NiBa,Data from: A likelihood-based comparison of population histories in a parasitoid guild
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.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