Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (37)

21/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

Communication dans un congrès 02/05/2025

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

Communication dans un congrès 17/04/2025

Yingmin Li , Lina Ye , Philippe Dague , Tarek Melliti

Article dans une revue 03/04/2025

Safouan Taha , Burkhart Wolff , Lina Ye

Article dans une revue 03/04/2025

Safouan Taha , Burkhart Wolff , Lina Ye

Communication dans un congrès 21/03/2025

Alain Finkel , Serge Haddad , Lina Ye

Poster de conférence 21/03/2025

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Poster de conférence 21/03/2025

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Communication dans un congrès 20/03/2025

Safouan Taha , Burkhart Wolff , Lina Ye