Publications

Revues - Actes de conférences - Livres - Chapitres de Livres - Directions d’ouvrages - Thèses et HDR - Rapports - Publications Web

PUBLICATIONS 2008 - 2010

Certaines des publications ci-dessous sont téléchargeables à partir des pages web personnelles des auteurs

Articles dans des revues

[Barque & Nasr 2009] Barque L., Nasr A., Un modèle formel de descriptions lexicales fondé sur les définitions lexicographiques BDéf, Traitement Automatique des Langues, Vol 50 n° 1, 2009.

[Deulofeu 2008a] Deulofeu J., Le statut de l’élément que en français parlé, Langue Française, 158, 2, pp. 29-52, 2008.

[Valli 2008] Valli A., A propos de la notion de locution verbale : examen de quelques constructions à verbe support en moyen français, Langue Française, 156, pp. 31-45, 2008.

[Zock et al. 2008] Zock M., Sabatier P., Jakubiec L., Message Composition Based on Concepts and Goals, International Journal of Speech Technology, Vol 11, n°3-4, pp. 181-193, Springer, 2008.

Articles dans des actes de conférences

[Bangalore & al. 2009] Bangalore S., Boullier P., Nasr A., Rambow 0., Sagot B., MICA : A Probabilistic Dependency Parser Based on Tree Insertion Grammars , Proceedings of conference the North American Chapter of the Association for Computational Linguistics - Human Language Technologies (NAACL HLT), 2009.

[Béchet & Nasr 2009] Béchet F., Nasr A., Robust Dependency Parsing for Spoken Language Understanding of Spontaneous Speech, Proceedings of the 10th InterSpeech Conference (Brighton, United Kingdom), 2009.

[Boullier et al. 2009] Boullier P., Nasr A., Sagot B., Constructing Parse Forests that include exactly the n-best PCFG trees, Proceedings of the 11th Conference on Parsing Technologies (Paris), 2009.

[Bove 2008a] Bove R., A tagged corpus-based study for repeats and self-repairs detection in French transcribed speech, Proceedings of the 11th International Conference on Text, Speech and Dialogue (TSD 2008), Brno (République Tchèque), pp. 269-276, 2008.

[Bove 2008b] Bove R., Typologie des disfluences en français parlé spontané transcrit, Poster du Congrès annuel de l’Association for French Language Studies (AFLS) : "Les voix du français : usages et représentations " (AFLS 2008), Oxford (Royaume-Uni), 2008.

[Chételat-Pele & Braffort 2008a] Chételat-Pele E., Braffort A., Signs Language Corpus Annotation : Toward a New Methodology, Proceedings of the International Conference on Language Resources and Evaluation (LREC), 2008.

[Chételat-Pele & Braffort 2008b] Chételat-Pele E., Braffort A., Description des mouvements des sourcils pour la génération automatique, Actes de la conférence Traitement Automatique des Langues Naturelles (TALN), Traitement Automatique des Langues des Signes (TALS), 2008.

[Chételat-Pele & al. 2008] Chételat-Pele E., Braffort A.,Véronis J., Annotation of Non Manual Gestures : Eyebrow movement description, Proceedings of the International Conference on Language Resources and Evaluation (LREC 2008), Workshop Construction and Exploitation of Sign Language Corpora, 2008.

[Cristea & al. 2008] Cristea D, Forăscu C, Răschip M., Zock M., (2008). How to Evaluate and Raise the Quality in a Collaborative Lexicographic Approach, LREC-08 Proceedings, Marrakech, 2008.

[El Zant & al. 2008] El Zant M, Royauté J., Roux M., Représentation évènementielle des déplacements dans des dépêches épidémiologiques, Actes de la conférence Traitement Automatique des Langues Naturelles (TALN 08), Avignon, 2008.

[Gala & Rey 2009] Gala N., Rey V., Acquiring semantics from structured corpora to enrich an existing lexicon, Actes de la conférence E-Lexicography in the 21st century : new applications, new challenges, Louvain-la-Neuve, 2009.

[Gala & Rey 2008] Gala N., Rey V., Polymots : une base de données de constructions dérivationnelles en français à partir de radicaux phonologiques, Actes de la conférence Traitement Automatique des Langues Naturelles (TALN 08), Avignon, 2008.

[Gala & al. 2009] Gala N., Rey V., Tichit L., Dispersion sémantique dans des familles morpho-phonologiques : éléments théoriques et empiriques, Actes de la conférence Traitement Automatique des Langues Naturelles (TALN 09), Senlis, 2009.

