Frédéric Prost

Available identifiers

zbMath Open prost.fredericWikidataQ102290081 ScholiaQ102290081MaRDI QIDQ1734524

List of research outcomes

Publication	Date of Publication	Type
A rule-based procedure for graph query solving	2024-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5021220	2022-01-12	Paper
The pullback-pushout approach to algebraic graph transformation	2019-11-22	Paper
Algebraic graph rewriting with controlled embedding	2019-11-22	Paper
The PBPO graph transformation approach	2019-03-27	Paper
Parallelism in AGREE transformations	2016-09-05	Paper
AGREE -- algebraic graph rewriting with controlled embedding	2015-09-22	Paper
Modeling pointer redirection as cyclic term-graph rewriting	2013-12-20	Paper
Graph transformation with focus on incident edges	2012-10-02	Paper
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions	2009-10-22	Paper
A Heterogeneous Pushout Approach to Term-Graph Transformation	2009-06-30	Paper
Taming Non-compositionality Using New Binders	2009-02-17	Paper
Adjunction for Garbage Collection with Application to Graph Rewriting	2008-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4263165	2000-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4246944	1999-12-13	Paper

Research outcomes over time

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