Source: Journal of WSCG ; WSCG 2024 32. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2024 ; https://hal.science/hal-04607231 ; WSCG 2024 32. International

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

A living monograph for graph transformation

Authors : Behr, Nicolas; Harmer, Russ;

Subjects: graph transformation; collaborative mathematics; formalised mathematicsUnited KingdomLeicester, United Kingdom

Source: 16th International Conference on Graph Transformation (ICGT 2023)https://hal.science/hal-0417732116th International Conference

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Topological consistency preservation with graph transformation schemes

Authors : Pascual, Romain; Le Gall, Pascale; Arnould, Agnès ...

Subjects: Rule schemes; Combinatorial maps; Consistency preservation

Source: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.science/hal-03380327 ; Science of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Model reevaluation based on graph transformation rules

Authors : Gaide, Maxime; Marcheix, David; Arnould, Agnès ...

Subjects: [INFO]Computer Science [cs]Aberystwyth; Wales; United Kingdom

Source: 41st Computer Graphics and Visual Computing 2023https://hal.science/hal-0422810441st Computer Graphics and Visual Computing 2023, Sep 2023, Aberystwyth, Wales, United Kingdom.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Two-level reasoning about graph transformation programs

Authors : Makhlouf, Amani; Percebois, Christian; Tran, Hanh Nhi ...

Subjects: Program verification; Abstract interpretation; Static analysisEindhoven; Netherlands

Source: ICGT 2019: Graph Transformation ; 12th International Conference on Graph

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Optimal dimensionality reduction of Markov chains using graph transformation

Authors : Kannan, Deepti; Sharpe, Daniel; Swinburne, T D ...

Subjects: graph transformation; Markov chain; Markov process

Source: ISSN: 0021-9606.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Encoding Bigraphical Reactive Systems into Graph Transformation Systems

Authors : Gassara, Amal; Bouassida Rodriguez, Ismael; Jmaiel, Mohamed ...

Subjects: Graph Transformation; Bigraphical Reactive Systems; bigraphsGargnano; Italy

Source: Electronic Notes in Discrete Mathematics ; 14th Cologne-Twente Workshop on Graphs and Combinatorial Optimization ; https://hal.science/hal-01399477 ; 14th Cologne-Twente Workshop on Graphs and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Obscuring Provenance Confidential Information via Graph Transformation

Authors : Hussein, Jamal; Moreau, Luc; Sassone, Vladimiro ...

Subjects: Provenance; PROV model; PrivacyHamburg; Germany

Source: IFIP Advances in Information and Communication Technology ; 9th IFIP International Conference on Trust Management (TM) ; https://hal.inria.fr/hal-01416217 ; 9th IFIP International Conference on Trust

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Bounded Model Checking of Graph Transformation Systems via SMT Solving

Authors : Isenberg, Tobias; Steenken, Dominik; Wehrheim, Heike ...

Subjects: verification; graph transformation systems; bounded model checkingFlorence; ItalyFlorence, Italy

Source: Lecture Notes in Computer Science ; 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي