Frédéric Prost

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

Inheritance and Blockchain: Thoughts and Open Questions.

[BibT_eX]

[DOI]

CoRR, 2022

On the Heritage of Crypto Assets - Tales From the Crypt Protocol.

[BibT_eX]

[DOI]

CoRR, 2022

A Rule-based Operational Semantics of Graph Query Languages.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Querying RDF Databases with Sub-CONSTRUCTs.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021

2020

Algebraic graph rewriting with controlled embedding.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

An Algebraic Graph Transformation Approach for RDF and SPARQL.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

All You Need Is CONSTRUCT.

[BibT_eX]

[DOI]

CoRR, 2020

The Epistemic Landscape: a Computability Perspective.

[BibT_eX]

[DOI]

CoRR, 2020

2019

The PBPO graph transformation approach.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

On foundational aspects of RDF and SPARQL.

[BibT_eX]

[DOI]

CoRR, 2019

2017

The Pullback-Pushout Approach to Algebraic Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 10th International Conference, 2017

2016

Parallel Clustering of Graphs for Anonymization and Recommender Systems.

[BibT_eX]

[DOI]

Jisang Yoon

CoRR, 2016

Parallelism in AGREE Transformations.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 9th International Conference, 2016

2015

AGREE - Algebraic Graph Rewriting with Controlled Embedding.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Transformation of Attributed Structures with Cloning (Long Version).

[BibT_eX]

[DOI]

CoRR, 2014

Transformation of Attributed Structures with Cloning.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Gardner's Minichess Variant is Solved.

[BibT_eX]

[DOI]

Mehdi Mhalla

J. Int. Comput. Games Assoc., 2013

2012

Graph Transformation with Focus on Incident Edges.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess.

[BibT_eX]

[DOI]

Proceedings of the Turing-100, 2012

2011

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Enforcing Dynamic Interference Policy.

[BibT_eX]

[DOI]

Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

2009

Twilight Chess - A Chess Variant Designed to Rehabilitate Human vs. Computer Challenge.

[BibT_eX]

[DOI]

J. Int. Comput. Games Assoc., 2009

Graph rewriting with polarized cloning

[BibT_eX]

[DOI]

CoRR, 2009

Reasoning about Entanglement and Separability in Quantum Higher-Order Functions.

[BibT_eX]

[DOI]

Chaouki Zerrari

Proceedings of the Unconventional Computation, 8th International Conference, 2009

A Heterogeneous Pushout Approach to Term-Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

A Cloning Pushout Approach to Term-Graph Transformation

[BibT_eX]

[DOI]

CoRR, 2008

A logical analysis of entanglement and separability in quantum higher-order functions

[BibT_eX]

[DOI]

Chaouki Zerrari

CoRR, 2008

2007

Taming Non-compositionality Using New Binders.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation, 6th International Conference, 2007

Adjunction for Garbage Collection with Application to Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006

Modeling Pointer Redirection as Cyclic Term-graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006

2005

Data-Structure Rewriting

[BibT_eX]

[DOI]

CoRR, 2005

Security policy in a declarative style.

[BibT_eX]

[DOI]

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Handling declared information leakage: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

Specializing Narrowing for Timetable Generation: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2003

Statically assuring secrecy for dynamic concurrent processes.

[BibT_eX]

[DOI]

Wendelin Serwe

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2001

On the semantics of non-interference type-based analysis.

[BibT_eX]

Proceedings of the Journées francophones des langages applicatifs (JFLA'01), 2001

2000

A Static Calculus of Dependencies for the lambda-Cube.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999

A formalization of Static Analyses in System F.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1999

1996

Detecting and Removing Dead-Code using Rank 2 Intersection.

[BibT_eX]

[DOI]

Ferruccio Damiani