2021
Journal articles
- titre
- Vers une agriculture numérique en Afrique : enjeux et perspectives
- auteur
- Pascal Bonnet, Mathieu Roche, Hélène Kirchner
- article
- Journal of Interdisciplinary Methodologies and Issues in Science, 2021, Digital Agriculture in Africa, ⟨10.18713/JIMIS-120221-8-0⟩
- Accès au texte intégral et bibtex
-
2020
Reports
- titre
- Porgy Strategy Language: User Manual
- auteur
- Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet, Janos Varga
- article
- [Research Report] Université de Bordeaux, LaBRI; Inria Bordeaux Sud-Ouest; King's College London. 2020
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Strategic Port Graph Rewriting: an Interactive Modelling Framework
- auteur
- Maribel Fernández, Hélène Kirchner, Bruno Pinaud
- article
- Mathematical Structures in Computer Science, 2019, 29 (5), pp.615--662. ⟨10.1017/S0960129518000270⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with Porgy
- auteur
- Oana Andrei, Maribel Fernández, Hélène Kirchner, Bruno Pinaud
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- Labelled Graph Strategic Rewriting for Social Networks
- auteur
- Maribel Fernandez, Hélène Kirchner, Bruno Pinaud, Jason Vallet
- article
- Journal of Logical and Algebraic Methods in Programming, 2018, 96 (C), pp.12--40. ⟨10.1016/j.jlamp.2017.12.005⟩
- Accès au texte intégral et bibtex
-
2017
Conference papers
- titre
- Labelled Port Graph – A Formal Structure for Models and Computations
- auteur
- Maribel Fernández, Hélène Kirchner, Bruno Pinaud
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting
- auteur
- Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet
- article
- Extraction et Gestion de Connaissances, Jan 2017, Grenoble, France. pp.473--476
- Accès au texte intégral et bibtex
-
Other publications
- titre
- PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting
- auteur
- Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet
- article
- 2017
- Accès au texte intégral et bibtex
-
2016
Conference papers
- titre
- Labelled Graph Rewriting Meets Social Networks
- auteur
- Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
- article
- Rewriting Logic and Its Applications, WRLA 2016, Apr 2016, Eindhoven, Netherlands. pp.1--25, ⟨10.1007/978-3-319-44802-2_1⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Rewriting Strategies and Strategic Rewrite Programs (Updated version)
- auteur
- Hélène Kirchner
- article
- [Research Report] Inria. 2016, pp.380-403
- Accès au texte intégral et bibtex
-
- titre
- Labelled Graph Strategic Rewriting for Social Networks
- auteur
- Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
- article
- [Research Report] Université de bordeaux; Inria; King's College London. 2016
- Accès au texte intégral et bibtex
-
2015
Conference papers
- titre
- Port Graphs, Rules and Strategies for Dynamic Data Analytics -Extended Abstract
- auteur
- Hélène Kirchner
- article
- International Conference on Rewriting, Deduction, and Programming, Jun 2015, Warsaw, Poland. ⟨10.4230/LIPIcs.RTA.2015.i⟩
- Accès au texte intégral et bibtex
-
- titre
- A Visual Analytics Approach to Compare Propagation Models in Social Networks
- auteur
- Jason Vallet, Hélène Kirchner, Bruno Pinaud, Guy Melançon
- article
- Graphs as Models, Apr 2015, London, United Kingdom. ⟨10.4204/EPTCS.181.5⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Rewriting Strategies and Strategic Rewrite Programs
- auteur
- Hélène Kirchner
- article
- Logic, Rewriting, and Concurrency (LRC 2015). Festschrift Symposium in Honor of Jos\'e Meseguer, Urbana, Illinois, USA, September 23-25, 2015,, 2015
- Accès au texte intégral et bibtex
-
Reports
- titre
- Inria@SiliconValley Activity Report 2011-2014
- auteur
- Valérie Issarny, Tania Castro, Helene Kirchner, Christine Morin
- article
- [0] Inria. 2015, pp.1-44
- Accès au texte intégral et bibtex
-
2014
Conference papers
- titre
- Propagation Dynamics in Social Networks Through Rule-Based Modeling
- auteur
- Jason Vallet, Bruno Pinaud, Guy Melançon, Hélène Kirchner
- article
- 1st European Conference on Social Network (EUSN), Jul 2014, Barcelona, Spain
- Accès au bibtex
-
- titre
- Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY
- auteur
- Maribel Fernandez, Hélène Kirchner, Ian Mackie, Bruno Pinaud
- article
- Computability In Europe, Jun 2014, Budapest, Hungary. pp.183-193, ⟨10.1007/978-3-319-08019-2_19⟩
- Accès au bibtex
-
- titre
- Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework
- auteur
- Maribel Fernandez, Hélène Kirchner, Bruno Pinaud
- article
- 3rd Workshop on GRAPH Inspection and Traversal Engineering, Apr 2014, Grenoble, France. pp.15--29, ⟨10.4204/EPTCS.159.3⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Equational logic and rewriting
- auteur
- Claude Kirchner, Hélène Kirchner
- article
- Dov M. Gabbay; Jörg H. Siekmann; John Woods. Handbook of the History of Logic, 9 (Chap.8), Elsevier, 2014, History of Logic and Computation in the 20th Century, 978-0444516244
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- Runtime Verification for Biochemical Programs
- auteur
- Helene Kirchner
- article
- Electronic Notes in Theoretical Computer Science, 2013, Proceedings of the first workshop on Hybrid Autonomous Systems, 297, pp.27-46. ⟨10.1016/j.entcs.2013.12.003⟩
- Accès au bibtex
-
Conference papers
- titre
- A rewriting point of view on strategies
- auteur
- Helene Kirchner
- article
- SR - 1st Workshop on Strategic Reasoning, 2013, Rome, Italy. pp.99-105, ⟨10.4204/EPTCS.112.15⟩
- Accès au texte intégral et bibtex
-
2011
Journal articles
- titre
- Proving Weak Properties of Rewriting
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- Theoretical Computer Science, 2011, 412, pp.4405-4438. ⟨10.1016/j.tcs.2011.04.028⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Strategy Language for Graph Rewriting
- auteur
- Helene Kirchner, Olivier Namet, Maribel Fernandez
- article
- LOPSTR 2011 - 21st International Symposium on Logic-Based Program Synthesis and Transformation, Jul 2011, Odense, Denmark
- Accès au texte intégral et bibtex
-
- titre
- Formal Specification and Validation of Security Policies
- auteur
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
- article
- FPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, May 2011, Paris, France. pp.148-163, ⟨10.1007/978-3-642-27901-0_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Runtime Verification for Biochemical Programs
- auteur
- Hélène Kirchner, Oana Andrei
- article
- HAS - First Workshop on Hybrid Autonomous Systems ETAPS 2011, Apr 2011, Saarbrucken, Germany
- Accès au texte intégral et bibtex
-
- titre
- PORGY: Strategy-Driven Interactive Transformation of Graphs
- auteur
- Oana Andrei, Maribel Fernandez, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud
- article
- 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Apr 2011, Saarbrücken, Germany. pp.54-68, ⟨10.4204/EPTCS.48.7⟩
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Narrowing Based Inductive Proof Search
- auteur
- Claude Kirchner, Helene Kirchner, Fabrice Nahon
- article
- 2011
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
- auteur
- Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
- article
- Journal of Symbolic Computation, 2010, Automated Deduction: Decidability, Complexity, Tractability, 45 (2), pp.261-286. ⟨10.1016/j.jsc.2008.10.006⟩
- Accès au bibtex
-
- titre
- Extensional and Intensional Strategies
- auteur
- Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner
- article
- Electronic Proceedings in Theoretical Computer Science, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. ⟨10.4204/EPTCS.15.1⟩
- Accès au bibtex
-
Conference papers
- titre
- Rule-based Specification and Analysis of Security Policies
- auteur
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
- article
- 5th International Workshop on Security and Rewriting Techniques - SecReT 2010, Jun 2010, Valencia, Spain
- Accès au bibtex
-
- titre
- On Formal Specification and Analysis of Security Policies
- auteur
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
- article
- 2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany
- Accès au texte intégral et bibtex
-
Reports
- titre
- Semi-Automatic Synthesis of Security Policies by Invariant-Guided Abduction - Full version
- auteur
- Clément Hurlin, Helene Kirchner
- article
- [Research Report] 2010, pp.19
- Accès au texte intégral et bibtex
-