Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

53 résultats
Page :
triés par

Extending Set-Based Dualization: Application to Pattern Mining

 Lhouari Nourine , Jean-Marc Petit
ECAI 2012, Aug 2012, Montpellier, France. pp.630-635, ⟨10.3233/978-1-61499-098-7-630⟩
Communication dans un congrès hal-01353000v1
Image document

On the Enumeration of Minimal Dominating Sets and Related Notions

 Mamadou Moustapha Kanté , Vincent Limouzy , Arnaud Mary , Lhouari Nourine
SIAM Journal on Discrete Mathematics, 2014, 28 (4), pp.1916 - 1929. ⟨10.1137/120862612⟩
Article dans une revue hal-01765527v1
Image document

Algorithms for k-meet-semidistributive lattices

 Laurent Beaudou , Arnaud Mary , Lhouari Nourine
Theoretical Computer Science, 2017, 658, pp.391 - 398. ⟨10.1016/j.tcs.2015.10.029⟩
Article dans une revue hal-01571243v1

A fast algorithm for building lattices

 Lhouari Nourine , Olivier Raynaud
Information Processing Letters, 1999, 71 (5-6), pp.199 - 204. ⟨10.1016/S0020-0190(99)00108-8⟩
Article dans une revue hal-01765512v1

On Decidability of Simulation in Data-Centeric Business Protocols

 Lakhdar Akroun , Boualem Benatallah , Lhouari Nourine , Farouk Toumani
Business Process Management Workshops - BPM 2012 International Workshops, 2012, Tallinn, Estonia. pp.352--363, ⟨10.1007/978-3-642-36285-9_39⟩
Communication dans un congrès hal-02078296v1

Web services composition is decidable

 Ramy Hassen , Farouk Toumani , Lhouari Nourine
11th International Workshop on the Web and Databases, 2008, BC, Canada
Communication dans un congrès hal-02079184v1

Decidability and Complexity of Web Service Business Protocol Synthesis

 Lhouari Nourine , Ramy Hassen , Farouk Toumani
Int. J. Cooperative Inf. Syst., 2016, 25, pp.1--43. ⟨10.1142/S0218843016500088⟩
Article dans une revue hal-02078286v1

A Simplicial Elimination Scheme for Meet-Semidistributive Lattices and Interval Collapsing

 Philippe Janssen , Lhouari Nourine
Algebra Universalis, 2003, 50 (2), pp. 171-178. ⟨10.1007/s00012-003-1833-1⟩
Article dans une revue istex lirmm-00269794v1

A Polynomial Delay Algorithm for Enumerating Minimal Dominating Sets in Chordal Graphs

 Mamadou Moustapha Kanté , Vincent Limouzy , Arnaud Mary , Lhouari Nourine , Takeaki Uno
WG 2015: Graph-Theoretic Concepts in Computer Science, pp.138-153, 2016, ⟨10.1007/978-3-662-53174-7_11⟩
Chapitre d'ouvrage hal-02082337v1

Decidability and Complexity of Simulation Preorder for Data-Centric Web Services

 Lakhdar Akroun , Boualem Benatallah , Lhouari Nourine , Farouk Toumani
ICSOC International Conference on Service Oriented Computing, 2014, Paris, France. pp.535-542
Communication dans un congrès hal-02147738v1

Drawing and encoding two-dimensional posets

 Colin de La Higuera , Lhouari Nourine
Theoretical Computer Science, 1997, 175 (2), pp.293 - 308. ⟨10.1016/S0304-3975(96)00205-8⟩
Article dans une revue hal-01765442v1

Gray Codes for the Ideals of Interval Orders

 Michel Habib , Lhouari Nourine , George Steiner
Journal of Algorithms in Cognition, Informatics and Logic, 1997, 25 (1), pp.52 - 66. ⟨10.1006/jagm.1997.0863⟩
Article dans une revue istex hal-01765510v1
Image document

Extended Dualization: Application to Maximal Pattern Mining

 Lhouari Nourine , Jean-Marc Petit
Theoretical Computer Science, 2016, 618, pp.107-121
Article dans une revue hal-01261861v1
Image document

Neighborhood Inclusions for Minimal Dominating Sets Enumeration: Linear and Polynomial Delay Algorithms in P_7-Free and P_8-Free Chordal Graphs

 Oscar Defrain , Lhouari Nourine
2019
Pré-publication, Document de travail hal-01786826v2
Image document

Beyond Hypergraph Dualization

 Lhouari Nourine , Jean-Marc Petit
