Informática
Faculté
University of Paris-Saclay
Gif-sur-Yvette, FranciaPublications en collaboration avec des chercheurs de University of Paris-Saclay (7)
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
-
Ferroelectric Control of Interface Spin Filtering in Multiferroic Tunnel Junctions
Physical Review Letters, Vol. 122, Núm. 3
2018
-
Changes of spin axis and rate of the asteroid (99942) Apophis during the 2029 close encounter with Earth: A constrained model
Astronomy and Astrophysics, Vol. 617
2017
-
Resonant electron tunnelling assisted by charged domain walls in multiferroic tunnel junctions
Nature Nanotechnology, Vol. 12, Núm. 7, pp. 655-662
2011
-
The Martian atmospheric boundary layer
Reviews of Geophysics, Vol. 49, Núm. 3
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