|
 
|
Anne-Gwenn Bosser
|
Post-doc Laboratoire: soc (GB) Parti depuis le 31/05/2007 Tel : (33)15880 Fax : (33)15880 http://cedric.cnam.fr/~ |
Anne-Gwenn's Tag-Cloud : |
Publications
2016
- [BCF16] A. Bosser, P. Courtieu, J. Forest, M. Aponte. "Une preuve est (un programme) une histoire", Actes des Vingt-septièmes Journées Francophones des Langages Applicatifs JFLA 2016, January 2016, pp.171-172, Saint Malo, France,
Conférence Nationale avec comité de lecture
2011
- [BCF11] A. Bosser, P. Courtieu, J. Forest, M. Cavazza. "Structural Analysis of Narratives with the Coq Proof Assistant.", Interactive theorem proving (TPHOLs), August 2011, Vol. 6898, pp.55--70, Series Lecture Notes in Computer Science, Berg en Dal, The Netherlands,
-
[BCC11]
A. Bosser, M. Cavazza, P. Courtieu, J. Forest.
"Structural Analysis of Narratives with the Coq Proof Assistant",
Date de dépot: 2011/03/01,
Nb pages 16,
(Tech. Rep.: CEDRIC-11-2061)
Conférence Internationale avec comité de lecture
Rapport Scientifique
2007
- [BLS07] A. Bosser, G. Levieux, K. Sehaba, A. Buendia, C. Corruble, G. De Fondaumière, V. Gal, S. Natkin, N. Sabouret. "Dialogs Taking into Account Experience, Emotions and Personality", ICEC'07 6th Int. Conf. on Entertainment Computing - China, January 2007, Vol. 4740, pp.356-362,
