Frédéric Prost

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A rule-based procedure for graph query solving	2024-01-12	Paper
scientific article; zbMATH DE number 7456050 (Why is no real title available?)	2022-01-12	Paper
scientific article; zbMATH DE number 7456050 (Why is no real title available?) (available as arXiv preprint)	2022-01-12	Paper
The pullback-pushout approach to algebraic graph transformation Graph Transformation	2019-11-22	Paper
Algebraic graph rewriting with controlled embedding Theoretical Computer Science	2019-11-22	Paper
The PBPO graph transformation approach Journal of Logical and Algebraic Methods in Programming	2019-03-27	Paper
Parallelism in AGREE transformations Graph Transformation	2016-09-05	Paper
AGREE -- algebraic graph rewriting with controlled embedding Graph Transformation	2015-09-22	Paper
AGREE -- algebraic graph rewriting with controlled embedding Graph Transformation	2015-09-22	Paper
Modeling pointer redirection as cyclic term-graph rewriting Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Graph transformation with focus on incident edges Lecture Notes in Computer Science	2012-10-02	Paper
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions Lecture Notes in Computer Science	2009-10-22	Paper
A Heterogeneous Pushout Approach to Term-Graph Transformation Rewriting Techniques and Applications	2009-06-30	Paper
Taming Non-compositionality Using New Binders Lecture Notes in Computer Science	2009-02-17	Paper
Adjunction for Garbage Collection with Application to Graph Rewriting Lecture Notes in Computer Science	2008-01-02	Paper
scientific article; zbMATH DE number 1341616 (Why is no real title available?)	2000-07-09	Paper
scientific article; zbMATH DE number 1301731 (Why is no real title available?)	1999-12-13	Paper

Research outcomes over time

This page was built for person: Frédéric Prost