| Ident. | Authors (with country if any) | Title |
|---|
| 000000 |
Jean-Charles Lamirel [France] ; Ingrid Falk [France] ; Claire Gardent [France] | Federating clustering and cluster labelling capabilities with a single approach based on feature maximization: French verb classes identification with IGNGF neural clustering : Advances in Self-Organizing Maps |
| 000017 |
Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; YANJING WANG [République populaire de Chine] | Hidden protocols: Modifying our expectations in an evolving world |
| 000030 |
Manuel Rebuschi [France] ; Maxime Amblard [France] ; Michel Musiol [France] | Schizophrénie, logicité et perspective en première personne |
| 000098 |
Abir Gallas [Tunisie] ; Walid Barhoumi [Tunisie] ; Ezzeddine Zagrouba [Tunisie] | Bouclage de pertinence négatif pour la recherche des images à base de descripteurs de sous-bandes d'ondelettes |
| 000136 |
Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne] | Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION |
| 000148 |
Yann Pollet [France] | Une approche algébrique pour la réutilisation et l'orchestration de services dans les systèmes d'information |
| 000159 |
Isabelle Mirbel [France] ; Pierre Crescenzo [France] | Des besoins des utilisateurs à la recherche de services web: Une approche sémantique guidée par les intentions |
| 000161 |
Kafil Hajlaoui [France] ; Xavier Boucher [France] ; Michel Beigbeder [France] | Construction et usage d'une ontologie de compétences pour l'identification de réseaux collaboratifs d'entreprises |
| 000198 |
Charbel Rahhal [France] ; Hala Skaf-Molli [France] ; Pascal Molli [France] | SWooki, un wiki sémantique sur réseau pair-à-pair |
| 000209 |
Benoît Sagot [France] ; Karën Fort [France] ; Fabienne Venant [France] | Extension et couplage de ressources syntaxiques et sémantiques sur les adverbes du français |
| 000287 |
Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique] | Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence |
| 000294 |
Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France] | Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B |
| 000300 |
Laurent Fousse [France] ; Guillaume Hanrot [France] ; Vincent Lefevre [France] ; Patrick Pelissier [France] ; Paul Zimmermann Loria [France] | MPFR : A multiple-precision binary floating-point library with correct rounding |
| 000328 |
Salah Baïna [France] ; Hervé Panetto [France] ; Khalid Benali [France] | Apport de l'approche MDA pour une interopérabilité sémantique : Interopérabilité des systèmes d'information d'entreprise |
| 000369 |
Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular proof systems for partial functions with Evans equality |
| 000384 |
Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Expressivity properties of boolean BI through relational models |
| 000412 |
Claudia Diamantini [Italie] ; Nacer Boudjlida [France] | About Semantic Enrichment of Strategic Data Models as Part of Enterprise Models |
| 000414 |
Emmanuel Nauer [France] ; Amedeo Napoli [France] | A proposal for annotation, semantic similarity and classification of textual documents |
| 000434 |
Anne Abeille [France] ; Danièle Godard [France] ; Olivier Bonami [France] ; Jesse Tseng [France] | Les syntagmes nominaux français de la forme de-N' |
| 000444 |
Olivier Menard [France] ; Frédéric Alexandre [France] ; Hervé Frezza-Buet [France] | Towards word semantics from multi-modal acoustico-motor integration : Application of the bijama model to the setting of action-dependant phonetic representations |
| 000461 |
Nizar Messai [France] ; Marie-Dominique Devignes [France] ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France] | Querying a bioinformatic data sources registry with concept lattices |
| 000464 |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] | Probabilistic polynomial-time semantics for a protocol security logic |
| 000476 |
Francois Lamarche [France] ; Lutz Strassburger [Allemagne] | Naming proofs in classical propositional logic |
| 000485 |
Claire Gardent [France] ; Yannick Parmentier [France] | Large scale semantic construction for tree adjoining grammars |
| 000489 |
Djamé Seddah [France] ; Bertrand Gaiffe [France] | How to build argumental graphs using TAG shared forest : A view from control verbs problematic |
| 000516 |
Didier Galmiche [France] ; Daniel Mery [France] | Characterizing provability in BI's pointer logic through resource graphs |
| 000521 |
HUAIZHONG KOU [France] ; Amedeo Napoli [France] ; Yannick Toussaint [France] | Application of text categorization to astronomy field |
| 000531 |
Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France] | A contract-based approach for monitoring collaborative web services using commitments in the event calculus |
| 000538 |
Rim Al Hulou [France] ; Amedeo Napoli [France] ; Emmanuel Nauer [France] | Une mesure de similarité sémantique pour la classification de documents par le contenu |
| 000646 |
| XML et les objets : la voie vers le web sémantique |
| 000647 |
Jérome Euzenat [France] ; Amedeo Napoli [France] ; Jean-Francois Baget [France] | XML et les objets (objectif XML) |
| 000653 |
Alexandre Delteil [France] ; Catherine Faron [France] ; Rose Dieng [France] | Le modèle des graphes conceptuels pour le web sémantique: Extensions de RDF et RDFS basées sur le modèle des graphes conceptuels |
| 000657 |
Abdalhmed Maran [France] ; Dominique Marcadet [France] | De UML vers les schémas XML |
| 000676 |
Caroline Brun [France] ; Marc Dymetman [France] ; Eric Fanchon [France] ; Stanislas Lhomme [France] ; Sylvain Pogodalla [France] | Semantically-based text authoring and the concurrent documentation of experimental protocols |
| 000696 |
Alberto Ciaffaglione [Italie] ; Luigi Liquori [France] ; Marino Miculan [Italie] | Imperative object-based calculi in co-inductive type theories |
| 000705 |
Jürgen Stuber [France] ; Mark Van Den Brand [Pays-Bas] | Extracting mathematical semantics from LATEX documents |
| 000707 |
Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas] | Environments for term rewriting engines for free! |
| 000761 |
Amalia Todirascu [France] ; Laurent Romary [France] ; Dalila Bekhouche [France] | Vulcain: An ontology-based information extraction system |
| 000762 |
Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France] | Using automated induction-based theorem provers for reasoning about concurrent systems |
| 000775 |
Didier Galmiche [France] ; Daniel Mery [France] ; David Pym [Royaume-Uni] | Resource tableaux |
| 000788 |
Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France] | Observational proofs by rewriting |
| 000808 |
Germain Faure [France] ; Claude Kirchner [France] | Exceptions in the rewriting calculus |
| 000809 |
Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from a rewriting logic point of view |
| 000820 |
Amalia Todirascu [France] ; Laurent Romary [France] ; Dalila Bekhouche [France] | Combining syntax & ontologies for information extraction |
| 000884 |
Fairouz Chakkour [France] ; Yannick Toussaint [France] | Sentence analysis by case-based reasoning |
| 000971 |
A. Armando [Italie, France] ; C. Castellini [Royaume-Uni] ; E. Giunchiglia [Italie] | SAT-based procedures for temporal reasoning |
| 000974 |
D. Galmiche [France] ; D. J. Pym [Royaume-Uni] | Proof-search in type-theoretic languages : an introduction |
| 000A28 |
J. Y. Ramel [France] ; N. Vincent [France] ; H. Emptoz [France] | A structural representation for understanding line-drawing images |
| 000B01 |
P. De Groote [France] | An algebraic correctness criterion for intuitionistic multiplicative proof-nets |
| 000B74 |
| L'anaphore et son traitement |
| 000B80 |
W. De Mulder [France] ; L. Tasmowski-De Ryck [Belgique] | Référents évolutifs, syntagmes nominaux et pronoms |
| 000B86 |
R. Fiengo [États-Unis] ; R. May [États-Unis] ; A. Reboul | L'importance sémantique de l'identité syntaxique |
| 000B87 |
N. Asher [États-Unis] ; A. Reboul | Evénements, faits, propositions et anaphore évolutive |
| 000B91 |
G. Kleiber [France] | Des anaphores associatives méronymiques aux anaphores associatives locatives |
| 000B92 |
J.-E. Tyvaert [France] | Continuité substantielle et discrétisation substantivale |
| 000C20 |
F. Cornish [France] | Non-standard anaphora, discourse integration, and coherence |
| 000C27 |
M. A. Gernsbacher [États-Unis] | Generic pronominal anaphora : The case of the English "Singular They" |
| 000C54 |
J. Jaray [France] ; A. Mahjoub [Tunisie] | Une méthode itérative de construction d'un modèle de système réactif |
| 000C84 |
C. Lynch [France] ; P. Strogova [France] | PATCH graphs : An efficient data structure for complementation of finitely presented groups |
| 000D01 |
C. Hintermeier [France] ; H. Kirchner [France] ; P. D. Mosses [Danemark] | Combining algebraic and set-theoretic specifications |
