Marco Schaerf

Pubblicazioni

Titolo	Pubblicato in	Anno
The size of BDDs and other data structures in temporal logics model checking	IEEE TRANSACTIONS ON COMPUTERS	2016
A semantic model for content description in the sapienza digital library	Digital Libraries on the Movee	2016
Computing the shapley value in allocation problems: Approximations and bounds, with an application to the Italian VQR research assessment program	RCRA 2016 Proceedings of the 23rd RCRA international work- shop on experimental evaluation of algorithms for solving problems with combinatorial explosion, Genova, Italy, November 28, 2016	2016
On the complexity of second-best abductive explanations	INTERNATIONAL JOURNAL OF APPROXIMATE REASONING	2015
Collision detection for articulated deformable characters	Proceedings of the 8th ACM SIGGRAPH Conference on Motion in Games	2015