You are here

Publications

Primary tabs

  1. 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,
  2. 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
  3. 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,
  4. Ceccato, Mariano; Tonella, Paolo; Basile, Cataldo; Falcarin, Paolo; Torchiano, Marco; Coppens, Bart; De Sutter, Bjorn,
    in «EMPIRICAL SOFTWARE ENGINEERING»,
    vol. 24,
    n. 1,
    , pp. 240 -
    286
  5. Battisti, Sandro,
    in «JOURNAL OF SOCIAL ENTREPRENEURSHIP»,
    vol. 10,
    n. 2,
    , pp. 135 -
    158
  6. Donelli, M.; Iannacci, J.,
    in «IEEE ANTENNAS AND WIRELESS PROPAGATION LETTERS»,
    vol. 18,
    n. 1,
    , pp. 44 -
    48
  7. Fasoli, Marianna; Dell’Anna, Rossana; Amato, Alessandra; Balestrini, Raffaella; Dal Santo, Silvia; Monti, Francesca; Sara, Zenoni,
    in «PLANT PHYSIOLOGY AND BIOCHEMISTRY»,
    vol. 135,
    , pp. 411 -
    422
  8. 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,
    , pp. 73 -
    77
  9. Calderini, G.; Bomben, M.; D’ Eramo, L.; Ducourthial, A.; Luise, I.; Marchiori, G.; Boscardin, M.; Ronchin, S.; Zorzi, N.; Bosisio, L.; Dalla Betta, G. F.; Darbo, G.; Giacomini, G.; Meschini, M.; Messineo, A.,
    in «NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH. SECTION A, ACCELERATORS, SPECTROMETERS, DETECTORS AND ASSOCIATED EQUIPMENT»,
    vol. 936,
    , pp. 638 -
    639
  10. Rachevski, A.; Ahangarianabhari, M.; Aquilanti, G.; Bellutti, P.; Bertuccio, G.; Borghi, G.; Bufon, J.; Cautero, G.; Ciano, S.; Cicuttin, A.; Cirrincione, D.; Crespo, M. L.; Fabiani, S.; Ficorella, F.; Gandola, M.; Giuressi, D.; Mannatunga, K. S.; Mele, F.; Menk, R. H.; Olivi, L.; Orzan, G.; Picciotto, A.; Rashevskaya, I.; Sammartini, M.; Schillani, S.; Zampa, G.; Zampa, N.; Zorzi, N.; Vacchi, A.,
    in «NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH. SECTION A, ACCELERATORS, SPECTROMETERS, DETECTORS AND ASSOCIATED EQUIPMENT»,
    vol. 936,
    , pp. 719 -
    721