Michele Vescovi

	2009
3		Roberto Sebastiani, Michele Vescovi: Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. CADE 2009: 84-99
	2006
2		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		Mauro Cettolo, Michele Vescovi, Romeo Rizzi: Evaluation of BIC-based algorithms for audio segmentation. Computer Speech & Language 19(2): 147-170 (2005)

Coauthor Index

1	Mauro Cettolo	[1]
2	Romeo Rizzi	[1]
3	Roberto Sebastiani	[2] [3]

Colors in the list of coauthors