Benoît Pin

According to our database, Benoît Pin authored at least 4 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Towards Aligning legivoc Legal Vocabularies by Crowdsourcing.

Hughes-Jehan Vibert, Benoît Pin, Pierre Jouvelot

Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017

2016

jsCoq: Towards Hybrid Theorem Proving Interfaces.

Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

2012

The MINWii project: Renarcissization of patients suffering from Alzheimer's disease through video game-based music therapy.

Samuel Benveniste, Pierre Jouvelot, Benoît Pin, Renaud Péquignot

Entertain. Comput., 2012

2007

GeLaBa (A Framework to Define Classes of XML Documents and to Automatically Derive Specialized Infrastructures).

Benoît Pin, Georges-André Silber

Proceedings of the PLAN-X 2007, 2007