Instituto de Tecnología del Conocimiento (ITC)
Centre/Institute
![Foto de Instituto de Tecnología del Conocimiento (ITC)](/img/uploaded/0537A1CB55770E7FE3E05B6931EDA813.jpg)
![Foto de University of Paris-Saclay](/img/noimage_org.png)
University of Paris-Saclay
Gif-sur-Yvette, FranciaPublications in collaboration with researchers from University of Paris-Saclay (3)
2019
-
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
-
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
-
Higher-order recursive path ordering
Proceedings - Symposium on Logic in Computer Science, pp. 402-411