[Gambette et Véronis 2009] Gambette Ph., Véronis J., Visualising a Text with a Tree Cloud, in Locarek-Junge H. and Weihs C., eds., Classification as a Tool of Research, Proc. of IFCS’09 (11th Conference of the International Federation of Classification Societies), 2009.

[Godbert et Royauté 2009] Godbert, E., Royauté, J. , Exploring predicate-arguments structures in texts to relate biological entities, Actes de la 8ème conférence internationale Terminologie et Intelligence Artificielle" (TIA-2009), Atelier "Acquisition et modélisation de relations sémantiques", Toulouse (France),2009.

[Max & Zock 2008] Max A., Zock M., Looking up phrase rephrasings via a pivot language. Cogalex-08, COLING Workshop Proceedings, 2008.

[Nasr & Béchet 2009] Nasr A., Béchet F., Analyse syntaxique en dépendances de l’oral spontané, Actes de la conférence Traitement Automatique des Langues Naturelles (TALN 09), Senlis, 2009.

[Pasero & Sabatier 2010] Pasero R., Sabatier P., Sémantiques de Lequel interrogatif et Lequel relatif, Actes du colloque international La Quantification et ses domaines, Kleiber G. et C. Schnedecker (dir.), Univ. de Strasbourg, 2010 (sous presse).

[Rapp & Zock 2008] Rapp, R., Zock M., Automatic Dictionary Expansion Using Non-parallel Corpora. GfKl 2008 (German Classification Society), Hamburg,2008.

[Rolbert & Préa 2009] Rolbert M., Préa P., Distinguishable Entities : Definitions and Properties, Proceedings of the 12th European Workshop on Natural Language Generation (ENLG-2009), EACL, Athens, 2009.

[Royauté & Sabatier 2009] Royauté J., Sabatier P., L’insertion de circonstants dans les groupes nominaux prédicatifs, Actes du Colloque international Supports et Prédicats non verbaux dans les langues du monde, Paris, 2009, pp. 105-110. (version préliminaire)

[Valli 2009] Valli A., Discours et savoirs sur le français de Marseille, Discours et savoirs sur les langues dans l’aire méditerranéenne, Teddy Arnavielle et Christian Camps (Dir.), L’Harmatan, Paris, pp. 197-205.

[Valli 2009] Valli A., Constructions à verbe support et figement : point de vue diachronique, Actes du colloque international Supports et Prédicats non verbaux dans les langues du monde, Paris, 2009, pp. 134-139. (version préliminaire)

[Zock & Afantenos 2008] Zock, M, Afantenos S., Verbal fluency, or how to stay on top of the wave ? In B. Sharp & M. Zock (Eds.) Proceedings of the 5th International Workshop on Natural Language Processing and Cognitive Science (NLPCS 2008), Barcelona, Spain.

[Zock & Schwab 2008] Zock, M., Schwab D., Lexical access based on underspecified input. Cogalex-08, Coling Proceedings, 2008.

Livres

[Calvet & Véronis 2008] Calvet, L.-J., Véronis, J., Les mots de Nicolas Sarkozy, Paris : Le Seuil, 2008.

Articles dans des chapitres de livres et dans des numéros spéciaux de revues

[Debaisieux & al. 2008] Debaisieux J-M., Deulofeu J., Martin Ph., Pour une syntaxe sans ellipse, in Jean-Christophe Pitavy, Michèle Bigot (dir.) Ellipse et effacement : Du schème de phrase aux règles discursives, Publications de l’ Université de Saint-Etienne, pp. 227- 235, 2008.

[Deulofeu 2008b] Deulofeu J., Ecritures anciennes, Paroles actuelles : nouveaux regards sur le système, la norme et les usages, Discours, diachronie, stylistique du français, Olivier Bertrand, Sophie Prévost, Michel Charolles, Jacques François, Catherine Schnedecker (dir.), Peter Lang, Berne, pp. 193-205, 2008.

[Deulofeu 2008c] Deulofeu J., Peripheral constituents as generalized hanging topics, Phantom Sentences, Roberts Kawajima, Gilles Philippe and Thelma Sowley (eds), Peter Lang, Berne, pp. 227-257, 2008.

[Deulofeu 2008d] Deulofeu J., Pour une linguistique du rattachement, in Denis Apothéloz, Bernard Combettes & Franck Neveu (dir.) Les linguistiques du détachement, Berne, Editions Peter Lang, collection Sciences pour la communication, pp. 345-359, 2008.

