Detecting and Removing Dead-Code using Rank 2 Intersection. - Ferruccio Damiani; Frédéric Prost (TYPES, 1996)

A formalization of Static Analyses in System F. - Frédéric Prost (CADE, 1999)

A Static Calculus of Dependencies for the lambda-Cube. - Frédéric Prost (LICS, 2000)

On the semantics of non-interference type-based analysis. - Frédéric Prost (JFLA, 2001)

Statically assuring secrecy for dynamic concurrent processes. - Rachid Echahed; Frédéric Prost; Wendelin Serwe (PPDP, 2003)

Specializing Narrowing for Timetable Generation: A Case Study. - Nadia Brauner; Rachid Echahed; Gerd Finke; Hanns Gregor; Frédéric Prost (PADL, 2005)

Handling declared information leakage: extended abstract. - Rachid Echahed; Frédéric Prost (WITS, 2005)

Security policy in a declarative style. - Rachid Echahed; Frédéric Prost (PPDP, 2005)

Data-Structure Rewriting - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2005)

Modeling Pointer Redirection as Cyclic Term-graph Rewriting. - Dominique Duval; Rachid Echahed; Frédéric Prost (TERMGRAPH@ETAPS, 2006)

Adjunction for Garbage Collection with Application to Graph Rewriting. - Dominique Duval; Rachid Echahed; Frédéric Prost (RTA, 2007)

Taming Non-compositionality Using New Binders. - Frédéric Prost (UC, 2007)

A logical analysis of entanglement and separability in quantum higher-order functions - Frédéric Prost; Chaouki Zerrari (CoRR, 2008)

A Cloning Pushout Approach to Term-Graph Transformation - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2008)

A Heterogeneous Pushout Approach to Term-Graph Transformation. - Dominique Duval; Rachid Echahed; Frédéric Prost (RTA, 2009)

Reasoning about Entanglement and Separability in Quantum Higher-Order Functions. - Frédéric Prost; Chaouki Zerrari (UC, 2009)

Graph rewriting with polarized cloning - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2009)

Twilight Chess - A Chess Variant Designed to Rehabilitate Human vs. Computer Challenge. - Frédéric Prost (J. Int. Comput. Games Assoc., 2009)

Enforcing Dynamic Interference Policy. - Frédéric Prost (SocialCom/PASSAT, 2011)

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. - Dominique Duval; Rachid Echahed; Frédéric Prost (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess. - Frédéric Prost (Turing-100, 2012)

Graph Transformation with Focus on Incident Edges. - Dominique Duval; Rachid Echahed; Frédéric Prost (ICGT, 2012)

Gardner's Minichess Variant is Solved. - Mehdi Mhalla; Frédéric Prost (J. Int. Comput. Games Assoc., 2013)

Transformation of Attributed Structures with Cloning. - Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (FASE, 2014)

Transformation of Attributed Structures with Cloning (Long Version). - Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (CoRR, 2014)

AGREE - Algebraic Graph Rewriting with Controlled Embedding. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2015)

Parallelism in AGREE Transformations. - Andrea Corradini 001; Dominique Duval; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2016)

Parallel Clustering of Graphs for Anonymization and Recommender Systems. - Frédéric Prost; Jisang Yoon (CoRR, 2016)

The Pullback-Pushout Approach to Algebraic Graph Transformation. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2017)

On foundational aspects of RDF and SPARQL. - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2019)

The PBPO graph transformation approach. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (J. Log. Algebraic Methods Program., 2019)

The Epistemic Landscape: a Computability Perspective. - Frédéric Prost (CoRR, 2020)

All You Need Is CONSTRUCT. - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2020)

An Algebraic Graph Transformation Approach for RDF and SPARQL. - Dominique Duval; Rachid Echahed; Frédéric Prost (GCM@STAF, 2020)

Algebraic graph rewriting with controlled embedding. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (Theor. Comput. Sci., 2020)

Querying RDF Databases with Sub-CONSTRUCTs. - Dominique Duval; Rachid Echahed; Frédéric Prost (SCSS, 2021)

A Rule-based Operational Semantics of Graph Query Languages. - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2022)

On the Heritage of Crypto Assets - Tales From the Crypt Protocol. - Frédéric Prost (CoRR, 2022)

Inheritance and Blockchain: Thoughts and Open Questions. - Frédéric Prost (CoRR, 2022)

A Rule-Based Procedure for Graph Query Solving. - Dominique Duval; Rachid Echahed; Frédéric Prost (ICGT, 2023)