Palma, Francis
Palma, Francis
SE
Interactive requirements prioritization using a genetic algorithm
2013-01-01 Tonella, Paolo; Susi, Angelo; Palma, Francis
Measurement of the re-entrant all-electron spectrum by the High-Energy Particle Detector on board the China Seismo-Electromagnetic Satellite
2026-01-01 Amoroso, S.; Babu, M.; Bartocci, S.; Battiston, R.; Beolè, S.; Burger, W. J.; Campana, D.; Cipollone, P.; Conti, L.; Contin, A.; Cristoforetti, M.; De Donato, C.; De Santis, C.; Di Luca, A.; Follega, F. M.; Gebbia, G.; Iuppa, R.; Lega, A.; Lolli, M.; Martucci, M.; Masciantonio, G.; Mergè, M.; Mese, M.; Neubüser, C.; Nicolaidis, R.; Nozzoli, F.; Oliva, A.; Osteria, G.; Palma, F.; Panico, B.; Perfetto, F.; Perinelli, A.; Picozza, P.; Pietroni, S.; Pozzato, M.; Ricci, E.; Ricci, L.; Ricci, M.; Ricciarini, S. B.; Sahnoun, Z.; Savino, U.; Scotti, V.; Sorbara, M.; Sotgiu, A.; Sparvoli, R.; Ubertini, P.; Vilona, V.; Zoffoli, S.; Zuccon, P.
Using an SMT solver for interactive requirements prioritization
2011-01-01 Palma, Francis; Susi, Angelo; Tonella, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Interactive requirements prioritization using a genetic algorithm | 1-gen-2013 | Tonella, Paolo; Susi, Angelo; Palma, Francis | |
| Measurement of the re-entrant all-electron spectrum by the High-Energy Particle Detector on board the China Seismo-Electromagnetic Satellite | 1-gen-2026 | Amoroso, S.; Babu, M.; Bartocci, S.; Battiston, R.; Beolè, S.; Burger, W. J.; Campana, D.; Cipollone, P.; Conti, L.; Contin, A.; Cristoforetti, M.; De Donato, C.; De Santis, C.; Di Luca, A.; Follega, F. M.; Gebbia, G.; Iuppa, R.; Lega, A.; Lolli, M.; Martucci, M.; Masciantonio, G.; Mergè, M.; Mese, M.; Neubüser, C.; Nicolaidis, R.; Nozzoli, F.; Oliva, A.; Osteria, G.; Palma, F.; Panico, B.; Perfetto, F.; Perinelli, A.; Picozza, P.; Pietroni, S.; Pozzato, M.; Ricci, E.; Ricci, L.; Ricci, M.; Ricciarini, S. B.; Sahnoun, Z.; Savino, U.; Scotti, V.; Sorbara, M.; Sotgiu, A.; Sparvoli, R.; Ubertini, P.; Vilona, V.; Zoffoli, S.; Zuccon, P. | |
| Using an SMT solver for interactive requirements prioritization | 1-gen-2011 | Palma, Francis; Susi, Angelo; Tonella, Paolo |