Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M. (2015).
Stateless Model Checking of Event-Driven Applications. In
OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 57-73). Association for Computing Machinery.
https://doi.org/10.1145/2814270.2814282
Mazarrasa, I., Marbà, N., Lovelock, C. E., Serrano, O., Lavery, P., Fourqurean, J. W., Kennedy, H., Mateo, M. A.
, Krause-Jensen, D., Steven, A. D. L. & Duarte, C. M. (2015).
Sediment inorganic carbon (PIC) deposits in seagrass meadows and adjacent sand-patches. Dataset, DIGITAL.CSIC.
Pramanick, A.
, Jørgensen, M. R. V., Diallo, S. O., Christianson, A. D., Fernandez-Baca, J. A., Hoffmann, C., Wang, X., Lan, S. & Wang, X.-L. (2015).
Nanoscale Atomic Displacements Ordering for Enhanced Piezoelectric Properties in Lead-Free ABO3 Ferroelectrics.
Advanced Materials,
27(29), 4330-4335.
https://doi.org/10.1002/adma.201501274