Yohan Boichut, Jacques Chabin, Pierre Réty. Towards more precise rewriting approximations. Journal of Computer and System Sciences, 2019, 104, pp.131-148.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty. Transforming Prefix-Constrained or Controlled Rewrite Systems. 8th International Symposium on Symbolic Computation in Software Science (SCSS 2017), Apr 2017, Gammarth, Tunisia.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Yohan Boichut, Pierre Réty, Vivien Pelletier. Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. International Workshop on Rewriting Logic and its Applications, Apr 2016, Eindhoven, Netherlands.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Yohan Boichut, Jacques Chabin, Pierre Réty. Towards More Precise Rewriting Approximations. Proceedings of Language and Automata Theory and Applications (LATA), Mar 2015, Nice, France.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Nirina Andrianarivelo, Pierre Réty. Over-Approximating Terms Reachable by Context-Sensitive Rewriting. Reachability Problems – 9th International Workshop RP 2015, Sep 2015, Varsaw, Poland.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari, Pierre Réty. A ToolBox for Conservative XML Schema Evolution and Document Adaptation. Database and Expert Systems Applications – 25th International Conference, DEXA 2014, Sep 2014, Munich, Germany. pp.299–307.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Jacques Chabin, Mirian Halfeld Ferrari, Martin A. Musicante, Pierre Réty. Conservative Type Extensions for XML Data. Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2013, LNCS, 7980 (IX).
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Pierre Réty, Jacques Chabin, Joshua Amavi. Weak Inclusion for Recursive XML Types. CIAA – 2012, Jul 2012, Porto, Portugal. pp.78-89.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty. Weak Inclusion for XML Types. International Conference on Implementation and Application of Automata (CIAA), Jul 2011, Blois, France. pp.30-41.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty, Martin A. Musicante. Minimal Extensions of Tree Languages: Application to XML Schema Evolution. Journées informatiques de la région centre (JIRC), Jan 2010, Blois, France.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty. Minimal tree language extensions: a keystone of XML type compatibility and evolution. 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), Sep 2010, Natal, Brazil. pp.60-75.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty, Martin A. Musicante. Minimal Extensions of Tree Languages: Application to XML Schema Evolution. [Research Report] RR-2009-06, 2009.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Jacques Chabin, Pierre Réty. Visibly Pushdown Languages and Term Rewriting. International Symposium on Frontiers of Combining Systems, Sep 2007, Liverpool, United Kingdom. pp.252-266.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Jacques Chabin, Jing Chen, Pierre Réty. Synchronized ContextFree Tree-tuple Languages. [Research Report] RR-2006-13, 2006.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Pierre Réty, Jacques Chabin, Jing Chen. R-Unification thanks to Synchronized-ContextFree Languages. 19th Workshop on Unification (UNIF’2005), 2005, Japan.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Pierre Réty, Julie Vuotto. Context-free Tree Languages for Descendants. 5th Workshop on Rule-Based Programming (RULE’2004), 2004, Germany.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Durabilité, Management stratégique, stratégie et organisation numériques
Sébastien Limet, Pierre Réty, Helmut Seidl. Weakly Regular Relations and Applications. RTA 2001, 2001, Utrecht, Netherlands. pp.185-200.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Sébastien Limet, Pierre Réty. A New Result about the Decidability of the Existential One-Step Rewriting Theory. RTA 99, 1999, Trento, Italy. pp.118-132.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Sébastien Limet, Pierre Réty. Solving Disequations Modulo Some Class of Rewrite Systems. RTA 1998, 1998, Tsukuba, Japan. pp.121-135.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Sébastien Limet, Pierre Réty. E-Unification by Means of Tree Tuple Synchronized Grammars.. TAPSOFT 1997, 1997, Lille, France. pp.429-440.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
Sébastien Limet, Pierre Réty. Conditional Directed Narrowing.. 5th International Conference on Algebraic Methodology and Software Technology, 1996, Munich, Germany. pp.637-640.
Lien vers la publication (HAL)
Durabilité, Management stratégique, stratégie et organisation numériques
