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
Measurement of the branching ratio
D Buskulic, D Decamp, C Goy, JP Lees, MN Minard, B Mours, R Alemany, ...
Physics Letters B 298, 479-491, 1993
641993
Security policy in a declarative style
R Echahed, F Prost
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
362005
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
282015
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
Querying semantic trajectory episodes
TP Nogueira, H Martin
Proceedings of the Fourth ACM SIGSPATIAL International Workshop on Mobile …, 2015
202015
A static calculus of dependencies for the/spl lambda/-cube
F Prost
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
162000
Transformation of attributed structures with cloning
D Duval, R Echahed, F Prost, L Ribeiro
International Conference on Fundamental Approaches to Software Engineering …, 2014
152014
Marking techniques for extraction
F Prost
121995
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
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 logical analysis of entanglement and separability in quantum higher-order functions
F Prost, C Zerrari
arXiv preprint arXiv:0801.0649, 2008
82008
Treewidth, pathwidth and cospan decompositions
C Blume, HJS Bruggink, M Friedrich, B König
Electronic Communications of the EASST 41, 2011
72011
A heterogeneous pushout approach to term-graph transformation
D Duval, R Echahed, F Prost
International Conference on Rewriting Techniques and Applications, 194-208, 2009
72009
A heterogeneous pushout approach to term-graph transformation
D Duval, R Echahed, F Prost
International Conference on Rewriting Techniques and Applications, 194-208, 2009
72009
Specializing narrowing for timetable generation: A case study
N Brauner, R Echahed, G Finke, H Gregor, F Prost
International Workshop on Practical Aspects of Declarative Languages, 22-36, 2005
72005
Handling declared information leakage
R Echahed, F Prost
Proceedings of the 2005 workshop on Issues in the theory of security, 1-4, 2005
72005
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
62019
Parallelism in AGREE transformations
A Corradini, D Duval, F Prost, L Ribeiro
International Conference on Graph Transformation, 37-53, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20