Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (37)

Communication dans un congrès 20/03/2025

Lulu He , Philippe Dague , Lina Ye

Communication dans un congrès 19/03/2025

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 18/03/2025

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 17/03/2025

Hassan Ibrahim , Philippe Dague , Alban Grastien , Lina Ye , Laurent Simon

Communication dans un congrès 17/03/2025

Hassan Ibrahim , Philippe Dague , Alban Grastien , Lina Ye , Laurent Simon

Communication dans un congrès 26/02/2025

Yuhong Yan , Lina Ye , Philippe Dague

Communication dans un congrès 26/02/2025

Lina Ye , Philippe Dague

Communication dans un congrès 26/02/2025

Gwen Salaün , Lina Ye

Rapport 26/02/2025

Gwen Salaün , Lina Ye

Article dans une revue 26/02/2025

Matthias Güdemann , Pascal Poizat , Gwen Salaün , Lina Ye