Frédéric Prost - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2023

A Rule-Based Procedure for Graph Query SolvingDominique Duval, Rachid Echahed, Frédéric Prost. gg 2023: 163-183 [doi]

2020

Algebraic graph rewriting with controlled embeddingAndrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro 0001. TCS, 802:19-37, 2020. [doi]

2019

The PBPO graph transformation approachAndrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro. jlp, 103:213-231, 2019. [doi]

2017

The Pullback-Pushout Approach to Algebraic Graph TransformationAndrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro. gg 2017: 3-19 [doi]

2016

Parallelism in AGREE TransformationsAndrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro. gg 2016: 37-53 [doi]

2015

AGREE - Algebraic Graph Rewriting with Controlled EmbeddingAndrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro. gg 2015: 35-51 [doi]

2014

Transformation of Attributed Structures with CloningDominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro. FASE 2014: 310-324 [doi]

2013

Gardner's Minichess Variant is SolvedMehdi Mhalla, Frédéric Prost. icga, 36(4):215-221, 2013. [doi]

2012

Graph Transformation with Focus on Incident EdgesDominique Duval, Rachid Echahed, Frédéric Prost. gg 2012: 156-171 [doi]

On the Impact of Information Technologies on Society: an Historical Perspective through the Game of ChessFrédéric Prost. BIRTHDAY 2012: 268-277 [doi]

2011

Categorical Abstract Rewriting Systems and Functoriality of Graph TransformationDominique Duval, Rachid Echahed, Frédéric Prost. eceasst, 41, 2011. [doi]

Enforcing Dynamic Interference PolicyFrédéric Prost. socialcom 2011: 1111-1118 [doi]

2009

A Heterogeneous Pushout Approach to Term-Graph TransformationDominique Duval, Rachid Echahed, Frédéric Prost. RTA 2009: 194-208 [doi]

2007

Modeling Pointer Redirection as Cyclic Term-graph RewritingDominique Duval, Rachid Echahed, Frédéric Prost. ENTCS, 176(1):65-84, 2007. [doi]

Adjunction for Garbage Collection with Application to Graph RewritingDominique Duval, Rachid Echahed, Frédéric Prost. RTA 2007: 122-136 [doi]

Taming Non-compositionality Using New BindersFrédéric Prost. uc 2007: 150-162 [doi]

2005

Specializing Narrowing for Timetable Generation: A Case StudyNadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost. PADL 2005: 22-36 [doi]

Handling declared information leakage: extended abstractRachid Echahed, Frédéric Prost. POPL 2005: 1-4 [doi]

Security policy in a declarative styleRachid Echahed, Frédéric Prost. ppdp 2005: 153-163 [doi]

2003

Statically assuring secrecy for dynamic concurrent processesRachid Echahed, Frédéric Prost, Wendelin Serwe. ppdp 2003: 91-101 [doi]

2001

On the semantics of non-interference type-based analysisFrédéric Prost. jfla 2001: 97-112

2000

A Static Calculus of Dependencies for the lambda-CubeFrédéric Prost. lics 2000: 267-276 [doi]

1999

A formalization of Static Analyses in System FFrédéric Prost. cade 1999: 252-266 [doi]

1996

Detecting and Removing Dead-Code using Rank 2 IntersectionFerruccio Damiani, Frédéric Prost. TYPES 1998: 66-87

Sign in or sign up to see more results.

runs on WebDSL