Frédéric Prost

According to our database1, Frédéric Prost authored at least 24 papers between 1996 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
The PBPO graph transformation approach.
J. Log. Algebr. Meth. Program., 2019

2017
The Pullback-Pushout Approach to Algebraic Graph Transformation.
Proceedings of the Graph Transformation - 10th International Conference, 2017

2016
Parallelism in AGREE Transformations.
Proceedings of the Graph Transformation - 9th International Conference, 2016

2015
AGREE - Algebraic Graph Rewriting with Controlled Embedding.
Proceedings of the Graph Transformation - 8th International Conference, 2015

2014
Transformation of Attributed Structures with Cloning.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
Gardner's Minichess Variant is Solved.
ICGA Journal, 2013

2012
Graph Transformation with Focus on Incident Edges.
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.
Proceedings of the Turing-100, 2012

2011
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation.
ECEASST, 2011

Enforcing Dynamic Interference Policy.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

2009
Twilight Chess - A Chess Variant Designed to Rehabilitate Human vs. Computer Challenge.
ICGA Journal, 2009

Reasoning about Entanglement and Separability in Quantum Higher-Order Functions.
Proceedings of the Unconventional Computation, 8th International Conference, 2009

A Heterogeneous Pushout Approach to Term-Graph Transformation.
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2007
Modeling Pointer Redirection as Cyclic Term-graph Rewriting.
Electr. Notes Theor. Comput. Sci., 2007

Taming Non-compositionality Using New Binders.
Proceedings of the Unconventional Computation, 6th International Conference, 2007

Adjunction for Garbage Collection with Application to Graph Rewriting.
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2005
Security policy in a declarative style.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Handling declared information leakage: extended abstract.
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

Specializing Narrowing for Timetable Generation: A Case Study.
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2003
Statically assuring secrecy for dynamic concurrent processes.
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.
Proceedings of the Journées francophones des langages applicatifs (JFLA'01), 2001

2000
A Static Calculus of Dependencies for the lambda-Cube.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999
A formalization of Static Analyses in System F.
Proceedings of the Automated Deduction, 1999

1996
Detecting and Removing Dead-Code using Rank 2 Intersection.
Proceedings of the Types for Proofs and Programs, 1996


  Loading...