( en | de | ru )

 

Disambiguation of "Massé, Damien"

Author of the publication

copydeleteadd this publication to your clipboard
Multiobjective Optimization for Multimode Transportation Problems.

, , , and . Adv. Oper. Res., (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Philippe Massé

Pierre-Yves Massé

Damien Guironnet

Catalytic polymerization of acrylates and in supercritical carbon dioxide. Uni Konstanz, (2009)

Damien Neyret

Damien Ciabrini

 

Other publications of authors with the same name

Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties.. SAS, volume 2477 of Lecture Notes in Computer Science, page 428-443. Springer, (2002)Combining Forward and Backward Analyses of Temporal Properties.. PADO, volume 2053 of Lecture Notes in Computer Science, page 103-116. Springer, (2001)Property Checking Driven Abstract Interpretation-Based Static Analysis.. VMCAI, volume 2575 of Lecture Notes in Computer Science, page 56-69. Springer, (2003)Policy Iteration-Based Conditional Termination and Ranking Functions.. VMCAI, volume 8318 of Lecture Notes in Computer Science, page 453-471. Springer, (2014)Preface., and . NSAD@SAS, volume 288 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2011)Abstract Domains for Property Checking Driven Analysis of Temporal Properties.. AMAST, volume 3116 of Lecture Notes in Computer Science, page 349-363. Springer, (2004)Kleene Algebra to Compute Invariant Sets of Dynamical Systems., , , and . Algorithms, 15 (3): 90 (2022)Proving Termination by Policy Iteration.. NSAD@SAS, volume 287 of Electronic Notes in Theoretical Computer Science, page 77-88. Elsevier, (2012)