Search - Archive ouverte HAL Access content directly

Filter your results

53 Results
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⟩
Journal articles hal-01571243v1

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⟩
Conference papers hal-01353000v1

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⟩
Journal articles hal-01765512v1

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⟩
Journal articles istex lirmm-00269794v1

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⟩
Journal articles hal-02078286v1

Web services composition is decidable

Ramy Hassen , Farouk Toumani , Lhouari Nourine
11th International Workshop on the Web and Databases, 2008, BC, Canada
Conference papers hal-02079184v1

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⟩
Conference papers hal-02078296v1
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
Preprints, Working Papers, ... hal-01786826v2

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⟩
Book sections 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
Conference papers 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⟩
Journal articles hal-01765442v1

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⟩
Journal articles hal-01765527v1

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⟩
Journal articles 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
Journal articles hal-01261861v1

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
Conference papers hal-01381602v1
Image document

Complexity aspects of web services composition

Karima Ennaoui , Lhouari Nourine , Farouk Toumani
2015
Preprints, Working Papers, ... hal-01179719v1

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⟩
Journal articles lirmm-00105351v1

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⟩
Conference papers istex hal-02083528v1

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⟩
Journal articles istex hal-01765515v1

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⟩
Journal articles hal-01765521v1

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
Conference papers hal-02093571v1
Image document

Polynomial delay Hybrid algorithms to enumerate candidate keys for a relation

Karima Ennaoui , Lhouari Nourine
BDA 2016, Nov 2016, Poitiers, France
Conference papers hal-03124033v1
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⟩
Book sections hal-01229015v1

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⟩
Journal articles inria-00099966v1

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⟩
Journal articles hal-01765517v1

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⟩
Journal articles 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⟩
Conference papers hal-02288666v1

Dualization in lattices given by implicational bases

Oscar Defrain , Lhouari Nourine
Theoretical Computer Science, 2020, 814, pp.169-176. ⟨10.1016/j.tcs.2020.01.028⟩
Journal articles hal-03181679v1
Image document

Reasoning in description logics with variables: preliminary results regarding the EL logic.

Lakhdar Akroun , Lhouari Nourine , Farouk Toumani
28th International Workshop on Description Logics, Jun 2015, Athenes, Greece. pp.12
Conference papers hal-01163342v1

Efficient algorithms on distributive lattices

Michel Habib , Raoul Medina , Lhouari Nourine , George Steiner
Discrete Applied Mathematics, 2001, 110 (2-3), pp.169 - 187. ⟨10.1016/S0166-218X(00)00258-4⟩
Journal articles hal-01765516v1