New results for the 2-interval pattern problem Guillaume Blin1 , Guillaume Fertin1 , and Stéphane Vialette2 1 LINA, FRE CNRS 2729 Université de Nantes, 2 rue de la Houssinière

Source URL: pagesperso.lina.univ-nantes.fr

• NP-complete problems
• Trapezoid graph
• Interval graph
• Independent set
• Clique
• Matching
• Intersection graph
• Comparability graph
• Chordal graph
• Trivially perfect graph
• Interval scheduling

Extending the Hardness of RNA Secondary Structure Comparison Guillaume Blin1 , Guillaume Fertin2 , Irena Rusu2 , and Christine Sinoquet2 1 IGM-LabInfo - UMR CNRSUniversit´e de Marne-la-Vall´ee - France

Source URL: pagesperso.lina.univ-nantes.fr

• Computational phylogenetics
• Bioinformatics
• Molecular biology
• DNA
• Dynamic programming
• Equations
• Complementarity
• Nucleic acid secondary structure

A Pseudo-Boolean Framework for Computing Rearrangement Distances between Genomes with Duplicates S´ebastien Angibaud∗ Guillaume Fertin† St´ephane Vialette§

Source URL: pagesperso.lina.univ-nantes.fr

• Algebraic logic
• Boolean algebra

Lazy Evaluation for OCL Massimo Tisi1 , R´emi Douence2 , Dennis Wagelaar3 1 AtlanMod team (Inria, Mines Nantes, LINA), Nantes, France

Source URL: ceur-ws.org

• Functional programming
• Recursion
• Functional analysis
• Object Constraint Language
• Unified Modeling Language
• Monad
• ECO
• Lazy evaluation
• Tree traversal
• Dual space
• FO

Revisiting the Minimum Breakpoint Linearization ProblemI Laurent Bulteaua , Guillaume Fertina , Irena Rusua a Laboratoire d’Informatique de Nantes-Atlantique (LINA), UMR CNRS 6241 Universit´ e de Nantes, 2 rue de la H

Source URL: pagesperso.lina.univ-nantes.fr

• Bipartite graph
• Parity
• Measure theory
• Jet bundle

Algorithmic Aspects of Heterogeneous Biological Networks Comparison ? Guillaume Blin1 , Guillaume Fertin2 , Hafedh Mohamed-Babou2 , Irena Rusu2 , Florian Sikora1 , St´ephane Vialette1 1 Universit´e Paris-Est, LIGM - UM

Source URL: pagesperso.lina.univ-nantes.fr

• Graph theory
• Planar graphs
• Graph coloring
• Graph
• Outerplanar graph
• Vertex
• Tree
• Pathwidth
• Degeneracy

Trazabilidad y uso racional de medicamentos Lina Ornelas Instituto Federal de Acceso a la Información Pública (IFAI-México)

Source URL: www.redipd.es

June 23, :19 WSPC - Proceedings Trim Size: 9in x 6in

Source URL: pagesperso.lina.univ-nantes.fr

• Graph coloring
• NP-complete problems
• Graph theory
• Matching
• Color-coding
• Graph
• Chromatic polynomial
• Tree-depth

Maximum Motif Problem in Vertex-Colored Graphs ? Riccardo Dondi1 , Guillaume Fertin2 , and St´ephane Vialette3 1

Source URL: pagesperso.lina.univ-nantes.fr

• NP-complete problems
• Graph coloring
• Graph connectivity
• Combinatorial optimization
• Matching
• Vertex cover
• Bridge
• Color-coding
• Treewidth
• Neighbourhood
• Covering graph
• Incidence coloring

Sorting by Transpositions is Difficult Laurent Bulteau, Guillaume Fertin, Irena Rusu Laboratoire d’Informatique de Nantes-Atlantique (LINA), UMR CNRS 6241 Universit´e de Nantes, 2 rue de la Houssini`ere, 44322 Nantes

Source URL: pagesperso.lina.univ-nantes.fr

• Symbol
• operator