_id,doi,title
495,10.4204/EPTCS.96.18,A Myhill Nerode theorem for automata with advice
496,10.1109/LICS.2012.65,Interpretations in trees with countably many branches
497,10.4230/LIPIcs.CSL.2012.167,Faster algorithms for alternating refinement relations
498,10.1111/j.1752-4571.2012.00284.x,Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
506,10.1083/jcb.201204039,Cell migration: Fibroblasts find a new way to get ahead
5377,10.15479/AT:IST-2012-0002,Mean-payoff pushdown games
5378,10.15479/AT:IST-2012-0001,Faster algorithms for alternating refinement relations
5396,10.15479/AT:IST-2012-0003,Approximating marginals using discrete energy minimization
5398,,Actual state of research data @ ISTAustria
5745,10.1007/978-3-642-33386-6_10,Improved Single Pass Algorithms for Resolution Proof Reduction
5839,10.1016/j.protcy.2012.05.134,An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets
596,10.1016/j.jmb.2012.02.014,Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly
6136,10.1038/nn.3061,Tonic signaling from O2 sensors sets neural circuit activity and behavioral state
6588,,Elementary solutions of the Bernstein problem on two intervals
1471,10.2140/gt.2012.16.1609,Prym varieties of spectral covers
1472,10.4007/annals.2012.175.3.7,Topology of hitchin systems and Hodge theory of character varieties: The case A 1
13075,10.5061/DRYAD.0G0FS,Data from: A likelihood-based comparison of population histories in a parasitoid guild
13407,10.1021/ja309633v,Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets
13408,10.1002/smll.201101882,Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles
1384,10.1145/2393596.2393664,Conditional model checking: A technique to pass information between verifiers