Florent Avellaneda
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Learning communicating state machines | 2024-04-05 | Paper |
| Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach | 2024-03-14 | Paper |
| FSM inference from long traces | 2021-05-04 | Paper |
| Solving language equations using flanked automata | 2018-10-25 | Paper |
| Catching a structural bug with a flower Fundamenta Informaticae | 2016-05-02 | Paper |
| Exhibition of a structural bug with wings Application and Theory of Petri Nets and Concurrency | 2014-07-08 | Paper |
Research outcomes over time
This page was built for person: Florent Avellaneda
