Laurent Thiry

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