Frdric Prost
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1999–2014
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FASE | Transformation of Attributed Structures with Cloning. | Dominique Duval, Rachid Echahed, Frdric Prost, Leila Ribeiro |
| 2009 | UC | Reasoning about Entanglement and Separability in Quantum Higher-Order Functions. | Frdric Prost, Chaouki Zerrari |
| 2007 | UC | Taming Non-compositionality Using New Binders. | Frdric Prost |
| 2005 | PADL | Specializing Narrowing for Timetable Generation: A Case Study. | Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frdric Prost |
| 2005 | POPL | Handling declared information leakage: extended abstract. | Rachid Echahed, Frdric Prost |
| 2005 | PPDP | Security policy in a declarative style. | Rachid Echahed, Frdric Prost |
| 2003 | PPDP | Statically assuring secrecy for dynamic concurrent processes. | Rachid Echahed, Frdric Prost, Wendelin Serwe |
| 2000 | LICS | A Static Calculus of Dependencies for the lambda-Cube. | Frdric Prost |
| 1999 | CADE | A formalization of Static Analyses in System F. | Frdric Prost |