[Malik & J. Royauté. 2009] Malik M. M., . Royauté J., A Predicate Database for Assisting the Design of a Lexicon-grammar of Predicative Nouns, Lecture Notes in Artificial Intelligence ­ LNAI, ed. Z. Vetulani and H. Uszkoreit (eds.), pp. 312-324, 2009.

[Rapp & Zock 2009] Rapp R., Zock M., Automatic Dictionary Expansion Using Non-parallel Corpora. (German Classification Society), Studies in Classification, Data Analysis, and Knowledge Organization, Springer, Berlin-Heidelberg, 2009.

[Royauté & Sabatier 2010] Royauté J., Sabatier P., L’insertion de circonstants dans les groupes nominaux prédicatifs, Supports et Prédicats non verbaux dans les langues du monde, A. H. Ibrahim (éd.), CRL, Paris, 2010, pp. 138-147. (version finale)

[Valli 2010] Valli A., Constructions à verbe support et figement : point de vue diachronique, Supports et Prédicats non verbaux dans les langues du monde, A. H. Ibrahim (éd.), CRL, Paris, 2010, pp. 74-81. (version finale)

[Valli 2008] Valli A., A propos de la notion de locution verbale. Déterminant zéro et caractère locutionnel d’une construction verbo-nominale en français, in Discours, diachronie, stylistique du français, Olivier Bertrand, Sophie Prévost, Michel Charolles, Jacques François, Catherine Schnedecker (éds), Peter Lang, Berne, p. 243-257, 2008.

[Valli & Bertrand 2008] Valli A., Bertrand, O., La notion de locution verbale en français possède-telle une pertinence en français médiéval ?, Evolutions en français. Etudes de Linguistique diachronique, Fragard B., Prevost S., Combettes B., Bertand O. (dir.), Peter Lang, Berne, pp. 425-443, 2008.

[Véronis et al. 2008] Véronis, J., Hamon, O., Ayache, C., Belmouhoub, R., Kraif, O., Laurent, D., Nguyen, T. M. H., Semmar, N., Stuck, F., Zaghouani, W, La campagne d’évaluation Arcade II. In Chaudiron, S. & Choukri, K. (Eds.) L’évaluation des technologies de traitement de la langue, pp. 47-69, Paris : Hermès-Lavoisier, 2008.

[Zock & Afantenos 2009] Zock M., Afantenos S, Fly bird fly. Computer-mediated acquisition of speaking skills, in Tzanavari A. & N. Tsapatsoulis (Eds.) Affective, Interactive and Cognitive Methods for e-Learning Design : Creating an Optimal Education Experience, IGI Global, Hershey, Pennsylvania, 2009.

Directions d’ouvrages (numéros spéciaux de revues, actes, livres)

[Dale & al. 2008] Dale R., A. Max & M. Zock (Eds.), Natural Language Processing resources, algorithms and tools for authoring aids, Proceedings of LREC workshop, Marrakech, 2008.

[Sharp & Zock 2008] Sharp B., M. Zock (Eds.), Natural Language Processing and Cognitive Science. Proceedings of the 5th International Workshop on Natural Language Processing and Cognitive Science, NLPCS, 2008, INSTICC Press, Miami USA

[Zock M. & Huang C. 2008] Zock M., Huang C. (Eds.), COLING workshop proceedings : Cognitive Aspects of the Lexicon : Enhancing the Structure, Indexes and Entry Points of Electronic Dictionaries, Manchester, 2008.

Thèses - Habilitations à diriger des recherches

[Bove 2008] Bove R. Analyse syntaxique automatique de l’oral : étude des disfluences, Thèse de doctorat en Sciences du Langage, LIF, Univ. de Provence, 2008

[Bramati 2008] Bramati A., Les compléments prépositionnels des verbes français et italiens. Problèmes théoriques et études contrastives, Thèse de doctorat en Sciences du Langage, LIF, Univ. de Provence & Université Catholique de Milan, 2008.

[Cavestro 2010] Cavestro B., Projection d’annotations au travers de corpus parallèles, Thèse de doctorat en Informatique, LIF, Univ. de Provence, 2010.

[El Zant 2008] El Zant M., Contribution à une représentation spatio-temporelle des dépêches épidémiologiques, Thèse de doctorat en Informatique, LIF, Univ. de la Méditerranée, 2008.

[Malik 2010] Malik M.M., Structures prédicatives nominales en anglais : acquisition de données lexicales pour l’analyse automatique de textes, Thèse de doctorat en Informatique, LIF, Univ. de la Méditerranée, 2010.

