- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c5 |      | Corrado Moiso, Fabrizio Antonelli, Michele Vescovi: How Do I Manage My Personal Data? - A Telco Perspective. DATA 2012: 123-128 |
| 2011 | ||
| c4 |  | Volker Haarslev, Roberto Sebastiani, Michele Vescovi: Automated Reasoning in ALCQ\mathcal{ALCQ} via SMT. CADE 2011: 283-298 |
| 2009 | ||
| j2 | | Roberto Sebastiani, Michele Vescovi: Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability. J. Artif. Intell. Res. (JAIR) 35: 343-389 (2009) |
| c3 | | Roberto Sebastiani, Michele Vescovi: Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. CADE 2009: 84-99 |
| 2006 | ||
| c2 | | 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 | ||
| j1 | | Mauro Cettolo, Michele Vescovi, Romeo Rizzi: Evaluation of BIC-based algorithms for audio segmentation. Computer Speech & Language 19(2): 147-170 (2005) |
| 2003 | ||
| c1 | | Michele Vescovi, Mauro Cettolo, Romeo Rizzi: A DP algorithm for speaker change detection. INTERSPEECH 2003 |
| 1 | Fabrizio Antonelli | |
| 2 | Mauro Cettolo | |
| 3 | Volker Haarslev | |
| 4 | Corrado Moiso | |
| 5 | Romeo Rizzi | |
| 6 | Roberto Sebastiani |
Colors in the list of coauthors
Last update Sat May 18 15:23:26 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page