Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (37)

Communication dans un congrès 27/09/2025

Gwen Salaün , Lina Ye

Rapport 27/09/2025

Gwen Salaün , Lina Ye

Article dans une revue 27/09/2025

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

Communication dans un congrès 27/09/2025

Radu Mateescu , Gwen Salaün , Lina Ye

Communication dans un congrès 11/09/2025

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

Poster de conférence 20/08/2025

Gustave Cortal , Alain Finkel , Patrick Paroubek , 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

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