[Tardif 2010] Tardif O., Algorithme de résolution de la coréférence d’entités nommées dans des textes journalistiques en français, Thèse de doctorat en Sciences du langage, LIF, Univ. de Provence, 2010.

Rapports

[Jakubiec-Jamet 2008] Jakubiec-Jamet L., A Case-study for the Semantic Analysis of Sentences in Coq, LIF, 2008.

Publications Web

[Sabatier 2009] Sabatier P., Les Verbes français de J. Dubois et F. Dubois-Charlier : Prises de vues syntaxiques, LIF, 2009. (Télécharger)

---

---

PUBLICATIONS 2003-2007 réalisées dans le cadre de l’équipe CALN du LIF

Articles dans des revues (2003-2007)

2007

[Afantenos & al. 2007] Afantenos S., Karkaletsis V., Stamatopoulos P., Halatsis C., Using Synchronic and Diachronic Relations for Summarizing Multiple Documents Describing Evolving Events, Journal of Intelligent Informations Systems, 2007.

[Ville-Ometz & al., 2007] Ville-Ometz F., Royauté J. , Zasadzinski A., Enhancing precision in automatic recognition and extraction of term variants with linguistic features, Terminology, 2007, 13:1, pp. 35-59.

[Zock 2007] Zock M., If You Care to Find What You Are Looking For, Make an Index : the Case of Lexical access, Transaction on Computer and Information Technolog, 2007.

2006

[Foudon & al. 2006] Foudon N., Reboul A., Sabatier P., Noël-Jorand M.-C., Discours pathologiques : Quatre études de cas, Nouveaux cahiers de linguistique française, Université de Genève, 2006, 27, pp. 211-240.

[Royauté & Sabatier 2006] Royauté J., Sabatier P. Contraintes d’ordre dans les groupes nominaux prédicatifs, Lingvisticæ Investigationes, 2006, 29:1, pp. 163-171.

[Zock 2006] Zock M. Note de lecture de l’ouvrage collectif de C. Gruaz, éd., À la recherche du mot : De la langue au discours, Lambert-Lucas, 2006, Traitement automatique des langues, Volume 47, n° 3/2006, pages 205-207.

2005

[Guilbaud & Royauté 2005] Guilbaud Y. et Royauté J., Annotation temporelle des évènements dans des dépêches épidémiologiques, Fouille de données complexes, O. Boussaid , P. Gançarski , F. Masseglia , B. Trousse , G. Venturini , D. A. Zighed (dir.), Revue des Nouvelles Technologies de l’Information, RNTI-E-4, Cépaduès, 2005, pp. 267-286.

[Rolbert 2005] Rolbert M., Emploi spatial de y et rôle des prépositions locatives, Lingvisticæ Investigationes, 2005, 28:2, pp. 283-302.

2004

[Muller & al. 2004] Muller C., Royauté J., Silberztein M., INTEX pour la Linguistique et le Traitement Automatique des Langues, Presses Universitaires de Franche-Comté, 2004, pp. 7-18.

[Pasero & al. 2004] Pasero R., Royauté J., Sabatier P., Sur la syntaxe et la sémantique des groupes nominaux à tête prédicative, Lingvisticæ Investigationes, 2004, 27:1, pp. 84-124.

[Royauté & al. 2004] Royauté J., François C., Zasadzinski A., Besagni D., Dessen P., Le Minor S., Maunoury M.-T., Relations entre gènes impliqués dans les cancers de la thyroïde, Revue des Nouvelles Technologies de l’Information, 2004, II,, pp. 465-476.

Articles dans des actes de conférences (2003-2007)

2007

[Afantenos 2007] Afantenos S., Some Reflections on the Task of Content Determination in the Context of Multi-Document Summarization of Evolving Events, Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP 2007), Angelova G., Bontcheva K., Mitkov R., and Nicolov N. (eds), INCOMA, 2007, pp. 12-16.

[Godbert & al. 2007] Godbert E., Malik M. M. , Royauté J., Analyse des formes prédicatives dans des textes biomédicaux, pour l’identification d’interactions géniques, Actes des 8èmes Journées Ouvertes Biologie Informatique Mathématiques (JOBIM), 2007, pp. 81-86.

[Malik & Royauté 2007] Malik M. M. & Royauté J., PredicateDB : A tool for assisting the creation of a lexicon-grammar of Predicative Nouns, Proceedings of the 3rd Language and Technology Conference (LTC), 2007, pp. 250-254.

