Zhang, S. N., Feroci, M., Santangelo, A., Dong, Y. W., Feng, H., Lu, F. J.,https://doi.org/10.1117/12.2232034__Zhou, X. L. (2016). eXTP: Enhanced X-ray timing and polarization mission. In Proceedings of the SPIE (Vol. 9905). SPIE.https://doi.org/10.1117/12.2232034 

Soffitta, P., Bellazzini, R., Bozzo, E., Burwitz, V., Castro Tirado, A., Costa, E.,https://doi.org/10.1117/12.2233046__Turriziani, S. (2016). XIPE: The x-ray imaging polarimetry explorer. In Space Telescopes and Instrumentation 2016: Ultraviolet to Gamma Ray (Vol. 9905). Edinburgh, UK: SPIE.https://doi.org/10.1117/12.2233046 

Antolini, E., Caiazzo, I., Davé, R., &; Heyl, J. S. (2016). Using galaxy formation simulations to optimize LIGO follow-up observations. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stw3292 

Tarlungeanu, D.-C., Deliu, E., Dotter, C., Kara, M., Janiesch, P., Scalise, M.,https://doi.org/10.1016/j.cell.2016.11.013__Novarino, G. (2016). Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. Cell Press.https://doi.org/10.1016/j.cell.2016.11.013 

Leithner, A. F., Eichner, A., Müller, J., Reversat, A., Brown, M., Schwarz, J.,https://doi.org/10.1038/ncb3426__Sixt, M. K. (2016). Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb3426 

Sako, K., Pradhan, S., Barone, V., Inglés Prieto, Á., Mueller, P., Ruprecht, V.,https://doi.org/10.1016/j.celrep.2016.06.036__Heisenberg, C.-P. J. (2016). Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. Cell Press.https://doi.org/10.1016/j.celrep.2016.06.036 

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM.https://doi.org/10.1145/2837614.2837624 

Chatterjee, K., Fu, H., &; Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer.https://doi.org/10.1007/978-3-319-41528-4_1