2006-2010`s Bibliography - Lina

Transcription

Laboratoire d’Informatique de Nantes Atlantique
Bibliographie 1er janvier 2006 - 30 juin 2010
Version du 12 octobre 2010
LINA, Université de Nantes – 2, rue de la Houssinière – BP 92208 – 44322 NANTES CEDEX 3
Tél. : 02 51 12 58 17 – Fax. : 02 51 12 58 97 – http://www.lina.univ-nantes.fr/
Table des matières
1 ASCOLA
5
2 COLOSS
19
3 MODAL
23
4 GDD
31
5 GRIM
45
6 COD
53
7 COMBI
73
8 CONTRAINTES
81
9 MEO
91
10 ROOM
97
11 TALN
103
Publications hors équipes
115
3
4
Publications du LINA 1er janvier 2006 - 30 juin 2010
Présentation de la bibliographie du LINA
Dans ce document sont décrites les références bibliographiques correspondant aux publications des
membres du LINA durant la période 1/1/2006-30/6/2010.
La bibliographie est ventilée par équipes (telles que présentées dans le bilan) puis par catégories.
Néanmoins, les catégories proposées ont été modifiées de la façon suivante :
ACL
ACLN
ASCL
ACTI
Définition AERES
Articles dans des revues internationales
ou nationales avec comité de lecture
répertoriées par l’AERES ou dans les
bases de données internationales (ISI
Web of Knowledge, Pub Med...)
Articles dans des revues avec comité de
lecture non répertoriées dans des bases de
données internationales
Articles dans des revues sans comité de
lecture
Communications avec actes dans un
congrès international.
ACTN
Communications avec actes dans un
congrès national
COM
Communications orales sans actes dans
un congrès international ou national
Communications par affiche dans un
congrès international ou national
Ouvrages scientifiques (ou chapitres de
ces ouvrages)
AFF
OS
Définition LINA
Articles dans des revues A ou B de
CORE, ou de niveau équivalent
Articles acceptés suite à relecture mais
pas dans des revues “ACL” (donc aussi les
C de CORE)
Articles acceptés sur abstract, ou sans
relecture scientifique
Communications dans des conférences
classées A ou B de CORE, ou de niveau
équivalent
Communications dans des conférences,
workshops, colloques, ateliers, etc, avec
actes longs (donc aussi les C de CORE)
Autres communications
Posters, y compris quand il y a publication avec actes
Y compris thèses et HDRs
Cette ventilation s’est effectuée “dans l’esprit”, le classement (CORE, ou tout autre d’ailleurs) étant
largement discutable et discuté. Ainsi, la catégorie ACL correspond aux revues que l’équipe concernée
estime du niveau de celles classées A ou B dans CORE.
C’est donc sous la responsabilité scientifique de chaque responsable d’équipe, dont la compétence
scientifique est la plus à même de permettre cet ajustement, que chaque classement a été effectué.
Ajoutons, pour être complets, que seules les publications signées en tant que membre du LINA ont été
retenues, et qu’il peut exister quelques doublons dûs à des travaux collaboratifs entre plusieurs équipes.
ASCOLA
5
Équipe
ASCOLA
Articles dans des revues internationales ou nationales de premier rang (ACL)
[1] http ://hal.archives-ouvertes.fr/hal-00418554/en/
N. A NQUETIL, U. K ULESZA, R. M ITSCHKE, A. M OREIRA, J.-C. R OYER, A. RUMMLER, et
A. S OUSA. A Model-Driven Traceability Framework for Software Product Lines. Software and
Systems Modeling, 2009, page http ://www.springerlink.com/content/wvm4hv8r78117785/
[2] http ://hal.archives-ouvertes.fr/inria-00309010/en/
X. L EROY et H. G RALL. Coinductive big-step operational semantics. Information and Computation, 2009, 207 : 284–304
É. T ANTER, R. T OLEDO, G. P OTHIER, et J. N OY É. Flexible metaprogramming and AOP in Java.
Science of Computer Programming, 2008
R. D OUENCE et P. F RADET. The next 700 Krivine machines. Journal of Higher Order and
Symbolic Computing, special issue on Krivine’s machine, 2007, 20(3) : 237–255
H. G RALL. A Confinement Criterion for Securely Executing Mobile Code. Journal of Automata,
Languages and Combinatorics, 2006, 1(11) : 59–106
P. P OIZAT et J.-C. R OYER. A Formal Architectural Description Language based on Symbolic
Transition Systems and Modal Logic. Journal of Universal Computer Science (J.UCS), 2006,
12 : 1741–1782
J. B RICHAU, R. C HITCHYAN, S. C LARKE, E. D’H ONDT, A. G ARCIA, M. H AUPT, W. J OOSEN,
S. K ATZ, J. N OY É, A. R ASHID, et M. S ÜDHOLT. A Model Curriculum for Aspect-Oriented Software Development. IEEE Software, 2006, 23(6) : 53–61. Special issue on Software Engineering
Curriculum Development
6
J. B RICHAU, R. C HITCHYAN, S. C LARKE, E. D’H ONDT, A. G ARCIA, W. J OOSEN, S. K ATZ,
J. N OY É, A. R ASHID, et M. S ÜDHOLT. A Model Curriculum for Aspect-Oriented Software Development. IEEE Software, 2006
R. D OUENCE, T. F RITZ, N. L ORIANT, J.-M. M ENAUD, M. S ÉGURA -D EVILLECHAISE, et
M. S ÜDHOLT. An expressive aspect language for system applications with Arachne. Transaction on Aspect-Oriented Software Development, 2006, 1
M. S ÉGURA -D EVILLECHAISE, J.-M. M ENAUD, N. L ORIANT, T. F RITZ, R. D OUENCE,
M. S ÜDHOLT, et E. W UCHNER. Dynamic Adaptation of the Squid web cache with Arachne.
IEEE Software, 2006, 23
Articles dans des revues de second rang (ACLN)
P.-C. D AVID, T. L EDOUX, T. C OUPAYE, et M. L ÉGER. FPath and FScript : Language support for
navigation and reliable reconfiguration of Fractal architectures. Annales des telecommunicationsannals of telecommunications, 2008, Volume 64(Numbers 1-2 / février 2009) : 45–63
N. A NQUETIL, I. G ALV ÃO, et J. N OPPEN. La traçabilité dans les lignes de produits logiciels.
RSTI - L’OBJET, 2008, 14(3) : 47–57
N. A NQUETIL, H. A RBOLEDA, F. F ABRICIO, A. N UNEZ, et J.-C. R OYER. Lignes de produits
logiciels et usines logicielles. RSTI - L’objet, Usines logicielles et lignes de produits logiciels,
2008, 14(3) : 15–31
J. C OHEN. Interprétation par syntaxe abstraite d’ordre supérieur et traduction en combinateurs.
Technique et Science Informatiques, 2007, 26(9) : 1137–1167
S. D ENIER et P. C OINTE. Expression and Composition of Design Patterns with AspectJ. L’Objet,
2006, 12 : 41–61
P. C OINTE. La programmation par aspects relève le défi des usines logicielles. 01 Informatique,
2006, page 28. Carte blanche à l’occasion d’ECOOP 2006
P.-C. D AVID et T. L EDOUX. Une approche par aspects pour le développement de composants
Fractal adaptatifs. L’Objet, 2006, 12(2-3) : 113–132
Articles dans des revues sans Comité de Lecture (ASCL)
J. N OPPEN et J.-C. R OYER. The Ample Project, Traceability of Software Product Line Development : Models and Uncertainty. Revue du Génie Logiciel, 2009, (85) : 43–48
ASCOLA
7
Conférences données à l’invitation du Comité d’organisation dans un congrès national ou international (INV)
P. C OINTE. Quelques réflexions sur la programmation post objet. In Mohammed E RRADI, réd.,
NOuvelles TEchnologies de la RÉpartition (NOTERE), 2007, Marrakech, Maroc. Université Mohammed VSouissi, INSIAS, 2007, page 392
Articles dans des conférences internationales ou nationales de premier rang (ACTI)
H. N GUYEN V AN, F. DANG T RAN, et J.-M. M ENAUD. Autonomic virtual resource management for service hosting platforms. In Workshop on Software Engineering Challenges in Cloud
Computing, 2009, Vancouver, Canada, pages 1–8
J. G ALLARD, G. V ALL ÉE, A. L ÈBRE, C. M ORIN, P. G ALLARD, et S. S COTT. Complementarity
between Virtualization and Single System Image Technologies. In Euro-Par 2008 Workshops
- Parallel Processing : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008,
ROIA 2008, and DPA 2008, 2009, Las Palmas de Gran Canaria, Espagne
H. A RBOLEDA, R. C ASALLAS, et J.-C. R OYER. Dealing with Fine-Grained Configurations in
Model-Driven SPLs. In SPLC, 2009, États-Unis, pages 1–10
A. N Ú ÑEZ, J. N OY É, et V. G ASI ŨNAS. Declarative Definition of Contexts with Polymorphic
Events. In Pascal C OSTANZA, Richard P. G ABRIEL, Robert H IRSCHFELD, et Jorge VALLE JOS, réds., International Workshop on Context-Oriented Programming at ECOOP ’09 (COP ’09),
2009, Genova, Italie. ACM Press, 2009
F. H ERMENIER, X. L ORCA, J.-M. M ENAUD, G. M ULLER, et J. L AWALL. Entropy : a consolidation manager for clusters. In VEE ’09 : Proceedings of the 2009 ACM SIGPLAN/SIGOPS
international conference on Virtual execution environments, 2009, New York, NY, USA ÉtatsUnis. ACM, 2009, pages 41–50
F. F ERNANDES, J.-C. R OYER, et R. P ASSAMA. Event Strictness for Components with Complex
Bindings. In ISEC, 2009, Inde, pages 47–56
É. TANTER, J. F ABRY, R. D OUENCE, J. N OY É, et M. S ÜDHOLT. Expressive Scoping of Distributed Aspects. In AOSD 2009, 2009, Charlottesville, Virginia États-Unis. ACM Press, 2009,
pages 27–38
P. R ITEAU, A. L ÈBRE, et C. M ORIN. Handling Persistent States in Process Checkpoint/Restart
Mechanisms for HPC Systems. In 9th IEEE/ACM International Symposium on Cluster Computing
and the Grid (CCGRID ’09), 2009, Shanghai, Chine
8
P. A NDR É, N. A NQUETIL, G. A RDOUREL, J.-C. R OYER, P. H NETYNKA, T. P OCH, D. P ETRASCU,
et V. P ETRASCU. JavaCompExt : Extracting Architectural Elements from Java Source Code. In
Working Conference on Reverse Engineering 2009, 2009, France, pages 317–318. ISBN : 978-07695-3867-9
WCRE, 2009, Lille, France. IEEE, 2009, pages 317–318
R. D OUENCE, X. L ORCA, et N. L ORIANT. Lazy Composition of Representations in Java. In
SC’09 (International Conference on Software Composition), 2009, Lille, France. Springer Verlag,
2009, volume 5634, pages 55–71
K. G ARC ÉS, F. J OUAULT, P. C OINTE, et J. B ÉZIVIN. Managing Model Adaptation by Precise
Detection of Metamodel Changes. In Proc. of ECMDA 2009, 2009, Enschede, Pays-Bas. Springer,
2009, pages 34–49
J. G ALLARD, A. L ÈBRE, G. V ALL ÉE, C. M ORIN, P. G ALLARD, et S. S COTT. Refinement Proposal of the Goldberg’s Theory. In ICA3PP’09 : International Conference on Algorithms and
Architectures for Parallel Processing, 2009, Tapei Taı̈wan, Province De Chine, pages 853–865
H. N GUYEN V AN, F. DANG T RAN, et J.-M. M ENAUD. SLA-aware virtual resource management
for cloud infrastructures. In 9th IEEE International Conference on Computer and Information
Technology (CIT’09), 2009, Xiamen, Chine, pages 1–8
B. M ORIN, T. L EDOUX, M. B EN H ASSINE, F. C HAUVEL, O. B ARAIS, et J.-M. J ÉZ ÉQUEL. Unifying Runtime Adaptation and Design Evolution. In IEEE 9th International Conference on Computer and Information Technology (CIT’09), 2009, Xiamen, China
P.-C. D AVID, M. L ÉGER, H. G RALL, T. L EDOUX, et T. C OUPAYE. A Multi-Stage Approach for
Reliable Dynamic Reconfigurations of Component-Based Systems. In 8th IFIP WG 6.1 International Conference, DAIS 2008, 2008, Oslo, Norvège. Springer Berlin / Heidelberg, 2008, volume
5053 of LNCS, pages 106–111
A. N Ú ÑEZ et J. N OY É. An Event-Based Coordination Model for Context-Aware Applications.
In Doug L EA et Gianluigi Z AVATTARO, réds., 10th International Conference on Coordination
Models and Languages (COORDINATION 2008), 2008, Oslo, Norvège. Springer, 2008, volume
5052 of Lecture Notes in Computer Science, pages 232–248
L. D. B ENAVIDES N AVARRO, R. D OUENCE, F. H ERMENIER, J.-M. M ENAUD, et M. S ÜDHOLT.
Aspect-based patterns for grid programming. In IEEE, réd., 20th International Symposium on
ASCOLA
[38]
[39]
[40]
[41]
[42]
[43]
[44]
[45]
[46]
[47]
9
Computer Architecture and High Performance Computing (SBAC-PAD’08), 2008, Brésil, pages
141–148
http ://hal.archives-ouvertes.fr/inria-00418836/en/
S. D JOKO D JOKO, R. D OUENCE, et P. F RADET. Aspect Preserving Properties. In ACM/SIGPLAN
Workshop Partial Evaluation and Semantics-Based Program Manipulation (PEPM), 2008, San
Francisco, États-Unis
L. D. B ENAVIDES N AVARRO, R. D OUENCE, et M. S ÜDHOLT. Debugging and testing middleware with aspect-based control-flow and causal patterns. In ACM/IFIP/USENIX 9th International
Middleware Conference, 2008, Leuven, Belgique
A. A SSAF et J. N OY É. Dynamic AspectJ. In J. B RICHAU, réd., Dynamic Languages Symposium
2008 (DLS ’08), 2008, Paphos, Chypre. ACM Press, 2008
http ://hal.archives-ouvertes.fr/hal-00486710/en/
J. NAGAPRAVEEN, T. C OUPAYE, C. C OLLET, et P.-C. D AVID. Flexible Reactive Capabilities
in Component-Based Autonomic Systems. In Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2008), 2008, Belfast, Irlande, pages 97–106
L. D. B ENAVIDES N AVARRO, R. D OUENCE, A. N Ú ÑEZ, et M. S ÜDHOLT. LTS-based Semantics
and Property Analysis of Distributed Aspects and Invasive Patterns. In Katholieke Universiteit
L EUVEN, réd., Workshop on Aspects, Dependencies and Interactions, 2008, Belgique, volume
CW 517 of Technical Report, pages 36–45
F. B ALIGAND, N. R IVIERRE, et T. L EDOUX. QoS Policies for Business Processes in Service
Oriented Architectures. In Springer Berlin / H EIDELBERG, réd., International Conference on
Service Oriented Computing, 2008, Sydney, Australie, volume 5364/2008 of Lecture Notes in
Computer Science, pages 483–497
S. D JOKO D JOKO, R. D OUENCE, et P. F RADET. Specialized aspect languages preserving classes
of properties. In IEEE International Conference on Software Engineering and Formal Methods,
2008, Cape Town, Afrique Du Sud
B. D E F RAINE, M. S ÜDHOLT, et V. J ONCKERS. StrongAspectJ : Flexible and Safe Pointcut/Advice Bindings. In Proceedings of the 7th ACM Int. Conf. on Aspect-Oriented Software
Development (AOSD’08), 2008, Bruxelles, Belgique. ACM, 2008
N. A NQUETIL, B. G RAMMEL, I. G ALV ÃO, J. N OPPEN, S. S HAKIL K HAN, H. A RBOLEDA, et
A. R ASHID. Traceability for Model Driven, Software Product Line Engineering. In ECMDA
Traceability Workshop, 2008, Allemagne, pages 77–86
H. A RBOLEDA, R. C ASALLAS, et J.-C. R OYER. Using Transformation-Aspects in Model-Driven
Software Product Lines. In Proceedings of the 3th International Workshop on Aspects, Dependencies, and Interactions at 22nd European Conference on Object-Oriented Programming
(ECOOP’07), 2008, Paphos, Chypre, pages 46–56
10
F. BALIGAND, N. R IVIERRE, et T. L EDOUX. A Declarative Approach for QoS-Aware Web Service Compositions. In ICSOC 2007, 2007, Vienna, Autriche, pages 422 – 428
L. B URGY, L. R ÉVEILL ÈRE, J. L AWALL, et G. M ULLER. A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. In 26th IEEE International Symposium on Reliable Distributed Systems, 2007, Beijing, Chine
F. B ALIGAND, D. Le B OTLAN, T. L EDOUX, et P. C OMBES. A Language for Quality of Service
Requirements Specification in Web Services Orchestrations. In Second International Workshop
on Engineering Service-Oriented Applications (WESOA’06), 2007, Chicago, États-Unis. Springer
Berlin / Heidelberg, 2007, volume 4652, pages 38–49
A. N Ú ÑEZ et J. N OY É. A Seamless Extension of Components with Aspects using Protocols. In
WCOP 2007 - Components beyond Reuse - 12th International ECOOP Workshop on ComponentOriented Programming, 2007, Berlin, Allemagne
L. D. B ENAVIDES N AVARRO, C. S CHWANNINGER, R. S OBOTZIK, et M. S ÜDHOLT. ATOLL :
Aspect-Oriented Toll System. In Proc. 6th Int. Workshop on Aspects, Components, and Patterns
for Infrastructure Software (ACP4IS’07), 2007, Vancouver, Canada. ACM, 2007
F. F ERNANDES, J.-C. R OYER, et R. P ASSAMA. Components with Symbolic Transition Systems :
A Java Implementation of Rendez-Vous. In Communicating Process Architecture Conference
2007, 2007, Royaume-Uni, pages 89–107. ISBN : ISBN 978-1-58603-767-3
H. A RBOLEDA, R. C ASALLAS, et J.-C. R OYER. Dealing with Constraints during a Feature Configuration Process in a Model-Driven Software Product Line. In 7th OOPSLA Workshop on
Domain-Specific Modeling, 2007, Canada, pages 178–183. ISBN : 978-951-39-2915-2
J. P OLAKOVIC, S. M AZAR É, J.-B. S TEFANI, et P.-C. D AVID. Experience with implementing
safe reconfigurations in Component-based embedded systems. In Component-Based Software
Engineering (CBSE 2007), 2007, Boston, États-Unis, pages 242–257
N. L ORIANT et J.-M. M ENAUD. Generalized Dynamic Probes for the Linux Kernel and Applications with Arachne. In 2007 IADIS Conference on Applied Computing, 2007, Espagne
L. D. B ENAVIDES N AVARRO, M. S ÜDHOLT, R. D OUENCE, et J.-M. M ENAUD. Invasive Patterns
for Distributed Programs. In Distributed Objects, Middleware, and Applications, 2007, Portugal.
Springer, 2007, volume 4803 of Lecture Notes in Computer Science, pages 772–789
ASCOLA
11
D. H. N GUYEN et M. S ÜDHOLT. Proc. of the 9th International Symposium on Distributed Objects,
Middleware, and Applications (DOA’07). In Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA’07), 2007, Villamoura, Portugal. Springer
Verlag, 2007
M. L ÉGER, T. L EDOUX, et T. C OUPAYE. Reliable Dynamic Reconfigurations in the Fractal Component Model. In The 6th Workshop on Adaptive and Reflective Middleware, 2007, Newport
Beach, CA États-Unis, pages 1–6
D. H. N GUYEN et M. S ÜDHOLT. Towards correct evolution of components using VPA-based
aspects. In Proc. of the 4th Workshop on Reflection, AOP and Meta-Data for Software Evolution
(RAM-SE’07), 2007, Genova, Italie. Springer Verlag, 2007
N. L ORIANT, M. S ÉGURA -D EVILLECHAISE, T. F RITZ, et J.-M. M ENAUD. A Reflexive Extension
to Arachne’s Aspect Language. In 2006 AOSD Workshop on Open and Dynamic Aspect Language,
2006, Bonn, Allemagne
P. C. D AVID et T. L EDOUX. An Aspect-Oriented Approach for Developing Self-Adaptive Fractal
Components. In M. S. Welf L ÖWE, réd., Software composition (SC 2006), Satellite event of
ETAPS 2006, 2006, Vienna, Autriche. Springer Berlin / Heidelberg, 2006, volume 4089 of LNCS,
pages 82–97
J.-P. B ODEVEIX, M. F ILALI, J. L AWALL, et G. M ULLER. Automatic Verification of Bossa Scheduler Properties. In Stephan M ERZ et Tobias N IPKOW, réds., Automatic Verification of Critical
Systems, 2006, Nancy, France, pages 19–34
P. P OIZAT, J.-C. R OYER, et G. S ALA ÜN. Bounded Analysis and Decomposition for Behavioural
Descriptions of Components. In Proceedings of the 8th International Conference on Formal
Methods for Open Object-Based Distributed Systems (FMOODS), 2006, Italie, volume 4037 of
Lecture Notes in Computer Science, pages 33–47
R. D OUENCE, D. Le B OTLAN, J. N OY É, et M. S ÜDHOLT. Concurrent Aspects. In 5th International Conference on Generative Programming and Component Engineering (GPCE ’06), 2006,
Portland, États-Unis, pages 79–88
L. D. B ENAVIDES N AVARRO, M. S ÜDHOLT, W. V ANDERPERREN, B. D E F RAINE, et D. S UV ÉE.
Explicitly distributed AOP using AWED. In 5th international conference on Aspect-Oriented
Software Development, 2006, Allemagne. ACM, 2006, pages 51–62
F. H ERMENIER, N. L ORIANT, et J.-M. M ENAUD. Power Management in Grid Computing with
Xen. In 2006 ISPA Workshop on Xen in High-Performance Clusters and Grid Computing Environments (XHPC’06), 2006, Sorrento, Italie. Springer Verlag, 2006, volume 4331, pages 407–416
12
R. D OUENCE. Relational Aspects for Context Passing Beyond Stack Inspection. In Software
Engineering Properties of Languages and Aspect Technologies, 2006, Allemagne
P.-C. D AVID et T. L EDOUX. Safe Dynamic Reconfigurations of Fractal Architectures with FScript.
In 5th Fractal Workshop at ECOOP 2006, 2006, Nantes, France
N. L ORIANT et J.-M. M ENAUD. The Case for Execution Replay using a Virtual Machine. In 2006
WETICE Workshop on Emerging Technologies for Next-Generation GRID, 2006, Manchester,
Royaume-Uni
R. D OUENCE, D. Le B OTLAN, J. N OY É, et M. S ÜDHOLT. Towards a model of concurrent AOP.
In E. E RNST, J. B RICHAU, et L. B ERGMANS, réds., SPLAT ! 2006 - Workshop on Software engineering Properties of Languages and Aspect Technologies - A workshop affiliated with AOSD
2006, 2006, Bonn, Allemagne
S. D ENIER et P. C OINTE. Understanding Design Patterns Density with Aspects. a Case Study in
JHotDraw using AspectJ. In W. L ÖWE et M. S ÜDHOLT, réds., Congress Software composition :
5th international symposium, SC, 2006, Vienna, Austria. Springer-Verlag, 2006, volume 4089 of
lncs, pages 243–258
D. H. N GUYEN et M. S ÜDHOLT. VPA-based aspects : better support for AOP over protocols. In
4th IEEE International Conference on Software Engineering and Formal Methods (SEFM’06),
2006, Pune, Inde
Articles dans des conférences de second rang ou ateliers (workshops) (ACTN)
K. G ARC ÉS, F. J OUAULT, P. C OINTE, et J. B ÉZIVIN. A Domain Specific Language for Expressing
Model Matching. In Proceedings of the 5ère Journée sur l’Ingénierie Dirigée par les Modèles
(IDM09), 2009, Nancy, France, pages 33–48
F. H ERMENIER, A. L ÈBRE, et J.-M. M ENAUD. Changement de contexte pour tâches virtualisées à l’échelle des grappes. In 7ème Conférence Francophone sur les Systèmes d’Exploitation
(CFSE09), 2009, Toulouse, France
A. A SSAF et J. N OY É. Flexible Pointcut Implementation : An Interpreted Approach. In Bernard
C ARR É, réd., Langages et Modèles à Objets (LMO 2009), 2009, Nancy, France. CépaduèsEditions, 2009, pages 45–60
H. A RBOLEDA, A. R OMERO, R. C ASALLAS, et J.-C. R OYER. Product Derivation in a ModelDriven Software Product Line using Decision Models. In IDEAS, 2009, Colombie, pages 59–72
ASCOLA
13
A. R ASHID, A. M OREIRA, J. A RAUJO, M. M EZINI, L. F UENTES, J.-C. R OYER, A. RUMMLER,
C. P OHL, et C. S CHWANNINGER. AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven Development. In MODELS Research Projects Symposium, 2008, France, pages 34–40
F. H ERMENIER, X. L ORCA, H. C AMBAZARD, J.-M. M ENAUD, et N. J USSIEN. Reconfiguration
dynamique du placement dans les grilles de calculs dirigée par des objectifs. In 6ième Conférence
Francophone sur les Systèmes d’Exploitation (CFSE’06), 2008, Fribourg, Suisse
F. F ERNANDES et J.-C. R OYER. The STSLib Project : Towards a Formal Component Model
Based on STS, 2008, number 215, pages 131–149
F. B ALIGAND, T. L EDOUX, et P. C OMBES. Une Approche pour Garantir la Qualité de Service
dans les Orchestrations de Services Web. In NOTERE 2007, 2008, Marrakesh, Maroc
A. N Ú ÑEZ et J. N OY É. A Domain-Specific Language for Coordinating Concurrent Aspects
in Java. In Rémi D OUENCE et Pascal F RADET, réds., 3ème Journée Francophone sur le
Développement de Logiciels Par Aspects (JFDLPA 2007), 2007, Toulouse, France
H. A RBOLEDA, R. C ASALLAS, et J.-C. R OYER. Implementing an MDA Approach for Managing
Variability in Product Line Construction Using the GMF and GME Frameworks. In 5th Nordic
Workshop on Model Driven Software Engineering 2007, 2007, Suède, pages 67–82. ISBN : 97891-7295-985-9
M. L ÉGER, T. C OUPAYE, et T. L EDOUX. Contrôle dynamique de l’intégrité des communications
dans les architectures à composants. In R. R OUSSEAU, C. U RTADO, et S. V AUTTIER, réds., LMO
2006, 2006, Nı̂mes, France. Hermès-Lavoisier, 2006, pages 21–36
J.-P. B ODEVEIX, M. F ILALI, J. L AWALL, et G. M ULLER. Vérification automatique de propriétés
d’ordonnanceurs Bossa. In AFADL’2006, 2006, France. ENST, 2006, pages 95–109
Ouvrages scientifiques (ou chapitres de ces ouvrages) incluant les mémoires de thèse
et de HDR (OS)
P. C OINTE. Designing Open-Ended Languages : An Historical Perspective. In Gerard A SSAYAG et
Andrez G ERZSO, réds., New Computational Paradigms for Computer Music, Musique/Sciences,
pages 49–64. Delatour France / IRCAM Centre Georges Pompidou, 2009
[87] http ://tel.archives-ouvertes.fr/tel-00484760/en/
L. D. B ENAVIDES N AVARRO. Distributed Aspects : better separation of crosscutting concerns in
distributed software systems. Thèse de doctorat, Université de Nantes, 2009
14
M. L ÉGER. Fiabilité des Reconfigurations Dynamiques dans les Architectures à Composants.
Thèse de doctorat, Mines ParisTech, 2009
H. A RBOLEDA. FieSta : An approach for Fine-Grained Scope Definition, Configuration and
Derivation of Model-Driven Software Product Lines. Thèse de doctorat, Université de Nantes ;
Universidad Los Andès, Bogota, 2009. Thèse en co-tutelle
F. H ERMENIER. Gestion dynamique des tâches dans les grappes, une approche à base de machines virtuelles. Thèse de doctorat, Université de Nantes, 2009
Proceedings of the 4th workshop on Domain-specific aspect languages (DSAL 2009), Charlottesville, Virginia, États-Unis. ACM Press, 2009
M. S ÜDHOLT. Proceedings of the 8th Int. Workshop on Foundations of Aspect-Oriented Languages (FOAL’09). ACM, 2009
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages (DSAL 2008),
Bruxelles, Belgique. ACM Press, 2008
F. S ANEN, R. C HITCHYAN, L. B ERGMANS, J. F ABRY, M. S ÜDHOLT, et K. M EHNER. Proceedings of the Int. Workshop on Aspects, Dependencies and Interactions (ADI’07). Springer Verlag,
2008
Summary of the third workshop on Domain-Specific Aspect Languages, Bruxelles, Belgique. ACM
Press, 2008
S. P AVEL. Un modèle de composants hiérarchiques avec protocoles d’interaction. Thèse de
doctorat, Université de Nantes, 2008
F. B ALIGAND. Une Approche Déclarative pour la Gestion de la Qualité de Service dans les
Compositions de Services. Thèse de doctorat, Mines ParisTech, 2008
O. S PINCZYK, M. S ÜDHOLT, et C. G IBBS. ACP4IS’07 : Proceedings of the 6th workshop on
Aspects, components, and patterns for infrastructure software. ACM, 2007
M. S ÜDHOLT et C. C ONSEL. ECOOP 2006-Object-Oriented Technology. Workshop Reader,
Workshops, Nantes, France, July 3-7, 2006, Final Reports. Lecture Notes in Computer Science.
Springer Verlag, 2007
N. L ORIANT. Évolution dynamique des systèmes d’exploitation, une approche par la programmation par aspects. Thèse de doctorat, Université de Nantes, 2007
ASCOLA
15
S. D ENIER. Expression et composition des motifs de conception avec les aspects. Thèse de
Proceedings of the 2nd workshop on Domain specific aspect languages, Vancouver, Canada. ACM
Press, 2007
M. S ÜDHOLT. Towards expressive, well-founded and correct Aspect-Oriented Programming. Université de Nantes, 2007
M. S ÜDHOLT. Towards expressive, well-founded and correct Aspect-Oriented Programming.
HDR, Université de Nantes, 2007
Y. C OADY, A. JACOBSEN, et M. S ÜDHOLT. AOP for systems software and middleware. Transactions in AOSD. Springer Verlag, 2006
P. C OINTE. Langages à objets. In Encyclopédie de l’Informatique et des Systèmes d’Information,
pages 1028–1037. Vuibert Informatique, 2006
W. L ÖWE et M. S ÜDHOLT. Proceedings of the 5th Int. Symposium on Software Composition
(SC’06). Springer Verlag, 2006
G. B OBEFF. Spécialisation de composants. Thèse de doctorat, Université de Nantes, 2006
Direction d’ouvrages ou de revues (DO)
J.-C. R OYER. RSTI L’objet, Usines logicielles et lignes de produits logiciels. Hermès - Lavoisier,
2008
Communications orales sans actes dans un congrès international ou national (COM)
L. D. B ENAVIDES N AVARRO, M. S ÜDHOLT, R. D OUENCE, et J.-M. M ENAUD. Invasive Patterns : Aspect-Based Adaptation of Distributed Applications. In Workshop on Coordination and
Adaptation Techniques for Software Entities, 2007, Allemagne
Autres publications (AP)
[111] http ://hal.inria.fr/inria-00449851/en/
S. D JOKO D JOKO, R. D OUENCE, et P. F RADET. Aspects Preserving Properties. Research Report
RR-7155, INRIA, 2009
16
F. H ERMENIER, A. L ÈBRE, et J.-M. M ENAUD. Cluster-Wide Context Switch of Virtualized Jobs.
Research Report RR-6929, INRIA, 2009
J. G ALLARD, A. L ÈBRE, et C. M ORIN. Saline : Improving Best-Effort Job Management in Grids.
Research Report RR-7055, INRIA, 2009
K. G ARCES, F. J OUAULT, P. C OINTE, et J. B ÉZIVIN. Adaptation of Models to Evolving Metamodels. Research Report RR-6723, INRIA, 2008
F. H ERMENIER, X. L ORCA, J.-M. M ENAUD, G. M ULLER, et J. L AWALL. Entropy : a Consolidation Manager for Clusters. Research Report RR-6639, INRIA, 2008
B. D E F RAINE, M. S ÜDHOLT, et V. J ONCKERS. A Formal Semantics of Flexible and Safe Pointcut/Advice Bindings. Research report, Vrije Universiteit Brussel, 2007
[117] http ://hal.inria.fr/inria-00140964/en/
L. B URGY, L. R ÉVEILL ÈRE, J. L AWALL, et G. M ULLER. A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. Research Report RR6167, INRIA, 2007
L. B URGY, L. R ÉVEILL ÈRE, J. L AWALL, et G. M ULLER. A Language-based Approach for Robust
and Efficient Network Application Protocol Implementations, 2007. Poster session of Eurosys
2007
S. D JOKO D JOKO, R. D OUENCE, et P. F RADET. Proof of correctness of aspect transformations
in the CASB, 2007. Deliverable D88
Y. P ADIOLEAU, R. RYDHOF H ANSEN, J. L AWALL, et G. M ULLER. Towards Documenting and
Automating Collateral Evolutions in Linux Device Drivers. Research Report RR-6090, INRIA,
2007
R. D OUENCE, D. L E B OTLAN, J. N OY É, et M. S ÜDHOLT. Concurrent aspects. Research Report
RR-5873, INRIA, 2006
N. L ORIANT et J.-M. M ENAUD. Correcting a Buffer Overflow Vunerability at Runtime with
Arachne, 2006. ECOOP’06 : Proceedings of the 20th European Conference on Object-Oriented
Programming (Demonstration)
L. D. B ENAVIDES N AVARRO, M. S ÜDHOLT, W. V ANDERPERREN, B. D E F RAINE, et D. S UV ÉE.
Explicitly distributed AOP using AWED. Rapport technique, 2006
A. O ZSEMERCIYAN. Passage de contexte par aspects, 2006. Rapport de DEA
ASCOLA
17
É. T ANTER, J. F ABRY, A.-F. Le M EUR, J. N OY É, et T. C LEENEWERCK. Proceedings of the First
Domain-Specific Aspect Languages Workshop - ACM International Conference on Generative
Programming and Component Engineering (GPCE 2006). Research report, 2006
S. D JOKO D JOKO, R. D OUENCE, P. F RADET, et D. L EBOTLAN. Towards a Common Aspect Semantic Base (CASB), Deliverable 54, 2006. Towards a Common Aspect Semantic Base (CASB)
R. D OUENCE et J. N OY É. Towards a Concurrent Model of Event-based Aspect-Oriented Programming. Research Report RR-5838, INRIA, 2006
COLOSS
19
Équipe
COLOSS
C. ATTIOGBE, P. P OIZAT, et G. S ALA ÜN. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Transactions on Software Engineering, 2007,
33(3) : 157–170
P. A NDRE, G. A RDOUREL, et C. ATTIOGB É. Adaptation for Hierarchical Components and Services. Electronic Notes in Theoretical Computer Science, 2007, 189 : 5–20
C. A TTIOGBE. Can Component/Service-Based Systems Be Proved Correct ? In 35th Conference on
Current Trends in Theory and Practice of Computer Science (SOFSEM ’2009), 2009, Spindleruv
Mlýn, République Tchèque. Springer, 2009, volume 5404 of LNCS, pages 3–18
C. A TTIOGBE. Can Component/Service-Based Systems Be Proved Correct ? In 35th Conference on
Current Trends in Theory and Practice of Computer Science (SOFSEM ’2009), 2009, Spindleruv
Mlýn, République Tchèque. Springer, 2009, volume 5404 of LNCS, pages 3–18
20
Working Conference on Reverse Engineering (WCRE’2009), 2009, Lille, France. IEEE, 2009, pages
317–318
C. ATTIOGB É. Modelling and Analysing Dynamic Decentralised Systems. In Pacific-Rim Distributed Computing Conference (PRDC’2009), 2009, Shanghai, Chine. IEEE Computer Society,
2009, pages 109–114
P. A NDRE, G. A RDOUREL, C. ATTIOGB É, et A. L ANOIX. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. In M. S UN et B. S CHATZ, réds., Formal
Aspects of Component Software (FACS’2009), 2009, Eindhoven, Pays-Bas. CWI, 2009, volume
SEN-E0902, pages 115–129
P. A NDRE, G. A RDOUREL, et C. A TTIOGB É. Composing Components with Shared Services in
the Kmelia Model. In Cesare P AUTASSO et Eric T ANTER, réds., 7th International Symposium on
Software Composition (SC’2008), 2008, Budapest, Hongrie. Springer, 2008, volume 4954 of LNCS,
pages 125–140
A. L ANOIX. Event-B Specification of a Situated Multi-Agent System : Study of a Platoon of Vehicles. In 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
(TASE’2008), 2008, France
J. C. ATTIOGBE. Event-Based Approach to Modeling Dynamic Architecture : Application to Mobile Ad Hoc Network. In International Symposium on Leveraging Applications of Formal Methods,
Verification and Validation (ISoLA’2008), 2008, Porto-sani, Grèce. Springer, 2008, volume 17 of
CCIS (Communications in Computer and Information Science), pages 769–781
S. C OLIN, A. L ANOIX, O. K OUCHNARENKO, et J. S OUQUI ÈRES. Towards Validating a Platoon
of Cristal Vehicles using CSP——B. In J. M ESEGUER et G. ROSU, réds., AMAST’2008, 2008,
France, volume 5140 of LNCS, pages 139–144
S. C OLIN, A. L ANOIX, O. K OUCHNARENKO, et J. S OUQUI ÈRES. Using CSP——B Components :
Application to a Platoon of Vehicles. In International Workshop on Formal Methods for Industrial
Critical Systems (FMICS’2008), 2008, Italie. Springer-Verlag, 2008, volume 5596 of LNCS, pages
103–118
P. A NDRE, G. A RDOUREL, et C. ATTIOGB É. Defining Component Protocols with Service Composition : Illustration with the Kmelia Model. In Markus L UMPE et Wim VANDERPERREN, réds.,
6th International Symposium on Software Composition, (SC’2007), 2007, Braga, Portugal. Springer
Berlin / Heidelberg, 2007, volume 4829 of LNCS, pages 2–17
COLOSS
21
C. ATTIOGB É, P. A NDR É, et G. A RDOUREL. Checking Component Composability. In 5th International Symposium on Software Composition (SC’2006), 2006, Vienne, Autriche. Springer Berlin
/ Heidelberg, 2006, volume 4089 of LNCS, pages 18–33
C. ATTIOGBE. Combining B Tools for Multi-Process Systems Specification. In M. A.
E. B ADOUEL , Y. S LIMANI, réd., African Conference on Research in Computer Science
(CARI’2006), 2006, Cotonou, Bénin, INRIA, pages 35–42
H. H ABRIAS. Du semi-formel au formel, un exemple. In 6e conférence francophone de
MOdélisation et SIMulation (MOSIM’2006), 2006, Rabat, Maroc. Lavoisier, 2006, pages 842–851
J. C. ATTIOGBE. Multi-process Systems Analysis Using Event B : Application to Group Communication Systems. In International Conference on Formal Engineering Method (ICFEM’2006),
2006, Macao, Chine. Springer, 2006, volume 4260 of LNCS, pages 660–677
C. A TTIOGBE. Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and
ProB). In P. KOKOL, réd., IASTED Software Engineering (SE’2006), 2006, Innsbruck, Autriche.
Acta Press, 2006, pages 85–90
P. A NDR É, G. A RDOUREL, et C. ATTIOGB É. Vérification d’assemblage de composants logiciels Expérimentations avec MEC. In 6e conférence francophone de MOdélisation et SIMulation,
(MOSIM’2006), 2006, Rabat, Maroc. Lavoisier, 2006, pages 497–506
P. A NDR É, C. A TTIOGB É, et M. M ESSABIHI. Correction d’assemblages de composants impliquant
des interfaces paramétrées. In CAL’2009, 2009, Nancy, France. Cépaduès-Editions, 2009, volume
RNTI-L-4 of Revue des Nouvelles Technologies de l’Information, pages 34–44
C. A TTIOGBE. Semantic Embedding of Petri Nets into Event-B. In Integration of Model-based
Formal Methods Tools (IM FMT @ IFM’2009), 2009, Dusseldorf, Allemagne
C. A TTIOGBE. Mastering Specification Heterogeneity with Multifacet Analysis. In Modeling,
Validation, and Heterogeneity (MoVaH @ ICST’08), 2008, Lillehammer, Norvège
P. A NDRE, G. A RDOUREL, et C. ATTIOGB É. A Formal Analysis Toolbox for the Kmelia Component Model. In Christian ATTIOGB É et Daniel K R ÖNING, réds., ProVeCS 2007 - Satellite Event of
TOOLS Europe, 2007, Zürich, Suisse, volume 567 of ETH TR, pages 10–25
22
P. A NDR É, G. A RDOUREL, et C. A TTIOGB É. Protocoles d’utilisation de composants : spécification
et analyse en Kmelia. In S. E. e. F. M. Isabelle B ORNE , X AVIER C R ÉGUT, réd., Conférence
Francophone sur les Langages et Modèles à Objets (LMO’2007), 2007, Toulouse, France. Hermès
- Lavoisier, 2007, pages 19–34
P. A NDR É et H. H ABRIAS. Application d’ontologies formelles au droit. In SDC’06 Journée sur les
Ontologies et textes juridiques, OTJ’06, 2006, Nantes, France, pages 30–39
P. A NDRE, G. A RDOUREL, et C. A TTIOGB É. Protocoles d’utilisation de composants : spécification
et analyse en Kmelia. In D. T. e. K. Mourad Chabane O USSALAH , F LAVIO O QUENDO, réd., 1ère
Conférence Francophone sur les Architectures Logicielles, 2006. Lavoisier, 2006, Hermes Science,
pages 101–118
et de HDR (OS)
C. A TTIOGB É. Contributions aux approches formelles de développement de logiciels : Intégration
de méthodes formelles et analyse multifacette. HDR, Université de Nantes, 2007
H. H ABRIAS et M. F RAPPIER. Software Specification Methods - An Overview Using a Case Study.
ISTE, 2006
C. A TTIOGBE et H. H ABRIAS. From Research to Teaching Formal Methods : The B Method
(TFM-B’2008). Université de Nantes, 2008
C. A TTIOGBE et D. M ÉRY. From Research to Teaching Formal Methods : The B Method (TFMB’2009). Université de Nantes, 2008
C. A TTIOGBE et P. A NDRE. L’Objet : Composants, services et aspects. Lavoisier, Hermes, 2008
C. ATTIOGBE et D. K ROENING. First International Workshop on Property Verification for Software
Components and Services. ETH Zurich, 2007
MODAL
23
Équipe
MODAL
A. A MIRAT et M. O USSALAH. First-Class Connectors to Support Systematic Construction of
Hierarchical Software Architecture. Journal of Object Technology, 2009, 8(7) : 107–130
A. A MIRAT et M. O USSALAH. Systematic Construction of Software Architecture Supported
by Enhanced First-Class Connectors. Informatica : An International Journal of Computing and
Informatics, 2009, 33(4) : 499–509
A. S MEDA, M. O USSALAH, et T. K HAMMACI. My Architecture : a Knowledge Representation Meta-Model for Software Architecture. International Journal of Software Engineering and
Knowledge Engineering, 2008, 18(7) : 877–894
S. NASSIMA, D. TAMZALIT, et M. O USSALAH. Component based software architectures : their
evolution through the connectors. International Transactions on Computer Science and Engineering, 2007, 39(1). ISSN : 1738-6438
A. A MIRAT et M. O USSALAH. Four Reasoning Models for C3 Metamodel. International Review
on Computers and Software (IRECOS), Praise Worthy Prize, 2007, 2(6) : 594–601
A. S MEDA, M. O USSALAH, et T. K HAMMACI. Meta-Architecting why and how ? international
transactions on computer science and engineering, 2007, 39(1)
A. S ERIAI, G. B ASTIDE, et M. O USSALAH. How To Generate Distributed Software Components
From Centralized Ones ? Journal of Computers, 2006, 1(5)
D. B ENNOUAR, T. K HAMMACI, et A. H ENNI. The Design of a Complex Software System with
ArchJava. Journal of Computer Science, 2006, 2(11) : 807–814. Science Publications
24
A. A MIRAT et M. O USSALAH. Connector Based Metamodel For Architecture Description Language. Journal of Computer Science, 2009
[10] http ://hal-lirmm.ccsd.cnrs.fr/lirmm-00397828/en/
A. S ERIAI, G. B ASTIDE, et M. O USSALAH. Mécanismes d’auto-adaptation de la structure de
composants appliqués aux environnements ubiquitaires. Ingénierie des Systèmes d’Information,
Networking and Information Systems, 2009, 14 : 65–89. Hermès
S. C HARDIGNY, A. S ERIAI, M. O USSALAH, et D. TAMZALIT. Extraction dirigée par les propriétés de qualité d’une architecture à partir d’un système orienté objet. L’Objet, logiciel, base de
données, réseaux (RSTI série), 2008, 14(1-2) : 113–137
G. B ASTIDE, A. S ERIAI, et M. O USSALAH. Restructuration de composants logiciels. Une approche d’adaptation structurelle de composants logiciels monolithiques basée sur leur refactorisation. L’Objet, logiciel, base de données, réseaux (RSTI série), 2007, 13(1) : 81–116
N. S ADOU, D. T AMZALIT, et M. O USSALAH. SAEV : une solution à l’évolution structurelle des
architectures logicielles. L’Objet, logiciel, base de données, réseaux (RSTI série), 2007, pages
45–80
A. A MIRAT et M. O USSALAH. Architecture Based Connection of Software Systems. In IEEE
International conference Quality-Oriented Reuse of Software, 2009, Seattle, États-Unis
A. A MIRAT et M. O USSALAH. C3 : A Metamodel for Architecture Description Language Based
on First-Order Connector Types. In 11th International Conference on Enterprise Information
Systems (ICEIS 2009), 2009, Milan, Italie, pages 76–81
A. H OCK -K OON et M. O USSALAH. Composite Service MetaModel. In 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009, Las Vegas, ÉtatsUnis, pages 126–131
A. A MIRAT et M. O USSALAH. Towards an UML Profile for the Description of Software Architecture. In International Conference on Applied Informatics (ICAI’09), 2009, Bou Arréridj, Algérie,
pages 226–232
D. TAMZALIT. 2nd Workshop on Model-Driven Software Evolution, IEEE CSMR 2008,
www.modse.fr. In IEEE CSMR 2008, 2008, Athens, Grèce, pages 342–343
MODAL
25
A. A MIRAT et M. O USSALAH. Connector-Based Mechanisms to Model Hierarchical Architectures. In 23rd International Conference on Computers and Their Applications, 2008, Cancun,
Mexique
M. O USSALAH et A. S MEDA. COSABuilder : an Extensible Tool for Architectural Description.
In ICTTA 2008, 2008, Damas, République Arabe Syrienne, pages 1–6
G. B ASTIDE, A. S ERIAI, et M. O USSALAH. Decision-making for Self-adaptation of software
component structures in ubiquitious environnements. In the first internantional workshop of selfadaptive software engineering (SASE - 2008) in conjunction with CSMR 2008, Athens, Greece,
2008, Athènes, Grèce
A. A MIRAT et M. O USSALAH. Enhanced Connectors to Support Hierarchical Dependencies in
Software Architecture. In 8th international conference on New Technologies in Distributed Systems, (NOTERE 2008), 2008, Lyon, France, pages 252–261
O. L E G OAER, M. O USSALAH, D. TAMZALIT, et A. S ERIAI. Evolution Shelf : Exploiting Evolution Styles within Software Architectures. In SEKE 2008, 2008, San Francisco, États-Unis, pages
387–392
O. L E G OAER, D. T AMZALIT, M. O USSALAH, et A. S ERIAI. Evolution Shelf : Reusing Evolution
Expertise within Component-Based Software Architectures. In 32nd Annual IEEE International
Computer Software and Applications Conference, 2008, Turku, Finlande, pages 311–318
O. L E G OAER, D. T AMZALIT, M. O USSALAH, et A. S ERIAI. Evolution styles to the rescue of
architectural evolution knowledge. In SHARK 2008, 2008, Leipzig, Allemagne, pages 31–36
S. C HARDIGNY, A. S ERIAI, M. O USSALAH, et D. TAMZALIT. Extraction of Component-Based
Architecture from Object-Oriented Systems. In Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), 2008, Vancouver, Canada, pages 285–288
A. A MIRAT et M. O USSALAH. Hierarchical Model to Develop Component-Based Systems. In
15th IEEE International Conference on Engineering of Computer-Based Systems (ECBS’08),
2008, Belfast, Irlande, pages 337–345
S. C HARDIGNY, A. S ERIAI, D. T AMZALIT, et M. O USSALAH. Quality-Driven Extraction of a
Component-based Architecture from an Object-Oriented System. In 12th European Conference
on Software Maintenance and Reengineering, CSMR 2008, 2008, Athens, Grèce, pages 139–154
A. A MIRAT et M. O USSALAH. Representation and Reasoning Models for C3 Architecture
Description Language. In Tenth International Conference on Enterprise Information Systems
(ICEIS’08), 2008, Barcelona, Espagne, pages 207–212
26
S. C HARDIGNY, A. S ERIAI, D. TAMZALIT, et M. O USSALAH. Search-Based Extraction of
Component-Based Architecture from Object-Oriented Systems. In Second European Conference
on Software Architecture, ECSA 2008, 2008, Paphos, Chypre, volume 5292/2008 of Lecture Notes
in Computer Science, pages 322–325
G. B ASTIDE, A. S ERIAI, et M. O USSALAH. Self-adaptation of Software Component Structures
in Ubiquitous Environments. In International Conference on Pervasive Services (ICPS’08), 2008,
Sorrento, Italie
D. T AMZALIT. 1st Workshop MoDSE : Model-Driven Software Evolution, IEEE CSMR 2007.
In IEEE CSMR 2007, 2007, Amsterdam, Pays-Bas
D. TAMZALIT, N. S ADOU, et M. O USSALAH. Connectors conveying Software Architecture Evolution. In IEEE COMPSAC, 2007, Chine, pages 391–396
S. M AILLARD, A. S MEDA, et M. O USSALAH. COSA : An architectural description meta-model.
In ICSOFT 2007, Proceedings of the Second International Conference on Software and Data
Technologies, 2007, Barcelone, Espagne. INSTICC Press, 2007, volume SE, pages 445–448
O. L E G OAER, M. O USSALAH, D. T AMZALIT, et A. S ERIAI. Evolution Styles in Practice Refactoring Revisited As Evolution Style. In ICSOFT 2007, 2007, Barcelona, Spain, pages 138–
143
M. O USSALAH, A. A MIRAT, et T. K HAMMACI. Software Architecture Based Connection Manager. In 16th International Conference on Software Engineering and Data Engineering (SEDE2007), 2007, Imperial Palace Hotel Las Vegas, Las Vegas, Nevada États-Unis. ISCA, 2007, pages
194–199
G. B ASTIDE, A. S ERIAI, et M. O USSALAH. Software Component Re-engineering for their Runtime Structural Adaptation. In 31st IEEE Computers, Software, and Applications Conference,
2007, Beijing, Chine. IEEE Computer Society, 2007, pages 109–114
G. B ASTIDE, M. O USSALAH, et A. S ERIAI. Software Component Reengineering for their
Context-Aware Deployment in Ubiquitous Environments. In Third International ERCIM Symposium on Software Evolution, 2007, Paris, France
A. A MIRAT, M. O USSALAH, et T. K HAMMACI. Towards an Approach for Building Reliable
Architectures. In IEEE International Conference on Information Reuse and Integration (IEEE
IRI’07), 2007, États-Unis, pages 467–472
MODAL
[41]
[42]
[43]
[44]
[45]
[46]
[47]
[48]
27
A. S ERIAI, M. O USSALAH, D. T AMZALIT, et O. L E G OAER. A reuse-driven approach to update
component-based software architectures. In IRI 2006, 2006, Waikoloa, Hawaii, États-Unis, pages
313–318
G. B ASTIDE, M. O USSALAH, et A. S ERIAI. Adaptation of Monolithic Software Components by
their Transformation into Composite Configurations Based on Refactoring. In Component-Based
Software Engineering, 9th International Symposium, CBSE 2006, 2006, Suède. Springer, 2006,
volume 4063 of Lecture Notes in Computer Science, pages 368–375
G. B ASTIDE, A. S ERIAI, et M. O USSALAH. Adapting software components by structure fragmentation. In The 21st Annual ACM Symposium on Applied Computing, 2006, Dijon, France, pages
1751–1758
A. A LTI, T. K HAMMACI, et A. S MEDA. Building a UML Profil for COSA Software Architecture.
In The Second IEEE International Conference on Information & Communication Technologies :
From Theory to Applications (ICTTA’06), 2006, Damascus, Syria, République Arabe Syrienne,
pages 1041–1042
O. L E G OAER, D. T AMZALIT, M. O USSALAH, et A. S ERIAI. How to manage update needs
within component-based software architectures. In SEAA 2006 (Work In Progress Session), 2006,
Cavtat/Dubrovnik, Croatie, pages 8–10
T. K HAMMACI, A. S MEDA, et M. O USSALAH. Mapping COSA Software Architecture Concepts
into UML 2.0. In 5th IEEE/ACIS International Conference on Computer and Information Science
(ICIS’06), 2006, Honolulu, États-Unis, pages 109–114
A. S ERIAI, G. B ASTIDE, et M. O USSALAH. Transformation of centralized software components
into distributed ones by code refactoring. In Distributed Applications and Interoperable Systems,
6th IFIP WG 6.1 International Conference, DAIS 2006, 2006, Bologne, Italie. Springer, 2006,
D. T AMZALIT, M. O USSALAH, O. L E G OAER, et A. S ERIAI. Updating Software Architectures :
A Style-Based Approach. In Software Engineering Research and Practice 2006, 2006, Las Vegas,
Nevada, États-Unis, pages 336–342
M. O USSALAH, D. TAMZALIT, O. L E G OAER, et A. S ERIAI. Updating Styles Challenge Updating Needs within Component-based Software Architectures. In SEKE 2006, 2006, San Francisco,
États-Unis, pages 98–101
M. O USSALAH. Components, Architectures and meta-architectures. In 9th International Symposium on Programming and Systems, 2009, Alger, Algérie
28
N. S ADOU, M. O USSALAH, et D. T AMZALIT. Dimensions de l’évolution structurelle dans les
architectures logicielles à base de composants. In 8ème ERTSI sur l’évolution, la réutilistion
structurelle et la traçabilité des systèmes d’information, 2009, Toulouse, France
D. T AMZALIT, D. D IRK, et S. B ERNHARD. ”Models and Evolution” : Joint MoDSE-MCCM 2009
Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency
Management (MCCM). In MoDELS Workshop 2009, 2009, États-Unis, pages 186–189
A. A MIRAT et M. O USSALAH. Reusable Connectors in Component-Based Software Architecture. In Ninth international symposium on programming and systems, (ISPS 2009), 2009, Alger,
Algérie, pages 28–35
A. A MIRAT et M. O USSALAH. C3 : Un métamodèle pour la description hiérarchique des architectures logicielles. In The 10th Maghrebian conference on information technologies (MCSEAI’08),
2008, Oran, Algérie, pages 148–155
S. C HARDIGNY, A. S ERIAI, M. O USSALAH, et D. TAMZALIT. Extraction métaheuristique d’une
architecture à base de composants à partir d’un système orienté objet. In 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008, Montréal, Canada, pages 139–154
A. A MIRAT et M. O USSALAH. Hierarchies for component-based architecture,. In SNIB’08,
Biskra, Algérie, 2008, Biskra, Algérie
D. T AMZALIT et M. T OM. Using graph transformation to evolve software architectures. In
BENEVOL 2008, 2008, Pays-Bas
G. B ASTIDE, A. S ERIAI, et M. O USSALAH. Auto-adaptation de composants logiciels : prise
en compte du contexte d’exécution pour l’auto-adaptation structurelle de composants logiciels.
In INFORSID 2007, GEDSIP (Gestion des données dans les systèmes d’information pervasifs).
Perros Guirec, 2007, France
O. L E G OAER et P. E BRAERT. Evolution styles : change patterns for Software Evolution. In
ERCIM 2007, 2007, Paris, France
S. C HARDIGNY, A. S ERIAI, M. O USSALAH, et D. T AMZALIT. Extraction d’Architecture à Base
de Composants d’un Système Orienté Objet. In Inforsid 2007, 2007, Perros-guirrec, France, pages
487–502
S. C HARDIGNY, A. S ERIAI, M. O USSALAH, et D. TAMZALIT. Extraction de l’architecture logicielle d’un système orienté objets. In Workshop RIMEL 07, Atelier rétro-Ingénierie, maintenance
et evolution des logiciels en association avec IDM 07, Toulouse, 2007, France
MODAL
29
A. A MIRAT, A. S MEDA, et O. L E G OAER. Integrating Aspects in the COSA Model. In ISPS
2007, 2007, Alger, Algérie, pages 79–87
N. S ADOU, D. TAMZALIT, et M. O USSALAH. La problématique de l’évolution dans les architectures logicielles. In deuxième journée sur l’ingénierie dirigée par les modèles (IDM’06), Lille,
France, 2006, Lille, France
G. B ASTIDE. Restructuration de composants logiciels : Une approche d’adaptation structurelle
statique basée sur la refactorisation de code orienté-objet. In Workshop Objets, Composants et
Modèles dans l’Ingénierie des Systèmes d’Information (OCM-SI’06), INFORSID’06, 2006, Hammamet, Tunisie, pages 95–106
M. O USSALAH, N. S ADOU, et D. T AMZALIT. SAEV :a Model to Face Evolution Problem in
Software Architecture. In The International ERCIM Workshop on Software Evolution, 2006,
Lille, France, pages 137–146
A. A LTI et A. S MEDA. Un profil UML 2.0 pour l’architecture logicielle COSA. In Workshop
Objets, Composants et Modéles dans l’Ingénierie des Systèmes d’Information (OCM-SI’06), In
conjunction with INFORSID’06, 2006, Hammamet, Tunisie, pages 62–73
et de HDR (OS)
S. C HARDIGNY. Extraction d’une architecture logicielle à base de composants depuis un système
orienté objet. Une aproche par exploration. Thèse de doctorat, Université de Nantes, 2009
O. L E G OAER. Styles d’évolution dans les architectures logicielles. Thèse de doctorat, Université
de Nantes ; Ecole centrale de nantes - ECN, 2009
N. S ADOU. Evolution Structurelle dans les Architectures Logicielles à base de Composants. Thèse
de doctorat, Université de Nantes ; Ecole centrale de nantes - ECN, 2007
G. B ASTIDE. Scorpio : une Approche d’Adaptation Structurelle de Composants Logiciels - Application aux Environnements Ubiquitaires. Thèse de doctorat, Université de Nantes ; Ecole centrale
de nantes - ECN, 2007
P. L AHIRE et M. O USSALAH. Actes de la Journée thématique Composition d’objets, de composants et de services (COSMAL’09), 2009
30
M. O USSALAH, F. O QUENDO, D. T AMZALIT, et T. K HAMMACI. 1ère Conférence francophone
sur les Architectures Logicielles. Hermes, 2006
M. O USSALAH et A. H OCK -K OON. Composition dynamique de services dans les environnements
d’intelligence ambiante. In Journées COSMAL, 2009, France
O. L E G OAER, M. O USSALAH, D. T AMZALIT, et A. S ERIAI. Evolution dirigée par les styles.
In Atelier RIMEL (Rétro-Ingénierie, Maintenance et Evolution des Logiciels), 2007, Toulouse,
France
S. C HARDIGNY, A. S ERIAI, M. O USSALAH, et D. T AMZALIT. Extraction of Component-Based
Architecture from Object-Oriented Systems. In the Third International ERCIM Symposium on
Software Evolution, 2007, Paris, France
M. O USSALAH et M. A HMED -N ACER. Projet Tassili-INEAL, rapport bi-annuel, 2009. Rapport
de recherche ou de fin de contrat
M. O USSALAH et O. L E G OAER. Projet ZooM, rapport 2, Typologie de styles : construction et
évolution, 2009. Rapport de recherches
M. O USSALAH et O. L E G OAER. Projet ZooM, rapport 3, spécifier les concepts et fonctionnalités
de modélisation d’un système naval de Aker Yard, 2009. Rapport de recherche ou de fin de contrat
M. O USSALAH et O. L E G OAER. Projet ZooM, rapport 1, Architecture de réseaux de tuyauterie,
cahier des charges, 2008. Rapport de recherches
C. B RUN. Migration des architectures logicielles, 2006. Rapport de stage de Master ALD, Université de Nantes, France
H. M ADANI. Modèle de Correspondance ADL/UML, 2006. Rapport de stage de Master ALD,
Université de Nantes, France
M. O USSALAH. Projet COM, rapport bilan des travaux de l’équipe modélisation, objtes et compsants 2000-2006, 2006. Rapport bilan
GDD
31
Équipe
GDD
W. P ALMA, R. A KBARINIA, E. P ACITTI, et P. V ALDURIEZ. DHTJoin : Processing Continuous
Join Queries Using DHT Networks. Distributed and Parallel Databases, 2009, pages 291–317
A. L IMA, C. F URTADO, P. V ALDURIEZ, et M. M ATTOSO. Parallel OLAP query processing in
database clusters with data replication. Distributed and Parallel Databases, 2009, 25 : 97–123
E. C UNHA D E A LMEIDA, G. S UNY É, Y. L. T RAON, et P. V ALDURIEZ. Testing Peer-to-Peer
Systems. Empirical Software Engineering, 2009, 15(4) : 346–379
M. D IDONET D EL F ABRO et P. VALDURIEZ. Towards the efficient development of model transformations using model weaving and matching transformations. Software and Systems Modeling,
2009, 8(3) : 305–324
J.-A. Q UIANE -R UIZ, P. L AMARRE, et P. VALDURIEZ. A Self-Adaptable Query Allocation Framework for Distributed Information Systems. International Journal on Very Large Databases, 2008,
online : online. European STREP Grid4All Project
C. F URTADO, A. L IMA, E. P ACITTI, P. VALDURIEZ, et M. M ATTOSO. Adaptive hybrid partitioning for OLAP query processing in a database cluster. International Journal of High Performance
Computing and Networking (IJHPCN), 2008, 5 : 251–262
F. A LLILAIRE, J. B ÉZIVIN, F. J OUAULT, et I. K URTEV. ATL : A model transformation tool.
Science of Computer Programming, 2008, 72 : 31–39
N. A NCIAUX, L. B OUGANIM, P. P UCHERAL, et P. V ALDURIEZ. DiSC : Benchmarking Secure
Chip DBMS. IEEE Transactions on Knowledge and Data Engineering, 2008, 20 : 1363–1377
32
W. P ALMA, R. A KBARINIA, E. P ACITTI, et P. V ALDURIEZ. Efficient Processing of Continuous
Join Queries using Distributed Hash Tables. Lecture notes in computer science, 2008, Volume
5168/2008 : 632–641
N. K OTOWSKI, A. L IMA, E. P ACITTI, P. V ALDURIEZ, et M. M ATTOSO. Parallel query processing
for OLAP in grids. Concurrency and Computation : Practice and Experience, 2008, 20 : 2039–
2048
V. M ARTINS, E. P ACITTI, M. El D ICK, et R. Jimenez P ERIS. Scalable and topology-aware reconciliation on P2P networks. Distributed and Parallel Databases, 2008, 24(1-3) : 1–43. Work
partially funded by the ARA “Massive Data” of the French ministry of research (project Respire),
the European Strep Grid4All project, the CAPES-COFECUB Daad project and the CNPq-INRIA
Gridata project.
R. A KBARINIA et V. M ARTINS. Data Management in the APPA System. Journal of Grid Computing, 2007, 5(3) : 303–317
Y. L IN, J. G RAY, et F. J OUAULT. DSMDiff : a differentiation tool for domain-specific models.
European Journal of Information Systems, 2007, 16(4) : 349–361
E. P ACITTI, P. V ALDURIEZ, et M. M ATTOSO. Grid Data Management : Open Problems and New
Issues. Journal of Grid Computing, 2007, 5 : 273–281
F. J OUAULT et I. K URTEV. On the interoperability of model-to-model transformation languages.
Science of Computer Programming, 2007, 68(3) : 114–137
I. K URTEV, B. K LAAS VAN D EN, et F. J OUAULT. Rule-based modularization in model transformation languages illustrated with ATL. Science of Computer Programming, 2007, 68(3) : 138–154
S. G ANÇARSKI, H. N AACKE, E. P ACITTI, et P. V ALDURIEZ. The leganet system : Freshnessaware transaction routing in a database cluster. Information Systems, 2007, 32(2) : 320–343
R. A KBARINIA, E. P ACITTI, et P. V ALDURIEZ. Reducing Network Traffic in Unstructured P2P
Systems Using Top-k Queries. Distributed and Parallel Databases, 2006, 19(2-3) : 67–86
C. R ONCANCIO, M. D. P. V ILLAMIL, C. L ABB É, et P. S ERRANO -A LVARADO. Data sharing in
DHT based P2P systems. Transactions on Large-Scale Data- and Knowledge-Centered Systems
I, 2009, 5740 : 327–352. LNCS
GDD
33
[20] http ://hal.univ-nantes.fr/hal-00482493/en/
G. NACHOUKI et M. Q UAFAFOU. Multi-data source fusion. Journal of Information fusion (Elsevier), 2008, 9(4) : 523–537
A. M ARCHAND et M. C HETTO. Quality of Service Scheduling in Real-Time Systems. International Journal of Computers, Communications & Control, 2008, 3(4) : 354–366
R. H AYEK, G. R ASCHIA, P. VALDURIEZ, et N. M OUADDIB. Summary Management in Unstructured P2P Systems—Gestion de résumés de données dans les systèmes pair-pair. National Journal
of Ingénierie des Systèmes d’Information (ISI), 2008, (Numéro spécial Networking and Information Systems) : 83–106
S. C AZALENS, P. L AMARRE, S. L EMP, et P. VALDURIEZ. A Flexible Mediation Process for
Large Distributed Information Systems. International Journal of Cooperative Information Systems, 2007, 16(2) : 299–332
S. El A SSAD, V. S LAVOVA, et G. N ACHOUKI. Cognitive Approach to e-Learning in Sciences
and Technologies. International Journal on Information Technologies and Knowledge, 2007, 1 :
19–25
R. H AYEK, G. R ASCHIA, P. V ALDURIEZ, et N. M OUADDIB. Design of PeerSum : a Summary
Service for P2P Applications. International Conference on Grid and Pervasive Computing (GPC),
2007, pages 13–26
D. C. F AYE, G. N ACHOUKI, et P. V ALDURIEZ. SenPeer : un système pair-à-pair de médiation de
données. ARIMA, 2006, 4 : 24–52
M. El D ICK, E. P ACITTI, et B. K EMME. Flower-CDN : A hybrid P2P overlay for Efficient
Query Processing in CDN. In 12th International Conference on Extending Database Technology (EDBT), 2009, Saint-Petersbourg, Fédération De Russie
M. El D ICK. Leveraging P2P overlays for Large-scale and Highly Robust Content Distribution
and Search. In VLDB 2009 Ph.D. Workshop, 2009, Lyon, France
J.-A. Q UIANE -R UIZ, P. L AMARRE, et P. VALDURIEZ. SbQA : A Self-Adaptable Query Allocation Process. In International Conference on Data Engineering (ICDE), 2009, Shanghai, Chine
G. N ACHOUKI, M. N ACHOUKI, et M.-P. C HASTANG. Semantic reconciliation in peer multi-data
source management system. In International Database Engineering & Applications Symposium,
2009, Italie, pages 326–329
34
E. D E A LMEIDA, G. S UNYE, Y. L E T RAON, et P. V ALDURIEZ. A Framework for Testing Peer-toPeer Systems. In 19th IEEE International Symposium on Software Reliability Engineering (ISSRE
2008), 2008, Seattle, WA, USA États-Unis
J. M ANJARREZ S ANCHEZ, J. M ARTINEZ, et P. V ALDURIEZ. Efficient Processing of Nearest
Neighbor Queries in Parallel Multimedia Databases. In DEXA’08, 2008, Torino, Italie. Springer,
2008, LNCS 5181, pages 326–339
M. P AES, A. L IMA, P. VALDURIEZ, et M. M ATTOSO. High-Performance Query Processing of
a Real-World OLAP Database with ParGRES. In 8th International Conference on High Performance Computing for Computational Science - VECPAR 2008, 2008, Toulouse, France. Springer,
2008, volume 5336 of LNCS, pages 188–200
A. V ENTRESQUE, S. C AZALENS, P. L AMARRE, et P. VALDURIEZ. Improving Interoperability Using Query Interpretation in Semantic Vector Spaces. In J. H. Sean B ECHHOFER , M AN FRED H AUSWIRTH et Manolis K OUBARAKIS, réds., European Semantic Web Conference, 2008,
Tenerife, Espagne. Springer, 2008, volume 5021 of Lecture Notes in Computer Science, pages
539–553
P. V ALDURIEZ, K. P ARK, et H. C HOO. Mobile Continuous Nearest Neighbor Queries on Air.
In ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems,
2008, Irvine, California, États-Unis
M. T LILI, W. K. D EDZOE, E. P ACITTI, R. A KBARINIA, P. V ALDURIEZ, P. M OLLI, G. C ANALS,
et S. L AURI ÈRE. P2P Logging and Timestamping for Reconciliation. In Very Large Databases
(VLDB), 2008, Nouvelle-Zélande, pages 1420–1423
R. H AYEK, G. R ASCHIA, P. V ALDURIEZ, et N. M OUADDIB. Summary Management in P2P
Systems. In International Conference on Extending Database Technology (EDBT), 2008, France,
pages 16–25
E. C UNHA D E A LMEIDA, G. S UNYE, et P. VALDURIEZ. Testing Architectures for Large Scale
Systems. In 8th International Conference High Performance Computing for Computational Science (VECPAR 2008), 2008, Toulouse, France
E. D E A LMEIDA, G. S UNYE, Y. L E T RAON, et P. V ALDURIEZ. Testing Peers’ Volatility. In
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008,
L’Aquila, Italie
M. El D ICK, V. M ARTINS, et E. P ACITTI. A Topology-Aware Approach for Distributed Data
Reconciliation in P2P Networks. In The 13th International European Conference on Parallel and
Distributed Computing (Euro-Par), 2007, Rennes, France, pages 318–327
GDD
35
R. A KBARINIA, E. P ACITTI, et P. V ALDURIEZ. Best Position Algorithms for Top-k Queries. In
ACM, réd., International Conference on Very Large Data Bases (VLDB), 2007, Vienna, Autriche.
ACM, 2007, pages 495–506
R. A KBARINIA, E. P ACITTI, et P. V ALDURIEZ. Data Currency in Replicated DHTs. In ACM
International Conference on Management of Data (SIGMOD), 2007, Beijing, Chine, pages 211–
222
J.-A. Q UIANE -R UIZ, P. L AMARRE, et P. V ALDURIEZ. KnBest - A Balanced Request Allocation
Method for Distributed Information Systems. In Database Systems for Advanced Applications
(DASFAA), 2007, Bangkok, Thaı̈lande
R. A KBARINIA, E. P ACITTI, et P. V ALDURIEZ. Processing Top-k Queries in Distributed Hash
Tables. In International Euro-Par Conference, 2007, Rennes, France. Springer, 2007, volume
4641, pages 489–502
A. V ENTRESQUE, S. C AZALENS, P. L AMARRE, et P. VALDURIEZ. Query Expansion and Interpretation to Go Beyond Semantic P2P Interoperability. In Robert M EERSMAN et Zahir T ARI,
réds., OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS
2007, 2007, Vilamoura, Portugal. Springer, 2007, pages 870–877
J.-A. Q UIANE -R UIZ, P. L AMARRE, S. C AZALENS, et P. V ALDURIEZ. Satisfaction Balanced
Mediation. In Conference on Information and Knowledge Management (CIKM), 2007, Lisbon,
Portugal, pages 947–950
M. D IDONET D EL F ABRO et P. V ALDURIEZ. Semi-automatic model integration using matching
transformations and weaving models. In ACM Symposium on Applied Computing (SAC), 2007,
Séoul, Korée, pages 963–970
J.-A. Q UIANE -R UIZ, P. L AMARRE, et P. V ALDURIEZ. SQLB : A Query Allocation Framework
for Autonomous Consumers and Providers. In International Conference on Very Large Data
Bases (VLDB), 2007, Vienna, Autriche, pages 974–985
B. M IRANDA, A. L IMA, P. V ALDURIEZ, et M. M ATTOSO. Apuama : Combining Intra-query and
Inter-query Parallelism in a Database Cluster. In EDBT, réd., EDBT Workshops, 2006, Munich,
Allemagne. Springer, 2006, volume 4254 of Lecture Notes in Computer Science, pages 649–661
B. M IRANDA, A. L IMA, P. V ALDURIEZ, et M. M ATTOSO. Apuama : Combining Intra-query
and Inter-query Parallelism in a Database Cluster. In 10th International Conference on Extending
Database Technology, EDBT 2006,, 2006, Allemagne. Springer, 2006, Lecture Notes In Computer
Science, pages 649–661
36
V. M ARTINS et E. P ACITTI. Dynamic and Distributed Reconciliation in P2P-DHT Networks. In
Euro-Par LNCS vol. 4128, 2006, Allemagne
I. K URTEV, K. VAN D EN B ERG, et F. J OUAULT. Evaluation of rule-based modularization in
model transformation languages illustrated with ATL. In ACM symposium on Applied computing
(SAC), 2006, France, pages 1202 – 1209
J. B ÉZIVIN, F. B ÜTTNER, M. G OGOLLA, F. J OUAULT, I. K URTEV, et A. L INDOW. Model Transformations ? Transformation Models ! In Model Driven Engineering Languages and Systems
(MoDELS), 2006, Italie, pages 440–453
F. J OUAULT et I. K URTEV. On the architectural alignment of ATL and QVT. In ACM symposium
on Applied computing, 2006, France, pages 1188 – 1195
J.-A. Q UIANE -R UIZ, P. L AMARRE, et P. V ALDURIEZ. Satisfaction-based Query Load Balancing.
In Cooperative Information Systems (CoopIS), 2006, Montpellier, France
J. B ÉZIVIN. sNets : A First Generation Model Engineering Platform. In LNCS 3844, Satellite
Events at the MoDELS 2005 Conference, 2006, Jamaı̈que. Springer, 2006, pages 169–181
R. A KBARINIA, V. M ARTINS, E. P ACITTI, et P. V ALDURIEZ. Top-k Query Processing in the
APPA P2P System. In Int. Conf. on High Performance Computing for Computational Science
(VecPar), 2006, Rio de Janeiro, Brésil. Springer, 2006, volume 4395 of LNCS
R. ROUVOY, P. S ERRANO -A LVARADO, et P. M ERLE. Towards Context-Aware Transaction
Services. In Conference on Distributed Applications and Interoperable Systems (DAIS), 2006,
Bologna, Italie, volume 4025 of LNCS, pages 272–288
M. J AWAD, P. S ERRANO -A LVARADO, P. V ALDURIEZ, et S. D RAPEAU. A Data Privacy Service
for Structured P2P Systems. In Mexican International Conference on Computer Science (ENC09),
2009, Mexico, Mexique
M. El D ICK, E. P ACITTI, et B. K EMME. A Highly Robust P2P-CDN Under Large-Scale and Dynamic Participation. In I. Computer S OCIETY, réd., First International Conference on Advances
in P2P Systems, 2009, Sliema, Malte
A. I SMAIL, M. Q UAFAFOU, G. N ACHOUKI, et M. H AJJAR. Data mining effect in peer-to-peer
queries routing. In Proceedings of the International Conference on Management of Emergent
Digital EcoSystems, 2009, France, pages 65–72
GDD
37
M. J AWAD, P. S ERRANO -A LVARADO, P. VALDURIEZ, et S. D RAPEAU. Data Privacy in Structured
P2P systems with PriServ. In Bases de données avancées BDA 2009, 2009, Namur, Belgique
W. P ALMA, R. A KBARINIA, E. P ACITTI, et P. VALDURIEZ. Distributed Processing of Continous
Join Queries using DHT Networks. In ACM, réd., 2nd International Workshop on Data Management in Peer-to-Peer Systems (DAMAP), 2009, Saint-Petersbourg, Fédération De Russie, volume
Vol. 360 of ACM International Conference Proceeding Series, pages 34–41
A. I SMAIL, M. Q UAFAFOU, G. N ACHOUKI, et M. H AJJAR. Efficient super-peer-based queries
routing. In International Conference on Management of Emergent Digital EcoSystems, 2009,
Lyon, France, pages 91–98
M. El D ICK et E. P ACITTI. Locaware : Index Caching in Unstructured P2P-file Sharing Systems.
In 2nd International Workshop on Data Management in Peer-to-Peer Systems (DAMAP), 2009,
Saint-Petersbourg, Fédération De Russie
W. P ALMA, R. A KBARINIA, E. P ACITTI, et P. VALDURIEZ. Processing of Continuous Join
Queries in a P2P Environment. In Journées Bases de Données Avancées (BDA), 2009, Namur,
Belgique
M. J AWAD, P. S ERRANO -A LVARADO, et P. VALDURIEZ. Protecting Data Privacy in Structured
P2P Networks. In Second International Conference on Data Management in Grid and P2P Systems (Globe 2009), 2009, Linz, Autriche, pages 85–98
T. S ARNI, A. Q UEUDET, et P. VALDURIEZ. Real-Time Support for Software Transactional Memory. In IEEE International Conference on Embedded and Real-Time Computing Systems and
Applications (RTCSA), 2009, Beijing, Chine, pages 477–485
A. V ENTRESQUE, P. L AMARRE, S. C AZALENS, et P. V ALDURIEZ. Représentation optimiste de
contenus dans les système P2P. In Journées Francophones de Bases de Données Avancées, 2009,
Namur, Belgique
M. M ATTOSO, E. P ACITTI, P. V ALDURIEZ, R. A KBARINIA, V. B RAGANHOLO, et A. A. B. L IMA.
SARAVÁ : data sharing for online communities in P2P. In Colloquium of Computation : Brazil /
INRIA, Cooperations, Advances and Challenges, 2009, Rio Grande do Sul, Brésil
T. S ARNI, A. Q UEUDET, et P. VALDURIEZ. Software Transactional Memory : Worst Case Execution Time Analysis. In International Conference on Real-Time and Network Systems, 2009, Paris,
France, pages 107–114
38
M. El D ICK, E. P ACITTI, et B. K EMME. Un Réseau Pair-à-Pair de Distribution de contenu Exploitant les Intérêts et les Localités des Pairs. In Journées Bases de Données Avancées (BDA),
2009, Namur, Belgique, pages 388–407
E. C UNHA D E A LMEIDA, G. S UNY É, et P. V ALDURIEZ. Action synchronization in P2P system
testing. In DaMaP, 2008, France, pages 43–49
D. X. D E S OUSA, S. L IFSCHITZ, et P. V ALDURIEZ. BLAST Distributed Execution on Partitioned
Databases with Primary Fragments. In High Performance Computing for Computational Science,
2008, Toulouse, France, volume 5336, pages 544–554
M. T LILI, W. K. D EDZOE, E. P ACITTI, P. V ALDURIEZ, R. A KBARINIA, P. M OLLI, G. C ANALS,
J. M AIRE, et S. L AURI ÈRE. Data Reconciliation in P2P Collaborative Applications. In 24ème
Journées“Bases de Données Avancées” - BDA 2008, 2008, Guilherand-Granges, France
A. V ENTRESQUE, S. C AZALENS, P. L AMARRE, et P. VALDURIEZ. Dealing with P2P semantic heterogeneity through query expansion and interpretation. In Anne D OUCET, Stéphane
G ANÇARSKI, et Esther P ACITTI, réds., International Workshop on Data Management in Peerto-Peer Systems, 2008, Nantes, France. ACM, 2008, pages 3–10
M. J AWAD, P. S ERRANO -A LVARADO, et P. V ALDURIEZ. Design of PriServ, A Privacy Service for
DHTs. In International Workshop on Privacy and Anonymity in the Information Society (PAIS),
2008, Nantes, France, pages 21–25
A. V ENTRESQUE, S. C AZALENS, P. L AMARRE, et P. V ALDURIEZ. Enrichissement sémantique
de requête utilisant un ordre sur les concepts. In Atelier “Mesures de similarité sémantique”,
associé à la conférence Extraction et Gestion des Connaissances (EGC), 2008, France
M. T LILI, W. K. D EDZOE, E. P ACITTI, P. VALDURIEZ, R. A KBARINIA, L. D UBOST, S. D U MITRIU , S. L AURI ÈRE, G. C ANALS, P. M OLLI, et M. J ULIEN . Estampillage et Journalisation P2P
pour XWiki. In 8ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition
- NOTERE 2008, 2008, Lyon, France. ACM, 2008
J.-A. Q UIANE -R UIZ, P. L AMARRE, S. C AZALENS, et P. V ALDURIEZ. Managing Virtual Money
for Satisfaction and Scale Up in P2P Systems. In Data Management in Peer-to-Peer Systems,
2008, Nantes, France, pages 67–74
G. N ACHOUKI. Multi-Data Source Fusion in PDMS. In Databases, Information Systems and
Peer-to-Peer Computing, 2008, Auckland, Nouvelle-Zélande, pages 68–80
A. V ENTRESQUE, S. C AZALENS, P. L AMARRE, et P. VALDURIEZ. Query interpretation to
help peers understand each others in semantically heterogeneous systems. In Bases de Données
Avancées - BDA 2008, 2008, France
GDD
39
J.-A. Q UIANE -R UIZ, P. L AMARRE, et P. V ALDURIEZ. SbQA : Une Méthode Auto-Adaptative
pour l’Allocation de Requêtes. In Bases de Données Avancées (BDA), 2008, Guilherand-Granges,
France
G. C ANALS, P. M OLLI, J. M AIRE, S. L AURI ÈRE, E. P ACITTI, M. T LILI, et P. VALDURIEZ. XWiki
Concerto : un Wiki sur réseau P2P supportant le Nomadisme. In 4èmes journées Francophones
Mobilité et Ubiquité (Ubimob), 2008, France, pages 83–85
G. C ANALS, P. M OLLI, J. M AIRE, S. L AURI ÈRE, E. P ACITTI, et M. T LILI. XWiki Concerto : A
P2P Wiki System Supporting Disconnected Work. In Springer Berlin / H EIDELBERG, réd., 5th
International Conference, Cooperative Design, Visualization, and Engineering , CDVE08, 2008,
Mallorca, Espagne, volume 5220/2008 of Lecture Notes in Computer Science, pages 98–106
J. M ANJARREZ S ANCHEZ, J. M ARTINEZ, et P. VALDURIEZ. A Data Allocation Method for Efficient Content-Based Retrieval in Parallel Multimedia Databases. In Frontiers of High Performance
Computing and Networking ISPA 2007 Workshops, 2007, Niagara Falls, Canada. Springer, 2007,
volume LNCS, pages 285–294
M. B ARBERO, F. J OUAULT, J. G RAY, et J. B ÉZIVIN. A Practical Approach to Model Extension.
In European Conference on Model Driven Architecture - Foundations and Applications (ECMDAFA), 2007, Israël, pages 32–42
J.-A. Q UIANE -R UIZ, P. L AMARRE, S. C AZALENS, et P. V ALDURIEZ. A Satisfaction Balanced
Query Allocation Process for Distributed Information Systems. In Base de Données Avancées
(BDA), 2007, Marseille, France
P. L AMARRE, J.-A. Q UIANE -R UIZ, et P. V ALDURIEZ. Libra : une méthode de médiation autoadaptative en fonction des attentes des participants. In Journnées Francophones des Systèmes
Multi-Agents, 2007, Carcassonne, France
M. El D ICK, E. P ACITTI, et P. V ALDURIEZ. Location-Aware Index Caching and Searching for
P2P Systems. In Fifth International Workshop on Databases, Information Systems and Peer-toPeer Computing (DBISP2P), 2007, Viennes, Autriche
N. K OTOWSKI, A. A. B. L IMA, E. P ACITTI, M. M ATTOSO, et P. V ALDURIEZ. OLAP Query
Processing in Grids. In 3rd VLDB Workshop on Data Management in Grids, 2007, Autriche
J. M ANJARREZ S ANCHEZ, J. M ARTINEZ, et P. V ALDURIEZ. On the Usage of Clustering for
Content Based Image Retrieval. In Second International Symposium on Computer Science in
Russia, 2007, Ekaterinburg, Fédération De Russie. Springer, 2007, LNCS 4649, pages 281–289
40
R. H AYEK, G. R ASCHIA, P. V ALDURIEZ, et N. M OUADDIB. Peersum : Gestion des résumés
de données dans les systèmes P2P. In congrès Bases de Données Avancées (BDA’2007), 2007,
Marseille, France, pages 60–75
R. H AYEK, G. R ASCHIA, P. VALDURIEZ, et N. M OUADDIB. PeerSum : a Summary Service for
P2P Applications. In Advances in Grid and Pervasive Computing, Second International Conference(GPC’2007), 2007, Paris, France. Springer, 2007, number 4459 in LNCS, pages 390–410
D. C. F AYE, G. N ACHOUKI, et P. V ALDURIEZ. Semantic Query Routing in SenPeer, a P2P Data
Management System. In First International Conference, Network-Based Information Systems,
2007, Allemagne, volume 4658/2007, pages 365–374
R. A KBARINIA, E. P ACITTI, et P. V ALDURIEZ. Supporting Data Currency in Replicated DHTs
using a Keybased Timestamping Service. In Journées Bases de Données Avancées (BDA), 2007,
Marseille, France
R. ROUVOY, P. S ERRANO -A LVARADO, et P. M ERLE. A Component-based Approach to Compose Transaction Standards. In International Symposium on Software Composition (SC), 2006,
Autriche, volume 4089 of LNCS, pages 114–130
V. M ARTINS, E. P ACITTI, et P. V ALDURIEZ. A Dynamic Distributed Algorithm for Semantic
Reconciliation. In Distributed Data & Structures (WDAS), 2006, États-Unis
R. A KBARINIA, E. P ACITTI, et P. V ALDURIEZ. An Efficient Mechanism for Processing Top-k
Queries in DHTs. In Journées Bases de Données Avancées (BDA), 2006, Lille, France
F. J OUAULT, J. B ÉZIVIN, C. C ONSEL, I. K URTEV, et F. L ATRY. Building DSLs with
AMMA/ATL, a Case Study on SPL and CPL Telephony Languages. In ECOOP Workshop on
Domain-Specific Program Development, 2006, Nantes, France
F. J OUAULT et J. B ÉZIVIN. KM3 : a DSL for Metamodel Specification. In IFIP Int. Conf. on
Formal Methods for Open Object-Based Distributed Systems, LNCS 4037, 2006, Italie. Springer,
2006, pages 171–185
I. K URTEV, J. B ÉZIVIN, F. J OUAULT, et P. VALDURIEZ. Model-based DSL frameworks. In
ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, 2006, États-Unis, pages 602 – 616
M. D IDONET D EL F ABRO, J. B ÉZIVIN, et P. VALDURIEZ. Model-Driven Tool Interoperability : An Application in Bug Tracking. In Ontologies, Databases and Applications of Semantics
(ODBASE), 2006, France, pages 863–881
GDD
41
A. V ENTRESQUE. Recherche d’Information efficace utilisant la sémantique : le focus. In
COnférence en Recherche d’Infomations et Applications - CORIA 2006, 2006, Lyon, France,
pages 377–382
V. M ARTINS, R. A KBARINIA, E. P ACITTI, et P. VALDURIEZ. Reconciliation in the APPA P2P
System. In International Conference on Parallel and Distributed Systems (ICPADS), 2006, Minneapolis, États-Unis. IEEE, 2006, pages 401–410
V. M ARTINS, E. P ACITTI, R. J IMENEZ -P ERIZ, et P. VALDURIEZ. Scalable and Available Reconciliation on P2P Networks. In Journées Bases de Données Avancées (BDA), 2006, Lille, France,
pages 343–355
F. J OUAULT et I. K URTEV. Transforming Models with ATL. In Satellite Events at the MoDELS
2005 Conference, LNCS 3844, 2006, Jamaı̈que. Springer, 2006, pages 128–138
et de HDR (OS)
P. L AMARRE. Contributions à la recherche d’information dans des systèmes distribués, ouverts,
intégrant des participants autonomes. Hdr, Université de Nantes, 2009
R. A KBARINIA. Data Access in Dynamic Distributed Systems, 2009
R. H AYEK, G. R ASCHIA, et P. VALDURIEZ. Data Localization and Description Through Summaries in P2P Collaborative Applications. In J. M. A. X. SHEN, H. YU, réd., Handbook of
Peer-to-Peer Networking, page 1403. Springer, 2009
J. M ANJARREZ S ANCHEZ. Efficient Content-based Retrieval in Parallel Databases of Images.
Thèse de doctorat, Université de Nantes, 2009
P. V ALDURIEZ. Parallel Data Placement. In M. T. Ö. L. L IU, réd., Encyclopedia of Database
Systems, pages 2024–2026. Springer, 2009
P. V ALDURIEZ. Parallel Database Management. In M. T. Ö. L. L IU, réd., Encyclopedia of
Database Systems, pages 2026–2029. Springer, 2009
E. P ACITTI. Parallel Query Processing. In M. T. Ö. L. L IU, réd., Encyclopedia of Database
Systems, pages 2038–2040. Springer, 2009
R. H AYEK. Techniques de localisation et de résumé des données dans les systèmes P2P. Thèse
de doctorat, Université de Nantes, 2009
42
E. C UNHA D E A LMEIDA. Test et Validation des Systémes Pair-à-pair. Thèse de doctorat, Université de Nantes, 2009
J.-A. Q UIANE -R UIZ. Allocation de Requêtes dans des Systèmes d’Information Distribués avec
des Participants Autonomes. Thèse de doctorat, Université de Nantes, 2008
A. V ENTRESQUE. Espaces vectoriels sémantiques : enrichissement et interprétation de requêtes
dans un système d’information distribué et hétérogène. Thèse de doctorat, Université de Nantes,
2008
E. P ACITTI. Réplication asynchrone des données dans trois contextes : entrepôts, grappes et
systèmes pair-à-pair. HDR, Université de Nantes, 2008
V. M ARTINS. Data Replication in P2P Systems. Thèse de doctorat, Université de Nantes, 2007
M. D IDONET D EL F ABRO. Gestion de métadonnées utilisant tissage et transformation de
modèles. Thèse de doctorat, Université de Nantes, 2007
D. C. F AYE. Médiation de données sémantique dans SenPeer, un système pair-à-pair de gestion
de données. Thèse de doctorat, Université de Nantes, 2007
S. L EMP. Médiation flexible dans un système pair-à-pair. Thèse de doctorat, Université de Nantes,
2007
[124] F. J OUAULT. Contribution à l’étude des langages de transformation de modèles. Thèse de doctorat, Université de Nantes, 2006
R. A KBARINIA, V. M ARTINS, E. P ACITTI, et P. V ALDURIEZ. Design and Implementation of
Atlas P2P Architecture. In G. C. R. B ALDONI et F. D AVIDE, réds., Global Data Management,
pages 98–123. IOS Press, 2006
C. C OULON. Réplication Préventive dans une grappe de bases de données. Thèse de doctorat,
Université de Nantes, 2006
J.-M. F AVRE, J. B ÉZIVIN, et R. I. B ULL. Evolution, rétro-ingénierie et l’IDM : du code aux
modèles. Hermes, 2006
GDD
43
W. P ALMA, R. A KBARINIA, E. P ACITTI, et P. V ALDURIEZ. P2P Join Query Processing over Data
Streams. In Bases de Données Avancées 2009, 2009, Namur, Belgique
T. S ARNI, A. Q UEUDET, et P. VALDURIEZ. Real-time scheduling of transactions in multicore systems. In Workshop on Massively Multiprocessor and Multicore Computers, 2009, Rocquencourt,
France
P. L AMARRE, J.-A. Q UIAN É -R UIZ, et P. VALDURIEZ. Query Replication in Distributed Information Systems with Autonomous Participants. Rapport technique, 2009
R. H AYEK, G. R ASCHIA, et P. V ALDURIEZ. Cluster-based Search Technique for P2P Systems.
Rapport technique, 2008
M. T LILI, W. K. D EDZOE, E. P ACITTI, P. V ALDURIEZ, R. A KBARINIA, P. M OLLI, G. C ANALS,
et S. L AURI ÈRE. P2P Logging and Timestamping for Reconciliation, 2008. Dans VLDB 2008
M. T LILI, W. K. D EDZOE, E. P ACITTI, R. A KBARINIA, et P. V ALDURIEZ. P2P Logging and
Timestamping for Reconciliation. Rapport technique, 2008
R. A KBARINIA, E. P ACITTI, et P. V ALDURIEZ. Query processing in P2P systems. Rapport
technique, 2007
J.-A. Q UIAN É -R UIZ, P. L AMARRE, et P. VALDURIEZ. Un modèle pour caractériser des participants autonomes dans un processus de médiation, 2007. Annales Du Lamsade Numéro 8
D. Di RUSCIO, F. J OUAULT, I. K URTEV, J. B ÉZIVIN, et A. P IERANTONIO. A Practical Experiment to Give Dynamic Semantics to a DSL for Telephony Services Development, 2006. RR
06.03
D. Di R USCIO, F. J OUAULT, I. K URTEV, J. B ÉZIVIN, et A. P IERANTONIO. Extending AMMA
for Supporting Dynamic Semantics Specifications of DSLs, 2006. RR 06.02
J. M ANJARREZ S ANCHEZ, J. M ARTINEZ, et P. V ALDURIEZ. High-dimensional Data Allocation
in a Shared-nothing Cluster (on-going research), 2006. Réunion de travail de l’ACI MDP2P,
LINA, Université de Nantes
44
D. F AYE, N. G ILLES, et P. V ALDURIEZ. Intégration de données hétérogènes dans SenPeer, 2006.
Colloque Africain sur la Recherche en Informatique (CARI)
J. B ÉZIVIN et I. K URTEV. Model-based Technology Integration with the Technical Space Concept, 2006. Metainformatics Symposium
J. B ÉZIVIN. Model Driven Engineering : An Emerging Technical Space, 2006. International
Summer School
V. M ARTINS, E. P ACITTI, et P. V ALDURIEZ. Survey of data replication in P2P systems. Rapport
technique, 2006
GRIM
45
Équipe
GRIM
L. U GHETTO, A. V OGLOZIN, et N. M OUADDIB. Database querying with personalized vocabulary
using data summaries. Fuzzy Sets and Systems, 2008, 159(15) : 2030–2046
A. N IKSERESHT et M. G ELGON. Gossip-based computation of a Gaussian mixture model for
distributed multimedia indexing. IEEE Transactions on Multimedia, 2008, 10 : 385–392
J. R OUGUI, M. G ELGON, D. A BOUTAJDINE, N. M OUADDIB, et M. R ZIZA. Organizing Gaussian
mixture models into a tree for scaling up speaker retrieval. Pattern Recognition Letters, 2007,
28(11) : 1314–1319
B. B ENATALLAH, M. H ASSAN, N. M OUADDIB, H.-Y. P AIK, et F. T OUMANI. Building and
Querying an e-Catalog Network Using P2P and Data Summarisation Techniques. Journal of
Intelligent Information Systems (JIIS), 2006, 26(1) : 7–24
W. A. V OGLOZIN, G. R ASCHIA, L. U GHETTO, et N. M OUADDIB. Querying a Summary of
Database. Journal of Intelligent Information Systems (JIIS), 2006, 26(1) : 59–73
N. I DRISSI, J. M ARTINEZ, et D. A BOUTAJDINE. Bridging the Semantic Gap for Texture-based
Image Retrieval and Navigation. Journal of Multimedia, 2009, 4(5) : 277–283
R. H AYEK, G. R ASCHIA, P. VALDURIEZ, et N. M OUADDIB. Summary Management in Unstructured P2P Systems—Gestion de résumés de données dans les systèmes pair a pair. revue Ingénierie
des Systèmes d’Information (ISI), 2008, pages 83–106
46
E. L OISANT, J. M ARTINEZ, H. I SHIKAWA, M. O HTA, et K. K ATAYAMA. Galois Lattices as a
Classification Technique for Image Retrieval. IPSJ Digital Courier, 2006, 2 : 1–13
M. B OUGHANEM, L. TAMINE -L ECHANI, J. M ARTINEZ, S. C ALABRETTO, et J. P. C HEVALLET.
Un nouveau passage à l’échelle en recherche d’information. revue Ingénierie des Systèmes d’information, 2006, 11(4) : 9–35
A. E L A TTAR, A. P IGEAU, et M. G ELGON. Fast aggregation of Student mixture models. In Proc.
of EURASIP European Signal Processing Conference (Eusipco’2009), 2009, Glasgow, RoyaumeUni, pages 312–216
P. B RUNEAU, F. P ICAROUGNE, et M. G ELGON. Incremental semi-supervised clustering in a data
stream with a flock of agents. In Proc. of IEEE Congress on Evolutionary Computing (CEC’2009),
2009, Trondheim, Norvège. IEEE Computer Society, 2009, pages 3067–3074
P. B RUNEAU, M. G ELGON, et F. P ICAROUGNE. Parsimonious variational-Bayes mixture aggregation with a Poisson prior. In Proc. of EURASIP European Signal Processing Conference
(Eusipco’2009), 2009, Glasgow, Royaume-Uni, pages 280–284
Q.-K. P HAM, G. R ASCHIA, N. M OUADDIB, R. S AINT -P AUL, et B. B ENATALLAH. Time Sequence Summaries to Scale Up Time-dependent Applications. In Proc. of the 18th ACM Conf. on
Information and Knowledge Management (CIKM), 2009, Hong-Kong, Chine, pages 1137–1146
J. M ANJARREZ S ANCHEZ, J. M ARTINEZ, et P. V ALDURIEZ. Efficient Processing of Nearest
Neighbor Queries in Parallel Multimedia Databases. In Proc. of Database Experts conference
(DEXA’2008), 2008, Torino, Italie. Springer, 2008, LNCS 5181, pages 326–339
Q.-K. P HAM, R. S AINT -P AUL, B. B ENATALLAH, N. M OUADDIB, et G. R ASCHIA. Mine your
own business ! Mine other’s news ! In Proceedings of the 11th international conference on Extending database technology : Advances in database technology (EDBT’2008), 2008, Nantes, France,
volume 261, pages 725–729
A. P IGEAU. MyOwnLife : incremental and hierarchical classification of a personal image collection on mobile devices. In Proc. of IEEE Int. Conf. on Multimedia and Expo (ICME’2008), 2008,
Hannover, Allemagne, pages 873 – 876
P. B RUNEAU, M. G ELGON, et F. P ICAROUGNE. Parameter-based reduction of Gaussian mixture
models with a variational-Bayes approach. In Proc. of IAPR International Conference on Pattern
Recognition (ICPR’2008), 2008, Tampa, USA. IEEE Computer Society, 2008, pages 450–453
GRIM
47
R. H AYEK, G. R ASCHIA, P. V ALDURIEZ, et N. M OUADDIB. Summary Management in P2P
Systems. In International Conference on Extending Database Technology (EDBT’2008), 2008,
Nantes, France, pages 16–25
R. S AINT -P AUL, G. R ASCHIA, et N. M OUADDIB. Database Summarization : The SaintEtiQ
System. In Proc. of the 23rd IEEE Int. Conf. on Data Engineering (ICDE’2007), 2007, Istambul,
Turquie, pages 1475–1481
M. B ECHCHI, G. R ASCHIA, et N. M OUADDIB. Merging Distributed Database Summaries. In Proceedings of the 16th ACM Conference on Information and Knowledge Management (CIKM’2007),
2007, Lisbon, Portugal, pages 419–428
J. R OUGUI, M. G ELGON, M. R ZIZA, J. M ARTINEZ, et D. A BOUTAJDINE. Fast incremental
clustering of Gaussian mixture speaker models for scaling up retrieval in on-line broadcast. In
Proc. of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP
2006), 2006, Toulouse, France, pages 521–524
J. R OUGUI, M. G ELGON, M. R ZIZA, J. M ARTINEZ, et D. A BOUTAJDINE. Hierarchical clustering
of mixture models for scaling up speaker recognition. In Proceedings of ACM Symposium on
applied computing (SAC 2006), 2006, Dijon, France, pages 1369–1373
L. U GHETTO, A. V OGLOZIN, et N. M OUADDIB. Personalized Database Querying using data summaries. In Proc. of 15th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE’2006),
2006, Vancouver, Canada, pages 734–743
L. N AOUM, G. R ASCHIA, et N. M OUADDIB. Towards On-Line Analytical Processing for
Database Summaries : The Core Algebra. In Proc. of the IEEE Int. Conf. on Fuzzy Systems
(FUZZ-IEEE’2006), 2006, Vancouver, Canada, pages 728 – 735
Q.-K. P HAM, G. R ASCHIA, R. S AINT -P AUL, B. B ENATALLAH, et N. M OUADDIB. Résumé de
Séquences Temporelles pour le passage à l’échelle d’applications dépendantes du temps. In Actes
des 25èmes journées Bases de Données Avancées (BDA), 2009, Namur, Belgique
M. G ELGON et A. N IKSERESHT. Decentralized learning of a Gaussian Mixture with variational
Bayes-based aggregation. In Proc. of the 16th Euromicro Int. Conf. on Parallel and Distributed,
2008, Toulouse, France. IEEE Computer Society, 2008, pages 242–250
P. B RUNEAU, F. P ICAROUGNE, et M. G ELGON. Incremental clustering in a data stream with a
flock of agents. In Proc. of joint meeting of the Société Francophone de Classification and the
48
Classification and Data Analysis Group of the Italian Society of Statistics (SFC-CLADAG), 2008,
Caserta, Italie, pages 128–134
N. I DRISSI, J. M ARTINEZ, et D. A BOUTAJDINE. Semantic Texture Interpretation for Image Retrieval and Navigation. In Proc. Int. Symp. on Image/Video Communications over fixed and mobile
networks (ISIVC’08), 2008, Bilbao, Espagne, pages 124–130
M. G ELGON, A. M AILLET, P. B RUNEAU, F. P ICAROUGNE, F. R IVARD, et R. L EHN. The
Safim@ge platform. In Proc. of Network and Electronic Media Forum (NEM’2008), 2008, SaintMalo, France, pages 24–27
J. M ANJARREZ S ANCHEZ, J. M ARTINEZ, et P. V ALDURIEZ. A Data Allocation Method for
Efficient Content-Based Retrieval in Parallel Multimedia Databases. In Proc. of Frontiers of High
Performance Computing and Networking ISPA 2007 Workshop, 2007, Niagara Falls, Canada,
pages 285–294
A. N IKSERESHT et M. G ELGON. An approach to distributed probabilistic model selection for
decentralized content-based indexing. In Proc. of IEEE Int. Conf. on Digital Information Management (ICDIM’2007), 2007, Lyon, France, pages 387–392
J. M ANJARREZ S ANCHEZ, J. M ARTINEZ, et P. V ALDURIEZ. On the Usage of Clustering for
Content Based Image Retrieval. In Proc. of Computer Science - Theory and Applications, Second
International Symposium on Computer Science in Russia, CSR 2007, 2007, Ekaterinburg ,Russie.
Springer, 2007, LNCS 4649, pages 281–289
R. H AYEK, G. R ASCHIA, P. V ALDURIEZ, et N. M OUADDIB. Peersum : Gestion des résumés de
données dans les systèmes P2P. In Actes du congrès Bases de Données Avancées (BDA’2007),
2007, Marseille, France, pages 60–75
R. H AYEK, G. R ASCHIA, P. V ALDURIEZ, et N. M OUADDIB. PeerSum : a Summary Service for
P2P Applications. In Proc. of Advances in Grid and Pervasive Computing, Second International
Conference(GPC’2007), 2007, Paris, France. Springer, 2007, number 4459 in LNCS, pages 390–
410
N. D ESSAIGNE et J. M ARTINEZ. A Model for Describing and Annotating Documents. In 15th
European - Japanese Conference on Information Modelling and Knowledge Bases, 2006, Tallinn,
Estonie. IOS Press, Amsterdam, 2006, volume 136 of Frontiers in Artificial Intelligence and Applications, pages 44–61
A. N IKSERESHT et M. G ELGON. Agrégation légère de mélanges de lois gaussiennes. In Actes du
congrès Reconnaissance des Formes et Intelligence Artificielle (RFIA’2006), 2006, Tours, France,
pages 242–251
GRIM
49
[37] http ://hal.archives-ouvertes.fr/hal-00466848/
Q.-K. P HAM, N. M OUADDIB, et G. R ASCHIA. Datastream synopsis using SaintEtiQ. In Lecture
Notes in Computer Science 7th International Conference on Flexible Query Answering Systems,
2006, Milan, Italie, volume 4027/2006, pages 530–540
A. N IKSERESHT et M. G ELGON. Decentralized Distributed Learning of a Multimedia Class for
Content-based Indexing. In 14th Euromicro Conference on Parallel, Distributed and Networkbased Processing (PDP 2006), 2006, Montbeliard, France. IEEE Computer Society, 2006, pages
373–379
I. M BAYE, J. M ARTINEZ, et R. O ULAD H AJ T HAMI. Galois’ Lattice for Video Navigation in
a DBMS. In Proceedings of the International Workshop on Multimedia Content Representation,
Classification and Security (MRCS 2006), 2006, Istanbul, Turquie. Springer, 2006, volume 4105
of LNCS, pages 418–425
A. P IGEAU et M. G ELGON. Structuration géo-temporelle incrémentale hiérarchique d’une collection d’images pour sa gestion sur un mobile. In Congrès Reconnaissance des Formes et Intelligence Artificielle (RFIA’2006), 2006, Tours, France, pages 122–131
A. A GHASARYAN, S. B ETGE -B REZETZ, G. R ASCHIA, et M. G ELGON. User and Usage Profiling
in a Multi-Platform Service Environment. In Proc. of Workshop on Adaptivity and User Modeling
in Interactive Systems, 2006, Hildersheim, Allemagne, pages 14–16
et de HDR (OS)
M. B ECHCHI. Clustering-based Approximate Answering of Query Result in Large and Distributed
Databases. Thèse de doctorat, Université de Nantes, 2009
J. M ANJARREZ S ANCHEZ. Efficient Content-based Retrieval in Parallel Databases of Images.
R. H AYEK. Techniques de localisation et de résumé des données dans les systèmes P2P. Thèse
de doctorat, Université de Nantes, 2009
A. N IKSERESHT. Estimation de modèles de mélange probabilistes : une proposition pour un
fonctionnement réparti et décentralise. Thèse de doctorat, Université de Nantes, 2008
N. M OUADDIB, G. R ASCHIA, W. A. V OGLOZIN, et L. U GHETTO. From User Requirements
to Evaluation Strategies of Flexible Queries in Databases. In Handbook of Research on Fuzzy
Information Processing in Databases, pages 115–142. IGI global, 2008
50
J. R OUGUI. Indexation de documents audio : Cas des grands volumes de données. Thèse de
doctorat, Université de Nantes/Université Mohammed V, 2008
N. I DRISSI. La navigation dans les bases d’images : prise en compte des attributs de texture.
Thèse de doctorat, Université de Nantes/Université Mohammed V, 2008
J. M ARTINEZ. Formes et stratégies de l’interrogation de l’information visuelle. In L’indexation
multimédia : description et recherche automatiques, Traité IC2, pages 50–64. Hermes, 2007
W. A. V OGLOZIN. Le résumé linguistique de données structurées comme support pour l’interrogation. Thèse de doctorat, Université de Nantes, 2007
M. G ELGON. Structuration statistique de données multimédia pour la recherche d’information.
HDR, Université de Nantes, 2007
M. G ELGON et R. H AMMOUD. Building object-based hyperlinks in videos : Theory and Experiments. In Interactive video, pages 45–64. Springer-Verlag, 2006
C. C ANDILLIER. Méthodes d’Extraction de Connaissances à partir de Données (ECD) appliquées
aux Systèmes d’Information Géographiques (SIG). Thèse de doctorat, Université de Nantes, 2006
I. M BAYE. Navigation conjointe dans une base de vidéos et d’images. Thèse de doctorat, Université de Nantes / École Nationale Supérieure d’Informatique et d’Analyse des Systèmes (ENSIAS),
2006
L. N AOUM. Un modèle multidimensionnel pour un processus d’analyse en ligne de résumés flous.
Communications par affiche dans un congrès international ou national (AFF)
A. P IGEAU, A. N IKSERESHT, et M. G ELGON. Fast tracking of hierarchical partitions with approximate KL-divergence for geo-temporal organization of personal images. In Proc. of ACM
Symposium of applied computing (SAC’2007), 2007, Seoul, Rep. de Corée, pages 1088–1089
R. H AYEK, G. R ASCHIA, et P. V ALDURIEZ. Cluster-based Search Technique for P2P Systems.
Rapport technique, Université de Nantes - LINA - INRIA, 2008
GRIM
51
M. B ECHCHI, G. R ASCHIA, et N. M OUADDIB. Joining Distributed Database Summaries. Rapport
technique, Université de Nantes - LINA - INRIA, 2008
M. B ECHCHI, A. V OGLOZIN, G. R ASCHIA, et N. M OUADDIB. Multi-Dimensional Grid-Based
Clustering of Fuzzy Query Results. Rapport technique, Université de Nantes - LINA - INRIA,
2008
COD
53
Équipe
COD
D. C. P ORUMBEL, J.-K. H AO, et P. K UNTZ. A Search Space “Cartography” for Guiding Graph
Coloring Heuristics. Computers & Operations Research / Computers and Operations Research,
2009, 37(4) : 769–778
F. T RICHET et F. F ÜRST. Axiom-based ontology matching. Expert Systems , The Journal of
Knowledge Engineering, 2009, 26(2) : 218–246
S. V ALVERDE, B. C OROMINAS -M URTRA, A. P ERNA, P. K UNTZ, G. T HERAULAZ, et R. V. S OL É.
Percolation in insect nest networks : Evidence for optimal wiring. Physical Review E : Statistical,
Nonlinear, and Soft Matter Physics, 2009, page 066106
J. A HMAD, J. B OURDON, D. E VEILLARD, J. F ROMENTIN, O. R OUX, et C. S INOQUET. Temporal
constraints of a gene regulatory network : refining a qualitative simulation. BioSystems, Special
Issue on Gene Regulatory Networks, 2009, 98(3) : 149–159
C. S INOQUET, S. D EMEY, et F. B RAUN. Large-scale computational and statistical analyses of high
transcription potentialities in 32 prokaryotic genomes. Nucleic Acids Research, 2008, 36(10) :
3332–3340
F. T RICHET, M. L ANZENBERGER, J. S AMPSON, H. K ARGL, M. W IMMER, C. C ONROY, D. O’S ULLIVAN, D. L EWIS, R. B RENNAN, J. Á NGEL R AMOS -G ARGANTILLA, A. Gómez P ÉREZ,
F. F ÜRST, F. T RICHET, J. E UZENAT, A. P OLLERES, F. S CHARFFE, et K. KOTIS. Making Ontologies Talk : Knowledge Interoperability in the Semantic Web. IEEE Intelligent Systems, 2008,
23(6) : 72–85
54
A. P ERNA, S. V ALVERDE, J. G AUTRAIS, C. J OST, R. S OL É, P. K UNTZ, et G. T HERAULAZ.
Topological efficiency in three-dimensional gallery networks of termite nests. Physica A, 2008,
387(24) : 6235–6244
I. K OJADINOVIC. Unsupervised aggregation of commensurate correlated attributes by means of
the Choquet integral and entropy functionals. International Journal of Intelligent Systems, 2008,
23(2) : 128–154
J. B LANCHARD, B. P INAUD, P. K UNTZ, et F. G UILLET. A 2D-3D visualization support for
human-centered rule-mining. Computers and Graphics, 2007, 31 : 350–360
F. P ICAROUGNE, H. A ZZAG, G. V ENTURINI, et C. G UINOT. A new approach of Data Clustering
Using a Flock of Agents. Evolutionary Computation, 2007, 15(3) : 345–367
I. K OJADINOVIC. A weight-based approach to the measurement of the interaction among criteria
in the framework of aggregation by the bipolar Choquet integral. European Journal of Operational
Research, 2007, 179(2) : 498–517
J.-L. M ARICHAL, I. K OJADINOVIC, et K. F UJIMOTO. Axiomatic characterizations of generalized
values. Discrete Applied Mathematics, 2007, 155(1) : 26–43
I. K OJADINOVIC et J.-L. M ARICHAL. Entropy of bi-capacities. European Journal of Operational
Research, 2007, 178(1) : 168–184
J. B LANCHARD, F. G UILLET, et H. B RIAND. Interactive visual exploration of association rules
with rule-focusing methodology. Knowledge and Information Systems, 2007, 13(1) : 43–75
G. B ERIO et M. H ARZALLAH. Towards an Integrating architecture for competence management.
Computers in Industry, 2007, 58(2) : 199–209
P. K UNTZ, B. P INAUD, et R. L EHN. Minimizing crossings in a hierarchical digraphs with a
hybridized genetic algorithm. Journal of Heuristics, 2006, 12 : 23–36
M. H ARZALLAH, G. B ERIO, et F. V ERNADAT. Modelling and Analysis of individual competencies to improve industrial performances. IEEE Transactions on Systems, Man, and Cybernetics,
Part A : Systems and Humans, 2006, 36(1) : 187–207
J. B UHL, J. G AUTRAIS, J.-L. D ENEUBOURG, P. K UNTZ, et G. T HERAULAZ. The growth and
form of tunneling networks in ants. Journal of Theoretical Biology, 2006, 243(3) : 287–298
COD
55
S. M EGANCK, P. L ERAY, et B. M ANDERICK. Causal discovery in non-ideal frameworks. Information interaction intelligence. Journal Information Interaction Intelligence (I3), 2009, 9(1) :
11–45
C. S INOQUET. Iterative two-pass algorithm for missing data imputation in SNP arrays. Journal
of Bioinformatics and Computational Biology, 2009, 7(5) : 833–852
P. K UNTZ et F. P ICAROUGNE. Panorama de quelques approches récentes pour la classification de
graphes. Revue Des Nouvelles Technologies De L’Information, 2009, RNTI-A(3) : 127–144
F. T RICHET et C. T HOVEX. Un prototype cross-lingue multi-métiers : vers la gestion sémantique
de contenu d’entreprise au service du collaboratif opérationnel. Revue Des Nouvelles Technologies
De L’Information, 2009, RNTI-E(15) : 471–472
F. G UILLET et B. T ROUSSE. 8th French-speaking conference on Knowledge Discovery and Management (EGC’08). ACM SIGKDD Explorations Newsletter, 2008, 10(1) : 53–54
X. A IME, F. F ÜRST, P. K UNTZ, et F. T RICHET. Gradients de prototypicalité conceptuelle et
lexicale. Revue Des Nouvelles Technologies De L’Information, 2008, RNTI-E(11) : 127–132
X.-H. H UYNH, F. G UILLET, T. Q. L E, et H. B RIAND. Ranking objective interestingness measures with sensitivity values. VNU Journal of Science, 2008, Special Issue on ICT Research and
development, Vol 24(2) : 122–132
F. T RICHET et F. F R ÉD ÉRIC. Représenter, opérationnaliser et aligner des ontologies denses :
une approche et un outil fondés sur le modèle des Graphes Conceptuels. Revue des Nouvelles
Technologies de l’Information, Numéro spécial ”Modélisation des connaissances”, 2008, E-12 :
23–45
J. B LANCHARD, M. H ARZALLAH, P. K UNTZ, et H. B RIAND. Sur l’évaluation de la quantité
d’information d’un concept dans une taxonomie et la proposition de nouvelles mesures. Revue
Des Nouvelles Technologies De L’Information, 2008, RNTI-E(12) : 127–145
H. D AVIET, I. KOJADINOVIC, et P. K UNTZ. Une classification hiérarchique de variables discrètes
basée sur l’information mutuelle en pré-traitement d’un algorithme de sélection de variables pertinentes. Revue Des Nouvelles Technologies De L’Information, 2008, RNTI-C(2) : 93–104
T. R AIMBAULT, H. B RIAND, D. G ENEST, R. L EHN, et S. L OISEAU. Une synthèse des modèles de
représentation des connaissances à base de Graphes Conceptuels et OWL. Revue Des Nouvelles
Technologies De L’Information, 2008, RNTI-E(12) : 45–64
56
J. D AVID, F. G UILLET, et H. B RIAND. Association Rule Ontology Matching Approach. International Journal on Semantic Web and Information Systems, 2007, Special Issue on Ontology
Matching 3(2) : 27–49
I. KOJADINOVIC. Quadratic distances for capacity and bi-capacity approximation and identification. Quarterly Journal of Operations Research, 2007, 5(2) : 117–142
R. G RAS, P. K UNTZ, et E. S UZUKI. Règles d’exception en analyse statistique implicative. Revue
Nationale des Nouvelles Technologies de l’Information, 2007, E-9 : 87–98
H. D AVIET, I. KOJADINOVIC, et P. K UNTZ. Sur l’évaluation de la quantité d’information d’un
concept dans une taxonomie et la proposition de nouvelles mesures. Revue des Nouvelles Technologies de l’Information, Numéro spécial Modélisation des connaissances, 2007, E(12) : 127–
145
J. D AVID, F. G UILLET, R. G RAS, et H. B RIAND. Alignement extensionnel et asymétrique de
hiérarchies conceptuelles par découverte d’implications entre concepts. Revue Des Nouvelles
X.-H. H UYNH, F. G UILLET, et H. B RIAND. Comparaison des mesures d’intérêt de régles d’association : une approche basée sur des graphes de corrélation. Revue des Nouvelles Technologies de
l’Information), 2006, RNTI-E(6) : 549–560
R. G RAS et P. K UNTZ. Discovering R-rules with a directed hierarchy. Soft computing a fusion of
foundations, methodologies and applications, 2006, 10(5) : 453–460
R. G RAS, R. C OUTURIER, F. G UILLET, et F. S PAGNOLO. Extraction de règles en incertain par
la méthode implicative. Revue Des Nouvelles Technologies De L’Information, 2006, RNTI-E(5) :
385–389
B. P INAUD, P. K UNTZ, F. G UILLET, et V. P HILIPP É. Graphical Visualization in the Knowledge
Management System Atanor. J.UCS Journal of Universal Computer Science, 2006, pages 481–
488
T. R AIMBAULT, H. B RIAND, R. L EHN, et S. L OISEAU. Interrogation et Vérification de documents OWL dans le modéle des Graphes Conceptuels. Revue des Nouvelles Technologies de
l’Information, 2006, RNTI-6 : 187–192
J. B LANCHARD, F. G UILLET, H. B RIAND, et R. G RAS. IPEE : Indice Probabiliste d’Ecart à
l’Equilibre pour l’évaluation de la qualité des règles. Revue Nationale des Nouvelles Technologies
de l’Information, 2006, E-5 : 391–395
COD
57
G. B ERIO et M. H ARZALLAH. Knowledge Management for Competence Management. Electronic
Journal of Universal Knowledge Management, 2006, 1 : 21–29
E. B LANCHARD, M. H ARZALLAH, P. K UNTZ, et H. B RIAND. Une nouvelle mesure sémantique
pour le calcul de la similarité entre deux concepts d’une même ontologie. Revue Des Nouvelles
G. R AMSTEIN. Vers une analyse implicative des données issues de puces à ADN. Quaderni di
Ricerca in Didattica, 2006, 15 : 85–94
B. P INAUD, P. K UNTZ, F. G UILLET, et V. P HILIPP É. Visualisation en gestion des connaissances,
développement d’un nouveau modèle graphique Graph’Atanor. Revue Des Nouvelles Technologies De L’Information, 2006, RNTI-E(6) : 311–322
H. H AMILTON et F. G UILLET. Interestingness Measures for Knowledge Discovery. In Discovery
Science (DS 2009), 2009, Porto, Portugal
F. G UILLET et J. B LANCHARD. Les outils du décisionnel - aide à la décision en anesthésie. In
SFIMAR, Congrès National d’Anesthésie et de Réanimation (SFAR 2009), 2009, Paris, France
P. K UNTZ. Non-supervised graph mining - Different approaches for new applications. In The 16th
Annual Meeting of the Belgian Statistical Society, 2009, Namur, Belgique
P. K UNTZ. On the quantification of structural and functional network properties. In International
Workshop on Engineering principles of innovation in swarm-made architectures, 2009, Venice,
Italie
P. K UNTZ. Classification non supervisée de graphes : approches et problèmes ouverts. In 3èmes
journées thématiques Apprentissage Artificielle et Fouille de Données, 2008, Paris, France
F. G UILLET et S. Trausan M ATU. Fouille de Données. In Conférence Internationale Francophone
d’Automatique (CIFA’2008), 2008, Bucarest, Roumanie
P. K UNTZ. L’Analyse Statistique Implicative en réponse à des problèmes fondateurs. In 4th Int.
Meeting on Statistical Implicative Analysis, 2007, Castelonne, Espagne
P. K UNTZ. Sur quelques approches de classification non supervisée de graphes. In XIVèmes
Rencontres de la Société Francophone de Classification, 2007
58
F. T RICHET et C. T HOVEX. A Crosslingual Multi-trads Semantic and Collaborative Prototype
dedicated to Quality, Health, Safety and Environment. In I. P RESS, réd., Proceedings of the 2nd
International Conference on Information Systems, 2009, Barcelone, Europe, pages 331–338
T. P ITON, J. B LANCHARD, H. B RIAND, et F. G UILLET. Domain Driven Data Mining to Improve
Promotional Campaign ROI and Select Marketing Channels. In The 18th ACM Conference on
Information and Knowledge Management, 2009, Hong-Kong. ACM, 2009, pages 1057–1066
T. T. N GUYEN L E, X.-H. H UYNH, et F. G UILLET. Finding the most Interesting Association
Rules by Aggregrating Objective Interestingness Measures. In Pacific Rim Knowledge Acquisition
Workshop (PKAW08), in conjunction with PRICAI08, 2009, Hanoi, Viet Nam. Springer, 2009,
volume 5465 of Lecture Notes in Computer Science (LNCS), pages 40–49
P. B RUNEAU, F. P ICAROUGNE, et M. G ELGON. Incremental semi-supervised clustering in a data
stream with a flock of agents. In IEEE Congress on Evolutionary Computing (CEC’2009), 2009,
Trondheim, Norvège. IEEE Computer Society, 2009, pages 3067–3074
M. B EN M ESSAOUD, P. L ERAY, et N. B EN A MOR. Integrating ontological knowledge for iterative causal discovery and vizualisation. In European Conferences on Symbolic and Quantitative
Approaches to Reasoning with Uncertainty (ECSQARU’09), 2009, Verona, Italie, pages 168–179
A. O LARU, C. M ARINICA, et F. G UILLET. Local Mining of Association Rules with Rule
Schemas. In IEEE- Computational Intelligence and Data Mining (CIDM’09), 2009, États-Unis.
IEE Computer Society Press, 2009, pages 118–124
P. B RUNEAU, M. G ELGON, et F. P ICAROUGNE. Parsimonious variational-Bayes mixture aggregation with a Poisson prior. In European Signal Processing Conference (Eusipco’2009), 2009,
Glasgow, Royaume-Uni, pages 280–284
S. A MMAR, P. L ERAY, B. D EFOURNY, et L. W EHENKEL. Probability density estimation by
perturbing and combining tree structured markov networks. In European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’09), 2009, Verona,
Italie, pages 156–167
E. B LANCHARD, M. H ARZALLAH, et P. K UNTZ. A generic framework for comparing semantic
similarities on a subsumption hierarchy. In 18th European Conference on Artificial Intelligence
(ECAI), 2008, Patras, Grèce. IOS Press, 2008, pages 20–24
G. R AMSTEIN, N. B EAUME, et Y. J ACQUES. A Grammatical Swarm for Protein Classification.
In Conference of Evolutionary Computation (CEC’08), 2008, Hong-Kong, pages 2561–2568
COD
59
P. B RUNEAU, M. G ELGON, et F. P ICAROUGNE. Parameter-based reduction of Gaussian mixture
models with a variational-Bayes approach. In International Conference on Pattern Recognition
(ICPR’2008), 2008, Tampa, États-Unis. IEEE, 2008, pages 450–453
R. D ONAT, L. B OUILLAUT, P. A KNIN, et P. L ERAY. Reliability analysis using graphical duration
models. In International Conference on Availability, Reliability and Security (ARES’08), 2008,
Barcelona, Espagne, pages 795–800
S. M EGANCK, P. L ERAY, et B. M ANDERICK. Causal graphical models with latent variables :
Learning and inference. In European Conferences on Symbolic and Quantitative Approaches to
Reasoning with Uncertainty (ECSQARU’07), 2007, Hammamet, Tunisie, pages 5–16
O. F RANÇOIS et P. L ERAY. Generation of incomplete test-data using bayesian networks. In
International Joint Conference on Neural Networks (IJCNN’07), 2007, Orlando, États-Unis, pages
2391–2396
B. P INAUD et P. K UNTZ. On the Influence of the instance structure for metaheuristic performances
– Application to a graph drawing problem. In IEEE Congress on Evolutionary Computation
(CEC), 2007, Singapour, Singapour. IEEE, 2007, pages 4684–4690
J. D AVID, F. G UILLET, R. G RAS, et H. B RIAND. Conceptual hierarchies matching : an approach
based on discovery of implication rules between concepts. In 7th European Conference on Artificial Intelligence (ECAI’06), 2006, Italie. IOS Press, 2006, pages 357–361
J. D AVID, F. G UILLET, et H. B RIAND. Mapping directories and OWL ontologies with AROMA.
In ACM Conference on Information and Knowledge Management (ACM-CIKM’06), 2006, ÉtatsUnis. ACM Press, 2006, pages 830–831
V. N ICOLICIN -G EORGESCU, V. B ENATIER, R. L EHN, et H. B RIAND. An Ontology-Based Autonomic System for Improving Data Warehouse Performances. In Knowledge-Based and Intelligent
Information and Engineering Systems 13th International Conference, KES 2009, 2009, Santiago,
Chili. Springer, 2009, volume 572, pages 262–269
V. N ICOLICIN -G EORGESCU, V. B ENATIER, R. L EHN, et H. B RIAND. An Ontology-Based Autonomic System for Improving Data Warehouses by Cache Allocation Management. In Workshop
“Knowledge and Experience Management” (FGWM’09), 2009, Darmstadt, Allemagne, pages 31–
37
60
[73]
[74]
[75]
[76]
[77]
[78]
[79]
[80]
[81]
T. P ITON, J. B LANCHARD, H. B RIAND, L. T ESSIER, et G. B LAIN. Analyse et application de
modèles de régression pour optimiser le retour sur investissement d’opérations commerciales. In
P. G. Jean-Gabriel G ANASCIA, réd., Revue des Nouvelles Technologies de l’Information, Numéro
spécial Extraction et Gestion des Connaissances (EGC’09), 2009, France. Cépaduès, 2009, volume E-15, pages 25–30
D. C. P ORUMBEL, J.-K. H AO, et P. K UNTZ. Diversity Control and Multi-Parent Recombination
for Evolutionary Graph Coloring Algorithms. In European Conference on Evolutionary Computation in Combinatorial Optimisation (EVOCOP’09), 2009, Tubingen, Allemagne. Springer, 2009,
volume 5482 of Lecture Notes In Computer Science, pages 121–132
X. A IME, F. F URST, P. K UNTZ, et F. T RICHET. Gradients de prototypicalité appliqués à la personnalisation d’ontologies. In Journées Francophones d’Ingénierie des Connaissances (IC’09),
2009, Hammamet, Tunisie, pages 229–241
P. K UNTZ et I.-C. L ERMAN. Graph and hierarchical-based approaches for structuring association
rule sets. In Graph theoretical methods for clustering at International Federation of Classification
Societies (IFCS),, 2009, Dresde, Allemagne, pages 337–340
C. M ARINICA et F. G UILLET. Improving Post-Mining of Association Rules with Ontologies.
In XIIIth International Conference Applied Stochastic Models and Data Analysis, 2009, Vilnius,
Lituanie. Vilnius Gediminas Technical University Publishing House “Technika”, 2009, pages 76–
80
F. T RICHET, X. A IME, F. F ÜRST, et P. K UNTZ. Ontology Personalization : an approach based
on Conceptual Prototypicality. In S PRINGER, réd., International Workshop on Aspects in Evaluating Holistic Quality of Ontology-based Information Retrieval (ENQOIR), 2009, Suzhou, Chine,
D. C. P ORUMBEL, J.-K. H AO, et P. K UNTZ. Position Guided Tabu Search for Graph Coloring. In
Learning In Optimization Conference (LION’09), 2009, Trento, Italie, Lecture Notes In Computer
Science 4926, pages 124–135
S. A MMAR, P. L ERAY, B. D EFOURNY, et L. W EHENKEL. Probability density estimation by
perturbing and combining tree structured markov networks. In CAp 2009, 2009, Hammamet,
Tunisie, pages 65–79
X. A IME, F. F ÜRST, et P. K UNTZ. SemioSem : une mesure de similarité conceptuelle fondée sur
une approche sémiotique. In 20èmes journées francophones d’Ingénierie des Connaissances (IC),
2009, France, pages 229–240
F. T RICHET, X. A IME, F. F ÜRST, et P. K UNTZ. Semiotic-based Prototypicality Gradient. In
Ausino Academic Publishing H OUSE, réd., Proceedings of the 11th International Conference on
Informatics and Semiotics in Organisations, 2009, Beijing, Chine, pages 239–246
COD
61
C. S INOQUET. SNPShuttle : bi-directional scan of SNP arrays to gain accuracy in missing genotype inference. In M. S. W. Michael Q.Z HANG et Xuegong Z HANG, réds., Proc. Seventh AsiaPacific Bioinformatics Conference, APBC2009, 2009, Beijing, Chine. Tsinghua University Press,
2009, pages 915–925
C. M ARINICA, O. A NDREI, et F. G UILLET. User-driven Association Rule Mining Using a Local
Algorithm. In 11th International Conference on Enterprise Information Systems, 2009, Milan,
Italie, volume AIDSS, pages 200–205
C. M ARINICA, F. G UILLET, et H. B RIAND. Utilisation d’ontologies pour améliorer le posttraitement des règles d’association en fouille de données. In Conférence Internationale Francophone d’Automatique (CIFA 2008), 2009, Bucarest, Roumanie, pages 430–436
D. C. P ORUMBEL, J.-K. H AO, et P. K UNTZ. A study of evaluation functions for the graph Kcoloring problem. In Artificial Evolution, 2008, Tours, France, volume 4926 of Lecture Notes In
N. B EAUME, G. R AMSTEIN, et Y. J ACQUES. An expert-based approach for the identification of
remote homologs. In WCSB, 2008, Leipzig, Allemagne, pages 17–20
O. F RANÇOIS, L. B OUILLAUT, P. A KNIN, P. L ERAY, et S. D UBOIS. Approche semi-markovienne
pour la modélisation de stratégies de maintenance : application à la prévention de rupture du rail.
In MOSIM’2008, 2008, Paris, France, page CDROM
C. M ARINICA et F. G UILLET. Ciblage des règles d’association intéressantes guidé par les connaissances du décideur. In Extraction et gestion des connaissances (EGC 2009), 2008, Strasbourg,
X. A IME, F. F ÜRST, P. K UNTZ, et F. T RICHET. Conceptual and Lexical Prototypicality gradients
dedicated to Ontology Personalisation. In 7th International Conference on Ontologies, DataBases,
and Applications of Semantics, 2008, Monterrey, Mexique. Springer Verlag, 2008, volume 5332,
pages 1423–1439
L. B OUILLAUT, O. F RANÇOIS, P. L ERAY, P. A KNIN, et S. D UBOIS. Dynamic bayesian networks
modelling maintenance strategies : Prevention of broken rails. In World Congress on Railway
Research (WCRR’08), 2008, Seoul, République De Corée
A. F AOUR, P. L ERAY, et B. E TER. Evolutivité d’une architecture en temps réel de filtrage d’alertes
générées par les systèmes de détection d’intrusions sur les réseaux. In Reconnaissance de Formes
et Intelligence Artificielle (RFIA’08), 2008, Amiens, France, page CDROM
62
S. A MMAR, P. L ERAY, B. D EFOURNY, et L. W EHENKEL. High-dimensional probability density
estimation with randomized ensembles of tree structured bayesian networks. In Workshop on
Probabilistic Graphical Models (PGM’08), 2008, Hirtshals, Danemark, pages 9–16,
P. B RUNEAU, F. P ICAROUGNE, et M. G ELGON. Incremental clustering in a data stream with a
flock of agents. In joint meeting of the Société Francophone de Classification and the Classification and Data Analysis Group of the Italian Society of Statistics (SFC-CLADAG), 2008, Caserta,
Italie, pages 128–134
F. T RICHET et F. F ÜRST. Ontology Matching based on the comparison of Axioms represented
with Conceptual Graphs. In I. Computer Society P RESS, réd., Proceedings of the IEEE International Workshop on Ontology Alignment and Visualization, co-located with the International
Conference on Complex, Intelligent and Software Intensive Systems, 2008, Barcelona, Espagne,
pages 853–858
C. M ARINICA, F. G UILLET, et H. B RIAND. Post-Processing of Discovered Association Rules Using Ontologies. In The Second International Workshop on Domain Driven Data Mining (DDDM
2008) in IEEE International Conference of Data Mining, 2008, Pisa, Italie, pages 126–133
X. A IME, F. F ÜRST, P. K UNTZ, et F. T RICHET. REDENE-Recherche documentaire assistée par
ontologies de domaine adaptatives. In 5e Conférence en Recherche d’Information et Applications
(CORIA), 2008, France, pages 467–474
F. T RICHET et X. A IME. Semantic Information Retrieval dedicated to Multimedia Systems : a
platform based on Conceptual Graphs. In S PRINGER, réd., Proceedings of the International Symposium on Intelligent Interactive Multimedia Systems and Services, 2008, Athens, Grèce, volume
142 of Studies in Computational Intelligence, pages 201–210
R. D ONAT, L. B OUILLAUT, P. A KNIN, P. L ERAY, et S. B ONDEUX. Specific graphical models
for analyzing the reliability. In Mediterranean Conference on Control and Automation (MED’08),
2008, Ajaccio, France, pages 621–626
A. P ERNA, P. K UNTZ, S. V ALVERDE, J. G AUTRAIS, G. T HERAULAZ, et C. J OST. The topological
fortress of termites. Lecture notes in computer science, 2008, 5151 : 165–173. appeared in LNCS
5151 : Bio-Inspired Computing and Communication, First Workshop on Bio-Inspired Design of
Networks, BIOWIRE 2007, Cambridge, UK, April 2-5, 2007, Revised Selected Papers. Eds : P
Lió, E Crowcroft, D C Verma. Springer Verlag.
A. P ERNA, S. D OUADY, D. P INTILEI, G. T HERAULAZ, S. V ALVERDE, F. P ICAROUGNE, et
P. K UNTZ. Topological properties of layered spatial networks built by termites. In Net-Works
2008, 2008, Pamplona, Espagne, pages 139–144
COD
63
F. T RICHET et C. T HOVEX. Trade Oriented Enterprise Content Management : A Semantic and
Collaborative Prototype Dedicated to the Quality, Hygiene, Safety and Environment Domain. In
S PRINGER, réd., Proceedings of the 13th International Conference on Applications of Natural
Language to Information Systems (London, UK), 2008, London, Royaume-Uni, volume 5039 of
Lecture Notes in Computer Science (LNCS), pages 363–364
A. K OSCHMIDER et E. B LANCHARD. Automatic User Assistance for Business Process Model
Decomposition. In st International IEEE Conference on Research Challenges in Information
Science (RCIS’2007), 2007, OUARZAZATE, Maroc, pages 444–454
J. D AVID, F. G UILLET, et H. B RIAND. Comparaison de mesures d’intérêt pour l’alignement de
hiérarchies textuelles. In 18e conférence Ingénierie des connaissances (IC’2007), 2007, Grenoble,
France. Cépadès, 2007, pages 13–25
A. F AOUR, P. L ERAY, et B. E TER. Growing hierarchical self-organizing map for alarm filtering
in network intrusion detection systems. In NTMS’07, 2007, Paris, France, page CDROM
F. T RICHET et F. F R ÉD ÉRIC. Heavyweight Ontology Matching : A Method and a Tool based on
the Conceptual Graphs Model. In Editions J. Cardoso et J. C ORDEIRO ., réd., Proceedings of the
9th International Conference on Enterprise Information Systems (ICEIS’2007), 2007, Barcelona,
Espagne, volume “Artificial Intelligence and Decision Support System”, pages 265–277
J. B LANCHARD, F. G UILLET, et R. G RAS. On the discovery of significant temporal rules. In
I. Computer S OCIETY, réd., IEEE International Conference on Systems, Man and Cybernetics
SMC’2007, 2007, Canada, pages 443–450
I. KOJADINOVIC et J.-L. M ARICHAL. On the moments and the distribution of the Choquet integral. In 5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT
2007), 2007, Ostrava Tchèque, République, pages 305–312
F. T RICHET, H. M OUNIRA, et M. H UZELLA. OntoMas : a Tutoring System Dedicated to Ontology Matching. In S RINGER, réd., Proceedings of the Third International Conference on Interoperability for Enterprise Software and Applications (I-ESA’2007), 2007, Funchal, Portugal, Lecture
Notes in Computer Science (LNCS), pages 377–388
R. G RAS, P. K UNTZ, et E. S UZUKI. Règle et R-règle d’exception en analyse statistique implicative. In 4th International Meeting on Statistical Implicative Analysis, 2007, France, pages
305–314
[110] http ://halshs.archives-ouvertes.fr/halshs-00405182/en/
F. S PAGNOLO, R. G RAS, et J.-C. R EGNIER. Une mesure comparative en didactique des
mathématiques entre uneanalyse a priori et la contingence. In P. O. R. G RAS, réd., 4e Rencontres internationales d’Analyse statistique implicative, 2007, Castellon, Espagne, volume 1, pages
345–349
64
F. T RICHET et Y. N IZON. Une plateforme de développement d’espaces webs sémantiques communautaires dédiés au partage de ressources multimédia. In Ingénierie des connaissances 2007,
2007, Grenoble, France, pages 245–257
E. B LANCHARD, M. H ARZALLAH, et P. K UNTZ. Vers une classification des similarités basées
sur le contenu informationnel des concepts d’une hiérarchie de subsomption. In Ingénierie des
Connaissances (IC), 2007, France, pages 145–156
X.-H. H UYNH, F. G UILLET, et H. B RIAND. A graph-based approach for comparing interestingness measures. In First IEEE International Conference on Engineering of Intelligent Systems
(IEEE ICEIS’06), 2006, Pakistan. IEEE Computer Society Press, 2006, pages 375–380
E. B LANCHARD, P. K UNTZ, M. H ARZALLAH, et H. B RIAND. A tree-based similarity for evaluating concept proximities in an ontology. In 10th conference of the International Federation of
Classification Societies (IFCS’2006), 2006, Slovénie. Springer Verlag, 2006, pages 3–11
R. V LADIMIR et T. F RANCKY. CommOn : a framework for developing Knowledge-Based Systems dedicated to Competency-Based Management. In 28th International Conference on Information Technology Interface (ITI’2006), 2006, Croatie, pages 419–424
R. V LADIMIR et T. F RANCKY. Competency-based Systems dedicated to e-Recruitment. In 4th
International Conference on Computer Science and Information Technology (CSIT’2006), 2006,
Jordanie, pages 185–197
X.-H. H UYNH, F. G UILLET, et H. B RIAND. Discovering the Stable Clusters between Interestingness Measures. In 8th Int. Conf. on Enterprise Information Systems, ICEIS’2006, 2006, Chypre,
pages 196–291
X.-H. H UYNH, F. G UILLET, et H. B RIAND. Evaluating interestingness measures with correlation
graph. In 19th Int. Conf. on Industrial, Engineering & Other Applications of Applied Intelligent
Systems, IEA/AIE’06, 2006, France. Springer, 2006, number 4031 in Lecture Notes in Computer
Science (LNCS), pages 312–321
X.-H. H UYNH, F. G UILLET, et H. B RIAND. Extracting representative measures for the postprocessing of association rules. In 4th international IEEE conference on Computer Sciences :
Research & Innovation - Vision for the Future (RIVF’06), 2006, Ho-chiminh Ville, Viet Nam.
IEEE Computer Society Press, 2006, pages 99–106
B. P INAUD, P. K UNTZ, F. G UILLET, et V. P HILIPP É. Visualisation en Gestion des Connaissances
– Développement d’un nouveau modèle graphique Graph’Atanor. In Revue des Nouvelles Technologies de l’Information, Numéro spécial Extraction et Gestion des Connaissances (EGC’06),
2006, Lille, France. Cépaduès, 2006, volume E-6, pages 311–322
COD
65
et de HDR (OS)
D. C. P ORUMBEL. Algorithmes Heuristiques et Techniques d’Apprentissage - Applications au
Probleme de Coloration de Graphe. Thèse de doctorat, Université d’Angers, 2009
R. G RAS et J.-C. R EGNIER. Analyse implicative des variables binaires. Intensité implicative.
Intensité entropique. In Analyse Statistique Implicative, Une méthode d’analyse de données pour
la recherche de causalités, pages 17–129. Cépaduès, 2009
J. B LANCHARD, F. G UILLET, et R. G RAS. Analyse Implicative Séquentielle. In F. G. Régis
G RAS , J EAN -C LAUDE R ÉGNIER, réd., Analyse statistique implicative, pages 183–194. Cépaduès,
2009
R. G RAS et R. C OUTURIER. Analyse statistique implicative entre variables vectorielles. In Analyse Statistique Implicative, Une méthode d’analyse de données pour la recherche de causalités,
pages 195–205. Cépaduès, 2009
H. D AVIET. Class-Add, une procédure de sélection de variables basée sur une troncature kadditive de l’information mutuelle et sur une classification ascendante hiérarchique en prétraitement. Thèse de doctorat, Université de Nantes, 2009
G. R AMSTEIN, N. B EAUME, et Y. J ACQUES. Detection of Remote Protein Homologs using Social
Programming. In Bio-Inspired Data Mining, pages 277–296. Springer, 2009
S. D AVIET. Etude du comportement humain grâce à la simulation multi-agents et aux méthodes
de fouille de données temporelles. Thèse de doctorat, Université de Nantes, 2009
R. G RAS et J.-C. R EGNIER. Fondements théoriques de l’analyse statistique implicative. In
Régis Gras ; Jean-Claude Régnier ; Fabrice G UILLET, réd., Analyse statistique implicative : Une
méthode d’analyse de données pour la recherche de causalités., pages 17–130. Cépaduès, 2009
F. S PAGNOLO, R. G RAS, et J.-C. R EGNIER. Mesurer l’écart entre une analyse a priori et lacontingence en didactique. In Régis Gras ; Jean-Claude Régnier ; Fabrice G UILLET, réd., Analyse
statistique implicative : Une méthode d’analyse de données pour la recherche de causalités., pages
165–171. Cépaduès, 2009
R. G RAS et J.-C. R EGNIER. Origine et développement de l’Analyse Statistique Implicative.
In Analyse Statistique Implicative, Une méthode d’analyse de données pour la recherche de
causalités, pages 6–16. Cépaduès, 2009
66
R. G RAS. Problème de données manquantes dans un tableau numérique. Une application de
l’A.S.I. In Analyse Statistique Implicative, Une méthode d’analyse de données pour la recherche
de causalités, pages 175–182. Cépaduès, 2009
R. G RAS et J.-C. R EGNIER. Qualité d’un graphe implicatif : varianceimplicative. In Régis Gras ;
Jean-Claude Régnier ; Fabrice G UILLET, réd., Analyse statistique implicative : Une méthode d’analyse de données pour la recherche de causalités., pages 151 –163. Cépaduès, 2009
J. B LANCHARD, F. G UILLET, et P. K UNTZ. Semantics-based classification of rule interestingness
measures. In L. C. Yanchang Z HAO , C HENGQI Z HANG, réd., Post-Mining of Association Rules :
Techniques for Effective Knowledge Extraction, pages 56–79. IGI Global, 2009
G. R AMSTEIN. Statistical Implicative Analysis of DNA microarrays. In Statistical Implicative
Analysis - Theory and Applications, pages 205–226. Springer, 2009
J.-C. R EGNIER et R. G RAS. Statistique de rangs et Analyse statistique implicative. In Régis
Gras ; Jean-Claude régnier ; Fabrice G UILLET, réd., Analyse statistique implicative : Une méthode
d’analyse de données pour la recherche de causalités, pages 131–149. Cépaduès, 2009
G. R AMSTEIN. Une méthode implicative pour l’analyse de données d’expression de gènes. In
Régis G RAS, réd., Analyse Statistique Implicative, Une méthode d’analyse de données pour la
recherche de causalités, pages 455–469. Cépadues, 2009
R. D ONAT, L. B OUILLAUT, P. A KNIN, et P. L ERAY. A dynamic graphical model to represent
complex survival distributions. In Advances in Mathematical Modeling for Reliability, pages 17–
24. IOS Press, 2008
N. B EAUME. Agrégation de classifieurs et d’experts pour la recherche d’homologues chez les
cytokines à quatre hélices alpha. Thèse de doctorat, Université de Nantes, 2008
R. G RAS et P. K UNTZ. An overview of the Statistical Implicative development. In R. G RAS,
E. S UZUKI, F. G UILLET, et F. E. S PAGNOLO, réds., Statistical Implicative Analysis - Theory and
Applications, Studies in Computational Intelligence, pages 11–40. Springer, 2008
J. B LANCHARD, F. G UILLET, et R. G RAS. Assessing the interestingness of temporal rules with
Sequential Implication Intensity. In R. G RAS, E. S UZUKI, F. G UILLET, et F. S PAGNOLO, réds.,
Statistical Implicative Analysis, Studies in Computational Intelligence, pages 55–72. Springer,
2008
P. L ERAY, S. M EGANCK, S. M AES, et B. M ANDERICK. Causal graphical models with latent
variables : learning and inference. In D. E. H OLMES et L. J AIN, réds., Innovations in Bayesian
COD
67
Networks : Theory and Applications, Studies in Computational Intelligence, vol.156/2008, pages
219–249. Springer, 2008
G. B ERIO, M. H ARZALLAH, et G. M. S ACCO. e-HRM - An Integrating Architecture for Competence Management. In Encyclopedia of HRIS : Challenges in e-HRM, page 2. IDEA Group,
2008
E. B LANCHARD. Exploitation d’une hiérarchie de subsomption par le biais de mesures
sémantiques. Thèse de doctorat, Université de Nantes, 2008
J. L OREC. Extraction d’informations sur la régulation transcriptionnelle de gènes à partir d’articles biomédicaux 2008. Thèse de doctorat, Université de Nantes, 2008
J. D AVID, F. G UILLET, H. B RIAND, et R. G RAS. On the use of Implication Intensity for matching
ontologies and textual taxonomies. In F. R.G RAS , E. S UZUKI et F.S PAGNOLO, réds., Statistical
Implicative Analysis, pages 227–246. Springer Verlag, 2008
T. R AIMBAULT. Transition de modèles de connaissances - Un système de connaissance fondé sur
OWL, Graphes conceptuels et UML. Thèse de doctorat, Université de Nantes, 2008
S. D AVIET, F. G UILLET, H. B RIAND, S. B AQUEDANO, V. P HILIPP É, et R. G RAS. Using the
Statistical Implicative Analysis for Elaborating Behavioral Referentials. In Statistical Implicative
Analysis, Studies in Computational Intelligence, Vol. 127, pages 299–320. Springer, 2008
X.-H. H UYNH, F. G UILLET, J. B LANCHARD, P. K UNTZ, H. B RIAND, et R. G RAS. A Graph-based
Clustering Approach to Evaluate Interestingness Measures : A Tool and a Comparative Study. In
H. J. H. Fabrice G UILLET, réd., Quality Measures in Data Mining, Studies in Computational
Intelligence, pages 25–50. Springer, 2007
S. M AES, S. M EGANCK, et P. L ERAY. An integral approach to causal inference with latent variables. In F. R USSO et J. W ILLIAMSON, réds., Causality and Probability in the Sciences, Texts In
Philosophy series, pages 17–41. London College Publications, 2007
J. D AVID. AROMA : une méthode pour la découverte d’alignements orientés entre ontologies à
partir de règles d’association. Thèse de doctorat, Université de Nantes, 2007. 366-321
G. B ERIO, M. H ARZALLAH, et G. M. S ACCO. Portals for Integrated Competence Management.
In Encyclopaedia of Portal Technology and Applications, page 2. IDEA Group, 2007
R. G RAS et P. K UNTZ. Reduction of Redundant Rules in Statistical Implicative Analysis. In G. C.
E. d. C. P. B RITO , P. B ERTRAND, réd., Selected Contributions in data Analysis and Classification, pages 367–376. Springer, 2007
68
B. P INAUD. Contribution à la visualisation des connaissances par des graphes dans une mémoire
d’entreprise : application sur le serveur Atanor. Thèse de doctorat, Université de Nantes, 2006
I. K OJADINOVIC. Contributions à l’interprétation de mesures non additives et ‘a l’identification
de modèles décisionnels fondés sur l’intégrale de Choquet. HDR, Université de Nantes, 2006
P. K UNTZ, R. L EHN, F. G UILLET, et B. P INAUD. Découverte interactive de règles d’association
via une interface visuelle. In P. K UNTZ et F. P OULET, réds., Visualisation en Extraction des
Connaissances, pages 113–125. Cépaduès, 2006
X.-H. H UYNH. Interestingness Measures for Association Rules in a KDD Process : PostProcessing of Rules with ARQAT Tool. Thèse de doctorat, Université de Nantes, 2006
F. G UILLET. Qualité, Fouille et Gestion des Connaissances. HDR, Université de Nantes, 2006
H. A ZZAG, F. P ICAROUGNE, C. G UINOT, et G. V ENTURINI. VRMiner : A Tool for Multimedia
Database Mining with Virtual Reality. In Processing and Managing Complex Data for Decision
Support, pages 318–339. Idea Group Inc., 2006
R. G RAS, J.-C. R EGNIER, et F. G UILLET. Analyse statistique implicative. Cépaduès, 2009
F. G UILLET et B. T ROUSSE. Extraction et Gestion des Connaissances. Cépaduès, 2008
H. B RIAND et S. L OISEAU. Modélisation des connaissances. Cépaduès, 2008
R. G RAS, E. S UZUKI, F. G UILLET, et F. S PAGNOLO. Statistical Implicative Analysis. Springer
Verlag, 2008
P. N A ÏM, P.-H. W UILLEMIN, P. L ERAY, O. P OURRET, et A. B ECKER. Réseaux bayésiens. Algorithmes. Eyrolles, 2007
P. L ERAY. Revue d’Intelligence Artificielle VOL 21/3 - 2007 - numéro spécial Modèles graphiques
probabilistes. Hermes, 2007
F. G UILLET et H. H AMILTON. Quality measures in Data Mining. Studies in Computational
Intelligence. Springer, 2006
F. P OULET et P. K UNTZ. Visualisation en extraction de connaissances. Cépaduès, 2006
COD
69
M. B EN M ESSAOUD, P. L ERAY, et N. B EN A MOR. Integrating ontological knowledge for iterative
causal discovery and vizualisation. In Workshop on Machine Learning and Visualization, 2009,
Hammamet, Tunisie
R. M OURAD, C. S INOQUET, et P. L ERAY. Modélisation des dépendances locales entre SNP
à l’aide d’un réseau bayésien. In Proc. SFC’09, XVIth Joint Meeting of the French Society of
Classification, actes des 16èmes rencontres de la Société Francophone de Classification, 2009,
Grenoble, France
D. C. P ORUMBEL, J.-K. H AO, et P. K UNTZ. Recherche locale guidée pour la coloration de
graphes. In 10ème conf. de la Société Française de Recherche Opérationnelle et d’Aide à la
Décision (ROADEF), 2009, Nancy, France
L. B OUILLAUT, R. D ONAT, P. A KNIN, et P. L ERAY. Approches markovienne et semimarkovienne pour la modélisation de la fiabilité et des actions de maintenance d’un système ferroviaire. In Workshop Surveillance, Sûreté et Sécurité des Grands Systèmes (3SGS’08), 2008,
Troyes, France
P. K UNTZ et I.-C. L ERMAN. Directed binary hierarchies and directed ultrametrics. In Université de N APLES, réd., First joint meeting of the French and Italian Classification Societies, 2008,
Caserte, Italie, pages 337–340
S. A MMAR, P. L ERAY, et L. W EHENKEL. Estimation de densité par ensembles aléatoires de
poly-arbres. In Journées Francophone sur les Réseaux Bayésiens, 2008, Lyon, France
C. M ARINICA, F. G UILLET, et H. B RIAND. Post-traitement des règles d’association à base d’ontologies et schémas de règles. In Colloque Systèmes Complexes d’Information et de Gestion des
Risques pour l’Aide à la Décision (SCIGRAD’08), 2008, Brest, France
D. C. P ORUMBEL, J.-K. H AO, et P. K UNTZ. Recherche tabou renforcée pour la coloration de
graphes. In 9ème conf. de la Société Française de Recherche Opérationnelle et d’Aide à la
Décision (ROADEF), 2008, Clermont-Ferrand, France
R. D ONAT, P. L ERAY, L. B OUILLAUT, et P. A KNIN. Réseaux bayésiens dynamiques pour la
représentation de modèles de durée en temps discret. In Journées Francophone sur les Réseaux
Bayésiens, 2008, Lyon, France
M. G ELGON, A. M AILLET, P. B RUNEAU, F. P ICAROUGNE, F. R IVARD, et R. L EHN. The
Safim@ge platform. In Network and Electronic Media Forum (NEM’2008), 2008, Saint-Malo,
70
S. M EGANCK, P. L ERAY, et B. M ANDERICK. UnCaDo : Unsure Causal Discovery. In Journées
Francophone sur les Réseaux Bayésiens, 2008, Lyon, France
R. D ONAT, L. B OUILLAUT, P. A KNIN, P. L ERAY, et D. L EVY. A generic approach to model complex system reliability using graphical duration models. In Mathematical Methods in Reliability :
Methodology and Practice (MMR 2007),, 2007, Glasgow, Royaume-Uni
J. B LANCHARD, F. G UILLET, et R. G RAS. Évaluer la qualité des règles temporelles avec l’intensité d’implication séquentielle. In 39èmes Journées de Statistique de la SFdS, 2007, Angers,
France. U.C.O. Angers, 2007, page actes électroniques
I. KOJADINOVIC. Approximation and identification of capacities and bi-capacities using a minimum distance principle. In 27th Linz Seminar on Fuzzy Set Theory ”Preferences, Games and
Decisions”, 2006, Linz, Autriche, pages 83–86
B. P INAUD, P. K UNTZ, F. G UILLET, et V. P HILIPP É. Graphical Visualization in the Knowledge
Management System Atanor. In 6th International Conference on Knowledge Management (IKNOW’06), 2006, Gratz, Autriche
C. M ARINICA, Y. F OSS É, S. D AVIET, H. B RIAND, et F. G UILLET. Représentation d’expertise
psychologique sous la forme de graphes orientés, codés en RDF. In Conférence Extraction et
Gestion des Connaissances (EGC’06), 2006, Lille, France, pages 713–714
B. P INAUD, P. K UNTZ, et F. P ICAROUGNE. The Website for Graph Visualization Software References (GVSR). In 14th International Symposium on Graph Drawing 2006, 2006, Karlsruhe,
Allemagne, volume 4372 of Lecture Notes in Computer Science, pages 440–441
R. M OURAD, C. S INOQUET, et P. L ERAY. A Bayesian network approach to model local dependencies among SNPs. In MODGRAPH 2009 Probabilistic graphical models for integration of
complex data and discovery of causal models in biology, satellite meeting of JOBIM 2009, 2009,
Nantes, France
I.-C. L ERMAN et P. K UNTZ. Directed binary hierarchies and directed ultrametrics, Publication
interne no 1922, IRISA, Rennes, 2009
C. S INOQUET. Improvement of missing genotype imputation through bi-directional parsing of
large SNP panels, 2009
COD
71
P. L ENCA, S. L ALLICH, et F. G UILLET. Actes du Quatrième atelier Qualité des Données et des
Connaissances (QDC 2008). Université de Sophia Antipolis, 2008
F. G UILLET et J.-P. G U ÉDON. Mémoires en Bits, 2008. Dossier - Flous de Mémoire, Article de
vulgarisation scientifique pour Têtes Chercheuses, Actualité et culture des sciences en Pays de la
Loire, numéro 7
C. S INOQUET. Performance analysis of methods to infer missing genotypes, Rapport technique
LINA, 2008
J. D AVID, R. G RAS, J. B LANCHARD, F. G UILLET, et H. B RIAND. Utilisation de taxonomies
d’items pour la fouille de règles d’association. In Atelier Modélisation des Connaissances,
EGC’2008, 2008, France
C. S INOQUET, S. D EMEY, et F. B RAUN. A large-scale computational analysis for significance
assessment of frequencies relative to potentially strong sigma 70 promoters - comparison between
32 bacterial genomes - rapport Ouest-Genopole consortium, 2007
P. L ENCA, S. L ALLICH, et F. G UILLET. Actes du Troisième atelier Qualité des Données et des
Connaissances (QDC 2007). Université de Namur (Fundp), Belgique, 2007
B. P INAUD, J. B LANCHARD, P. K UNTZ, et F. G UILLET. GARVIZ : une plate-forme de fouille
visuelle 2D-3D de règles d’association. In Actes de l’atelier visualisation et extraction de connaissances, Conf. Extraction et Gestion des Connaissances (EGC’07), 2007, Namur, Belgique
C. S INOQUET, S. D EMEY, et F. B RAUN. Genome-comparative computational approach for investigating prokaryotic ORF expression potentialities, in relation with potentially high transcription rapport Ouest-Genopole consortium, 2007
J. D AVID, F. G UILLET, R. G RAS, et H. B RIAND. An interactive, asymmetric and extensional method for matching conceptual hierarchies. In Workshops and Doctoral Consortium of
CAISE’06, 2006, Luxembourg, pages 583–594
F. F ÜRST et F. T RICHET. Axiom-based ontology matching : a method and an experiment, 2006.
RR 05.02 LINA
X.-H. H UYNH, F. G UILLET, et H. B RIAND. Extraction de mesures d’intérêt représentatives pour
le post-traitement des règles d’association. In Atelier Qualité des Données et des Connaissances
de la conférence Extraction et Gestion des Connaissances (DKQ-EGC’05), 2006, Lille, France,
pages 45–54
72
R. G RAS. L’analyse statistique implicative. In 8eme conférence de l’association des Professeurs
de Mathématiqes de Chypre, 2006, Chypre, pages 1–9
L. B ERTI - É QUILLE et F. G UILLET. Proceedings of the 2nd Workshop on Data and Knowledge
Quality. Université de Lille, 2006
COMBI
73
Équipe
COMBI
G. F ERTIN, R. R IZZI, et S. V IALETTE. Finding Occurrences of Protein Complexes in ProteinProtein Interaction Graphs. Journal of Discrete Algorithms, 2009, 7(1) : 90–101
G. Del M ONDO, D. E VEILLARD, et I. R USU. Homogeneous decomposition of protein interaction
networks : refining the description of intra-modular interactions. Bioinformatics, 2009, 25(7) :
926–32
S. A NGIBAUD, G. F ERTIN, I. R USU, A. T H ÉVENIN, et S. V IALETTE. On the Approximability
of Comparing Genomes with Duplicates. Journal of Graph Algorithms and Applications, 2009,
13(1) : 19–53
J. A HMAD, J. B OURDON, D. E VEILLARD, J. F ROMENTIN, O. R OUX, et C. S INOQUET. Temporal
constraints of a gene regulatory network : Refining a qualitative simulation. Biosystems, 2009,
98(3) : 149–159
F. R OUSSEL, I. R USU, et H. T HUILLIER. The Strong Perfect Graph Conjecture : 40 years of
Attempts, and its Resolution. Discrete Mathematics, 2009, 309 : 6092–6113. AMS 05C17
A. C HANGO, A. A. N OUR, S. B OUSSEROUEL, D. E VEILLARD, P. M. A NTON, et J.-L. G U ÉANT.
Time course gene expression in the one-carbon metabolism network using HepG2 cell line grown
in folate-deficient medium. Journal of Nutrition Biochemistry, 2009, 20(4) : 312–20
G. F ERTIN et A. R ASPAUD. Acyclic Coloring of Graphs of Maximum Degree Five : Nine Colors
are Enough. Information Processing Letters, 2008, 105(2) : 65–72
74
I. R USU. Converting suffix trees into factor/suffix oracles. Journal of Discrete Algorithms, 2008,
6(2) : 324–340
S. A NGIBAUD, G. F ERTIN, I. R USU, A. T HEVENIN, et S. V IALETTE. Efficient Tools for Computing the Number of Breakpoints and the Number of Adjacencies between two Genomes with
Duplicate Genes. Journal of Computational Biology, 2008, 15(8) : 1093–1115
G. B LIN, G. F ERTIN, D. H ERMELIN, et S. V IALETTE. Fixed-Parameter Algorithms For Protein
Similarity Search Under mRNA Structure Constraints. Journal of Discrete Algorithms, 2008, 6(4) :
618–626
I. R USU. Maximum weight edge-constrained matchings. Discrete Applied Mathematics, 2008,
156(5) : 662–672
Z. Z HANG, F. C OMELLAS, G. F ERTIN, A. R ASPAUD, L. R ONG, et S. Z HOU. Vertex labeling and
routing in expanded Apollonian networks. Journal of Physics A : Mathematical and Theoretical,
2008, 41(3) : 035004
S. A NGIBAUD, G. F ERTIN, I. R USU, et S. V IALETTE. A General Framework for Computing
Rearrangement Distances between Genomes with Duplicates. Journal of Computational Biology,
2007, 14(4) : 379–393
B. B. W ARD, D. E VEILLARD, J. D. K IRSHTEIN, J. D. N ELSON, M. A. V OYTEK, et G. A. JACK SON . Ammonia-oxidizing bacterial community composition in estuarine and oceanic environments
assessed using a functional gene microarray. Environmental microbiology, 2007, 9(10) : 2522–2538
S. K ÜRY, B. B UECHER, S. ROBIOU -D U -P ONT, C. S COUL, V. S ÉBILLE, H. C OLMAN, C. Le
H OU ÉROU, T. Le N EEL, J. B OURDON, R. F AROUX, J. O LLIVRY, B. L AFRAISE, L.-D. C HUPIN,
et S. B ÉZIEAU. Combinations of cytochrome P450 gene polymorphisms enhancing the risk for
sporadic colorectal cancer related to red meat consumption. Cancer Epidemiology Biomarkers &
Prevention, 2007, 16(7) : 1460–7
G. B LIN, C. C HAUVE, G. F ERTIN, R. R IZZI, et S. V IALETTE. Comparing Genomes with Duplications : a Computational Complexity Point of View. ACM/IEEE Trans. Computational Biology and
Bioinformatics, 2007, 4(4) : 523–534
P. B ONIZZONI, G. D ELLA V EDOVA, R. D ONDI, G. F ERTIN, R. R IZZI, et S. V IALETTE. Exemplar
Longest Common Subsequence. ACM/IEEE Trans. Computational Biology and Bioinformatics,
2007, 4(4) : 535–543
G. B LIN, G. F ERTIN, et S. V IALETTE. Extracting Constrained 2-Interval Subsets in 2-Interval Sets.
Theoretical Computer Science, 2007, 385(1-3) : 241–263
COMBI
75
G. F ERTIN et A. R ASPAUD. L(p,q) labeling of d-Dimensional Grids. Discrete Mathematics, 2007,
307(16) : 2132–2140
J. B OURDON. On the Khintchine constant for centred continued fraction expansions. Applied
Mathematics E - Notes, 2007, 7 : 167–174
Z. Z HANG, F. C OMELLAS, G. F ERTIN, et L. R ONG. High dimensional Apollonian networks.
Journal of Physics A : Mathematical and General, 2006, 39 : 1811–1818
A. B ERRY, A. S IGAYRET, et C. S INOQUET. Maximal sub-triangulation in preprocessing phylogenetic data. Soft Computing, special issue on Recent Advances in Knowledge Discovery, G. Govaert,
R. Haenle and M. Nadif (eds.), ISSN 1432-7643 (Print) 1433-7479 (Online), 2006, 10(5) : 461–468.
published online : 7 June 2005 extended abstract Bioinformatics/Computational Biology
T. C ALAMONERI, S. C AMINITI, et G. F ERTIN. New Bounds for the L(h,k) Number of Regular
Grids. International Journal of Mobile Network Design and Innovation, 2006, 1(2) : 92–101
S. A NGIBAUD, D. E VEILLARD, G. F ERTIN, et I. R USU. Comparing Bacterial Genomes by Searching their Common Intervals. In Springer V ERLAG, réd., 1st International Conference on Bioinformatics and Computational Biology (BICoB 2009), 2009, New Orleans, États-Unis. SpringerVerlag, 2009, volume Lecture Notes in BioInformatics (LNBI) of Lecture Notes in BioInformatics
(LNBI), pages 102–113
F. C LIQUET, G. F ERTIN, I. R USU, et D. T ESSIER. Comparison of Spectra in Unsequenced Species.
In Springer V ERLAG, réd., 4th Brazilian Symposium on Bioinformatics (BSB 2009), 2009, Porto
Alegre, Brésil. Springer-Verlag, 2009, volume Lecture Notes in BioInformatics (LNBI) of Lecture
Notes in BioInformatics (LNBI), pages 24–35
L. B ULTEAU, G. F ERTIN, et I. R USU. Maximal Strip Recovery Problem with Gaps : Hardness
and Approximation Algorithms. In ISAAC 2009 (20th International Symposium on Algorithms and
Computation), 2009, Hawaii, États-Unis. Springer-Verlag, 2009, volume 5878 of Lecture Notes in
Computer Science (LNCS), pages 710–719
R. D ONDI, G. F ERTIN, et S. V IALETTE. Maximum Motif Problem in Vertex-Colored Graphs.
In 20th Annual Symposium on Combinatorial Pattern Matching (CPM 2009), 2009, Lille, France.
Springer-Verlag, 2009, volume 5577 of Lecture Notes in Computer Science (LNCS), pages 221–235
I. FAGNOT, G. F ERTIN, et S. V IALETTE. On Finding Small 2-Generating Sets. In Springer V ER LAG , réd., Proc. 15th International Computing and Combinatorics Conference (COCOON 2009),
76
2009, Niagara Falls, États-Unis. Springer-Verlag, 2009, volume Lecture Notes in Computer Science (LNCS) of Lecture Notes in Computer Science (LNCS), pages 378–387
S. A NGIBAUD, G. F ERTIN, A. T HEVENIN, et S. V IALETTE. Pseudo-Boolean Programming for
Partially Ordered Genomes. In Springer V ERLAG, réd., 7th RECOMB Comparative Genomics
Satellite Workshop (RECOMB-CG 2009), 2009, Hongrie. Springer-Verlag, 2009, volume Lecture
Notes in BioInformatics (LNBI) of Lecture Notes in BioInformatics (LNBI), pages 126–137
J. B OURDON et I. R USU. Statistical Properties of Factor Oracles. In Springer V ERLAG, réd., 20th
Annual Symposium on Combinatorial Pattern Matching (CPM 2009), 2009, Lille, France, volume
5577 of Lecture Notes in Computer Science (LNCS), pages 326–338
G. B LIN, G. F ERTIN, F. S IKORA, et S. V IALETTE. The Exemplar Breakpoint Distance for nontrivial genomes cannot be approximated. In Springer V ERLAG, réd., Proc. 3rd Workshop on Algorithms and Computation (WALCOM 2009), 2009, Kolkata, Inde. Springer-Verlag, 2009, volume
Lecture Notes in Computer Science (LNCS) of Lecture Notes in Computer Science (LNCS), pages
357–368
S. A NGIBAUD, G. F ERTIN, et I. R USU. On the Approximability of Comparing Genomes with Duplicates. In Springer V ERLAG, réd., 2nd Workshop on Algorithms and Computation (WALCOM
2008), 2008, Dhaka, Bangladesh. Springer-Verlag, 2008, volume Lecture Notes in Computer Science (LNCS) of Lecture Notes in Computer Science (LNCS), pages 34–45
S. A NGIBAUD, G. F ERTIN, I. R USU, A. T HEVENIN, et S. V IALETTE. A Pseudo-Boolean programming approach for computing the breakpoint distance between two genomes with duplicate
genes. In 5th RECOMB Comparative Genomics Satellite Workshop (RECOMB-CG 2007), 2007,
San Diego, États-Unis. Springer-Verlag, 2007, volume Lecture Notes in BioInformatics (LNBI) of
Lecture Notes in BioInformatics (LNBI), pages 16–29
G. F ERTIN, D. H ERMELIN, R. R IZZI, et S. V IALETTE. Common Structured Patterns in Linear
Graphs : Approximations and Combinatorics. In 18th Annual Symposium on Combinatorial Pattern
Matching (CPM 2007), 2007, London, Canada. Springer-Verlag, 2007, volume Lecture Notes in
Computer Science (LNCS) of Lecture Notes in Computer Science (LNCS), pages 214–252
G. B LIN, G. F ERTIN, G. H ERRY, et S. V IALETTE. Comparing RNA Structures : Towards an
Intermediate Model Between the EDIT and the LAPCS Problems. In Brazilian Symposium on
Bioinformatics (BSB 2007), 2007, Angra dos Reis, Brésil. Springer-Verlag, 2007, volume Lecture
G. B LIN, G. F ERTIN, I. R USU, et C. S INOQUET. Extending the Hardness of RNA Secondary Structure Comparison. In 1st International Symposium on Combinatorics, Algorithms, Probabilistic and
Experimental Methodologies (ESCAPE 2007), 2007, Hangzhou, Chine, volume Lecture Notes in
Computer Science (LNCS) of Lecture Notes in Computer Science (LNCS), pages 140–151
COMBI
77
M. R. F ELLOWS, G. F ERTIN, D. H ERMELIN, et S. V IALETTE. Sharp Tractability Borderlines
for Finding Connected Motifs in Vertex-Colored Graphs. In 34th International Colloquium on
Automata, Languages and Programming (ICALP 2007), 2007, Wroclaw, Pologne. Springer-Verlag,
2007, volume Lecture Notes in Computer Science (LNCS) of Lecture Notes in Computer Science
(LNCS), pages 340–351
C. S INOQUET. A novel approach for structured consensus motif inference under specificity and
quorum constraints. In Y.-P. P. C. Tao J IANG , U ENG -C HENG Y ANG et Limsoon W ONG, réds.,
Proc. Fourth Asia-Pacific Bioinformatics Conference, APBC2006, Advances in Bioinformatics and
Computational Biology, 2006, Taipei, Taı̈wan, Province De Chine. Imperial College Press, 2006,
pages 207–216
P. B ONIZZONI, G. Della V EDOVA, R. D ONDI, G. F ERTIN, et S. V IALETTE. Exemplar Longest
Common Subsequence (extended abstract). In International Workshop on Bioinformatics Research
and Applications (IWBRA 2006), 2006, Reading, Royaume-Uni. Springer-Verlag, 2006, volume
LNCS Vol. 3992 of Lecture Notes in Computer Science (LNCS), pages 622–629
C. C HAUVE, G. F ERTIN, R. R IZZI, et S. V IALETTE. Genomes containing Duplicates are Hard to
compare. In International Workshop on Bioinformatics Research and Applications (IWBRA 2006),
2006, Reading, Royaume-Uni. Springer-Verlag, 2006, volume LNCS Vol. 3992 of Lecture Notes
in Computer Science (LNCS), pages 783–790
S. A NGIBAUD, G. F ERTIN, I. R USU, et S. V IALETTE. How Pseudo-Boolean Programming can help
Genome Rearrangement Distance Computation. In 4th RECOMB Comparative Genomics Satellite
Workshop (RECOMB-CG 2006), 2006, Montréal, Canada. Springer-Verlag, 2006, volume Lecture
J. B OURDON et B. V ALLEE. Pattern Matching Statistics on Correlated sources. In LATIN 2006,
2006, Chili, volume 3887 of LNCS, pages 224–237
J. B OURDON et A. M ANCHERON. Statistical Properties of Similarity Score Functions. In Colloquium on Mathematics and Computer Science. Algorithms, Trees, Combinatorics and Probabilities, Discrete Mathematics and Theoretical Computer Science, 2006, France, DMTCS Proceedings,
pages 129–140
S. L EMOSQUET, J. B OURDON, J. G UINARD -F LAMENT, A. S IEGEL, et J. VAN M ILGEN. A Generic
Stochiometric Model to Analyse the Metabolic Flexibility of the Mammary Gland in Lactating
Dairy Cows. In INRA, réd., 7th Workshop Modelling Nutrient Digestion and Utilization in Farm
Animals, 2009, Paris, France, page 52
78
S. C ARAT, R. H OULGATTE, et J. B OURDON. A statistical method for PWM clustering. In Moscow
Conference on Computational Molecular Biology, 2009, Moscou, Fédération De Russie, pages 59–
60
G. F ERTIN et S. V IALETTE. On the S-labeling Problem. In E SLEVIER, réd., Proc. 5th Euroconference on Combinatorics, Graph Theory and Applications (EUROCOMB 2009), 2009, Bordeaux,
France. Eslevier, 2009, volume 34 of Electronic Notes on Discrete Mathematics, pages 273–277
D. E VEILLARD, J. F ROMENTIN, et O. R OUX. Constraints Programming for Unifying Gene Regulatory Networks Modeling Approaches. In Workshop on Constraint Based Methods for Bioinformatics (WCB08), 2008, Paris, France, pages 1 – 10
R. D ONDI, G. F ERTIN, et S. V IALETTE. Weak pattern matching in colored graphs : Minimizing
the number of connected components. In 10th Italian Conference on Theoretical Computer Science (ICTCS 2007), 2007, Rome, Italie. World-Scientific Conference Proceedings, 2007, WorldScientific Conference Proceedings, pages 27–38
et de HDR (OS)
G. F ERTIN, A. L ABARRE, I. R USU, E. T ANNIER, et S. V IALETTE. Combinatorics of Genome
Rearrangements. Computational Molecular Biology. MIT Press, 2009
S. A NGIBAUD. Comparaisons de génomes avec gènes dupliqués : étude théorique et algorithmes.
A. M ANCHERON. Extraction de Motifs Communs dans un Ensemble de Séquences.Application à
l’identification de sites de liaison aux protéines dans les séquences primaires d’ADN. Thèse de
A. P RZYBYLSKI, J. B OURDON, et X. G ANDIBLEUX. Distribution des solutions du problème d’affectation multi-objectif et relation avec l’efficacité des algorithmes de résolution. In FRANCORO
V / ROADEF 2007, 2007, Grenoble, France
A. P RZYBYLSKI, J. B OURDON, et X. G ANDIBLEUX. Distribution of Solutions of Multi-objective
Assignment Problem and Links with the Efficiency of Solving Methods. In GOR 2007, 2007,
Saarbrücken, Allemagne
COMBI
79
J. B OURDON, D. E VEILLARD, S. G ABILLARD, et T. M ERLE. Integrating heterogeneous knowledges for understanding biological behaviors : a probabilistic approach, 2007. 10 pages
J. B OURDON et D. E VEILLARD. Toll Based Measures for Dynamical Graphs, 2007. 11 pages
CONTRAINTES
81
Équipe
CONTRAINTES
G. C HABERT et L. J AULIN. A Priori Error Analysis and Spring Arithmetic. SIAM Journal on
Scientific Computing, 2009, 31(3) : 2214–2230. AMS 65G40
G. C HABERT et L. J AULIN. Contractor Programming. Artificial Intelligence, 2009, 173 : 1079–
1100
J. L EBLET et J.-X. R AMPON. Inductive Characterizations of Finite Interval Orders and Semiorders.
Order, 2009, 26(3) : 277–281
N. B ELDICEANU, I. K ATRIEL, et X. L ORCA. Undirected Forest Constraints. Annals of Operations
Research, 2009, 171(1) : 127–147
N. B ELDICEANU, P. F LENER, et X. L ORCA. Combining tree Partitioning, Precedence, and Incomparability Constraints. Constraints, 2008, 13(4) : 459–489
C. B ESSIERE et R. D EBRUYNE. Theoretical Analysis of Singleton Arc Consistency and Its Extensions”. Artificial Intelligence, 2008, 172(1) : 29–41. Elsevier
N. B ELDICEANU, M. C ARLSSON, S. D EMASSEY, et T. P ETIT. Global Constraint Catalog : Past,
Present and Future. Constraints, 2007, 12(1) : 21–62
P.-E. H LADIK, H. C AMBAZARD, A.-M. D ÉPLANCHE, et N. J USSIEN. Solving a real-time allocation problem with constraint programming. Journal of Systems and Software, 2007, 81(1) :
132–149
82
N. B ELDICEANU. Special Issue on Global Constraints. Constraints, 2007, 12(1) : 1–1
S. D EMASSEY, G. P ESANT, et L.-M. R OUSSEAU. A Cost-Regular based Hybrid Column Generation Approach. Constraints, 2006, 11(4) : 315–333
N. B ELDICEANU, T. P ETIT, et G. R OCHART. Bounds of parameters for global constraints. RAIRO
Operations Research, 2006, 40(4) : 327–353
G.-B. G UENVER, J. L EBLET, et J.-X. R AMPON. Chain Dominated Orders. Order, 2006, 23(2-3) :
109–127. Graphes et algorithmes
H. C AMBAZARD et N. J USSIEN. Identifying and exploiting problem structures using explanationbased constraint programming. Constraints, 2006, 11(4) : 295–313
S. L OUDNI, P. B OIZUMAULT, et P. D AVID. On-Line Resource Allocation for ATM Networks with
Rerouting. Computers and Operations Research, 2006, 33(10) : 2891–2917
N. B ELDICEANU, M. C ARLSSON, et S. T HIEL. Sweep synchronisation as a global propagation
mechanism. Computers and Operations Research, 2006, 33(10) : 2835–2851
P. I LLE et J.-X. R AMPON. A counting of the minimal realizations of the posets of dimension two.
Ars Combinatoria, 2006, 78 : 157–165. ISSN 0381-7032
N. B ELDICEANU, T. P ETIT, et G. R OCHART. Bounds of graph properties. RAIRO Operations
Research, 2006, pages 742–746. ISSN 0399 0559
H. C AMBAZARD et N. J USSIEN. Des explications pour reconnaı̂tre et exploiter les structures
cachées d’un problème combinatoire. RAIRO Operations Research, 2006, 40(4) : 381–401
S. D EMASSEY. Experiments with Resolution Search. In Workshop on Hybrid methods and branching rules in combinatorial optimization., 2006, Montréal, Canada
CONTRAINTES
83
G. C HABERT, L. J AULIN, et X. L ORCA. A Constraint on the Number of Distinct Vectors with
Application to Localization. In Ian P. G ENT, réd., CP’09 (15th International Conference on Principles and Practice of Constraint Programming), 2009, Lisbon, Portugal. Springer Verlag, 2009,
volume 5732 of LNCS (Lecture Notes in Computer Science), pages 196–210
F. L AMARCHE, M. C HRISTIE, et F. B ENHAMOU. A Spatio-temporal Reasoning System for Virtual
Camera Planning. In Smart Graphics, 9th International Symposium, SG 2009, 2009, Salamanca,
Espagne, pages 119–127
F. H ERMENIER, X. L ORCA, J.-M. M ENAUD, G. M ULLER, et J. L AWALL. Entropy : a consolidation
manager for clusters. In VEE ’09 : Proceedings of the 2009 ACM SIGPLAN/SIGOPS international
conference on Virtual execution environments, 2009, New York, NY, États-Unis. ACM, 2009, pages
41–50
G. C HABERT et L. J AULIN. Hull Consistency Under Monotonicity. In Ian P. G ENT, réd., CP’09
(15th International Conference on Principles and Practice of Constraint Programming), 2009, Lisbon, Portugal. Springer Verlag, 2009, volume 5732 of LNCS (Lecture Notes in Computer Science),
pages 188–195
R. D OUENCE, X. L ORCA, et N. L ORIANT. Lazy Composition of Representations in Java. In SC’09
(International Conference on Software Composition), 2009, Lille, France. Springer Verlag, 2009,
J. V ION et R. D EBRUYNE. Light Algorithms for Maintaining Max-RPC During Search. In SARA2009 Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009, Lake Arrowhead, CA, États-Unis, pages 167–174
C. B ESSIERE, T. P ETIT, et B. Z ANUTTINI. Making Bound Consistency as Effective as Arc Consistency. In IJCAI’09, 2009
J. M ENANA et S. D EMASSEY. Sequencing and counting with the multicost-regular constraint. In
6th international conference Integration of AI and OR Techniques in Constraint Programming for
Combinatorial Optimization Problems (CPAIOR’09), 2009, États-Unis, volume 5547 of Lecture
Notes in Computer Science, pages 178–192
N. B ELDICEANU, M. C ARLSSON, M. S BIHI, C. T RUCHET, S. Z AMPELLI, et M. A GREN. Six
Ways of Integrating Symmetries within Non-Overlapping Constraints. In Springer V ERLAG, réd.,
6th International Conference on Integration of AI and OR Techniques in Constraint Programming
for Combinatorial Optimization Problems (CPAIOR’09), 2009, États-Unis, volume 5547 of Lecture
Notes in Computer Science, pages 11–25
84
J.-M. N ORMAND, A. G OLDSZTEJN, M. C HRISTIE, et F. B ENHAMOU. A Branch and Bound Algorithm for Numerical MAX-CSP. In The 14th International Conference on Principles and Practice
of Constraint Programming, 2008, Australie, volume 5202/2008, pages 205–219
N. B ELDICEANU, M. C ARLSSON, et J. M ARTIN. A Geometric Constraint over k-Dimensional
Objects and Shapes Subject to Business Rules. In Springer V ERLAG, réd., 14th International Conference on Principles and Practice of Constraint Programming (CP’08), 2008, Australie, volume
5202 of Lecture Notes in Computer Science, pages 220–234
C. T RUCHET, M. C HRISTIE, et J.-M. N ORMAND. A tabu search method for interval constraints. In
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization
Problems, 2008, France, pages 372–376
T. P ETIT et E. P ODER. Global propagation of practicability constraints. In Integration of AI and OR
Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008, France,
N. B ELDICEANU, M. C ARLSSON, et E. P ODER. New Filtering for the cumulative Constraint in
the Context of Non-Overlapping Rectangles. In Springer V ERLAG, réd., 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial
Optimization Problems (CPAIOR’08), 2008, Paris, France, volume 5015 of Lecture Notes in Computer Science, pages 21–35
N. B ELDICEANU et E. P ODER. A Continuous Multi-resources cumulative Constraint with PositiveNegative Resource Consumption-Production. In Springer V ERLAG, réd., 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial
Optimization Problems (CPAIOR’07), 2007, Brussels, Belgique, volume 4150 of Lecture Notes in
N. B ELDICEANU, M. C ARLSSON, E. P ODER, R. S ADEK, et C. T RUCHET. A Generic Geometrical
Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. In 13th
International on Principles and Practice of Constraint Programming (CP’07), 2007, Brown, ÉtatsUnis, volume 4741, pages 180–194
C. B ESSIERE, R. C OLETTA, et T. P ETIT. Learning Implied Global Constraints. In IJCAI’07 :
International Joint Conference on Artificial Intelligence, 2007, Hyderabad, India, pages 50–55
N. B ELDICEANU et X. L ORCA. Necessary Condition for Path Partitioning Constraints. In Springer
V ERLAG, réd., 4th International Conference on Integration of AI and OR Techniques in Constraint
Programming for Combinatorial Optimization Problems (CPAIOR’07), 2007, Brussels, Belgique,
CONTRAINTES
85
N. B ELDICEANU, M. C ARLSSON, S. D EMASSEY, et T. P ETIT. Graph-Based Filtering. In 12th
International Conference on Principles and Practice of Constraint Programming (CP’06), 2006,
Nantes, France, volume 4204, pages 59–74
N. B ELDICEANU, I. K ATRIEL, et X. L ORCA. Undirected Forest Constraints. In Lecture Notes
in Computer S CIENCE, réd., Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR’06), 2006, Cork, Irlande, volume 3990 of Springer-Verlag, pages 29–43
J. V ION, T. P ETIT, et N. J USSIEN. A generic scheme for integrating strong consistencies into
constraint solvers. In CSCLP, 2009, Espagne, page 15
A. M EREL, X. G ANDIBLEUX, S. D EMASSEY, et R. L USBY. An improved Upper Bound for the
Railway Infrastructure Capacity Problem on the Pierrefitte-Gonesse Junction. In ROADEF 2009,
2009, Nancy, France, pages 62–76
J. V ION. Consistance Duale et réseaux non-binaires. In Cinquièmes Journées Francophones de
Programmation par Contraintes, Orléans, juin 2009, 2009, France, pages 325–335
G. R ICHAUD, X. L ORCA, et N. J USSIEN. Des contraintes globales prêtes à brancher. In Cinquièmes
Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, 2009, France,
pages 115–125
J. M ENANA et S. D EMASSEY. Séquencer et compter avec la contrainte multicost-regular. In
Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, 2009,
M. P ELLEAU, P. Van H ENTENRYCK, et C. T RUCHET. Sonet Network Design Problems. In 6th
International Workshop on Local Search Techniques in Constraint Satisfaction, 2009, Lisbon, Portugal, pages 81–95
J. V ION, T. P ETIT, et N. J USSIEN. Un schéma générique pour intégrer des consistances fortes
dans les solveurs de contraintes. In Cinquièmes Journées Francophones de Programmation par
Contraintes, Orléans, juin 2009, 2009, France, pages 315–325
N. J USSIEN, G. R OCHART, et X. L ORCA. Choco : an Open Source Java Constraint Programming
Library. In CPAIOR’08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP’08), 2008, Paris, France, pages 1–10
86
N. B ELDICEANU et E. P ODER. Filtering for a Continuous Multi-Resources cumulative Constraint
with Resource Consumption and Production. In International Conference on Automated Planning
and Scheduling (ICAPS’08), 2008, Sidney, Australie, pages 264–271
H. C AMBAZARD et N. J USSIEN. Learning from the past to dynamically improve search : a case
study on the MOSP problem. In Vittorio M ANIEZZO, Roberto B ATTITI, et Jean-Paul W ATSON,
réds., Post-proceedings volume on Learning and Intelligent OptimizatioN (LION II), 2008, Italie.
Springer-Verlag, 2008, volume 5313, pages 69–80
F. H ERMENIER, X. L ORCA, H. C AMBAZARD, J.-M. M ENAUD, et N. J USSIEN. Reconfiguration
dynamique du placement dans les grilles de calculs dirigée par des objectifs. In 6ième Conférence
Francophone sur les Systèmes d’Exploitation (CFSE’06), 2008, Fribourg, Suisse
C. B ESSIERE, T. P ETIT, et B. Z ANUTTINI. Réordonnancement de domaines dans les réseaux de
contraintes. In Gilles T ROMBETTONI, réd., JFPC 2008- Quatrièmes Journées Francophones de
Programmation par Contraintes, 2008, Nantes, France, pages 133–142
C. T RUCHET, D. N OGU ÈS, et N. J USSIEN. Un modèle markovien pour GSAT et WalkSAT résultats
préliminaires. In Gilles T ROMBETTONI, réd., JFPC 2008- Quatrièmes Journées Francophones de
Programmation par Contraintes, 2008, Nantes, France, pages 327–336
É. G RELLIER, P. D EJAX, et N. J USSIEN. An Inventory Pick-up and Delivery Problem in the Reverse
Logistics Context : Optimization using a GRASP and hybrid approach. In 7th Metaheuristics
International Conference (MIC’2007), 2007, Montreal, Canada, pages 225–229
N. B ELDICEANU et X. L ORCA. Condition nécessaire pour la contrainte de partitionnement de
graphes par des chemins. In Troisièmes Journées Francophones de Programmationpar Contraintes
(JFPC07), 2007, Rocquencourt, France, JFPC07
J. L EBLET et J.-X. R AMPON. ST-serie decomposition of orders. In Cologne Twente Workshop on
Graphs and Combinatorial Optimization (CTW 2007), 2007, Pays-Bas, pages 89–93
N. B ELDICEANU et E. P ODER. Une contrainte cumulative continue multi-ressources avec des
conso mmations - Productions en ressources Positives - Négatives. In Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France, JFPC07
H. C AMBAZARD, P.-E. H LADIK, A.-M. D ÉPLANCHE, et N. J USSIEN. Une contrainte globale pour
l’ordonnançabilité des tâches temps réel dur. In Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), 2007, Rocquencourt, France, JFPC07
CONTRAINTES
87
M. C HRISTIE, J.-M. N ORMAND, et C. T RUCHET. Calcul d’approximations intérieures pour la
résolution de Max-NCSP. In Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nı̂mes - Ecole des Mines d’Alès, France
N. B ELDICEANU, X. L ORCA, et I. K ATRIEL. Contraintes de Partitionnement par des Arbres. In
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nı̂mes Ecole des Mines d’Alès, France
F. L ABURTHE, G. R OCHART, et N. J USSIEN. Évaluer la difficulté d’une grille de sudoku à l’aide
d’un modèle contraintes. In Deuxièmes Journées Francophones de Programmation par Contraintes
(JFPC06), 2006, Nı̂mes - Ecole des Mines d’Alès, France
N. B ELDICEANU, M. C ARLSSON, S. D EMASSEY, et T. P ETIT. Filtrage basé sur des propriétés
de graphe. In Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06),
2006, Nı̂mes - Ecole des Mines d’Alès / France France
P.-E. H LADIK, H. C AMBAZARD, A.-M. D ÉPLANCHE, et N. J USSIEN. Guiding Architectural Design Process of Hard Real-Time Systems with Constraint Programming. In Third TaiwaneseFrench Conference on Information Technology (TFIT 2006), 2006, Nancy, France, pages 317–331
N. B ELDICEANU, P. F LENER, et X. L ORCA. Partitionnement de graphes par des arbres sous
contraintes de degré. In Deuxièmes Journées Francophones de Programmation par Contraintes
(JFPC06), 2006, Nı̂mes - Ecole des Mines d’Alès, France
P.-E. H LADIK, H. C AMBAZARD, A.-M. D ÉPLANCHE, et N. J USSIEN. Solving allocation problems
of hard real-time systems with dynamic constraint programming. In 14th International Conference
on Real-Time and Network Systems (RTNS’06), 2006, Poitiers, France, pages 214–223
G. R ICHAUD, H. C AMBAZARD, et N. J USSIEN. Suppression de symétries pour les méthodes rétroprospectives. In Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06),
2006, Nı̂mes - Ecole des Mines d’Alès, France
H. C AMBAZARD et N. J USSIEN. Techniques rétrospectives pour résoudre le Minimum Open Stacks
Problem. In Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06),
2006, Nı̂mes - Ecole des Mines d’Alès, France
et de HDR (OS)
F. B ENHAMOU. Interval Constraints. In Encyclopedia of Optimization, pages 1733–1736. Springer,
2009
88
G. R ICHAUD. Outillage logiciel pour les problèmes dynamiques. Thèse de doctorat, Université de
Nantes, 2009
S. D EMASSEY. Mathematical Programming Formulations and Lower Bounds for the RCPSP. In
S. D. Christian A RTIGUES et Emmanuel N ÉRON, réds., Resource-Constrained Project Scheduling
– Models, algorithms, extensions and applications, pages 49–62. ISTE/Wiley, 2008
E. G RELLIER. Optimisation de tournées de véhicules dans le cadre de la logistique inverse :
modélisation et résolution par des méthodes hybrides. Thèse de doctorat, Université de Nantes,
2008
J.-M. N ORMAND. Placement de caméra en environnements virtuels. Thèse de doctorat, Université
de Nantes, 2008
C. G UERET et N. J USSIEN. Reactive Approaches. In S. D. e. E. N. Christian A RTIGUES, réd.,
Resource-Constrained Project Scheduling Models, algorithms, extensions and applications, pages
191–201. ISTE/Wiley, 2008
C. A RTIGUES, S. D EMASSEY, et E. N ERON. Resource-Constrained Project Scheduling : Models,
Algorithms, Extensions and Applications. ISTE/Wiley, 2008
X. L ORCA. Contraintes de Partitionnement de Graphe. Thèse de doctorat, Université de Nantes,
2007
F. B ENHAMOU, N. J USSIEN, et B. O’S ULLIVAN. Trends in Constraint Programming. ISTE, 2007
N. J USSIEN. Logique(s), langages formels et complexité pour l’informatique. Hermes Sciences,
2006
S. D EMASSEY, E. N ERON, C. A RTIGUES, P. B APTISTE, J. C ARLIER, et P. L ABORIE. Lower
bounds computation for RCPSP. In J. W EGLARZ et J. J ÓZEFOWSKA, réds., Perspectives in modern
project scheduling, International Series in Operations Research and Management Science, pages
167–204. Springer-Verlag, 2006
F. B ENHAMOU. Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France,September 25-29, 2006, Proceedings. Lecture Notes
in Computer Science, volume 4204. Springer, 2006
H. C AMBAZARD. Résolution de problèmes combinatoires par des approches fondées sur la notion
d’explication. Thèse de doctorat, Université de Nantes, 2006
CONTRAINTES
89
J. M ENANA, S. D EMASSEY, et N. J USSIEN. Relaxation lagrangienne pour le filtrage d’une
contrainte-automate à coûts multiples. In 10ème congrès de la Société Française de Recherche
Opérationnelle et d’Aide à la Décision (ROADEF’09), 2009, Nancy, France
A. M ALAPERT, C. G UERET, N. J USSIEN, A. L ANGEVIN, et L.-M. R OUSSEAU. Two-dimensional
Pickup and Delivery Routing Problem with Loading Constraints. In First CPAIOR Workshop on
Bin Packing and Placement Constraints (BPPC’08), 2008, Paris, France
M. C HRISTIE, P. O LIVIER, et J.-M. N ORMAND. Occlusion-free Camera Control. Rapport technique, 2008
N. B ELDICEANU. Programmation par Contraintes, école jeunes chercheurs en programmation.
Slides available at http ://ejcp2008.inria.fr/programme.htm, 2008. Programmation par Contraintes
G. C HABERT. IBEX, 2007. Ibex (Interval-Based EXplorer) is a C++ library for solving nonlinear
constraints over real numbers, based on interval analysis and constraint programming. The main
feature of Ibex is its ability to build solving strategies declaratively through the contractor programming paradigm. Ibex includes a parser of the Quimper language (QUick Interval Modeling and
Programming in a bounded-ERror context).
N. B ELDICEANU. Global Constraints : Introduction and Graph-Based Representation. Second International Summer School of the Association for Constraint Programming. Samos, Greece, 2006.
Global Constraints : Introduction and Graph-Based Representation
MEO
91
Équipe
MEO
J.-M. N ORMAND, A. G OLDSZTEJN, M. C HRISTIE, et F. B ENHAMOU. A Branch and Bound Algorithm for Numerical MAX-CSP. Constraints, 2009, 15(2) : 213–237
A. G OLDSZTEJN et L. G RANVILLIERS. A New Framework for Sharp and Efficient Resolution of
NCSP with Manifolds of Solutions. Constraints, 2009, 15(2) : 190–212
A. G OLDSZTEJN, M. RUEHER, et M. C LAUDE. Efficient Handling of Universally Quantified Inequalities. Constraints, 2009, 14(1) : 117–135
R. C HENOUARD, L. G RANVILLIERS, et P. S ÉBASTIAN. Search Heuristics for Constraints-Aided
Design. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 2009, 23(2) :
175–195
F. G OUALARD et C. J ERMANN. A Reinforcement Learning Approach to Interval Constraint Propagation. Constraints, 2008, 13(1-2) : 206–226
A. G OLDSZTEJN. Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr Existence
Tests. Computing, 2007, 79(1) : 53–60
P. S ÉBASTIAN, R. C HENOUARD, J.-P. N ADEAU, et X. F ISCHER. The embodiment design constraint satisfaction problem of the BOOTSTRAP facing interval analysis and genetic algorithm
based decision support tools. International Journal on Interactive Design and Manufacturing,
2007, 1(2) : 99–106
92
L. G RANVILLIERS et F. B ENHAMOU. Algorithm 852 : RealPaver : an interval solver using constraint satisfaction techniques. ACM Transactions on Mathematical Software, 2006, 32(1) : 138–
156
C. J ERMANN, G. T ROMBETTONI, B. N EVEU, et P. M ATHIS. Decomposition of Geometric Constraint Systems : a Survey. International Journal of Computational Geometry and Applications,
2006, 16(5-6) : 379–414. CNRS MathSTIC
G. C HABERT et A. G OLDSZTEJN. Extension of Hansen-Bliek’s Method to Right-Quantified Linear
Systems. Reliable Computing, 2007, 13(4) : 325–349
F. B ENHAMOU, M. C EBERIO, P. C ODOGNET, H. H OSOBE, C. J ERMANN, K. S ATOH, et K. U EDA.
Franco-Japanese Research Collaboration on Constraint Programming. Progress in Informatics,
2006, 3 : 59–65
F. G OUALARD. Interval Multivalued Inverse Functions : Relational Interval Arithmetic and its Use.
In 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic
and Verified Numerical Computations, 2008, El Paso, TX États-Unis
R. C HENOUARD et F. J OUAULT. Automatically Discovering Hidden Transformation Chaining
Constraints. In ACM/IEEE 12th International Conference on Model Driven Engineering Languages
and Systems, 2009, Denver, États-Unis. Springer Berlin / Heidelberg, 2009, volume 5795/2009 of
Lecture Notes in Computer Science, pages 92–106
R. C HENOUARD, A. G OLDSZTEJN, et C. J ERMANN. Search Strategies for an Anytime Usage of
the Branch and Prune Algorithm. In International Joint Conference on Artificial Intelligence, 2009,
États-Unis, pages 468–473
J.-M. N ORMAND, A. G OLDSZTEJN, M. C HRISTIE, et F. B ENHAMOU. A Branch and Bound Algorithm for Numerical MAX-CSP. In The 14th International Conference on Principles and Practice
of Constraint Programming, 2008, Australie, volume 5202/2008, pages 205–219
MEO
93
C. J ERMANN et H. H OSOBE. A constraint hierarchies approach to geometric constraints on
sketches. In Symposium on Applied Computing, 2008, Brésil, pages 1843–1844
F. G OUALARD et A. G OLDSZTEJN. A Data-Parallel Algorithm to Reliably Solve Systems of Nonlinear Equations. In I. computer S OCIETY, réd., Ninth International Conference on Parallel and
Distributed Computing, Applications and Technologies (PDCAT ’08), 2008, Dunedin, NouvelleZélande. IEEE computer Society, 2008, pages 39–46
A. G OLDSZTEJN et L. G RANVILLIERS. A New Framework for Sharp and Efficient Resolution of
NCSP with Manifolds of Solutions. In P. J. S TUCKEY, réd., CP, 2008, France. Springer, 2008,
volume 5202 of LNCS, pages 190–204
A. G OLDSZTEJN, C. M ICHEL, et M. R UEHER. An Efficient Algorithm for a Sharp Approximation
of Universally Quantified Inequalities. In ACM symposium on Applied computing, 2008, Fortaleza,
Brésil. ACM, 2008, pages 134–139
R. C HENOUARD, L. G RANVILLIERS, et R. S OTO. Model-Driven Constraint Programming. In
International Conference on Principles and Practice of Declarative Programming, 2008, Valence,
Espagne. ACM, 2008, pages 236–246
A. G OLDSZTEJN, Y. L EBBAH, C. M ICHEL, et M. RUEHER. Revisiting the upper bounding process in a safe Branch and Bound algorithm. In P. S TUCKEY, réd., 14th International Conference
on Principles and Practice of Constraint Programming, 2008, Sydney, Australie, volume 5202 of
LNCS, pages 598–602
T. D OUILLARD et C. J ERMANN. Splitting heuristics for disjunctive numerical constraints. In
Symposium on Applied Computing, 2008, Brésil, pages 140–144
R. S OTO et L. G RANVILLIERS. Tuning Constrained Objects. In AIE-IEA, 2008, France. Springer,
2008, volume 5027 of LNCS, pages 408–414
R. C HENOUARD, P. S ÉBASTIAN, et L. G RANVILLIERS. Solving an Air Conditioning Problem in
an Embodiment Design Context using Constraint Satisfaction Techniques. In C. B ESSI ÈRE, réd.,
CP, 2007, France. Springer, 2007, volume 4741 of LNCS, pages 18–32
R. S OTO et L. G RANVILLIERS. The Design of COMMA : An Extensible Framework for Mapping
Constrained Objects to Native Solver Models. In ICTAI, 2007, France. IEEE Computer Society,
2007, pages 243–250
A. G OLDSZTEJN. A branch and prune algorithm for the approximation of non-linear AE-solution
sets. In 21st Annual ACM Symposium on Applied Computing, 2006, France, pages 1650 – 1654
94
A. G OLDSZTEJN et L. J AULIN. Inner and Outer Approximations of Existentially Quantified Equality Constraints. In Twelfth International Conference on Principles and Practice of Constraint Programming, 2006, France, volume 4204/2006 of LNCS, pages 198–212
F. G OUALARD et C. J ERMANN. On the Selection of a Transversal to Solve Nonlinear Systems
with Interval Arithmetic. In 6th International Conference on Computational Science (ICCS 2006),
2006, Reading, Royaume-Uni. Springer, 2006, volume 3991 of Lecture Notes in Computer Science,
pages 332–339
R. C HENOUARD, L. G RANVILLIERS, et R. S OTO. Reformulation de problèmes de satisfaction de
contraintes basée sur des métamodèles. In Cinquièmes Journées Francophones de Programmation
par Contraintes, Orléans, juin 2009, 2009, France, pages 55–65
R. C HENOUARD, L. G RANVILLIERS, et R. S OTO. Rewriting Constraint Models with Metamodels. In V. B ULITKO et J. B ECK, réds., The eight symposium on abstraction, reformulation, and
approximation, 2009, Lake Arrowhead, États-Unis. AAAI Press, 2009, pages 42–49
N. B ERGER et L. G RANVILLIERS. Some Interval Approximation Techniques for MINLP. In
SARA 2009 : The Eighth Symposium on Abstraction, Reformulation and Approximation, 2009,
Lake Arrowhead, California États-Unis. AAAI Press, 2009, pages 26–33
R. C HENOUARD, L. G RANVILLIERS, et R. S OTO. Using ATL to define advanced and flexible
constraint model transformations. In F. J OUAULT, réd., MtATL2009, 2009, Nantes, France. CEUR
Workshop, 2009, pages 102–118
A. G OLDSZTEJN, C. M ICHEL, et M. R UEHER. An Efficient Algorithm for a Sharp Approximation
of Universally Quantified Inequalities. In Gilles T ROMBETTONI, réd., JFPC 2008- Quatrièmes
Journées Francophones de Programmation par Contraintes, 2008, Nantes, France, page 373
M. RUEHER, A. G OLDSZTEJN, Y. L EBBAH, et C. M ICHEL. Capabilities of Constraint Programming in Rigorous Global Optimization. In 2008 International Symposium on Nonlinear Theory
and its Applications, 2008, Hongrie
C. P IETER et A. G OLDSZTEJN. The Reach-and-Evolve Algorithm for Reachability Analysis of
Nonlinear Dynamical Systems. In Second Workshop on Reachability Problems in Computational
Models, 2008, Royaume-Uni, volume 223, pages 87–102
A. G OLDSZTEJN et G. C HABERT. A Generalized Interval LU Decomposition for the Solution of
Interval Linear Systems. In Sixth International Conference on Numerical Methods and Applications, 2007, Bulgarie, volume 4310/2007 of LNCS, pages 312–319
MEO
95
A. G OLDSZTEJN et G. C HABERT. On the approximation of linear AE-solution sets. In 12th GAMM
- IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated
Numerics, 2007, Allemagne, page 18
A. G OLDSZTEJN et W. H AYES. Rigorous Inner Approximation of the Range of Functions. In
12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and
Validated Numerics, 2007, Allemagne, page 19
F. G OUALARD et C. J ERMANN. La propagation d’intervalles vue comme un problème de banditmanchot non stationnaire. In Journées Francophones de Programmation par Contraintes, 2006,
Nı̂mes, France
R. C HENOUARD, L. G RANVILLIERS, et P. S ÉBASTIAN. Mixed CSP Techniques Applied to Embodiment Design. In Z. K IZILTAN et B. H NICH, réds., CP 2006 Doctoral Program, 2006, Nantes,
et de HDR (OS)
R. S OTO. Langages et transformation de modèles en programmation par contraintes. Thèse de
R. S OTO et L. G RANVILLIERS. On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling. In New Challenges in Applied Intelligence Technologies, Studies in Computational Intelligence, pages 123–133. Springer, 2008
C. G RAND ÓN et A. G OLDSZTEJN. Quantifier Elimination versus Generalized Interval Evaluation : a Comparison on a Specific Class of Quantified Constraint. In Uncertainty and Intelligent
Information Systems, pages 501–511. World Scientific, 2008
C. J ERMANN, Y. L EBBAH, et D. Sam H AROUD. Interval Analysis, Constraint Propagation and
Applications. In F. B ENHAMOU, N. J USSIEN, et B. O’S ULLIVAN, réds., Trends in Constraint
Programming, pages 223–259. ISTE, 2007
C. J ERMANN, D. M ICHELUCCI, et P. S CHRECK. Modélisation géométrique par contraintes. In
D. B ECHMANN et B. P ÉROCHE, réds., Informatique graphique, modélisation géométrique et animation, pages 185–210. Hermés Science, 2007
R. C HENOUARD. Résolution par satisfation de contraintes appliquée à l’aide à la décision en conception architecturale. Thèse de doctorat, Ecole nationale supérieure d’arts et métiers - ENSAM,
2007
96
F. B ENHAMOU et L. G RANVILLIERS. Continuous and Interval Constraints. In P. v. B. F. R OSSI et
T. W ALSH, réds., Handbook of Constraint Programming, pages 571–604. Elsevier, 2006
M. H EUSCH. Modélisation et résolution d’une application d’aide au déploiement d’antennes radio
en programmation par contraintes sur le discret et le continu. Thèse de doctorat, Université de
Nantes, 2006
A. G OLDSZTEJN et W. H AYES. A New Containment Method For Rigorous Shadowing. In International Conference on SCIentific Computation And Differential Equations, 2009, France
F. G OUALARD. A Data-Parallel Algorithm to Enforce Box Consistency. In Constraint Programming and Decision Making Workshop (CoProd 2008), 2008, El Paso, TX États-Unis
C. J ERMANN et H. H OSOBE. Une approche orientée hiérarchie de contraintes pour la résolution de
contraintes géométriques. In 7e Conférence Internationale de MOdélisation et SIMulation, 2008,
France
T. D OUILLARD, C. J ERMANN, et F. B ENHAMOU. Intelligent Splitting for Disjunctive Numerical
CSPs. In Third international workshop on interval analysis, constraint propagation and applications (IntCP), 2006, France, pages 33–37
A. G OLDSZTEJN. On the Exponentiation of Interval Matrices, 2009
F. G OUALARD. Interval Extensions of Multivalued Inverse Functions, 2008. 23 pages
A. G OLDSZTEJN. Modal Intervals Revisited Part 1 : A Generalized Interval Natural Extension,
2008. Research Report
A. G OLDSZTEJN. Modal Intervals Revisited Part 2 : A Generalized Interval Mean-Value Extension,
2008. Research Report
A. G OLDSZTEJN. Sensitivity Analysis Using a Fixed Point Interval Iteration, 2008. Research
Report
ROOM
97
Équipe
ROOM
S. P ARRAGH, K. F. D OERNER, R. F. H ARTL, et X. G ANDIBLEUX. A heuristic two-phase solution
approach for the multi-objective dial-a-ride problem. Networks, 2009, 54(4) : 227–242
A. P RZYBYLSKI, X. G ANDIBLEUX, et M. E HRGOTT. A Recursive Algorithm for Finding All Nondominated Extreme Points in the Outcome Set of a Multiobjective Integer Programme. INFORMS
Journal on Computing, 2009, page Published online in Articles in Advance
X. D ELORME, X. G ANDIBLEUX, et J. R ODRIGUEZ. Stability evaluation of a railway timetable at
station level. European Journal of Operational Research, 2009, 195(3) : 780–790
A. R AITH et M. E HRGOTT. A comparison of solution strategies for biobjective shortest path problems. Computers and Operations Research, 2008, 36(4) : 1299–1331
A. R AITH et M. E HRGOTT. A two-phase algorithm for the biobjective integer minimum cost flow
problem. Computers and Operations Research, 2008, 36(6) : 1945–1954
L. S HAO et M. E HRGOTT. Approximately solving multiobjective linear programmes in objective
space and an application in radiotherapy treatment planning. Mathematical Methods of Operations
Research, 2008, 68(2) : 257–276
L. S HAO et M. E HRGOTT. Approximating the nondominated set of an MOLP by approximately
solving its dual problem. Mathematical Methods of Operations Research, 2008, 68(3) : 469–492
M. E HRGOTT et S. R UZIKA. Improved e-constraint method for multiobjective programming. Journal of Optimization Theory and Application, 2008, 138(3) : 375–396
98
A. P RZYBYLSKI, X. G ANDIBLEUX, et M. E HRGOTT. Two phase algorithms for the bi-objective
assignment problem. European Journal of Operational Research, 2008, 185(2) : 509 – 533
M. E HRGOTT et X. G ANDIBLEUX. Bound sets for biobjective combinatorial optimization problems. Computers & Operations Research, 2007, 34(9) : 2674 – 2694
A. P RZYBYLSKI, X. G ANDIBLEUX, et M. E HRGOTT. The biobjective integer minimum cost flow
problem : incorrectness of Sedeño-Noda and Gonzàlez-Martin’s algorithm. Computers & Operations Research, 2006, 33(5) : 1459 – 1463
J. R ODRIGUEZ, X. D ELORME, X. G ANDIBLEUX, G. M ARLIERE, R. B ARTUSIAK, F. D EGOUTIN,
et S. S OBIERAJ. RECIFE : modèles et outils pour l’analyse de la capacité ferroviaire. Recherche
Transports Sécurité, 2007, 95 : 129–146. G2I-MSGI-2007
X. G ANDIBLEUX, F. B EUGNIES, et S. R ANDRIAMASY. Martins’ algorithm revisited for multiobjective shortest path problems with a MaxMin cost function. 4OR : A Quarterly Journal of
Operations Research, 2006, 4(1) : 47–59. AMS 90C29, 90C27, 05C38, 90B18, 68M12
D. S ALAZAR, X. G ANDIBLEUX, J. J ORGE, et M. S EVAUX. A Robust-Solution-Based Methodology to Solve Multiple-Objective Problems with Uncertainty. In X. G. Vincent B ARICHARD ,
M ATTHIAS E HRGOTT et Vincent T’K INDT, réds., Multiobjective Programming and Goal Programming, 2008, Tours, France. Springer Berlin / Heidelberg, 2008, volume 618 of Lecture Notes
in Economics and Mathematical Systems, pages 197–207
A. P RZYBYLSKI, X. G ANDIBLEUX, et M. E HRGOTT. Computational results for four exact
methods to solve the three-objective assignment problem. In V. B ARICHARD, M. E HRGOTT,
X. G ANDIBLEUX, et V. T’K INDT, réds., Multiple Objective Programming and Goal Programming : Theoretical Results and Practical Applications, 2008, Tours, France. Springer Berlin / Heidelberg, 2008, volume 618 of Lecture Notes in Economics and Mathematical Systems, pages 79–88
M. E HRGOTT. Multiobjective (Combinatorial) Optimisation : Some Thoughts on Applications. In
V. B ARICHARD, M. E HRGOTT, X. G ANDIBLEUX, et V. T’K INDT, réds., Multiple Objective Programming and Goal Programming : Theoretical Results and Practical Applications, 2008, Tours,
France. Springer Berlin / Heidelberg, 2008, volume 618 of Lecture Notes in Economics and Mathematical Systems, pages 267–282
ROOM
99
J. PASIA, X. G ANDIBLEUX, K. D OERNER, et R. H ARTL. Local Search Guided by Path Relinking
and Heuristic Bounds. In 4th International Conference on Evolutionary Multi-Criterion Optimization, 2007, Matsushima, Japon. Springer Berlin / Heidelberg, 2007, volume 4403 of Computer
Science, pages 501–515
X. G ANDIBLEUX, J. J ORGE, S. M ARTINEZ, et N. S AUER. Premier retour d’expérience sur le flowshop biobjectif et hybride à deux étages avec une contrainte de blocage particulière. In M. G OUR GAND et F. R IANE, réds., MOSIM’06 : 6ème Conférence Francophone de Modélisation et Simulation, 2006, Rabat, Maroc. Lavoisier, 2006, volume II, pages 1355–1362
X. D ELORME, X. G ANDIBLEUX, et J. R ODRIGUEZ. Stability evaluation of a railway timetable
at the station level. In C. P. A. D OLGUI , G. M OREL, réd., 12th IFAC Symposium on Information
Control Problems in Manufacturing (INCOM’06), 2006, Saint-Etienne, France. Elsevier Science,
2006, volume 3, pages 379–384. ISBN : 978-0-08-044654-7
A. M EREL, X. G ANDIBLEUX, S. D EMASSEY, et R. L USBY. An improved Upper Bound for the
Railway Infrastructure Capacity Problem on the Pierrefitte-Gonesse Junction. In ROADEF 2009,
2009, Nancy, France, pages 62–76
et de HDR (OS)
M. E HRGOTT et X. G ANDIBLEUX. Hybrid metaheuristics for multi-objective combinatorial optimization. In C. B LUM, M. B LESA -A GUILERA, A. R OLI, et M. S AMPELS, réds., Hybrid Metaheuristics, Studies in Computational Intelligence, pages 221–259. Springer Berlin / Heidelberg,
2008
A. P RZYBYLSKI. Méthode en deux phases pour la résolution exacte de problèmes d’optimisation combinatoire comportant plusieurs objectifs : nouveaux développements et application au
problème d’affectation linéaire. Thèse de doctorat, Université de Nantes, 2006
M. E HRGOTT, C. F ONSECA, X. G ANDIBLEUX, J.-K. H AO, et M. S EVAUX. Evolutionary MultiCriterion Optimization. Springer Berlin / Heidelberg, 2009
V. B ARICHARD, M. E HRGOTT, X. G ANDIBLEUX, et V. T KINDT. Multiple Objective Programming and Goal Programming : Theoretical Results and Practical Applications. Springer Berlin /
Heidelberg, 2008
100
M. E HRGOTT, J. F IGUEIRA, et X. G ANDIBLEUX. Multiple Objective Discrete and Combinatorial
Optimization. Springer Netherlands, 2006
B. G U ÉDAS, X. G ANDIBLEUX, et P. D ÉPINC É. A weak product on partially ordered sets to define
a compromise between multiobjective optimization problems. In 20th International Conference on
Multiple Criteria Decision Making, 2009, Chengdu, Chine
N. V EERAPEN, D. L ANDA -S ILVA, et X. G ANDIBLEUX. Hyperheuristic as Component of a MultiObjective Metaheuristic. In SLS-DS 2009 : Doctoral Symposium on Engineering Stochastic Local
Search Algorithms, 2009, Bruxelles, Belgique
H. F OUCHAL, X. G ANDIBLEUX, et F. L EHUEDE. Multi-criteria optimization with the Choquet
integral in shortest path problems. In 20th International Conference on Multiple Criteria Decision
Making, 2009, Chengdu, Chine
B. G U ÉDAS, P. D ÉPINC É, et X. G ANDIBLEUX. Vers une notion de compromis en optimisation
multidisciplinaire multiobjectif. In ROADEF 09, 2009, Nancy, France
J. J ORGE, X. G ANDIBLEUX, et M. W IECEK. A Priori Reduction of the Size of the Binary Multiobjective Knapsack Problem. In MOPGP’08 Multi-Objective Programming and Goal Programming,
2008, Royaume-Uni
A. P RZYBYLSKI, H. H UGOT, et X. G ANDIBLEUX. An e-Approximation Two Phase Method with
Three Objectives applied to Assignment Problem. In MOPGP’08, 2008, Portsmouth, UK
J. J ORGE et X. G ANDIBLEUX. Branch and bound algorithm for the 0-1 knapsack problem with
multiple objectives. In IFORS’08 International Federation of Operational Research Societies Conference, 2008, Afrique Du Sud
J. J ORGE, X. G ANDIBLEUX, et M. W IECEK. Fixation de variables par dominance en utilisant
des bornes sur la cardinalité des solutions, appliquée au problème de sac à dos multi-objectif. In
ROADEF’08, 2008, France
X. G ANDIBLEUX, P. R ITEAU, et X. D ELORME. RECIFE : a MCDSS for railway capacity. In
MCDM’08 : 19th International Conference on Multiple Criteria Decision Making, 2008, Auckland,
Nouvelle-Zélande
ROOM
101
X. G ANDIBLEUX, S. P ARRAGH, et K. D OERNER. Succes Stories on the Multi-Objective Path
Relinking. In MCDM’08 : 19th International Conference on Multiple Criteria Decision Making,
2008, Auckland, Nouvelle-Zélande
J. J ORGE et X. G ANDIBLEUX. Algorithmes pour la résolution exacte du problème 01KP unidimensionnel bi-objectif. In 1ère journée du groupe de travail de la ROADEF ≪ KnapSack et
Optimisation≫ , 2007, France
S. P ARRAGH, K. D OERNER, X. G ANDIBLEUX, et R. H ARTL. Approaching the Pareto-Frontier
of the Multi-Objective Dial-a-Ride Problem. In ROUTE 2007 : InternationalWorkshop on Vehicle
Routing and Transportation, 2007, Jekyll Island (south Georgia), États-Unis
A. P RZYBYLSKI, J. B OURDON, et X. G ANDIBLEUX. Distribution des solutions du problème d’affectation multi-objectif et relation avec l’efficacité des algorithmes de résolution. In FRANCORO
V / ROADEF 2007, 2007, Grenoble, France
A. P RZYBYLSKI, J. B OURDON, et X. G ANDIBLEUX. Distribution of Solutions of Multi-objective
Assignment Problem and Links with the Efficiency of Solving Methods. In GOR 2007, 2007,
Saarbrücken, Allemagne
X. G ANDIBLEUX, S. PARRAGH, K. D OERNER, et R. H ARTL. Metaheuristics for the MultiObjective Dial-a-Ride Problem. In MIC2007 : The Seventh Metaheuristics International Conference, 2007, Montréal, Canada
J. J ORGE et X. G ANDIBLEUX. Nouvelles propositions pour la résolution exacte du problème de
sac à dos bi-objectif unidimensionnel en variables binaires. In FRANCORO V / ROADEF 2007,
2007, France
X. G ANDIBLEUX et C. C HAMAYOU. Potential efficient solutions of a biobjective telecommunication network expansion planning problem. In MIC2007 : The Seventh Metaheuristics International
Conference, 2007, Montréal, Canada
J. J ORGE, X. G ANDIBLEUX, et A. P RZYBYLSKI. Ranking algorithm for the 01 unidimensional
multi-objective knapsack problem. In GOR’07 : Operations Research, 2007, Allemagne
X. G ANDIBLEUX et E. T AILLARD. Sweep and Path Re-linking for biobjective QAP. In Euro XXII :
22nd European Conference on Operational Research, 2007, Prague, République Tchèque
M. S EVAUX, D. S ALAZAR, X. G ANDIBLEUX, et J. J ORGE. A robust-solution-based methodology
to solve multiple-objective problems with uncertainty. In 7th International Conference on MultiObjective Programming and Goal Programming, MOPGP 2006, 2006, Tours, France
102
X. G ANDIBLEUX, B. P AJOT, et D. P ONCELET. Modèle en variables 01 et système d’aide pour
l’optimisation de l’organisation de bourses d’échanges de technologies. In ROADEF’06, 2006,
Lille, France
X. D ELORME, X. G ANDIBLEUX, et J. RODRIGUEZ. Selecting efficient solutions for the stability evaluation problem of a railway timetable. In 7th International conference on MultiObjective
Programming and Goal Programming (MOPGP’06), 2006, Tours, France
J. J ORGE et X. G ANDIBLEUX. Self-adaptive stopping condition for an ant colony optimization inspired algorithm designed for set packing problems. In 7th EU/MEeting on Adaptive, Self-Adaptive,
and Multi-Level Metaheuristics, 2006, Espagne
A. P RZYBYLSKI, X. G ANDIBLEUX, et M. E HRGOTT. Three-Objective Assignment Problem :
Computational Results of Exact Methods. In MCDM 2006, 2006, Chania, Grèce
A. P RZYBYLSKI, X. G ANDIBLEUX, et M. E HRGOTT. Two Phase Method applied to the ThreeObjective Assignment Problem. In MOPGP’06, 2006, Tours, France
A. P RZYBYLSKI, X. G ANDIBLEUX, et M. E HRGOTT. Two Phase Method with Three Objectives
Applied to the Assignment Problem. In ECCO XIX - CO 2006, 2006, Porto, Portugal
T. V INCENT. Multi-objective Branch and Bound for Mixed 0-1 Linear Programming : Corrections
and Improvements for the Biobjective Case, 2009. Mémoire de M2R.
H. F OUCHAL. Optimisation combinatoire multi-objectif et préférences du décideur, 2008. Rapport
de M2R
A. M EREL. Résolution exacte du problème de capacité d’infrastructures ferroviaires, 2008.
Mémoire de projet de master de recherche.
M. E HRGOTT, A. L ÖHNE, et L. S HAO. A Dual Variant of Benson’s Outer Approximation Algorithm, 2007. School of Engineering Report
J. J ORGE. Algorithme pour la résolution exacte d’un 01-IP bi-objectif, 2006. Rapport de stage de
master recherche
TALN
103
Équipe
TALN
V. J OUSSE, S. M EIGNIER, C. J ACQUIN, S. P ETITRENAUD, Y. E ST ÈVE, et B. D AILLE. Analyse conjointe du signal sonore et de sa transcription pour l’identification nommée de locuteur.
Traitement Automatique des Langues, 2009, 50(1) : 201–225
E. P ROCHASSON et E. M ORIN. Points d’ancrage pour l’extraction lexicale bilingue à partir de
petits corpus comparables spécialisés. Traitement Automatique des Langues, 2009, 50(1) : 283–
304
A. D IKOVSKY, M. VALIEV, et M. D EKHTYAR. Systems of Agents Controlled by Logical Programs : Complexity of Verification. Programming and Computer Software, 2009, 35(5) : 266–281
D. B ÉCHET, A. F ORET, et I. T ELLIER. Learnability of pregroup grammars. Studia Logica, 2007,
87(2/3) : 225–252
D. B ÉCHET. Parsing pregroup grammars and Lambek calculus using partial composition. Studia
Logica, 2007, 87(2/3) : 2
E. M ORIN et B. D AILLE. Comparabilité de corpus et fouille terminologique multilingue. Traitement Automatique des Langues, 2006, 47(1) : 113–136
D. B ÉCHET et A. F ORET. k-valued non-associative Lambek grammars are learnable from generalized functor-argument structures. Theoretical Computer Science, 2006, 355(2) : 139–152
M. D EKHTYAR, A. D IKOVSKY, et M. V ALIEV. On compexity of verification of interacting agents
behavior. Annals of Pure and Applied Logic, 2006, 141(3) : 336–362
104
F. C ERBAH et B. D AILLE. Une architecture de services pour mieux spécialiser les processus
d’acquisition terminologique. Traitement Automatique des Langues, 2006, 47(3) : 39–61
M. V ERNIER, L. M ONCEAUX, B. D AILLE, et E. D UBREIL. Catégorisation des évaluations dans
un corpus de blogs multi-domaine. Revue des Nouvelles Technologies de l’Information (RNTI),
2009, page 25
C. E NGUEHARD. Les langues d’Afrique de l’Ouest : de l’imprimante au traitement automatique
des langues. Sciences et Techniques du Langage, 2009, (6) : 29–50. ISSN : 0850-3923
K. T AKEUCHI, Y. N AKAO, et H. I SAHARA. A Model of Discourse Segmentation and Segment
Title Assignment for Lecture Speech Indexing. IEICE Transactions, 2007, E90-D(10) : 1601–
1610
A. T ARTIER. Analyse automatique de l’évolution terminologique. Information - Interaction Intelligence, 2007, pages 93–112
D. B ECHET, R. B ONATO, A. D IKOVSKY, A. F ORET, Y. L E N IR, E. M OREAU, C. R ETOR É,
et I. T ELLIER. Modèles algorithmiques de l’acquisition de la syntaxe : concepts et méthodes,
résultats et problèmes. Recherches linguistiques de Vincennes, 2007, 36 : 123–152
E. P ROCHASSON, E. M ORIN, et K. K AGEURA. Anchor points for bilingual lexicon extraction
from small comparable corpora. In Machine Translation Summit, 2009, France, page 8
V. J OUSSE, S. P ETITRENAUD, S. M EIGNIER, Y. E ST ÈVE, et C. J ACQUIN. Automatic named
identification of speakers using diarization and asr systems. In Proceedings of IEEE International
conference on Acoustics, Speech and Signal Processing IEEE, 2009, Taı̈pei Taı̈wan, Province De
Chine, page 10
S. P E ÑA S ALDARRIAGA, E. M ORIN, et C. V IARD -G AUDIN. Categorization of on-line handwritten documents. In Proceedings of the Eighth IAPR International Workshop on Document Analysis
Systems (DAS 2008), 2009, Japon, pages 95–102
L. G OEURIOT, B. D AILLE, et E. M ORIN. Compilation of specialized comparable corpus in French
and Japanese. In Pascale F UNG, Reinhard R APP, et Pierre Z WEIGENBAUM, réds., Proceedings
of the ACL-IJCNLP workshop ”Building and Using Comparable Corpora” (BUCC 2009), 2009,
Singapour, pages 55–63
TALN
105
S. P E ÑA S ALDARRIAGA, C. V IARD -G AUDIN, et E. M ORIN. On-line handwritten text categorization. In Proceedings of Document Recognition and Retrieval XVI, IS&T/SPIE International
Symposium on Electronic Imaging (DRR 2009), 2009, San José, États-Unis, pages 709–724
A. D IKOVSKY. On Speaker’s Stance Semantics of Discourse. In J. M. D. B ECK , K. G ERDES et
A. P OLGU ÈRE, réds., Proceedings of the Fourth International Conference on Meaning-Text Thery
(MTT’2009), 2009, Canada. Université de Montréal, 2009, pages 129–138
D. B ÉCHET et A. F ORET. PPQ : a pregroup parser using majority composition. In Timothy
F OWLER et Gerald P ENN, réds., Proceedings of the ESSLLI 2009 Workshop on Parsing with
Categorial Grammars, 20-24 July 2009, Bordeaux, 2009, France, pages 33–37
C. J ACQUIN, L. M ONCEAUX, et E. D ESMONTILS. The Answer Validation ProdicosAV System
dedicated to French. In Proceedings of Evaluating Systems for Multilingual and Multimodal
Information Access 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Revised
Selected Papers, 2009, Danemark, page 8
C. E NGUEHARD et I. M ODI. Towards an electronic dictionary of Tamajaq language in Niger.
In Workshop Language Technologies for African Languages. 12th Conference of the European
Chapter of the Association for Computational Linguistics EACL-09, 2009, Grèce, page publication
électronique
A. D IKOVSKY. Towards Wide Coverage Categorial Dependency Grammars. In G. P ENN, réd.,
Proceedings of the ESSLLI’2009 Workshop Parsing with Categorial Grammars Parsing with Categorial Grammars Workshop ESSLLI 2009 Book of Abstracts, 2009, France. ESSLLI, 2009, pages
28–32
S. P E ÑA S ALDARRIAGA, E. M ORIN, et C. V IARD -G AUDIN. Using top n recognition candidates
to categorize on-line handwritten documents. In Proceedings of the 10th International Conference
on Document Analysis and Recognition (ICDAR 2009), 2009, Espagne, pages 881–885
S. A FANTENOS et N. H ERNANDEZ. What’s in a Message ? In Proceedings of the EACL 2009
Workshop on Cognitive Aspects of Computational Language Acquisition, 2009, Grèce, pages 18–
25
M. R AYNER, P. B OUILLON, B. A. H OCKEY, et Y. N AKAO. Almost Flat Functional Semantics for
Speech Translation. In Proceedings of 22th International Conference on Computational Linguistics (COLING 2008), 2008, Royaume-Uni
E. D UBREIL, M. V ERNIER, L. M ONCEAUX, et B. D AILLE. Annotating Opinion : Evaluation
of Blogs. In Proceedings of LREC 2008 Workshop on Sentiment Analysis : Emotion, Metaphor,
Ontology and Terminology (EMOT), 2008, Maroc, page 124
106
L. G OEURIOT, G. NATALIA, et B. D AILLE. Characterization of scientific and popular science discourse in French, Japanese and Russian. In Proceedings of the 6th edition of Language Resources
and Evaluation Conference (LREC 2008), 2008, Maroc
B. D AILLE et E. M ORIN. Effective Compositional Model for Lexical Alignment. In A. F. of NATURAL L ANGUAGE P ROCESSING , réd., Proceedings IJCNLP 2008 : Third International Joint Conference on Natural Language Processing, 2008, Hyderabad, Inde, volume 1, pages 95–102
C. E NGUEHARD et H. N AROUA. Evaluation of Virtual Keyboards for West-African Languages.
In Proceedings of the Sixth International Language Resources and Evaluation (LREC’08), 2008,
Maroc, page édition électronique
D. B ÉCHET et S. L IPPI. Hard combinators. In Ian M ACKIE et Detlef P LUMP, réds., Proceedings of
the Fourth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007),
Braga, Portugal, 31 March 2007 TERMGRAPH 2007, 2008, Portugal. Elsevier, 2008, volume
203, Issue 1, pages 31–48
E. P ROCHASSON, K. K AGEURA, E. M ORIN, et A. A IZAWA. Looking for Transliterations in a
Trilingual English, French and Japanese Specialised Comparable Corpus. In LREC Workshop on
Comparable Corpora (LREC’08) Language Resources and Evaluation Conference, 2008, Maroc,
page 4
P. B OUILLON, G. F LORES, M. G EORGESCUL, S. H ALIMI, B. A. H OCKEY, H. I SAHARA,
K. K ANZAKI, Y. N AKAO, M. R AYNER, M. S ANTAHOLMA, M. S TARLANDER, et N. T SOURAKIS.
Many-to-Many Multilingual Medical Speech Translation on a PDA. In Proceedings of The Eighth
Conference of the Association for Machine Translation in the Americas The Eighth Conference of
the Association for Machine Translation in the Americas, 2008, États-Unis
S. B OULAKNADEL, B. D AILLE, et D. A BOUTAJDINE. Multi-word term indexing for Arabic
document retrieval. In Multi-word term indexing for Arabic document retrieval IEEE symposium
on Computers and Communications (ISCC’08), 2008, Maroc, pages 869–873
Y. N AKAO. Multilingual modalities for specialised languages. In 6th Conference on Language Resources and Evaluation (LREC 2008) Workshop abstracts LREC 2008 Workshop on Multilingual
and Comparative Perspectives in Specialized Language Resources, 2008, Maroc, volume W5,
pages 27–30
D. B ÉCHET, A. D IKOVSKY, A. F ORET, et E. G AREL. Optional and Iterated Types for Pregroup Grammars. In Proceedings of the 2nd International Conference on Language and Automata
Theory and Applications (LATA 2008), March 2008, 2008, Tarragona, Espagne. Springer, 2008,
volume 5196 of Lecture Notes in Computer Science (LNCS), pages 88–100. ISBN : 978-3-54088281-7
TALN
107
M. R AYNER, P. B OUILLON, J. B ROTANEK, G. F LORES, S. H ALIMI, B. A. H OCKEY,
H. I SAHARA, K. K ANZAKI, E. K RON, Y. N AKAO, M. S ANTAHOLMA, M. S TARLANDER, et
N. T SOURAKIS. The 2008 MedSLT System. In Proceedings of Coling 2008 Workshop on Speech
Processing for Safety Critical Translation and Pervasive Applications, 2008, Royaume-Uni
D. B ÉCHET et S. L IPPI. Universal Boolean Systems. In Ian M ACKIE et Detlef P LUMP, réds.,
Proceedings of the Fourth International Workshop on Computing with terms and graphs, TERMGRAPH 2007, Braga, Portugal, 31 March 2007 TERMGRAPH 2007, 2008, Portugal. Elsevier,
2008, volume 203, Issue 1, pages 19–30
A. D IKOVSKY. A Finite-State Functional Grammar Architecture. In Daniel L EIVANT et Ruy de
Q UEIROZ, réds., Proceedings Logic, Language, Information and Computation, 14th International
Workshop, WoLLIC 2007, 2007, Brésil. Springer, 2007, volume 4576, pages 131–146
F. C ERBAH et B. D AILLE. A Service Oriented Architecture for Adaptable Terminology Acquisition. In Z. K EDAD, N. L AMMARI, E. M ÉTAIS, F. M EZIANE, et Y. R EZGUI, réds., Proceedings of
the 12th International Conference on Applications of Natural Language to Information Systems
(NLDB 2007), 2007, France. Springer-Verlag, 2007, volume 4592, pages 420–426
E. M ORIN, B. D AILLE, K. T AKEUCHI, et K. K AGEURA. Bilingual Terminology Mining – Using
Brain, not brawn comparable corpora. In Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics (ACL’07), 2007, République Tchèque
L. G OEURIOT, G. N ATALIA, et B. D AILLE. Caractérisation des discours scientifiques et vulgarisés
en français, japonais et russe. In Actes de la 14e conférence sur le Traitement Automatique des
Langues Naturelles (TALN 2007), 2007, France, pages 93–102
C. J ACQUIN, E. D ESMONTILS, et L. M ONCEAUX. French EuroWordNet Lexical Database Improvements. In Computational Linguistics and Intelligent Text Processing, 8th International Conference (CICLing 2007), 2007, Mexique. Springer, 2007, volume 4394 of Lecture Notes in Computer Science (LNCS), pages 12–22
D. B ÉCHET et A. F ORET. Fully Lexicalized Pregroup Grammars. In Daniel L EIVANT et Ruy de
Q UEIROZ, réds., Logic, Language, Information and Computation, 14th International Workshop,
WoLLIC 2007, 2007, Brésil. Springer, 2007, volume 4576, pages 12–25
E. M OREAU. Identification of Natural Languages in the Limit : Exploring Frontiers of Finite
Elasticity for General Combinatory Grammars. In Proceedings of the 12th conference on Formal
Grammars (FG 2007), 2007, Dublin, Ireland. CSLI Publications Online Proceedings, 2007, page
Online Proceedings
108
E. P ROCHASSON, C. V IARD -G AUDIN, et E. M ORIN. Language Models for Handwritten Short
Message Services. In International Conference on Document Analysis and Recognition (ICDAR’07), 2007, Brésil, pages 83–87
A. D IKOVSKY. Multimodal Categorial Dependency Grammars. In L. K ALLMEYER, P. M ONACH ESI, et G. Penn G. S ATTA , réds., Proceedings of the 12th Conference on Formal Grammar (FG2007), 2007, Dublin, Ireland, pages 1–12
M. V ERNIER et S. F ERRARI. Tracking evaluation in discourse. In Proceedings of Workshop
at EUROLAN 2007 on Applications of Semantics, Opinions and Sentiments (ASOS’07), 2007,
Roumanie
E. P ROCHASSON, E. M ORIN, et C. V IARD -G AUDIN. Vers la reconnaissance de mini-messages
manuscrits. In Actes du 26e Colloque International sur le Lexique et la Grammaire (LG’07), 2007,
France, page 8
B. G RAU, A.-L. L IGOZAT, I. R OBBA, A. V ILNAT, et L. M ONCEAUX. FRASQUES : A QuestionAnswering System in the EQueR Evaluation Campaign. In LREC 2006, Gênes, Italie, 2006, Italie
B. G RAU, A.-L. L IGOZAT, I. R OBBA, A. V ILNAT, et L. M ONCEAUX. FRASQUES : A QuestionAnswering System in the EQueR Evaluation Campaign. In LREC International Conference on
Language Resources and Evaluation (LREC), 2006, France, pages 1524–1529
F. P ERRAUD, C. V IARD -G AUDIN, et E. M ORIN. Language Independent Statistical Models for
on-Line Handwriting Recognition. In Guy L ORETTE, réd., Tenth International Workshop on
Frontiers in Handwriting Recognition, 2006. Suvisoft, 2006
E. D ESMONTILS, C. J ACQUIN, et L. M ONCEAUX. Question Types Specification for the Use
of Specialized Patterns in Prodicos System. In Lecture Note of Computer S CIENCE, réd., Proceedings of Evaluation of Multilingual and Multi-modal Information Retrieval 7th Workshop of
the Cross-Language Evaluation Forum, CLEF 2006, Revised Selected papers, 2006, Espagne.
Springer Verlag, 2006, volume 4730, pages 280–289
L. M ONCEAUX, C. J ACQUIN, et E. D ESMONTILS. The query answering system Prodicos. In
Carol P ETERS, Fredric C. G EY, Julio G ONZALO, Gareth J.F. J ONES, Michael K LUCK, Bernardo
M AGNINI, Henning M ÜLLERN, et Maarten de R IJKE, réds., Proceedings of Accessing Multilingual Information Repositories : 6th Workshop of the Cross-Language Evaluation Forum, CLEF
2005, Revised Selected Papers, Vienna, Austria, September 2005 CLEF 2005, 2006, Autriche.
Springer, 2006, volume 4022, pages 527–534
TALN
109
E. M ORIN. Apport d’un corpus comparable déséquilibré à l’extraction de lexiques bilingues. In
TALN 16ème conférence sur le Traitement Automatique des Langues Naturelles (TALN), 2009,
France
M. V ERNIER, L. M ONCEAUX, et B. D AILLE. DEFT’09 : détection de la subjectivité et
catégorisation de textes subjectifs par une approche mixte symbolique et statistique. In Actes
de l’atelier de clôture du 5ème Défi Fouille de Textes (DEFT’09), 2009, France, pages 101–112
S. P E ÑA S ALDARRIAGA, E. M ORIN, et C. V IARD -G AUDIN. Impact de la reconnaissance de
l’écriture en-ligne sur une tâche de catégorisation. In Actes de la 6ème Conférence en Recherche
d’Information et Applications CORIA 2009, 2009, France, pages 219–234
E. P ROCHASSON et E. M ORIN. Influence des points d’ancrage pour l’extraction lexicale bilingue
à partir de corpus comparables spécialisés. In Conférences sur le Traitement Automatique des
Langues Naturelles (TALN’09), 2009, France, page 10
F. P OULARD, S. D. A FANTENOS, et N. H ERNANDEZ. Nouvelles considérations pour la détection
de réutilisation de texte. In Actes de la 16ème conférence sur le Traitement Automatique des
Langues Naturelles, 2009, France, page 67
L. G OEURIOT, E. M ORIN, et B. D AILLE. Reconnaissance de critères de comparabilité dans un
corpus multilingue spécialisé. In Actes de la conférence en Recherche d’Information et Applications (CORIA’09), 2009, France, pages 33–47
S. P E ÑA S ALDARRIAGA, E. M ORIN, et C. V IARD -G AUDIN. Un nouveau schéma de pondération
pour la catégorisation de documents manuscrits. In Actes de la 16ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN 2009), 2009, France
D. B ÉCHET et A. F ORET. Une boı̂te a outils pour développer et utiliser les grammaires de
prégroupe. In Eric de la Clergerie et Patrick P AROUBEK, réd., Actes de la journée de l’ATALA
“Quels analyseurs syntaxiques pour le français ?”, 10 octobre 2009, Paris, 2009, France. ATALA,
2009, pages 1–7
F. P OULARD. Analyse quantitative et qualitative de citations extraites d’un corpus journalistique.
In Actes de la 12e édition de RECITAL Rencontre des Etudiants-Chercheurs en Informatique et
en Traitement Automatique des Langues (RÉCITAL), 2008, France, pages 101–110
V. J OUSSE, C. J ACQUIN, S. M EIGNIER, Y. E ST ÈVE, et B. D AILLE. Etude pour l’amélioration
d’un système d’identification nommée du locuteur. In actes de la conférence JEP/TALN 2008
Journées d’Etude de la Parole, 2008, France, page 10
110
F. P OULARD, T. W ASZAK, N. H ERNANDEZ, et P. B ELLOT. Repérage de citations, classification
des styles de discours rapporté et identification des constituants citationnels en écrits journalistiques. In Actes de la 15e Conférence sur le Traitement Automatique des Langues Naturelles,
2008, France, pages 450–459
M. V ERNIER, S. F ERRARI, et D. L EGALLOIS. Suivi d’opinion dans le discours. In Revue
électronique Textes et corpus Actes des Journées de la linguistique de Corpus 2007, 2008, France,
number 3
Y. N AKAO, M. R AYNER, P. B OUILLON, B. A. H OCKEY, K. K ANZAKI, et H. I SAHARA. Using a
semantic grammar as an interlingua in a multiglingual speech translation system. In Proceedings
of NLP2008, 2008, Japon
E. D UBREIL. Analyse des mécanismes discursifs d’axiologisation du sens par le contexte. In Colloque Jeunes Chercheurs Praxiling (CJCPrax 2007), “Analyse du discours et contextes : quelles
relations ?”, Montpellier, France, 10–11 mai 2007, 2007, France
E. M ORIN. Apport des termes complexes à l’acquisition lexicale multilingue à partir de corpus
comparables spécialisés : entre intuition et réalité. In Terminologies et Intelligence Artificielle
7ème rencontres (TIA’07), 2007, France, pages 11–20
A. D IKOVSKY. Architecture compositionnelle pour les dépendances croisées. In Nabil H ATHOUT
et Philippe M ULLER, réds., Actes de la 14e conférence sur le Traitement Automatique des
Langues Naturelles (communications affichées et démonstrations), Université de Toulouse-LeMirail, 2007, France. IRIT Press, 2007, pages 165–174
M. V ERNIER, Y. M ATHET, F. R IOULT, T. C HARNOIS, S. F ERRARI, et D. L EGALLOIS. Classification de textes d’opinions : une approche mixte n-grammes et sémantique. In Actes de l’atelier Défi
Fouilles de Textes (DEFT’07) dans le cadre de la plate-forme AFIA 2007 (Association Française
pour l’Intelligence Artificielle), 2007, France, pages 93–108
B. D AILLE. Découverte et exploitation des corpus comparables pour l’accès à l’information multilingue (DECO). In Programme interdisciplinaire TCAN - Atelier de la plate-forme AFIA 2007,
2007, France
F. B ILHAUT, F. D UMONCEL, P. E NJALBERT, et N. H ERNANDEZ. Indexation sémantique et
recherche d’information interactive. In Conférence en Recherche d’Information et Applications
(CORIA 2007), 2007, France, pages 65–76
E. P OUPARD, D. B ÉCHET, et A. F ORET. Acquisition d’une grammaire catégorielle depuis un
corpus d’arbre en français. In Actes de la Conférence d’Apprentissage 2006 (CAp’2006), 2006,
France
TALN
111
S. T RICHET -A LLAIRE. Détection automatique des variantes anaphoriques de termes. In Actes de
la conférence “Rencontre des Etudiants Chercheurs en Informatique pour le Traitement Automatique des Langues” (RECITAL 2006), Leuven, Belgique, 2006, Belgique, pages 719–728
A. D IKOVSKY. Discourse Plan Semantics. In Journées de Sémantique et Modélisation, Bordeaux,
France, 2006, France, pages 23–24
F. P ERRAUD, C. V IARD -G AUDIN, E. M ORIN, et P.-M. L ALLICAN. Modèles de langages adaptés
à la reconnaissance de l’écriture en-ligne. In 15ème congrès Reconnaissance des Formes et Intelligence Artificielle (RFIA), 2006, France
D. B ÉCHET. Parsing Lambeck calculus using partial composition. In Proceedings of the Workshop
on Logic and Linguistics, Marseille, February 2006, 2006, France
C. J ACQUIN, L. M ONCEAUX, et E. D ESMONTILS. Systèmes Question-Réponse et EuroWordNet.
In Actes de la 13ème conférence sur le Traitement Automatique des Langues Naturelles (TALN
2006), Leuven, avril 2006, 2006, Belgique, pages 188–197
S. B OULAKNADEL. Utilisation des syntagmes nominaux dans un SRI en langue arabe. In Actes de
la Conférence en Recherche d’Informations et Applications (CORIA 2006), 2006, France, pages
440–446
A. T ARTIER. Variation terminologique et analyse diachronique. In Actes de la 13ème conférence
sur le Traitement Automatique des Langues Naturelles (TALN 2006), Leuven, Belgique, avril 2006,
2006, Belgique, pages 347–356
et de HDR (OS)
E. P ROCHASSON. Alignement multilingue en corpus comparables spécialisés. Thèse de doctorat,
2009
L. G OEURIOT. Découverte et caractérisation des corpus comparables spécialisés. Thèse de
doctorat, 2009
A. D IKOVSKY et M. D EKHTYAR. Generalized Categorial Dependency Grammars. In A. Aviron et
AL ., réd., Trakhtenbrot/Festschrif, LNCS 4800, pages 230–255. Springer Verlag, 2008
D. B ÉCHET, A. D IKOVSKY, A. F ORET, et E. G AREL. Introduction of Option and Iteration into
Pregroup Grammars. In Claudia C ASADIO et Joachim L AMBEK, réds., Computational Algebric
Approaches to Morphology and Syntax, pages 85–107. Polimetrica, Monza (Milan), Italy, 2008
112
S. B OULAKNADEL. Traitement Automatique des Langues et Recherche d’Information en langue
arabe dans un domaine de spécialité : Apport des connaissances morphologiques et syntaxiques
pour l’indexation. Thèse de doctorat, 2008
E. M ORIN. Synergie des approches et des ressources déployées pour le traitement de l’écrit. Hdr,
2007
E. M OREAU. Acquisition de grammaires lexicalisées pour les langues naturelles. Thèse de doctorat, 2006
B. G RAU, O. F ERRET, M. H URAULT -P LANTET, L. M ONCEAUX, I. R OBBA, A. V ILNAT, et
C. J ACQUEMIN. Coping with Alternate Formulations of Questions and Answers. In Strzalkowski
& Harabagiu ( EDS ), réd., Advances in Open-Domain Question-Answering, volume 2, pages 189–
226. Springer Netherlands, 2006
E. D UBREIL. La dimension argumentative des collocations textuelles en corpus électronique
spécialisé au domaine du TAL(N). Thèse de doctorat, 2006
B. D AILLE, K. K AGEURA, et M.-C. L’H OMME. Proceedings, Workshop Multilingual and
Comparative Perspectives in Specialized Language Resources (MCPSLR 2008), LREC 2008.
ELDA/ELRA, 2008
Y. N AKAO, L. G OEURIOT, et B. D AILLE. Analyse de la modalité dans un corpus spécialisé multilingue. In Les Huitièmes Journées scientifiques du réseau lexicologie, terminologie et traduction
(LTT 2009), 2009, Portugal
D. B ÉCHET et A. F ORET. Analyses et Acquisition de Grammaires Catégorielles et de Prégroupes.
In Atelier “Grammaires de prégroupes et grammaires de types” du 76ème Congrès de l’Acfas,
2008, Canada
M. V ERNIER, L. M ONCEAUX, B. D AILLE, et E. D UBREIL. Catégorisation sémantico-discursive
des évaluations exprimées dans la blogosphère. In Actes, 16ème conférence sur le Traitement
Automatique des Langues Naturelles (TALN 2009), session poster, 2009, France
TALN
113
N. H ERNANDEZ, F. P OULARD, S. A FANTENOS, M. V ERNIER, et J. R OCHETEAU. Apache UIMA
pour le Traitement Automatique des Langues, 2009
115
Les chercheurs du LINA publient également hors des thématiques des équipes. Quand ce travail est
de qualité, le LINA veut encourager une continuité (voir le rapport scientifique) ; dans cette section nous
regroupons ces premiers travaux.
C. E NGUEHARD. Vote par internet : failles techniques et recul démocratique. Jus Politicum, 2009,
(2) : 1–23. 23 pages
C. E NGUEHARD. Le vote électronique en France : opaque & invérifiable. Terminal, 2007, (99100) : 199–214
Articles dans des revues sans Comité de Lecture (ASCL)
C. E NGUEHARD. Analyse des vulnérabilités de trois modes de vote à distance. Legalis.net, 2008,
3 : 13–31. 15 pages
C. E NGUEHARD, W. D. A. C YBIS, et G. M ICHEL. Vote électronique : informatiser au service des
électeurs. In Colibri, 2009, Bento Gonçalves, Brésil, page publication électronique
C. E NGUEHARD. Transparency in Electronic Voting : the Great Challenge. In IPSA International
Political Science Association RC 10 on Electronic Democracy. Conference on “E-democracy State of the art and future agenda”, 2008, Stellenbosch, Afrique Du Sud, page édition électronique
C. E NGUEHARD. Vote électronique et preuve papier. In 14 ème Colloque international “De
l’insécurité numérique à la vulnérabilité de la société”, 2007, Paris, France, page publication
électronique
116
C. E NGUEHARD. Le vote électronique en France : opaque & invérifiable. In Colloque International
en Sciences de l’Information et de la Communication “Pratiques et usages organisationnels des
sciences et technologie de l’information et de la communication”, 2006, Rennes, France, pages
118–121
C. E NGUEHARD et R. L EHN. Vulnerability analysis of three remote voting methods. In XXI IPSA
World Congress of Political Science, RC10 Electronic Democracy - Dilemmas of Change ?, 2009,
Santiago, Chili
C. E NGUEHARD. Transparence, élections et vote électronique, 2009. Journée d’études de l’Association Française de Droit Constitutionnel“Démocratie électronique”. 13 pages. Besançon, 13
novembre 2009.
C. E NGUEHARD et J.-D. G RATON. Electronic Voting : the Devil is in the Details, 2008. 9 pages
Laboratoire d’Informatique de Nantes Atlantique
LINA, Université de Nantes – 2, rue de la Houssinière – BP 92208 – 44322 NANTES CEDEX 3
Tél. : 02 51 12 58 17 – Fax. : 02 51 12 58 97 – http://www.lina.univ-nantes.fr/

2006-2010`s Bibliography - Lina

Transcription

Documents pareils

High frequency vibration influence on heat transfer

Pour un cerveau en bonne santé, il faut moins

Doctoral dissertations and Habilitation theses Articles in

Le petit Lexique de Oummi(version phonétique)

La sépulture scandinave à barque de l`île de Groix - Hal-SHS

Diffusions scientifiques - Université Paris Ouest Nanterre