CtCoq: an environment for mathematical reasoning. - Yves Bertot; Laurence Rideau; Loïc Pottier; Laurent Thiry (SIGSAM Bull., 1999)

Object Oriented Modelling and Simulation of Complex Control Systems. - Laurent Thiry; Bernard Thirion (ESM, 2002)

Patterns for behavior modeling and integration. - Laurent Thiry; Jean-Marc Perronne; Bernard Thirion (Comput. Ind., 2004)

A modeling framework for complex behavior modeling and integration. - Jean-Marc Perronne; Alban Rasse; Laurent Thiry; Bernard Thirion (IADIS AC, 2005)

Architectural concepts and Design Patterns for behavior modeling and integration. - Jean-Marc Perronne; Laurent Thiry; Bernard Thirion (Math. Comput. Simul., 2006)

A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml. - Dieu Donné Okalas Ossami; Jean-Marc Mota; Laurent Thiry; Jean-Marc Perronne; Jean-Louis Boulanger; Georges Mariano (ICSOFT (SE), 2007)

Functional metamodels for systems and software. - Laurent Thiry; Bernard Thirion (J. Syst. Softw., 2009)

Une interprétation fonctionnelle de l'IDM. - Laurent Thiry (Tech. Sci. Informatiques, 2010)

Categorical Reasoning about Meta-models. - Laurent Thiry; Frédéric Fondement; Pierre-Alain Muller (TASE, 2012)

Adaptation consistante d'ontologies à l'aide des grammaires de graphes. - Mariem Mahfoudh; Laurent Thiry; Germain Forestier; Michel Hassenforder (IC, 2013)

Consistent Ontologies Evolution Using Graph Grammars. - Mariem Mahfoudh; Germain Forestier; Laurent Thiry; Michel Hassenforder (KSEM, 2013)

Big Metamodels Are Evil - Package Unmerge - A Technique for Downsizing Metamodels. - Frédéric Fondement; Pierre-Alain Muller; Laurent Thiry; Brice Wittmann; Germain Forestier (MoDELS, 2013)

Surfing with Fun. - Laurent Thiry; Michel Hassenforder (TASE, 2013)

Approche formelle de fusion d'ontologies à l'aide des grammaires de graphes typés. - Mariem Mahfoudh; Germain Forestier; Laurent Thiry; Michel Hassenforder (EGC, 2014)

Algebraic Graph Transformations for Merging Ontologies. - Mariem Mahfoudh; Laurent Thiry; Germain Forestier; Michel Hassenforder (MEDI, 2014)

A Calculus for (Meta)Models and Transformations. - Laurent Thiry; Michel Hassenforder (Int. J. Softw. Eng. Knowl. Eng., 2014)

A Functional Inference System for the Web. - Laurent Thiry; Mariem Mahfoudh; Michel Hassenforder (Int. J. Web Appl., 2014)

Une nouvelle formalisation des changements ontologiques composés et complexes. - Mariem Mahfoudh; Laurent Thiry; Germain Forestier; Michel Hassenforder (EGC, 2015)

Algebraic graph transformations for formalizing ontology changes and evolving ontologies. - Mariem Mahfoudh; Germain Forestier; Laurent Thiry; Michel Hassenforder (Knowl. Based Syst., 2015)

Comment fusionner des ontologies avec la réécriture de graphes ? - Mariem Mahfoudh; Germain Forestier; Laurent Thiry; Michel Hassenforder (Tech. Sci. Informatiques, 2016)

Categorical Models for BigData. - Laurent Thiry; Heng Zhao; Michel Hassenforder (BigData Congress, 2018)

Category Theory for Optimization. - Heng Zhao; Laurent Thiry; Michel Hassenforder (ICSC, 2018)

Categories for (Big) Data models and optimization. - Laurent Thiry; Heng Zhao; Michel Hassenforder (J. Big Data, 2018)