Publicacions en col·laboració amb investigadors/es de University of Bologna (4)

2017

  1. Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics

    Journal of Multiple-Valued Logic and Soft Computing, Vol. 28, Núm. 2-3, pp. 217-249

2012

  1. Cloud computing, networking, and services

    Journal of Network and Systems Management