| |
| 2006 | ||
|---|---|---|
| 2 | EE | Roberto Sebastiani, Michele Vescovi: Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC. SAT 2006: 130-135 |
| 2005 | ||
| 1 | EE | Mauro Cettolo, Michele Vescovi, Romeo Rizzi: Evaluation of BIC-based algorithms for audio segmentation. Computer Speech & Language 19(2): 147-170 (2005) |
| 1 | Mauro Cettolo | [1] |
| 2 | Romeo Rizzi | [1] |
| 3 | Roberto Sebastiani | [2] |