DOI,IST REx ID,Title of publication
10.1007/s11512-010-0143-z,2128,"Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure"
10.1021/ja309633v,13407,Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets
10.1002/smll.201101882,13408,Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles
10.1145/2393596.2393664,1384,Conditional model checking: A technique to pass information between verifiers
10.2140/gt.2012.16.1609,1471,Prym varieties of spectral covers
10.4007/annals.2012.175.3.7,1472,Topology of hitchin systems and Hodge theory of character varieties: The case A 1
10.1007/978-3-642-32362-1_6,18737,The Formation of the First Massive Black Holes
10.1016/j.jsb.2012.03.005,1972,Structure of Escherichia coli OmpF porin from lipidic mesophase
10.1016/j.bbabio.2012.02.015,1976,The coupling mechanism of respiratory complex i - A structural and evolutionary perspective
10.1186/1471-2229-12-116,492,GiA Roots: Software for the high throughput analysis of plant root system architecture
10.3389/fnins.2012.00055,493,Review of the BCI competition IV
10.4204/EPTCS.96.18,495,A Myhill Nerode theorem for automata with advice
10.1109/LICS.2012.65,496,Interpretations in trees with countably many branches
10.4230/LIPIcs.CSL.2012.167,497,Faster algorithms for alternating refinement relations
10.1111/j.1752-4571.2012.00284.x,498,Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
10.15479/AT:IST-2012-0002,5377,Mean-payoff pushdown games
10.15479/AT:IST-2012-0001,5378,Faster algorithms for alternating refinement relations
10.15479/AT:IST-2012-0003,5396,Approximating marginals using discrete energy minimization
null,5398,Actual state of research data @ ISTAustria
10.1007/978-3-642-33386-6_10,5745,Improved single pass algorithms for resolution proof reduction