DOI,IST REx ID,Title of publication
10.1021/ja9001585,13420,Metal nanoparticles functionalized with molecular and supramolecular switches
10.1002/anie.200804558,13421,A bistable poly[2]catenane forms nanosuperstructures
null,164,Integral points on cubic hypersurfaces
https://doi.org/10.1142/9789814289924_0001,165,Resent progress on the quantitative arithmetic of del Pezzo surfaces
http://dx.doi.org/10.1090/conm/493,168,Solubility of Fermat equations
10.1016/j.gde.2009.05.004,1718,Temporal dynamics of patterning by morphogen gradients
10.1101/cshperspect.a001255,1720,Morphogen gradient formation 
10.1007/978-1-4020-9457-6_15,18726,Observing the first stars and black holes
10.1007/978-1-4020-9457-6_15,18735,Observing the First Stars and Black Holes
10.1074/jbc.M109.032144,1971,Structural basis for the mechanism of respiratory complex I
10.1534/genetics.107.085225,4357,Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence
10.1007/978-3-642-04222-5_23,4360,Combining theories with shared set operations
null,4363,Formalizing and Verifying Transactional Memories
10.1007/978-3-642-03237-0_3,4365,Abstraction refinement for quantified array assertions
10.1007/978-3-642-02658-4_37,4375,Intra-module inference
10.1145/1639949.164009,4376,Parallel programming with object assemblies
10.1007/978-3-642-05089-3_22,4377,It's doomed; we can prove it
10.1007/978-3-642-02658-4_26,4383,Software transactional memory on relaxed memory models
10.1145/1582716.1582725,4385,Preventing versus curing: Avoiding conflicts in transactional memories
10.1007/978-3-642-02658-4_16,4391,Automated analysis of Java methods for confidentiality