Travelled to:1 × Brazil
1 × Germany
1 × Portugal
1 × Sweden
2 × France
2 × Italy
2 × USA
Collaborated with:R.Echahed D.Duval ∅ L.Ribeiro W.Serwe A.Corradini N.Brauner G.Finke H.Gregor
Talks about:graph (5) transform (4) static (3) rewrit (3) system (2) heterogen (1) structur (1) functori (1) calculus (1) attribut (1)
Person: Frédéric Prost
DBLP: Prost:Fr=eacute=d=eacute=ric
Contributed to:
2015
20142012
2011
20092007
2005
20052003
2000
1999Wrote 11 papers:
- ICGT-2015-CorradiniDEPR #algebra #graph grammar #named
- AGREE — Algebraic Graph Rewriting with Controlled Embedding (AC, DD, RE, FP, LR), pp. 35–51.
- FASE-2014-DuvalEPR
- Transformation of Attributed Structures with Cloning (DD, RE, FP, LR), pp. 310–324.
- ICGT-2012-DuvalEP #graph transformation
- Graph Transformation with Focus on Incident Edges (DD, RE, FP), pp. 156–171.
- GT-VMT-2011-DuvalEP #category theory #graph transformation #term rewriting
- Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).
- RTA-2009-DuvalEP #approach #category theory #graph transformation
- A Heterogeneous Pushout Approach to Term-Graph Transformation (DD, RE, FP), pp. 194–208.
- RTA-2007-DuvalEP #garbage collection #graph grammar
- Adjunction for Garbage Collection with Application to Graph Rewriting (DD, RE, FP), pp. 122–136.
- PADL-2005-BraunerEFGP #case study #generative
- Specializing Narrowing for Timetable Generation: A Case Study (NB, RE, GF, HG, FP), pp. 22–36.
- PPDP-2005-EchahedP #declarative #policy #security
- Security policy in a declarative style (RE, FP), pp. 153–163.
- PPDP-2003-EchahedPS #concurrent #process
- Statically assuring secrecy for dynamic concurrent processes (RE, FP, WS), pp. 91–101.
- LICS-2000-Prost #calculus #dependence
- A Static Calculus of Dependencies for the λ-Cube (FP), pp. 267–276.
- CADE-1999-Prost #analysis #formal method #system f
- A formalization of Static Analyses in System F (FP), pp. 252–266.