1. 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,
    2019
  2. Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.,
    Model Checking Interval Temporal Logics with Regular Expressions,
    in «INFORMATION AND COMPUTATION»,
    2019
  3. 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,
    2019
    , pp. 363 -
    390
  4. Boldrini, Renata; De Pasquale Maria, Debora; Melaiu, Ombretta; Chierici, Marco; Jurman, Giuseppe; De Benedetti Maria, Chiara; Salfi Nunzio, C; Castellano, Aurora; Collini, Paola; Furlanello, Cesare; Pistoia, Vito; Cifaldi, Loredana; Terenziani, Monica; Fruci, Doriana,
    in «ONCOIMMUNOLOGY»,
    vol. 8,
    n. 2,
    2019
  5. Fasoli, Marianna; Dell’Anna, Rossana; Amato, Alessandra; Balestrini, Raffaella; Dal Santo, Silvia; Monti, Francesca; Sara, Zenoni,
    in «PLANT PHYSIOLOGY AND BIOCHEMISTRY»,
    vol. 135,
    2019
    , pp. 411 -
    422
  6. Donelli, M.; Iannacci, J.,
    in «IEEE ANTENNAS AND WIRELESS PROPAGATION LETTERS»,
    vol. 18,
    n. 1,
    2019
    , pp. 44 -
    48
  7. Battisti, Sandro,
    in «JOURNAL OF SOCIAL ENTREPRENEURSHIP»,
    vol. 10,
    n. 2,
    2019
    , pp. 135 -
    158
  8. Ceccato, Mariano; Tonella, Paolo; Basile, Cataldo; Falcarin, Paolo; Torchiano, Marco; Coppens, Bart; De Sutter, Bjorn,
    in «EMPIRICAL SOFTWARE ENGINEERING»,
    vol. 24,
    n. 1,
    2019
    , pp. 240 -
    286
  9. Ducange, Pietro; Fazzolari, Michela; Petrocchi, Marinella; Vecchio, Massimo,
    in «ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE»,
    vol. 78,
    2019
    , pp. 71 -
    85
  10. Oide, H.; Alimonti, G.; Boscardin, M.; Betta, G. -F. Dalla; Darbo, G.; Ficorella, F.; Fumagalli, E.; Gariano, G.; Gaudiello, A.; Gemme, C.; Meschini, M.; Messineo, A.; Mendicino, R.; Ronchin, S.; Rovani, A.; Ruscino, E.; Sultan, D. M. S.; Zorzi, N.; Furelos, D. Vazquez,
    in «NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH. SECTION A, ACCELERATORS, SPECTROMETERS, DETECTORS AND ASSOCIATED EQUIPMENT»,
    vol. 924,
    2019
    , pp. 73 -
    77