Benoît Pin

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 2

Top Topics

Breast Cancer Patients

Theorem Proving

Legal Information Retrieval

Top Venues

Entertain. Comput.

Publications

Hughes-Jehan Vibert, Benoît Pin, Pierre Jouvelot
Towards Aligning legivoc Legal Vocabularies by Crowdsourcing. AICOL (2017)
Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot
jsCoq: Towards Hybrid Theorem Proving Interfaces. UITP (2016)
Samuel Benveniste, Pierre Jouvelot, Benoît Pin, Renaud Péquignot
The MINWii project: Renarcissization of patients suffering from Alzheimer's disease through video game-based music therapy. Entertain. Comput. 3 (4) (2012)
Benoît Pin, Georges-André Silber
GeLaBa (A Framework to Define Classes of XML Documents and to Automatically Derive Specialized Infrastructures). PLAN-X (2007)