| 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 |
| 000002 |
Aymen Baouab [France] ; Olivier Perrin [France] ; Claude Godart [France] | Supervision et vérification décentralisées de chorégraphies de services |
| 000003 |
Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis |
| 000005 |
Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France] | Versatile, scalable, and accurate simulation of distributed applications and platforms |
| 000010 |
B. Addis [France] ; A. Capone [Italie] ; G. Carello [Italie] ; L. G. Gianoli [Italie, Canada] ; B. Sanso [Canada] | On the energy cost of robustness and resiliency in IP networks |
| 000011 |
John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Benouezdou [France] ; Gordon Cheng [Allemagne] | Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots |
| 000016 |
K. C. Santosh [France] ; Bart Lamiroy [France] ; Laurent Wendling [France] | Integrating vocabulary clustering with spatial relations for symbol recognition |
| 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 |
| 000018 |
Bernardetta Addis [France] ; Danilo Ardagna [Italie] ; Antonio Capone [Italie] ; Giuliana Carello [Italie] | Energy-aware joint management of networks and Cloud infrastructures |
| 000026 |
Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France] | Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels |
| 000027 |
Damien Pellier [France] ; Humbert Fiorino [France] ; Marc Metivier [France] | Une approche inspirée de la recherche de cible mouvante |
| 000029 |
Raphael Fonteneau [Belgique] ; Susan A. Murphy [États-Unis] ; Louis Wehenkel [Belgique] ; Damien Ernst [Belgique] | Strategies d'échantillonnage pour l'apprentissage par renforcement batch |
| 000032 |
SAMEH HBAIEB TURKI [Tunisie] ; Anis Charfi [Allemagne] ; Farah Bellaaj [Tunisie] ; Rafik Bouaziz [Tunisie] | La modélisation des propriétés non fonctionnelles dans les processus métiers: Une approche basée sur les services |
| 000034 |
Lotfi Bouzguenda [Tunisie] ; Wassim Chtourou [Tunisie] | Découverte de la perspective organisationnelle dans le workflow: Une approche basée sur les agents |
| 000035 |
Eric Andonoff [France] ; Wassim Bouaziz [France] | Coordination à base de protocoles d'interaction dans le workflow inter-organisationnel dynamique |
| 000038 |
Didier Marin [France] ; Lionel Rigoux [France] ; Olivier Sigaud [France] | Apprentissage et optimisation de politiques pour un bras articulé actionné par des muscles |
| 000040 |
Olivier Sigaud [France] ; Freek Stulp [France] | Adaptation de la matrice de covariance pour l'apprentissage par renforcement direct |
| 000044 |
Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie] | Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality |
| 000045 |
Michel Couprie [France] | Topological maps and robust hierarchical Euclidean skeletons in cubical complexes |
| 000048 |
Kahina Bessai [France] ; Samir Youcef [France] ; Ammar Oulamara [France] ; Claude Godart [France] ; Selmin Nurcan [France] | Scheduling Strategies for Business Process Applications in Cloud Environments |
| 000051 |
Tobias Jung [Belgique] ; Sylvain Martin [Belgique] ; Mohamed Nassar [France] ; Damien Ernst [Belgique] ; Guy Leduc [Belgique] | Outbound SPIT filter with optimal performance guarantees |
| 000056 |
Giuseppe Patane [Italie] | Multi-resolutive sparse approximations of d-dimensional data |
| 000061 |
Isabelle Bloch [France] ; Alain Bretto [France] | Mathematical morphology on hypergraphs, application to similarity and positive kernel |
| 000069 |
K. Joost Batenburg [Pays-Bas, Belgique] ; Willem Jan Palenstijn [Belgique] ; Peter Balazs [Hongrie] ; Jan Sijbers [Belgique] | Dynamic angle selection in binary tomography |
| 000073 |
Véronique Cortier [France] ; Ben Smyth [France] | Attacking and fixing Helios: An analysis of ballot secrecy |
| 000075 |
Mousumi Dutt [Inde] ; Arindam Biswas [Inde] ; Partha Bhowmick [Inde] | Approximate partitioning of 2D objects into orthogonally convex components |
| 000079 |
D. Battaglino [Italie] ; A. Frosini [Italie] ; S. Rinaldi [Italie] | A decomposition theorem for homogeneous sets with respect to diamond probes |
| 000080 |
Antoine Vacavant [France] ; Tristan Roussillon [France] ; Bertrand Kerautret [France] ; Jacques-Olivier Lachaud [France] | A combined multi-scale/irregular algorithm for the vectorization of noisy digital contours |
| 000082 |
Ehtesham Zahoor [Pakistan] ; Kashif Munir [Pakistan] ; Olivier Perrin [France] ; Claude Godart [France] | A Bounded Model Checking Approach for the Verification of Web Services Composition |
| 000086 |
Antoine Bautin [France] ; Olivier Simonin [France] ; François Charpillet [France] | Stratégie d'exploration multirobot fondée sur les champs de potentiels artificiels |
| 000095 |
Geoffray Bonnin [France] ; Armelle Brun [France] ; Anne Boyer [France] | Exploitation du skipping pour la modélisation prédictive des usages du web: Vers une meilleure prise en compte du bruit |
| 000096 |
Armelle Brun [France] ; Anne Boyer [France] | Détection de communautés d'intérêt et recommandation sociale par leaders |
| 000102 |
Vincent Boudht [France] ; Johanne Cohhn [France] ; Rodolphe Giroudeau [France] ; Jean-Clalide Könic [France] | SCHEDULING IN THE PRESENCE OF PROCESSOR NETWORKS: COMPLEXITY AND APPROXIMATION |
| 000104 |
Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne] | Labelling logical structures of document images using a dynamic perceptive neural network |
| 000112 |
Yann Guermeur [France] | A generic model of multi-class support vector machine |
| 000113 |
Nazih Ouwayed [France] ; Abdel Belaïd [France] | A general approach for multi-oriented text line extraction of handwritten documents |
| 000118 |
Violeta I. Perez-Nueno [France] ; David W. Ritchie [France] | Using Consensus-Shape Clustering To Identify Promiscuous Ligands and Protein Targets and To Choose the Right Query for Shape-Based Virtual Screening |
| 000121 |
Dilip Datta [Inde, Portugal] ; Andre R. S. Amaral [Portugal] ; Jose Rui Figueira [France] | Single row facility layout problem using a permutation-based genetic algorithm |
| 000123 |
Van Luong Le [France] ; Gérard Bloch [France] ; Fabien Lauer [France] | Reduced-Size Kernel Models for Nonlinear Hybrid System Identification : DATA-BASED CONTROL MODELING AND OPTIMIZATION |
| 000139 |
Muriel Visani [France] ; Oriol Ramos Terrades [Espagne] ; Salvatore Tabbone [France] | A protocol to characterize the descriptive power and the complementarity of shape descriptors |
| 000148 |
Yann Pollet [France] | Une approche algébrique pour la réutilisation et l'orchestration de services dans les systèmes d'information |
| 000149 |
Jean-Stéphane Ulmer [France] ; Jean-Pierre Belaud [France] ; Jean-Marc Le Lann [France] | Proposition d'une approche générique pour la formalisation et l'implémentation des processus |
| 000150 |
MOHAMED AMINE CHAABANE [Tunisie, France] ; Eric Andonoff [France] ; Rafik Bouaziz [Tunisie] ; Lotfi Bouzguenda [Tunisie] | Modélisation multidimensionnelle des versions de processus |
| 000152 |
Thouraya Guizani [Tunisie, France] ; Pierre Ladet [France] | Modélisation de l' « architecture métier » dans le contexte des systèmes hospitaliers: Synthèse des besoins et comparaison de techniques de modélisation |
| 000153 |
Gregory Zacharewicz [France] ; Bruno Vallespir [France] ; David Chen [France] | Interopérabilité des entreprises: Vers l'utilisation d'ontologies éphémères |
| 000154 |
Akram Idani [France] ; Mohamed-Amine Labiadh [France] ; Yves Ledru [France] | Infrastructure dirigee par les modèles pour une intégration adaptable et évolutive de UML et B |
| 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 |
| 000162 |
Jacques Simonin [France] ; Philippe Picouet [France] ; Jean-Marc Jezequel [France] | Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et système d'information |
| 000164 |
Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France] | Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs |
| 000166 |
Oscar Avila [France] ; Virginie Goepp [France] | Analyse et classification des approches d'alignement TI/business: Contribution à la formalisation des mécanismes sous-jacents |
| 000171 |
Joris Rehm [France] | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
| 000174 |
Harbaoui Azza [Tunisie] ; Sahbi Sidhom [France] ; Malek Ghenima [Tunisie] ; Henda Ben Ghezala [Tunisie] | How to Improve Information Retrieval Using User's Profile: survey and open issue |
| 000178 |
Vishwesh Venkatraman [France] ; Violeta I. Perez-Nueno [France] ; Lazaros Mavridis [France] ; David W. Ritchie [France] | Comprehensive Comparison of Ligand-Based Virtual Screening Tools Against the DUD Data set Reveals Limitations of Current 3D Methods |
| 000180 |
Léo Ghemtio [France] ; Marie-Dominique Devignes [France] ; Malika Smaïl-Tabbone [France] ; Michel Souchet [France] ; Vincent Leroux [France] ; Bernard Maigret [France] | Comparison of Three Preprocessing Filters Efficiency in Virtual Screening: Identification of New Putative LXRβ Regulators As a Test Case |
| 000186 |
Sabine Barrat [France] ; Salvatore Tabbone [France] | A Bayesian network for combining descriptors: application to symbol recognition |
| 000198 |
Charbel Rahhal [France] ; Hala Skaf-Molli [France] ; Pascal Molli [France] | SWooki, un wiki sémantique sur réseau pair-à-pair |
| 000208 |
Tchimou N'Takpe [France] | Heuristiques d'ordonnancement en deux étapes de graphes de tâches parallèles |
| 000211 |
Julien Siebert [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] | De l'intérêt du couplage de modèles pour appréhender les interactions utilisateurs/réseaux dynamiques |
| 000213 |
Christophe Thiery [France] ; Bruno Scherrer [France] | Construction d'un joueur artificiel pour Tetris |
| 000226 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
| 000229 |
A. Bellanger [France] ; A. Oulamara [France] | Scheduling hybrid flowshop with parallel batching machines and compatibilities |
| 000233 |
Oriol Ramos Terrades [Espagne] ; Ernest Valveny [Espagne] ; Salvatore Tabbone [France] | Optimal Classifier Fusion in a Non-Bayesian Probabilistic Framework |
| 000244 |
Jens Gustedt [France] ; Emmanuel Jeannot [France] ; Martin Quinson [France] | EXPERIMENTAL METHODOLOGIES FOR LARGE-SCALE SYSTEMS: A SURVEY |
| 000253 |
Guillaume Bonfante [France] ; Matthieu Kaczmarek [France] ; Jean-Yves Marion [France] | Architecture of a morphological malware detector : EICAR 2008 |
| 000254 |
Frédéric Cazals [France] ; Marc Pouget [France] | Algorithm 889: Jet_fitting_3: A Generic C++ Package for Estimating the Differential Properties on Sampled Surfaces via Polynomial Fitting |
| 000256 |
Olivier Simonin [France] ; Olivier Grunder [France] | A cooperative multi-robot architecture for moving a paralyzed robot |
| 000258 |
Fabrice Lauri [France] ; Francois Charpillet [France] | Résolution du problème de la patrouille multi-agent en utilisant des colonies compétitives de fourmis |
| 000266 |
Amine Boumaza [France] ; Bruno Scherrer [France] | Analyse d'un algorithme d'intelligence en essaim pour le fourragement |
| 000285 |
Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France] | A Logical Account of PSPACE |
| 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 |
| 000288 |
Jean-Marc Mota [France] ; Catherine Dubois [France] | Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes |
| 000293 |
Vincent Thomas [France] ; Christine Bourjot [France] ; Vincent Chevrier [France] | Construction de systèmes multi-agents par apprentissage collectif à base d'interactions |
| 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 |
| 000299 |
Ammar Oulamara [France] | Makespan minimization in a no-wait flow shop problem with two batching machines |
| 000305 |
Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Francoise Simonot-Lion [France] | An approach for the simultaneous allocation and deployment of distributed component based applications |
| 000309 |
Khadidja Grebici [France] ; Dominique Rieu [France] ; Eric Blanco [France] | Vers une meilleure collaboration des acteurs du processus de conception de produit |
| 000318 |
Sébastien Paquet [Canada] ; Ludovic Tobin [Canada] ; Brahim Chaib-Draa [Canada] | Prise de décision en temps-réel pour des POMDP de grande taille |
| 000319 |
Eric Andonoff [France] ; Lotfi Bouzguenda [France] ; Chihab Hanachi [France] | La coordination dans le workflow interorganisationnel lâche : Une approche basée sur les agents et le web sémantique |
| 000320 |
Jihed Touzi [France] ; Frédérick Benaben [France] ; Hervé Pingaud [France] | Interopérabilité et système d'information : Aide à la conception de système d'information interorganisationnel à partir de processus collaboratifs |
| 000321 |
Fabrice Jumel [France] ; Nicolas Navet [France] ; Francoise Simonot-Lion [France] | Impact de choix d'implantation sur les performances d'une application de contrôle-commande |
| 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 |
| 000329 |
Iadine Chades [France] | Algorithmes de co-évolution pour la résolution approchée de PDM multi-agent |
| 000332 |
Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France] | Web Service Mining and Verification of Properties : An Approach Based on Event Calculus |
| 000334 |
Mohammed Attik [France] | Using Ensemble Feature Selection Approach in Selecting Subset with Relevant Features |
| 000338 |
Abdel Belaïd [France] ; Andre Alusse [France] | Toward file consolidation by document categorization |
| 000344 |
P. Gaudry [France] ; T. Houtmann [France] ; D. Kohel [Australie] ; C. Ritzenthaler [France] ; A. Weng [France] | The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography |
| 000345 |
Adrien Coulet [France] ; Malika Smail-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France] | Suggested Ontology for Pharmacogenomics (SO-Pharm) : Modular Construction and Preliminary Testing |
| 000356 |
Olivier Bournez [France] ; Florent Garnier [France] | Proving positive almost sure termination under strategies |
| 000357 |
Shu-Heng Chen [Taïwan] ; Nicolas Navet [Taïwan, France] | Pretests for Genetic-Programming Evolved Trading Programs : "zero-intelligence" Strategies and Lottery Trading |
| 000365 |
Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France] | On delays in management frameworks : Metrics, models and analysis |
| 000368 |
Karl Tombre [France] ; Salvatore Tabbone [France] ; Philippe Dosch [France] | Musings on symbol recognition |
| 000372 |
Stéphane Gobron [France] ; Denis Finck [France] ; Philippe Even [France] ; Bertrand Kerautret [France] | Merging cellular automata for simulating surface effects |
| 000381 |
Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] | Formal islands |
| 000384 |
Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Expressivity properties of boolean BI through relational models |
| 000398 |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |
| 000399 |
Karim Baina [Maroc] ; Khalid Benali [France] ; Claude Godart [France] | DISCOBOLE : A service architecture for interconnecting workflow processes |
| 000404 |
ZOUHOUR NEJI BEN SALEM [Tunisie] ; Laurent Bougrain [France] ; Frcdcric Alexandre [France] | Comparison between two spatio-temporal organization maps for speech recognition |
| 000406 |
Gaurav Goel [France, Inde] ; Jens Gustedt [France] | Bounded arboricity to determine the local structure of sparse graphs |
| 000426 |
Véronique Cortier [France] | Vérifier les protocoles cryptographiques |
| 000433 |
Isabelle Debled-Rennesson [France] ; Fabien Feschet [France] ; Jocelyne Rouyer-Degli [France] | Optimal blurred segments décomposition in linear time |
| 000447 |
G. Bonfante [France] ; M. Kaczmarek ; J.-Y. Marion | Toward an abstract computer virology |
| 000455 |
Tomasz Truderung [France, Pologne] | Selecting theories and recursive protocols |
| 000458 |
Tomasz Truderung [France, Pologne] | Regular protocols and attacks with regular knowledge |
| 000462 |
Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France] | Quasi-interpretations and small space bounds |
| 000463 |
Olivier Bournez [France] ; Florent Garnier [France] | Proving positive almost-sure termination |
| 000465 |
Dieter Zöbel [Allemagne] ; David Polock [Allemagne] | Priority inheritance revisited : Towards the conformance of real-time protocols |
| 000468 |
Carlos Areces [France] ; Daniel Gorin [Argentine] | Ordered resolution with selection for H(@) |
| 000474 |
Mohammed Attik [France] ; Laurent Bougrain [France] ; Frédéric Alexandre [France] | Neural network topology optimization |
| 000476 |
Francois Lamarche [France] ; Lutz Strassburger [Allemagne] | Naming proofs in classical propositional logic |
| 000478 |
Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Marco Kuhlmann [Allemagne] | Multi-dimensional graph configuration for natural language processing |
| 000482 |
Benoit Crabbe [France] ; Denys Duchier [France] | Metagrammar redux |
| 000489 |
Djamé Seddah [France] ; Bertrand Gaiffe [France] | How to build argumental graphs using TAG shared forest : A view from control verbs problematic |
| 000504 |
Frédéric Blanqui [France] | Decidability of type-checking in the calculus of algebraic constructions with size annotations |
| 000511 |
Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Combining intruder theories |
| 000541 |
Franck Gechter [France] ; Vincent Chevrier [France] ; Francois Charpillet [France] | Un modèle de résolution de problèmes utilisant des agents réactifs pour la localisation et le suivi |
| 000543 |
Amedeo Napoli [France] ; Bernard Carre [France] ; Roland Ducournau [France] ; Jérome Euzenat [France] ; Francois Rechenmann [France] | Objets et représentation, un couple en devenir |
| 000577 |
Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France] | Protocol analysis in intrusion detection using decision tree |
| 000622 |
HAISONG JIN [République populaire de Chine] ; GANGYAN LI [République populaire de Chine] ; YEQIONG SONG [France] | Avoiding accelerating incorrectly while steering with CAN networks |
| 000626 |
R. State [France] ; O. Festor [France] ; B. Zores [France] | An extensible agent toolkit for device management |
