DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS.2012.65,496,KrCh,Interpretations in trees with countably many branches
10.4230/LIPIcs.CSL.2012.167,497,KrCh,Faster algorithms for alternating refinement relations
10.1111/j.1752-4571.2012.00284.x,498,NiBa,Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
10.15479/AT:IST-2012-0002,5377,KrCh,Mean-payoff pushdown games
10.15479/AT:IST-2012-0001,5378,KrCh,Faster algorithms for alternating refinement relations
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
10.1016/j.protcy.2012.05.134,5839,,An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets
10.1016/j.jmb.2012.02.014,596,,Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly
10.1038/nn.3061,6136,,Tonic signaling from O2 sensors sets neural circuit activity and behavioral state
10.1073/pnas.1206953109,1987,,Geometry sensing by self-organized protein patterns
10.1186/1471-2164-13-109,2073,,Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans
10.1111/j.1467-8659.2012.03037.x,2079,,crdbrd: Shape fabrication by sliding planar slices
10.1103/physrevlett.109.188101,10387,,Mechanism of membrane tube formation induced by adhesive nanocomponents
10.1103/physrevlett.108.118101,10388,,Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles
10.1016/S0140-6736(12)60690-4,1055,,Bulla in the lung
10.1103/PhysRevLett.108.215302,1056,,Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions
null,10750,,Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc
10.1145/2312005.2312057,762,,On the cost of composing shared-memory algorithms