Laurent Thiry

According to our database, Laurent Thiry authored at least 23 papers between 1999 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Categories for (Big) Data models and optimization.

Laurent Thiry, Heng Zhao, Michel Hassenforder

J. Big Data, 2018

Category Theory for Optimization.

Heng Zhao, Laurent Thiry, Michel Hassenforder

Proceedings of the 12th IEEE International Conference on Semantic Computing, 2018

Categorical Models for BigData.

Laurent Thiry, Heng Zhao, Michel Hassenforder

Proceedings of the 2018 IEEE International Congress on Big Data, 2018

2016

Comment fusionner des ontologies avec la réécriture de graphes ?

Mariem Mahfoudh, Germain Forestier, Laurent Thiry, Michel Hassenforder

Tech. Sci. Informatiques, 2016

2015

Algebraic graph transformations for formalizing ontology changes and evolving ontologies.

Mariem Mahfoudh, Germain Forestier, Laurent Thiry, Michel Hassenforder

Knowl. Based Syst., 2015

Une nouvelle formalisation des changements ontologiques composés et complexes.

Mariem Mahfoudh, Laurent Thiry, Germain Forestier, Michel Hassenforder

Proceedings of the 15èmes Journées Francophones Extraction et Gestion des Connaissances, 2015

2014

A Functional Inference System for the Web.

Laurent Thiry, Mariem Mahfoudh, Michel Hassenforder

Int. J. Web Appl., 2014

A Calculus for (Meta)Models and Transformations.

Laurent Thiry, Michel Hassenforder

Int. J. Softw. Eng. Knowl. Eng., 2014

Algebraic Graph Transformations for Merging Ontologies.

Mariem Mahfoudh, Laurent Thiry, Germain Forestier, Michel Hassenforder

Proceedings of the Model and Data Engineering - 4th International Conference, 2014

Approche formelle de fusion d'ontologies à l'aide des grammaires de graphes typés.

Mariem Mahfoudh, Germain Forestier, Laurent Thiry, Michel Hassenforder

Proceedings of the 14èmes Journées Francophones Extraction et Gestion des Connaissances, 2014

2013

Surfing with Fun.

Laurent Thiry, Michel Hassenforder

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 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

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Consistent Ontologies Evolution Using Graph Grammars.

Mariem Mahfoudh, Germain Forestier, Laurent Thiry, Michel Hassenforder

Proceedings of the Knowledge Science, Engineering and Management, 2013

Adaptation consistante d'ontologies à l'aide des grammaires de graphes.

Mariem Mahfoudh, Laurent Thiry, Germain Forestier, Michel Hassenforder

Proceedings of the IC 2013 : 24es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 24th French Knowledge Engineering Conference), 2013

2012

Categorical Reasoning about Meta-models.

Laurent Thiry, Frédéric Fondement, Pierre-Alain Muller

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2010

Une interprétation fonctionnelle de l'IDM.

Laurent Thiry

Tech. Sci. Informatiques, 2010

2009

Functional metamodels for systems and software.

Laurent Thiry, Bernard Thirion

J. Syst. Softw., 2009

2007

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

Proceedings of the ICSOFT 2007, 2007

2006

Architectural concepts and Design Patterns for behavior modeling and integration.

Jean-Marc Perronne, Laurent Thiry, Bernard Thirion

Math. Comput. Simul., 2006

2005

A modeling framework for complex behavior modeling and integration.

Jean-Marc Perronne, Alban Rasse, Laurent Thiry, Bernard Thirion

Proceedings of the AC 2005, 2005

2004

Patterns for behavior modeling and integration.

Laurent Thiry, Jean-Marc Perronne, Bernard Thirion

Comput. Ind., 2004

2002

Object Oriented Modelling and Simulation of Complex Control Systems.

Laurent Thiry, Bernard Thirion

Proceedings of the 16^th European Simulation Multiconference: Modelling and Simulation 2002, 2002

1999

CtCoq: an environment for mathematical reasoning.

Yves Bertot, Laurence Rideau, Loïc Pottier, Laurent Thiry

SIGSAM Bull., 1999