Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (33)

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 01/07/2024

Lulu He , Philippe Dague , Lina Ye

Article dans une revue 17/05/2024

Safouan Taha , Burkhart Wolff , Lina Ye

Poster de conférence 17/05/2024

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye

Communication dans un congrès 17/05/2024

Safouan Taha , Burkhart Wolff , Lina Ye

Article dans une revue 17/05/2024

Safouan Taha , Burkhart Wolff , Lina Ye

Communication dans un congrès 17/05/2024

Alain Finkel , Serge Haddad , Lina Ye

Article dans une revue 14/05/2024

Lina Ye , Philippe Dague

Communication dans un congrès 16/04/2024

Lulu He , Lina Ye , Philippe Dague