Frédéric Prost

44 papers A* 1A 1B 6C 5Journal 21Unranked 10

Year	Rank	Type	Title / Venue / Authors
2023	B	`conf`	A Rule-Based Procedure for Graph Query Solving. ICGT Dominique Duval, Rachid Echahed, Frédéric Prost
2022	J	`jnl`	A Rule-based Operational Semantics of Graph Query Languages. CoRR Dominique Duval, Rachid Echahed, Frédéric Prost
2022	J	`jnl`	Inheritance and Blockchain: Thoughts and Open Questions. CoRR Frédéric Prost
2022	J	`jnl`	On the Heritage of Crypto Assets - Tales From the Crypt Protocol. CoRR Frédéric Prost
2021	—	`conf`	Querying RDF Databases with Sub-CONSTRUCTs. SCSS Dominique Duval, Rachid Echahed, Frédéric Prost
2020	J	`jnl`	Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2020	J	`jnl`	All You Need Is CONSTRUCT. CoRR Dominique Duval, Rachid Echahed, Frédéric Prost
2020	—	`conf`	An Algebraic Graph Transformation Approach for RDF and SPARQL. GCM@STAF Dominique Duval, Rachid Echahed, Frédéric Prost
2020	J	`jnl`	The Epistemic Landscape: a Computability Perspective. CoRR Frédéric Prost
2019	J	`jnl`	On foundational aspects of RDF and SPARQL. CoRR Dominique Duval, Rachid Echahed, Frédéric Prost
2019	J	`jnl`	The PBPO graph transformation approach. J. Log. Algebraic Methods Program. Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2017	B	`conf`	The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2016	J	`jnl`	Parallel Clustering of Graphs for Anonymization and Recommender Systems. CoRR Frédéric Prost, Jisang Yoon
2016	B	`conf`	Parallelism in AGREE Transformations. ICGT Andrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro
2015	B	`conf`	AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2014	J	`jnl`	AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2014	J	`jnl`	Transformation of Attributed Structures with Cloning (Long Version). CoRR Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2014	B	`conf`	Transformation of Attributed Structures with Cloning. FASE Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2013	J	`jnl`	Gardner's Minichess Variant is Solved. ICGA J. Mehdi Mhalla, Frédéric Prost
2013	J	`jnl`	Gardner's Minichess Variant is solved. CoRR Mehdi Mhalla, Frédéric Prost
2012	B	`conf`	Graph Transformation with Focus on Incident Edges. ICGT Dominique Duval, Rachid Echahed, Frédéric Prost
2012	J	`jnl`	On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess CoRR Frédéric Prost
2012	—	`conf`	On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess. Turing-100 Frédéric Prost
2011	J	`jnl`	Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation CoRR Dominique Duval, Rachid Echahed, Frédéric Prost
2011	J	`jnl`	Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Dominique Duval, Rachid Echahed, Frédéric Prost
2011	—	`conf`	Enforcing Dynamic Interference Policy. SocialCom/PASSAT Frédéric Prost
2009	—	`conf`	A Heterogeneous Pushout Approach to Term-Graph Transformation. RTA Dominique Duval, Rachid Echahed, Frédéric Prost
2009	J	`jnl`	Graph rewriting with polarized cloning CoRR Dominique Duval, Rachid Echahed, Frédéric Prost
2009	C	`conf`	Reasoning about Entanglement and Separability in Quantum Higher-Order Functions. UC Frédéric Prost, Chaouki Zerrari
2009	J	`jnl`	Twilight Chess - A Chess Variant Designed to Rehabilitate Human vs. Computer Challenge. ICGA J. Frédéric Prost
2008	J	`jnl`	A Cloning Pushout Approach to Term-Graph Transformation CoRR Dominique Duval, Rachid Echahed, Frédéric Prost
2008	J	`jnl`	A logical analysis of entanglement and separability in quantum higher-order functions CoRR Frédéric Prost, Chaouki Zerrari
2007	—	`conf`	Adjunction for Garbage Collection with Application to Graph Rewriting. RTA Dominique Duval, Rachid Echahed, Frédéric Prost
2007	C	`conf`	Taming Non-compositionality Using New Binders. UC Frédéric Prost
2006	—	`conf`	Modeling Pointer Redirection as Cyclic Term-graph Rewriting. TERMGRAPH@ETAPS Dominique Duval, Rachid Echahed, Frédéric Prost
2005	J	`jnl`	Data-Structure Rewriting CoRR Dominique Duval, Rachid Echahed, Frédéric Prost
2005	—	`conf`	Handling declared information leakage: extended abstract. WITS Rachid Echahed, Frédéric Prost
2005	C	`conf`	Security policy in a declarative style. PPDP Rachid Echahed, Frédéric Prost
2005	C	`conf`	Specializing Narrowing for Timetable Generation: A Case Study. PADL Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost
2003	C	`conf`	Statically assuring secrecy for dynamic concurrent processes. PPDP Rachid Echahed, Frédéric Prost, Wendelin Serwe
2001	—	`conf`	On the semantics of non-interference type-based analysis. JFLA Frédéric Prost
2000	A*	`conf`	A Static Calculus of Dependencies for the lambda-Cube. LICS Frédéric Prost
1999	A	`conf`	A formalization of Static Analyses in System F. CADE Frédéric Prost
1996	—	`conf`	Detecting and Removing Dead-Code using Rank 2 Intersection. TYPES Ferruccio Damiani, Frédéric Prost