[Royauté & al. 2007a] Royauté J., Godbert E., Malik M. M., Identifying relations between scientific objects within predicate structures. Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP), 2007, pp. 515-519.

[Royauté & al. 2007b] Royauté J., Godbert E., Malik M. M., Analyser les structures prédicatives pour mettre en relation des objets scientifiques., Actes du 10e Colloque International sur le Document Electronique (CIDE), 2007, pp. 51-60.

[Zock & Afantenos 2007a] Zock M., Afantenos S., Let’s get the student into the driver’s seat, Proceedings of the 7th International Symposium on Natural Language Processing (SNLP), 2007.

[Zock & Afantenos 2007b] Zock M., Afantenos S., Un générateur d’exercises pour faciliter l’acquisition d’aisance dans l’expression verbale, Actes du 2è colloque international de didactique cognitive, 2007, pp. 82-85.

[Zock & al. 2007] Zock. M., Sabatier P., Jakubiec-Jamet L., Who’s Next ? From Sentence Completion to Conceptually Guided Message Composition, Proceedings of the 4th International Workshop on Natural Language Processing and Cognitive Science (NLPCS), INSTICC Press, 2007, pp. 38-46.

2006

[El Zant & al. 2006] El Zant M, Roux M., Royauté J., Units’ Elements of some Event Structures in Outbreaks Reports, Proceedings of International Conf. on Multidisciplinary Information Sciences and Technologies (InSciT), Current Research in Information Sciences and technologies Multidisciplinary Approaches to Global Information Systems, Vol II, pp 393-397, Vinvente P. Guerrero-Bote (Ed.), 2006.

[Ferret O. & Zock M. 2006] Ferret O., Zock M., Enhancing electronic dictionnaries with an index based on associations, Proceedings of International Conference on Computational Linguistics (COLING), 2006, pp. 281-288.

[Hernandez & al. 2006] Hernandez N., Max A., Zock M., An authoring tool to support interactive text structuring, Proceeedings of the Confernce on Writing Development in Higher Education (WDHE), 2006, 1 page.

[Pasero & Sabatier 2006a] Pasero R., Sabatier P., Lequel interrogatif et Lequel relatif : quelles sémantiques ?, Actes du colloque international sur La quantification et ses domaines, 2006, p. 60 (résumé).

[Royauté & al. 2006] Royauté J., Godbert E., Malik M. M., Groupes nominaux prédicatifs : Utilisation d’une grammaire de liens pour l’extraction d’information, Actes de la conférence Traitement Automatique des Langues Naturelles (TALN), 2006, pp 276-286.

[Zock 2006a] Zock M., Capitalisation d’une ressource en or : le dictionnaire, Actes de la conférence Traitement Automatique des Langues Naturelles (TALN), Presses Universitaires de Louvain, 2006, pp. 846-855.

[Zock 2006b] Zock M., A Good Index, Prerequisite for Easy Access of Information Stored in a Dictionary, Proceedings of The Third International Workshop on Natural Language Processing and Cognitive Science (NLPCS 2006), INSTICC Press, 2006, pp. 37-46.

[Zock 2006c] Zock M., The potential of electronic dictionnaries to emulate (partially) the mental lexicon, or how to support writers to find the words they are looking for, Proceedings of the Workshop on Computational Modelling of Language and Communication Disorders, Macquarie Univ., Sydney, 2006, 10 pages.

2005

[Malik & Royauté 2005] Malik M. M. et Royauté J., Prédicats verbaux et prédicats nominaux reliant des noms d’entités biologiques, Actes des 8èmes Journées INTEX/NooJ, Presses Universitaires de Franche Comté, 2005, pp. 41-42.

[Stéfanini 2005] Stéfanini M.-H., Un dictionnaire des verbes du français pour NooJ, Actes des 8èmes Journées INTEX/NooJ, Presses Universitaires de Franche Comté, 2005, pp. 47.

2004

[Denand & Rolbert 2004] Denand N., Rolbert M., Contextual processing of locative prepositional phrases, Proceedings of the International Conference on Computational Lingusitics (COLING), 2004, pp.1353-1359.

[Royauté & al. 2004] Royauté J., François C., Zasadzinski A., Besagni D., Dessen P., Le Minor S., Maunoury M-T., Une approche terminologique et infométrique pour la fouille de données textuelles dans un corpus portant sur la génétique des cancers de la thyroïde, Actes du Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA), 2004, 9 pages.

