Laurent Thiry

Publication Activity (10 Years)

Years Active: 1999-2018
Publications (10 Years): 4

Top Topics

Semantic Technologies

Mutual Understanding

Top Venues

Int. J. Web Appl.

Publications

Laurent Thiry, Heng Zhao, Michel Hassenforder
Categorical Models for BigData. BigData Congress (2018)
Heng Zhao, Laurent Thiry, Michel Hassenforder
Category Theory for Optimization. ICSC (2018)
Laurent Thiry, Heng Zhao, Michel Hassenforder
Categories for (Big) Data models and optimization. J. Big Data 5 (2018)
Mariem Mahfoudh, Germain Forestier, Laurent Thiry, Michel Hassenforder
Comment fusionner des ontologies avec la réécriture de graphes ? Tech. Sci. Informatiques 35 (1) (2016)
Mariem Mahfoudh, Germain Forestier, Laurent Thiry, Michel Hassenforder
Algebraic graph transformations for formalizing ontology changes and evolving ontologies. Knowl. Based Syst. 73 (2015)
Mariem Mahfoudh, Laurent Thiry, Germain Forestier, Michel Hassenforder
Une nouvelle formalisation des changements ontologiques composés et complexes. EGC (2015)
Laurent Thiry, Mariem Mahfoudh, Michel Hassenforder
A Functional Inference System for the Web. Int. J. Web Appl. 6 (1) (2014)
Mariem Mahfoudh, Germain Forestier, Laurent Thiry, Michel Hassenforder
Approche formelle de fusion d'ontologies à l'aide des grammaires de graphes typés. EGC (2014)
Mariem Mahfoudh, Laurent Thiry, Germain Forestier, Michel Hassenforder
Algebraic Graph Transformations for Merging Ontologies. MEDI (2014)
Laurent Thiry, Michel Hassenforder
A Calculus for (Meta)Models and Transformations. Int. J. Softw. Eng. Knowl. Eng. 24 (5) (2014)
Frédéric Fondement, Pierre-Alain Muller, Laurent Thiry, Brice Wittmann, Germain Forestier
Big Metamodels Are Evil - Package Unmerge - A Technique for Downsizing Metamodels. MoDELS (2013)
Mariem Mahfoudh, Laurent Thiry, Germain Forestier, Michel Hassenforder
Adaptation consistante d'ontologies à l'aide des grammaires de graphes. IC (2013)
Mariem Mahfoudh, Germain Forestier, Laurent Thiry, Michel Hassenforder
Consistent Ontologies Evolution Using Graph Grammars. KSEM (2013)
Laurent Thiry, Michel Hassenforder
Surfing with Fun. TASE (2013)
Laurent Thiry, Frédéric Fondement, Pierre-Alain Muller
Categorical Reasoning about Meta-models. TASE (2012)
Laurent Thiry
Une interprétation fonctionnelle de l'IDM. Tech. Sci. Informatiques 29 (4-5) (2010)
Laurent Thiry, Bernard Thirion
Functional metamodels for systems and software. J. Syst. Softw. 82 (7) (2009)
Dieu Donné Okalas Ossami, Jean-Marc Mota, Laurent Thiry, Jean-Marc Perronne, Jean-Louis Boulanger, Georges Mariano
A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml. ICSOFT (SE) (2007)
Jean-Marc Perronne, Laurent Thiry, Bernard Thirion
Architectural concepts and Design Patterns for behavior modeling and integration. Math. Comput. Simul. 70 (5-6) (2006)
Jean-Marc Perronne, Alban Rasse, Laurent Thiry, Bernard Thirion
A modeling framework for complex behavior modeling and integration. IADIS AC (2005)
Laurent Thiry, Jean-Marc Perronne, Bernard Thirion
Patterns for behavior modeling and integration. Comput. Ind. 55 (3) (2004)
Laurent Thiry, Bernard Thirion
Object Oriented Modelling and Simulation of Complex Control Systems. ESM (2002)
Yves Bertot, Laurence Rideau, Loïc Pottier, Laurent Thiry
CtCoq: an environment for mathematical reasoning. SIGSAM Bull. 33 (3) (1999)