You are here

Publications

Primary tabs

  1. Marchetto, Alessandro; Scanniello, Giuseppe; Susi, Angelo,
    Combining Code and Requirements Coverage with Execution Cost for Test Suite Reduction,
    in «IEEE TRANSACTIONS ON SOFTWARE ENGINEERING»,
    vol. 45,
    n. 4,
    , pp. 363 -
    390
  2. Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.,
    Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison,
    in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
    vol. 20,
    n. 1,
  3. Iannacci, Jacopo,
    in «MAGALLAT GAMIAT AL-MALIK SAʹUD. AL-ʹULUM»,
    vol. 31,
    n. 1,
    , pp. 66 -
    74
  4. Crimi, Alessandro; Giancardo, Luca; Sambataro, Fabio; Gozzi, Alessandro; Murino, Vittorio; Sona, Diego,
    MultiLink Analysis: Brain Network Comparison via Sparse Connectivity Analysis,
    in «SCIENTIFIC REPORTS»,
    vol. 9,
    n. 1,
    , pp. 65 -
  5. Ducloué, B.; Iancu, E.; Lappi, T.; Mueller, A. H.; Soyez, G.; Triantafyllopoulos, D.; Zhu, Y.,
    in «NUCLEAR PHYSICS. A»,
    vol. 982,
    , pp. 271 -
    274
  6. Mich, Ornella; Ghislandi, Patrizia,
    in «QWERTY»,
    vol. 14,
    n. 2,
    , pp. 88 -
    109
  7. Piras, Enrico Maria,
    in «HEALTH INFORMATICS JOURNAL»,
    vol. 25,
    n. 3,
    , pp. 598 -
    607
  8. Piras, Enrico Maria; Miele, Francesco,
    in «SOCIOLOGY OF HEALTH & ILLNESS»,
    vol. 41,
    n. S1,
    , pp. 116 -
    131
  9. Lingstedt, Leona V.; Ghittorelli, Matteo; Lu, Hao; Koutsouras, Dimitrios A.; Marszalek, Tomasz; Torricelli, Fabrizio; Crăciun, N. Irina; Gkoupidenis, Paschalis; Blom, Paul W. M.,
    in «ADVANCED ELECTRONIC MATERIALS»,
    vol. 5,
    n. 3,
    , pp. 1800804 -
  10. Galvagni, Lucia,
    in «PSICHE»,
    vol. 1/2019,
    , pp. 159 -
    176