Frédéric Prost

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 15

Top Topics

Graph Transformation

Recommender Systems

Top Venues

J. Log. Algebraic Methods Program.

Publications

Dominique Duval, Rachid Echahed, Frédéric Prost
A Rule-Based Procedure for Graph Query Solving. ICGT (2023)
Dominique Duval, Rachid Echahed, Frédéric Prost
A Rule-based Operational Semantics of Graph Query Languages. CoRR (2022)
Frédéric Prost
Inheritance and Blockchain: Thoughts and Open Questions. CoRR (2022)
Frédéric Prost
On the Heritage of Crypto Assets - Tales From the Crypt Protocol. CoRR (2022)
Dominique Duval, Rachid Echahed, Frédéric Prost
Querying RDF Databases with Sub-CONSTRUCTs. SCSS (2021)
Dominique Duval, Rachid Echahed, Frédéric Prost
An Algebraic Graph Transformation Approach for RDF and SPARQL. GCM@STAF (2020)
Frédéric Prost
The Epistemic Landscape: a Computability Perspective. CoRR (2020)
Dominique Duval, Rachid Echahed, Frédéric Prost
All You Need Is CONSTRUCT. CoRR (2020)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. 802 (2020)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
The PBPO graph transformation approach. J. Log. Algebraic Methods Program. 103 (2019)
Dominique Duval, Rachid Echahed, Frédéric Prost
On foundational aspects of RDF and SPARQL. CoRR (2019)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT (2017)
Andrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro
Parallelism in AGREE Transformations. ICGT (2016)
Frédéric Prost, Jisang Yoon
Parallel Clustering of Graphs for Anonymization and Recommender Systems. CoRR (2016)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT (2015)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR (2014)
Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Transformation of Attributed Structures with Cloning (Long Version). CoRR (2014)
Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Transformation of Attributed Structures with Cloning. FASE (2014)
Mehdi Mhalla, Frédéric Prost
Gardner's Minichess Variant is solved. CoRR (2013)
Mehdi Mhalla, Frédéric Prost
Gardner's Minichess Variant is Solved. J. Int. Comput. Games Assoc. 36 (4) (2013)
Frédéric Prost
On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess CoRR (2012)
Dominique Duval, Rachid Echahed, Frédéric Prost
Graph Transformation with Focus on Incident Edges. ICGT (2012)
Frédéric Prost
On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess. Turing-100 (2012)
Frédéric Prost
Enforcing Dynamic Interference Policy. SocialCom/PASSAT (2011)
Dominique Duval, Rachid Echahed, Frédéric Prost
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation CoRR (2011)
Dominique Duval, Rachid Echahed, Frédéric Prost
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Frédéric Prost
Twilight Chess - A Chess Variant Designed to Rehabilitate Human vs. Computer Challenge. J. Int. Comput. Games Assoc. 32 (2) (2009)
Dominique Duval, Rachid Echahed, Frédéric Prost
Graph rewriting with polarized cloning CoRR (2009)
Dominique Duval, Rachid Echahed, Frédéric Prost
A Heterogeneous Pushout Approach to Term-Graph Transformation. RTA (2009)
Frédéric Prost, Chaouki Zerrari
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions. UC (2009)
Dominique Duval, Rachid Echahed, Frédéric Prost
A Cloning Pushout Approach to Term-Graph Transformation CoRR (2008)
Frédéric Prost, Chaouki Zerrari
A logical analysis of entanglement and separability in quantum higher-order functions CoRR (2008)
Dominique Duval, Rachid Echahed, Frédéric Prost
Modeling Pointer Redirection as Cyclic Term-graph Rewriting. Electron. Notes Theor. Comput. Sci. 176 (1) (2007)
Dominique Duval, Rachid Echahed, Frédéric Prost
Adjunction for Garbage Collection with Application to Graph Rewriting. RTA (2007)
Frédéric Prost
Taming Non-compositionality Using New Binders. UC (2007)
Rachid Echahed, Frédéric Prost
Handling declared information leakage: extended abstract. WITS (2005)
Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost
Specializing Narrowing for Timetable Generation: A Case Study. PADL (2005)
Dominique Duval, Rachid Echahed, Frédéric Prost
Data-Structure Rewriting CoRR (2005)
Rachid Echahed, Frédéric Prost
Security policy in a declarative style. PPDP (2005)
Rachid Echahed, Frédéric Prost, Wendelin Serwe
Statically assuring secrecy for dynamic concurrent processes. PPDP (2003)
Frédéric Prost
On the semantics of non-interference type-based analysis. JFLA (2001)
Frédéric Prost
A Static Calculus of Dependencies for the lambda-Cube. LICS (2000)
Frédéric Prost
A formalization of Static Analyses in System F. CADE (1999)
Ferruccio Damiani, Frédéric Prost
Detecting and Removing Dead-Code using Rank 2 Intersection. TYPES (1996)