Filtrer vos résultats
- 32
- 25
- 24
- 9
- 8
- 6
- 4
- 2
- 2
- 1
- 1
- 2
- 57
- 8
- 1
- 2
- 3
- 7
- 7
- 5
- 3
- 5
- 2
- 3
- 3
- 1
- 4
- 3
- 2
- 1
- 2
- 2
- 1
- 1
- 56
- 1
- 46
- 19
- 12
- 6
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 57
- 22
- 18
- 10
- 9
- 6
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
57 résultats
|
|
|
triés par
|
|
|
Parallel rewriting of attributed graphsTheoretical Computer Science, 2020, 848, pp.106 - 132. ⟨10.1016/j.tcs.2020.09.025⟩
Article dans une revue
hal-03430149v1
|
||
|
|
Provably correct graph transformations with small-tALC11th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2015), May 2015, Lviv, Ukraine. pp. 78-93
Communication dans un congrès
hal-01517373v1
|
||
|
|
A Superposition-Based Calculus for Diagrammatic ReasoningPPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021, Tallinn, Estonia. ⟨10.1145/3479394.3479405⟩
Communication dans un congrès
hal-03372948v1
|
||
Reasoning Formally About Database Queries and UpdatesLecture Notes in Computer Science, 2019, pp.556-572. ⟨10.1007/978-3-030-30942-8_33⟩
Article dans une revue
hal-03066699v1
|
|||
|
|
On the Closure of Description Logics under Substitutions29th International Workshop on Description Logics (DL 2016), Apr 2016, Cape Town, South Africa. pp.1-12
Communication dans un congrès
hal-02089261v1
|
||
|
|
A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩
Communication dans un congrès
hal-01402040v1
|
||
Verifying Graph Transformations with Guarded Logics2018 International Symposium on Theoretical Aspects of Software Engineering (TASE), Aug 2018, Guangzhou, China. pp.124-131, ⟨10.1109/TASE.2018.00024⟩
Communication dans un congrès
hal-02084211v1
|
|||
Proving Correctness of Logically Decorated Graph Rewriting SystemsFSCD 2016, 2016, Porto, Portugal
Communication dans un congrès
hal-01403183v1
|
|||
Categorical Abstract Rewriting Systems and Functoriality of Graph TransformationGT-VMT 2011 - International Workshop on Graph Transformation and Visual Modeling Techniques (satellite workshop of ETAPS 2011), Apr 2011, Saarbrücken, Germany. 17 p
Communication dans un congrès
hal-00828532v1
|
|||
|
|
Graph rewriting with polarized cloning2009
Pré-publication, Document de travail
hal-00433379v2
|
||
Graph Computation Models 2010EASST, pp.148, 2011, Electronic Communications of the EASST, 1863-2122
Ouvrages
hal-00776656v1
|
|||
|
|
Sur l'intégration des langages algébriques et logiqueModélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1990. Français. ⟨NNT : ⟩
Thèse
tel-00338687v1
|
||
|
|
Combining Parallel Graph Rewriting and Quotient GraphsLecture Notes in Computational Science and Engineering, 2020, pp.1-18. ⟨10.1007/978-3-030-63595-4_1⟩
Article dans une revue
hal-03066765v1
|
||
|
|
Graph Computation ModelsElectronic Proceedings in Theoretical Computer Science, 309, 2019, ⟨10.4204/EPTCS.309⟩
N°spécial de revue/special issue
hal-03066743v1
|
||
|
|
AGREE - Algebraic Graph Rewriting with Controlled EmbeddingICGT 2015 - 8th International Conference on Graph Transformation, Jul 2015, L'Aquila, Italy. pp.35-51, ⟨10.1007/978-3-319-21145-9_3⟩
Communication dans un congrès
hal-01403189v1
|
||
|
|
Ensuring Correctness of Model Transformations While Remaining DecidableTheoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
Communication dans un congrès
hal-01403585v1
|
||
|
|
Foreword: special issue on term and graph rewritingMathematical Structures in Computer Science, 2018, 28 (08), pp.1287-1289. ⟨10.1017/S0960129518000191⟩
Article dans une revue
hal-02084188v1
|
||
|
|
Data-Structure Rewriting2005
Pré-publication, Document de travail
hal-00004558v1
|
||
|
|
A complete Assignment Algorithm and Its Application in Constraint Declarative Languages2004
Pré-publication, Document de travail
hal-00082787v1
|
||
|
|
Algebraic graph rewriting with controlled embeddingTheoretical Computer Science, 2020, 802, pp.19-37. ⟨10.1016/j.tcs.2019.06.004⟩
Article dans une revue
hal-02409411v1
|
||
|
|
A Rule-Based Procedure for Graph Query SolvingICGT 2023. 16th International Conference on Graph Transformation Held as Part of STAF 2023, Jul 2023, Leicester, United Kingdom. pp.163-183, ⟨10.1007/978-3-031-36709-0_9⟩
Communication dans un congrès
hal-04297111v1
|
||
|
|
A Modal Logic for Termgraph Rewriting2010
Pré-publication, Document de travail
hal-00940869v1
|
||
A double-pushout approach for modeling pointer redirectionIFIP WG1.3 meeting, Jan 2008, Sierra Nevada, Spain
Communication dans un congrès
hal-00770342v1
|
|||
|
|
A Heterogeneous Pushout Approach to Term-Graph TransformationRTA 2009 - 20th International Conference on Rewriting Techniques and Applications, Jun 2009, Brasília, Brazil. pp.194-208, ⟨10.1007/978-3-642-02348-4_14⟩
Communication dans un congrès
hal-00340202v1
|
||
Specializing Narrowing for Timetable Generation: A Case StudySeventh International Symposium on Practical Aspects of Declarative Languages (PADL05), 2005, Long Beach, United States. pp.22-36
Communication dans un congrès
hal-00372911v1
|
|||
|
|
The PBPO graph transformation approachJournal of Logical and Algebraic Methods in Programming, 2019, 103, pp.213-231. ⟨10.1016/j.jlamp.2018.12.003⟩
Article dans une revue
hal-01984720v1
|
||
|
|
Adjunction for Garbage Collection with Application to Graph RewritingRTA'07 - Rewriting Techniques and Application 2007, Jun 2007, Paris, France. pp.122-136, ⟨10.1007/978-3-540-73449-9_11⟩
Communication dans un congrès
hal-00388331v1
|
||
|
|
An Algebraic Graph Transformation Approach for RDF and SPARQLElectronic Proceedings in Theoretical Computer Science, 2020, 330, pp.55-70. ⟨10.4204/EPTCS.330.4⟩
Article dans une revue
hal-03066753v1
|
||
|
|
SEmantic Networks of Data: Utility and PrivacyRESSI 2019: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France
Communication dans un congrès
hal-02182521v1
|
||
Graph Computation Models 2012.EASST, pp.1, 2013, Electronic Communications of the EASST
Ouvrages
hal-00879351v1
|
- 1
- 2