Malo Revel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2023–2026
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Complete Abstractions for Verification of Polymorphic Functions with Equality. | Malo Revel, Thomas Genet, Thomas P. Jensen |
| 2023 | ICAIL | Extracting ODRL Digital Right Representations from License Texts using AMR. | Malo Revel, Aurlien Lamercerie, Annie Foret, Zoltn Mikls |