Follow
Frédéric Prost
Frédéric Prost
Maître de conférences Université Grenoble Alpes
Verified email at imag.fr - Homepage
Title
Cited by
Cited by
Year
AGREE–algebraic graph rewriting with controlled embedding
A Corradini, D Duval, R Echahed, F Prost, L Ribeiro
International Conference on Graph Transformation, 35-51, 2015
422015
Security policy in a declarative style
R Echahed, F Prost
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
382005
Detecting and removing dead-code using rank 2 intersection
F Damiani, F Prost
International Workshop on Types for Proofs and Programs, 66-87, 1996
281996
The PBPO graph transformation approach
A Corradini, D Duval, R Echahed, F Prost, L Ribeiro
Journal of Logical and Algebraic Methods in Programming 103, 213-231, 2019
272019
Querying semantic trajectory episodes
TP Nogueira, H Martin
Proceedings of the Fourth ACM SIGSPATIAL International Workshop on Mobile …, 2015
272015
A static calculus of dependencies for the/spl lambda/-cube
F Prost
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
212000
Transformation of attributed structures with cloning
D Duval, R Echahed, F Prost, L Ribeiro
International Conference on Fundamental Approaches to Software Engineering …, 2014
172014
Marking techniques for extraction.
F Prost
Laboratoire de l'informatique du parallélisme, 1995
131995
Algebraic graph rewriting with controlled embedding
A Corradini, D Duval, R Echahed, F Prost, L Ribeiro
Theoretical Computer Science 802, 19-37, 2020
102020
Reasoning about entanglement and separability in quantum higher-order functions
F Prost, C Zerrari
International Conference on Unconventional Computation, 219-235, 2009
102009
The pullback-pushout approach to algebraic graph transformation
A Corradini, D Duval, R Echahed, F Prost, L Ribeiro
International Conference on Graph Transformation, 3-19, 2017
92017
Treewidth, pathwidth and cospan decompositions
C Blume, HJS Bruggink, M Friedrich, B König
Electronic Communications of the EASST 41, 2011
92011
A logical analysis of entanglement and separability in quantum higher-order functions
F Prost, C Zerrari
arXiv preprint arXiv:0801.0649, 2008
92008
Intégration des méthodes de réécriture et de recherche opérationnelle pour la modélisation et la résolution de contraintes: application à la planification de personnel médical
N Brauner, R Echahed, G Finke, F Prost, W Serwe
GISEH 2003, 2003
92003
Graph transformation with focus on incident edges
D Duval, R Echahed, F Prost
International Conference on Graph Transformation, 156-171, 2012
82012
A heterogeneous pushout approach to term-graph transformation
D Duval, R Echahed, F Prost
Rewriting Techniques and Applications: 20th International Conference, RTA …, 2009
82009
A heterogeneous pushout approach to term-graph transformation
D Duval, R Echahed, F Prost
Rewriting Techniques and Applications: 20th International Conference, RTA …, 2009
82009
Specializing narrowing for timetable generation: A case study
N Brauner, R Echahed, G Finke, H Gregor, F Prost
Practical Aspects of Declarative Languages: 7th International Symposium …, 2005
82005
Parallelism in AGREE transformations
A Corradini, D Duval, F Prost, L Ribeiro
International Conference on Graph Transformation, 37-53, 2016
72016
On the impact of information technologies on society: an historical perspective through the game of chess
F Prost
arXiv preprint arXiv:1203.3434, 2012
72012
The system can't perform the operation now. Try again later.
Articles 1–20