Royauté & Sabatier 2004] Royauté J., Sabatier P., Contraintes d’ordre dans les groupes nominaux prédicatifs, Actes des Journées de la syntaxe, Gerdes K. et Muller C. (éd.), Université Michel Montaigne (Bordeaux 3), 2004, pp.67-72.

[Ville-Ometz & al. 2004] Ville-Ometz F., Royauté J., Zasadzinski A., Filtrage semi-automatique des variantes de termes dans un processus d’indexation contrôlée, Actes du Colloque International sur la Fouille de Textes (CIFT), 2004, pp. 89-101.

2003

[Royauté & al. 2003] Royauté J., François C., Zasadzinski A., Besagni D., Desssen P., Le Minor S., Maunoury M-T, Mining corpora of texts on genes involved in thyroid cancers : a bioinformatic text mining and clustering process, Proceedings of the European Conference on Computational Biology (ECCB), 2003, pp. 77-78.

Articles dans des chapitres de livres et dans des numéros spéciaux de revues (2003-2007)

2007

[Nasr & Rambow 2007] Nasr A., Rambow O., Non-lexical chart parsing for TAG, Complexity of Lexical Descriptions and its Relevance to Natural Language Processing : A Supertagging Approach, Joshi A. and Bangalore S. (Eds.), MIT Press, 2007.

2006

[Zock 2006c] Zock M., Navigational aids, a critical factor for the success of electronic dictionaries, Perspectives on Cognition : A Festschrift for Manfred Wettler, Rapp R. and Sedlmeier P.(eds.), Pabst Science Publishers, Lengerich, 2006, pp. 397-414.

[Zock 2006d] Zock M., Needles in a haystack and how to find them ? The case of lexical access, Special volume of the 9th International Symposium on social communication, E. Miyares Bermudez and L. Ruiz Miyares (Eds.), Cambridge Press, OUP, 2006, pp. 155-162.

2003

[Gaussier & Stéfanini 2003] Gaussier E., Stéfanini, M.-H., Historique en recherche d’informations, Assistance intelligente à la recherche d’informations, Hermès, 2003, pp.

Directions d’ouvrages (2003-2007)

2007

[Sharp B. & Zock M. 2007] Proceedings of the 4th International Workshop on Natural Language Processing and Cognitive Science (NLPCS), INSTICC Press, 2007.

[A. Kawtrakul & Zock M. 2007] Transaction on Computer and Information Technology, 2007.

[Kawtrakul & al. 2007], Kawtrakul A., Zock, M., Phantachat W., 7th International Symposium on Natural Language Processing, 2007. http://naist.cpe.ku.ac.th/snlp2007/...

2004

[Muller & al. 2004] Muller C., Royauté J., Silberztein M., INTEX pour la linguistique et le traitement automatique des langues, Presses Universitaires de Franche-Comté, 2004.

2003

[Gaussier & Stéfanini 2003] Gaussier E., Stéfanini, M.-H. (dir.), Assistance intelligente à la recherche d’informations, Hermès, 2003.

Rapports (2003-2007)

2007

[Jakubiec-Jamet 2007] Jakubiec-Jamet Line, Codage de patrons génériques pour la représentation des verbes (draft), LIF, 2007.

2006

[Jakubiec-Jamet 2006] Jakubiec-Jamet Line, Notes sur la conception d’une interface pour les Critères Communs de Sécurité RR-LIF 30-2006

[Pasero & Sabatier 2006b] Pasero R., Sabatier P., Logique typée et bonne formation conceptuelle d’un énoncé, LIF, 2006.

Thèses (2003-2007)

[Denand 2004] Denand N., Traitement automatique de phrases locatives statiques du français, Thèse de doctorat, Spécialité Informatique et Mathématiques, Université de la Méditerranée, Laboratoire d’Informatique Fondamentale, juin 2004. (Co-direction : M. Rolbert et P. Sabatier)

Documentation de logiciels (2003-2007)

Pasero R., Sabatier P., ILLICO : Présentation, LIF, 2007. (Télécharger)

Pasero R., Sabatier P., ILLICO : Principes, connaissances et formalismes, LIF, 2007. (Télécharger)

Pasero R., Sabatier P., ILLICO : Guide d’utilisation, LIF, 2007. (Télécharger)

Solange Coupet-Grimal, Line Jakubiec-Jamet, Proof of the Fairisle 4x4 Switch Element (automata and circuits) Contribution utilisateurs de Coq, LIF, 2005