Springer. Encyclopedia of Algorithms, , pp.189-192, 2016, ⟨10.1007/978-3-642-27848-8_719-1⟩
Chapitre d'ouvrage hal-01229015v1

The number of Moore families on n=6

 M. Habib , L. Nourine
Discrete Mathematics, 2005, 294 (3), pp.291 - 296. ⟨10.1016/j.disc.2004.11.010⟩
Article dans une revue hal-01765517v1

Computational aspects of the 2-dimension of partially ordered sets

 Michel Habib , Lhouari Nourine , Olivier Raynaud , Eric Thierry
Theoretical Computer Science, 2004, 312 (2-3), pp.401-431. ⟨10.1016/j.tcs.2003.10.029⟩
Article dans une revue inria-00099966v1

Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs

 Mamadou Moustapha Kanté , Lhouari Nourine
SIAM Journal on Discrete Mathematics, 2016, 30 (1), pp.311 - 326. ⟨10.1137/15M1013389⟩
Article dans une revue hal-01765439v1
Image document

Complexity of Conjunctive Regular Path Query Homomorphisms

 Laurent Beaudou , Florent Foucaud , Florent Madelaine , Lhouari Nourine , Gaétan Richard
Conference on Computability in Europe (CiE 2019), Jul 2019, Durham, United Kingdom. pp.108-119, ⟨10.1007/978-3-030-22996-2_10⟩
Communication dans un congrès hal-02288666v1

Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs

 Mamadou Moustapha Kanté , Lhouari Nourine
SOFSEM 2013: Theory and Practice of Computer Science, 2013, Špindlerův Mlýn, Czech Republic. pp.268--279, ⟨10.1007/978-3-642-35843-2_24⟩
Communication dans un congrès istex hal-02083528v1

Partial Duplication of Convex Sets in Lattices

 Laurent Beaudou , Lhouari Nourine
Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, 2016, Moscow, Russia. pp.33--43
Communication dans un congrès hal-02093571v1

Encoding of Multiple Inheritance Hierarchies and Partial Orders

 Yves Caseau , Michel Habib , Lhouari Nourine , Olivier Raynaud
Computational Intelligence, 1999, 15 (1), pp.50 - 62. ⟨10.1111/0824-7935.00081⟩
Article dans une revue istex hal-01765515v1
Image document

Complexity aspects of web services composition

 Karima Ennaoui , Lhouari Nourine , Farouk Toumani
2015
Pré-publication, Document de travail hal-01179719v1

An Exhaustive Generation of Mixed and Purely Negative Implications from Purely Positive Ones.

 Rokia Missaoui , Lhouari Nourine , Yoan Renaud
Concept Lattices and Their Applications (CLA2010), Oct 2010, Sevilla, Spain. pp.271-282
Communication dans un congrès hal-01381602v1

The Number of Moore Families on n=6

 Michel Habib , Lhouari Nourine
Discrete Mathematics, 2005, 294 (3), pp.291-296. ⟨10.1016/j.disc.2004.11.010⟩
Article dans une revue lirmm-00105351v1

Enumeration aspects of maximal cliques and bicliques

 Alain Gély , Lhouari Nourine , Bachir Sadi
Discrete Applied Mathematics, 2009, 157 (7), pp.1447 - 1459. ⟨10.1016/j.dam.2008.10.010⟩
Article dans une revue hal-01765521v1

Formal Approaches for Synthesis of Web Service Business Protocols

 Lhouari Nourine , Farouk Toumani
Web Services and Formal Methods - 9th International Workshop, 2012, Tallinn, Estonia. pp.1--15, ⟨10.1007/978-3-642-38230-7_1⟩
Communication dans un congrès istex hal-02078297v1

On the Neighbourhood Helly of Some Graph Classes and Applications to the Enumeration of Minimal Dominating Sets

 Mamadou Moustapha Kanté , Vincent Limouzy , Arnaud Mary , Lhouari Nourine
Algorithms and Computation - 23rd International Symposium, 2012, Taipei, Taiwan. pp.289--298, ⟨10.1007/978-3-642-35261-4_32⟩
Communication dans un congrès hal-02083535v1
Image document

Hierarchical decompositions of dihypergraphs

 Lhouari Nourine , Simon Vilmin
2020
Pré-publication, Document de travail hal-02876740v1
Image document

Polynomial delay Hybrid algorithms to enumerate candidate keys for a relation

 Karima Ennaoui , Lhouari Nourine
BDA 2016, Nov 2016, Poitiers, France
Communication dans un congrès hal-03124033v2
Page :