Mario LEZOCHE
- Associated professor | ||
| Section : | CNU - 61 | |
| Department: |
|
|
|
+33 (0)3 72 74 52 19 | |
|
mario.lezoche@univ-lorraine.fr | |
| Location: | Campus sciences - Bât. Henri Poincaré - Bureau n° 603A | |
 | Personal web page | |
|
|
Publications (HAL) | |
| Supervised PhD thesis : | ||
| 2021/11/24 2024/10/07 |
Formal methods for extracting and reusing knowledge from heterogeneous sources for semantic interoperability of distributed architectures (Nicolas LEUTWYLER) | |
| 2022/02/02 2024/10/25 |
Semi-automatic formalisation of a knowledge repository supporting the digital twin for building renovation: application to the IsoBIM project (Moslem SHEIKHKHOSHKAR) | |
| 2022/02/28 2025/02/27 |
Formal methods for knowledge extraction and reuse from heterogeneous sources for semantic interoperability of distributed architectures (Mariano Julian FERREIRONE) | |