Rachid Echahed

102 papers A* 5A 3B 16C 8Misc 3Journal 30Unranked 32
YearRankTypeTitle / Venue / Authors
2026 J jnl
Repairing Property Graphs under PG-Constraints.
CoRR
Christopher Spinrath, Angela Bonifati, Rachid Echahed
2026 J jnl
Sketch-Oriented Databases.
CoRR
Dominique Duval, Rachid Echahed
2024 J jnl
DTGraph: Declarative Transformations of Property Graphs.
Proc. VLDB Endow.
Angela Bonifati, Yann Ramusat, Filip Murlak, Amela Fejza, Rachid Echahed
2024 — conf
Symbolic Graph Query Solving.
SCSS
Dominique Duval, Rachid Echahed
2023 B conf
A Rule-Based Procedure for Graph Query Solving.
ICGT
Dominique Duval, Rachid Echahed, Frédéric Prost
2023 B conf
A Strict Constrained Superposition Calculus for Graphs.
FoSSaCS
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier
2022 J jnl
A Rule-based Operational Semantics of Graph Query Languages.
CoRR
Dominique Duval, Rachid Echahed, Frédéric Prost
2021 C conf
A Superposition-Based Calculus for Diagrammatic Reasoning.
PPDP
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier
2021 J jnl
A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond.
CoRR
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier
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 — conf
Combining Parallel Graph Rewriting and Quotient Graphs.
WRLA
Thierry Boy de la Tour, Rachid Echahed
2020 — conf
Parallel Coherent Graph Transformations.
WADT
Thierry Boy de la Tour, Rachid Echahed
2020 J jnl
Parallel rewriting of attributed graphs.
Theor. Comput. Sci.
Thierry Boy de la Tour, Rachid Echahed
2019 J jnl
On foundational aspects of RDF and SPARQL.
CoRR
Dominique Duval, Rachid Echahed, Frédéric Prost
2019 — ed.
Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019.
GCM@STAF
Rachid Echahed, Detlef Plump
2019 B conf
Reasoning Formally About Database Queries and Updates.
FM
Jon Haël Brenas, Rachid Echahed, Martin Strecker
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
2019 J jnl
True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans.
CoRR
Thierry Boy de la Tour, Rachid Echahed
2018 J jnl
A Set-Theoretic Framework for Parallel Graph Rewriting.
CoRR
Thierry Boy de la Tour, Rachid Echahed
2018 J jnl
Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance.
IEEE Access
Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad
2018 J jnl
Foreword: special issue on term and graph rewriting.
Math. Struct. Comput. Sci.
Rachid Echahed
2018 J jnl
On the Verification of Logically Decorated Graph Transformations.
CoRR
Jon Haël Brenas, Rachid Echahed, Martin Strecker
2018 B conf
Verifying Graph Transformation Systems with Description Logics.
ICGT
Jon Haël Brenas, Rachid Echahed, Martin Strecker
2018 Misc conf
Verifying Graph Transformations with Guarded Logics.
TASE
Jon Haël Brenas, Rachid Echahed, Martin Strecker
2017 — conf
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions.
SCSS
Jon Haël Brenas, Rachid Echahed, Martin Strecker
2017 B conf
Parallel Graph Rewriting with Overlapping Rules.
LPAR
Rachid Echahed, Aude Maignan
2017 J jnl
Parallel Graph Rewriting with Overlapping Rules.
CoRR
Rachid Echahed, Aude Maignan
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 C conf
Ensuring Correctness of Model Transformations While Remaining Decidable.
ICTAC
Jon Haël Brenas, Rachid Echahed, Martin Strecker
2016 B ed.
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
ICGT
Rachid Echahed, Mark Minas
2016 — conf
On the Closure of Description Logics under Substitutions.
Description Logics
Jon Haël Brenas, Rachid Echahed, Martin Strecker
2016 B conf
Proving Correctness of Logically Decorated Graph Rewriting Systems.
FSCD
Jon Haël Brenas, Rachid Echahed, Martin Strecker
2015 B conf
AGREE - Algebraic Graph Rewriting with Controlled Embedding.
ICGT
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2015 Misc conf
Provably Correct Graph Transformations with Small-tALC.
ICTERI
Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
2014 — conf
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs.
IFIP TCS
Jon Haël Brenas, Rachid Echahed, Martin Strecker
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
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Rachid Echahed, Annegret Habel, Mohamed Mosbah
2014 J jnl
SROIQsigma is decidable.
CoRR
Jon Haël Brenas, Rachid Echahed, Martin Strecker
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
Graph Computation Models 2012.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Rachid Echahed, Annegret Habel, Mohamed Mosbah
2013 — conf
Logical Foundations for Reasoning about Transformations of Knowledge Bases.
Description Logics
Mohamed Chaabani, Rachid Echahed, Martin Strecker
2013 Misc conf
Logical Foundations for Reasoning about Transformations of Knowledge Bases.
ICTERI
Mohamed Chaabani, Rachid Echahed, Martin Strecker
2013 — ed.
Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013.
TERMGRAPH
Rachid Echahed, Detlef Plump
2012 B conf
Graph Transformation with Focus on Incident Edges.
ICGT
Dominique Duval, Rachid Echahed, 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 J jnl
Graph Computation Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Rachid Echahed, Annegret Habel, Mohamed Mosbah
2011 — ed.
Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011.
TERMGRAPH
Rachid Echahed
2010 B conf
A Dynamic Logic for Termgraph Rewriting.
ICGT
Philippe Balbiani, Rachid Echahed, Andreas Herzig
2010 J jnl
A Modal Logic for Termgraph Rewriting
CoRR
Philippe Balbiani, Rachid Echahed, Andreas Herzig
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
2008 J jnl
A Cloning Pushout Approach to Term-Graph Transformation
CoRR
Dominique Duval, Rachid Echahed, Frédéric Prost
2008 — conf
A Needed Rewriting Strategy for Data-Structures with Pointers.
RTA
Rachid Echahed, Nicolas Peltier
2008 B conf
Inductively Sequential Term-Graph Rewrite Systems.
ICGT
Rachid Echahed
2008 — ed.
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007
WFLP@RDP
Rachid Echahed
2007 — conf
Adjunction for Garbage Collection with Application to Graph Rewriting.
RTA
Dominique Duval, Rachid Echahed, Frédéric Prost
2007 — conf
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers.
RTA
Rachid Echahed, Nicolas Peltier
2007 — conf
On Term-Graph Rewrite Strategies.
WRS@RDP
Rachid Echahed
2007 — conf
Preface.
WFLP@RDP
Rachid Echahed
2006 — conf
Modeling Pointer Redirection as Cyclic Term-graph Rewriting.
TERMGRAPH@ETAPS
Dominique Duval, Rachid Echahed, Frédéric Prost
2006 B conf
Narrowing Data-Structures with Pointers.
ICGT
Rachid Echahed, Nicolas Peltier
2006 C conf
Rewriting term-graphs with priority.
PPDP
Ricardo Caferra, Rachid Echahed, Nicolas Peltier
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
2002 C conf
A generic operator over discrete time intervals.
PPDP
Jérémie Blanc, Rachid Echahed
2002 C conf
On the Operational Semantics of Timed Rewrite Systems.
TIME
Jérémie Blanc, Rachid Echahed
2002 — conf
Redundancy of Arguments Reduced to Induction.
WFLP
María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas
2001 — conf
Defining Actions in Concurrent Declarative Programming.
WFLP
Rachid Echahed, Wendelin Serwe
2000 J jnl
A needed narrowing strategy.
J. ACM
Sergio Antoy, Rachid Echahed, Michael Hanus
2000 — conf
Combining Mobile Processes and Declarative Programming.
Computational Logic
Rachid Echahed, Wendelin Serwe
1998 — conf
Admissible Graph Rewriting and Narrowing.
IJCSLP
Rachid Echahed, Jean-Christophe Janodet
1998 — conf
Parallel Admissible Graph Rewriting.
WADT
Rachid Echahed, Jean-Christophe Janodet
1997 B conf
Parallel Evaluation Strategies for Functional Logic Languages.
ICLP
Sergio Antoy, Rachid Echahed, Michael Hanus
1996 — conf
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation.
AMAST
Didier Bert, Rachid Echahed, Kamel Adi
1995 — conf
Abstraction of Conditional Term Rewriting Systems.
ILPS
Didier Bert, Rachid Echahed
1995 A* conf
On the Verification Problem of Nonregular Properties for Nonregular Processes
LICS
Ahmed Bouajjani, Rachid Echahed, Peter Habermehl
1995 A* conf
Verifying Infinite State Processes with Sequential and Parallel Composition.
POPL
Ahmed Bouajjani, Rachid Echahed, Peter Habermehl
1994 A* conf
A Needed Narrowing Strategy.
POPL
Sergio Antoy, Rachid Echahed, Michael Hanus
1994 — conf
Integrating Disequations in the Algebraic and Logic Programming Language LPG.
ICLP Workshop: Integration of Declarative Paradigms
Didier Bert, Rachid Echahed
1994 — conf
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures.
Hybrid Systems
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
1994 — conf
On the Operational Semantics of the Algebraic and Logic Programming Language LPG.
COMPASS/ADT
Didier Bert, Rachid Echahed
1994 — conf
Verfying Invariance Properties of Timed Systems with Duration Variables.
FTRTFT
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
1994 A* conf
Verification of Context-Free Timed Systems Using Linear Hybrid Observers.
CAV
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
1994 B conf
Verification of Nonregular Temporal Properties for Context-Free Processes.
CONCUR
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
1993 — conf
Abstract Rewriting.
WSA
Didier Bert, Rachid Echahed, Bjarte M. Østvold
1993 A* conf
On Model Checking for Real-Time Properties with Durations
LICS
Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis
1992 — conf
Uniform Narrowing Strategies.
ALP
Rachid Echahed
1991 — conf
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation.
JTASPEFT/WSA
Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar
1990 J jnl
On Completeness of Narrowing Strategies.
Theor. Comput. Sci.
Rachid Echahed
1990 — —
Sur l'intégration des langages algébriques et logique. (On the integration of algebraic and logic programming languages).
Rachid Echahed
1988 A conf
LPG: A Generic, Logic and Functional Programming Language.
ESOP
Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier
1988 — conf
On Comleteness of Narrowing Strategies.
CAAP
Rachid Echahed
1987 A conf
LPG: A Generic, Logic and Functional Programming Language.
STACS
Didier Bert, Pascal Drabik, Rachid Echahed
1986 A conf
Design and Implementation of a Generic, Logic and Functional Programming Language.
ESOP
Didier Bert, Rachid Echahed