Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (37)

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

Communication dans un congrès 26/02/2025

Lina Ye , Philippe Dague , Lulu He

Communication dans un congrès 06/01/2025

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

Article dans une revue 28/12/2024

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 28/11/2024

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 03/09/2024

Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois

Communication dans un congrès 03/09/2024

Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois

Communication dans un congrès 03/09/2024

Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois

Article dans une revue 14/05/2024

Lina Ye , Philippe Dague