DOI,IST REx ID,Title of publication
10.1021/ja411573a,13403,Support curvature and conformational freedom control chemical reactivity of immobilized species
10.1039/c3cs60181a,13404,Spiropyran-based dynamic materials
10.1016/j.tcs.2014.06.031,1375,Approximating the minimum cycle mean
10.1007/978-3-642-54013-4_10,1392,A logic-based framework for verifying consensus algorithms
10.1145/2593882.2593900,1393,Probabilistic programming
null,1395,Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
10.1039/c4fd00018h,14018,The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics
10.1063/1.4890744,14019,The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra
null,1402,Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
10.1103/physrevlett.113.023001,14020,Two-pulse field-free orientation reveals anisotropy of molecular shape resonance
10.1088/0953-4075/47/12/124030,14021,Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules
null,1403,Forces driving epithelial spreading in zebrafish epiboly
null,1404,Evolution of a fungal pathogen towards individual versus social immunity in ants
10.1002/ange.201405991,14301,Facile and scalable preparation of pure and dense DNA origami solutions
10.15479/AT:IST-2014-148-v2-1,5411,Compositional specifications for IOCO testing
10.15479/AT:IST-2014-153-v1-1,5412,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v2-2,5413,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v3-1,5414,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-170-v1-1,5415,Nested weighted automata
10.15479/AT:IST-2014-171-v1-1,5416,Model measuring for hybrid systems