Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (33)

Communication dans un congrè 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è 21/12/2024

Radu Mateescu , Gwen Salaün , Lina Ye

Rapport 21/12/2024

Gwen Salaün , Lina Ye

Communication dans un congrè 18/12/2024

Gwen Salaün , Lina Ye

Article dans une revue 16/12/2024

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

Communication dans un congrè 28/11/2024

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrè 18/11/2024

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

Communication dans un congrè 18/11/2024

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

Poster de conférence 23/10/2024

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye