_id,doi,title
5388,10.15479/AT:IST-2010-0004,Quantitative synthesis for concurrent programs
5389,10.15479/AT:IST-2010-0003,Simulation distances
5390,10.15479/AT:IST-2010-0002,"Topological, automata-theoretic and logical characterization of finitary languages"
5391,10.15479/AT:IST-2010-0001,Model checking of linearizability of concurrent list implementations
5940,10.1007/978-3-642-13675-7_1,Instance Deadlock: A Mystery behind Frozen Programs
598,10.1038/nsmb.1816,P53 activates transcription by directing structural shifts in Mediator
6142,10.1371/journal.pone.0013922,Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
619,,"“This is a fundamentalist town”: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House"
6198,10.1038/nm.2245,Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95
6320,10.1515/crelle.2010.064,Le problème des diviseurs pour des formes binaires de degré 4
1465,10.1007/s00222-010-0241-3,Kac's conjecture from Nakajima quiver varieties
1466,10.1016/j.crma.2010.01.025,Topology of character varieties and representations of quivers
1468,10.1093/acprof:oso/9780199534920.003.0016,S-Duality in HyperkäHler Hodge Theory
14983,10.1007/978-3-642-02091-9_18,Adaptive Methods in BCI Research - An Introductory Tutorial
13409,10.1351/pac-con-10-09-04,Immobilized azobenzenes for the construction of photoresponsive materials
13410,10.1021/ja9102327,"Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory"
13411,10.1002/smll.200902272,"Nanoparticles that “remember” temperature"
13412,10.1039/b920377j,Nanoparticles functionalised with reversible molecular and supramolecular switches
901,10.1186/1745-6150-5-68,Mitochondrial pathogenic mutations are population-specific
9012,10.1103/physrevlett.104.138302,Colloidal motility and pattern formation under rectified diffusiophoresis