Publications in collaboration with researchers from University of Paris-Saclay (3)

2019

  1. A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric

    Science of Computer Programming, Vol. 184

2006

  1. Higher-order termination: From kruskal to computability

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1999

  1. Higher-order recursive path ordering

    Proceedings - Symposium on Logic in Computer Science, pp. 402-411