Skip to Main content Skip to Navigation

hal-01429893v1  Reports
Maribel FernándezHélène KirchnerBruno PinaudJason Vallet. Labelled Graph Strategic Rewriting for Social Networks
[Research Report] Université de bordeaux; Inria; King's College London. 2016
hal-01450630v1  Conference papers
Bruno PinaudOana AndreiMaribel FernándezHélène KirchnerGuy Melançon et al.  PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting
Extraction et Gestion de Connaissances, Jan 2017, Grenoble, France. pp.473--476
hal-01910220v1  Conference papers
Maribel FernándezHélène KirchnerBruno Pinaud. Labelled Port Graph – A Formal Structure for Models and Computations
The 12th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2017), Sep 2017, Brasília, Brazil. pp.3 - 21, ⟨10.1016/j.entcs.2018.10.002⟩
hal-01566525v2  Reports
Maribel FernándezHélène KirchnerBruno PinaudJason Vallet. Porgy Strategy Language: User Manual
[Research Report] Université de Bordeaux, LaBRI; Inria Bordeaux Sud-Ouest; King's College London. 2018
hal-01429890v1  Book sections
Oana AndreiMaribel FernándezHélène KirchnerBruno Pinaud. Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with Porgy
Bill Hlavacek. Modeling Biomolecular Site Dynamics, 1945, Springer, pp 43-70, 2019, Methods in Molecular Biology, 978-1-4939-9100-6. ⟨10.1007/978-1-4939-9102-0_3⟩
hal-01347355v1  Conference papers
Maribel FernándezHélène KirchnerBruno PinaudJason Vallet. Labelled Graph Rewriting Meets Social Networks
Rewriting Logic and Its Applications, WRLA 2016, Apr 2016, Eindhoven, Netherlands. pp.1--25, ⟨10.1007/978-3-319-44802-2_1⟩
hal-01251871v3  Journal articles
Maribel FernándezHélène KirchnerBruno Pinaud. Strategic Port Graph Rewriting: an Interactive Modelling Framework
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (5), pp.615--662. ⟨10.1017/S0960129518000270⟩