List of all-time publications by Joan Thibault
Search Results –> Url version détaillée , Url version formatée
Criteria : Author : “Joan,Thibault”
Number of occurrences founded : 8.
Criteria : Author : “Joan,Thibault”
Number of occurrences founded : 8.
- titre
- Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systems
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- Modelica 2023 – 15th International Modelica Conference, Oct 2023, Aachen, Germany. pp.10, ⟨10.3384/ecp204⟩
- titre
- Algorithms for the Structural Analysis of Multimode Modelica Models
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- Electronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩
- titre
- Constraint System Decomposition
- auteur
- Joan Thibault
- article
- [Research Report] RR-9478, Inria Rennes. 2022, pp.1-68
- titre
- Implicit structural analysis of multimode DAE systems
- auteur
- Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- HSCC 2020 – 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney New South Wales Australia, France. pp.1-11, ⟨10.1145/3365365.3382201⟩
- titre
- Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems
- auteur
- Benoit Caillaud, Mathias Malandain, Joan Thibault
- article
- HSCC 2020 – 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney, Australia. pp.1
- titre
- Implicit Structural Analysis of Multimode DAE Systems
- auteur
- Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- [Research Report] RR-9322, Inria Rennes – Bretagne Atlantique; IRISA, Université de Rennes. 2020
- titre
- Ordered Functional Decision Diagrams
- auteur
- Joan Thibault, Khalil Ghorbal
- article
- [Research Report] RR-9333, Inria. 2020
- titre
- Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams
- auteur
- Joan Thibault, Khalil Ghorbal
- article
- [Research Report] RR-9306, INRIA Rennes – Bretagne Atlantique and University of Rennes 1, France. 2019
