Emmanuel Fleury
From MaRDI portal
Person:1885905
Available identifiers
zbMath Open fleury.emmanuelMaRDI QIDQ1885905
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q2849560 | 2013-09-20 | Paper |
| Accelerating Interpolation-Based Model-Checking | 2008-04-11 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| Updatable timed automata | 2004-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417927 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536359 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754107 | 2001-11-11 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Emmanuel Fleury
