Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (37)

Article dans une revue 12/08/2025

Igor Khmelnitsky , Daniel Neider , Rajarshi Roy , Xuan Xie , Benoît Barbot , Benedikt Bollig , Alain Finkel , Serge Haddad , Martin Leucker , Lina Ye

Communication dans un congrès 12/08/2025

Lina Ye , Philippe Dague

Communication dans un congrès 12/08/2025

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 12/08/2025

Lina Ye , Philippe Dague

Communication dans un congrès 22/07/2025

Wenbo Zhou , Philippe Dague , Lei Liu , Lina Ye , Fatiha Zaïdi

Communication dans un congrès 16/07/2025

Alain Finkel , Serge Haddad , Lina Ye

Communication dans un congrès 26/05/2025

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

Communication dans un congrès 26/05/2025

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

25/05/2025

Lulu He , Philippe Dague , Lina Ye

Communication dans un congrès 02/05/2025

Lina Ye , Philippe Dague , Delphine Longuet , Laura Brandán Briones , Agnes Madalinski