E-LIB Suche - Ergebnisse für: KIRCHNER, HÉLÈNE

1

Algebraic and Logic Programming

Proceedings of an International Workshop held in Gaussig (G... Mathematical Research ; 49, Mathematische Forschung

Beierle, Christoph ; Bergstra, J.A ; Bockmayr, Alexander... - Reprint 2022 . , [2022]

2

Labelled Port Graph – A Formal Structure for Models and Com..:

Fernández, Maribel ; Kirchner, Hélène ; Pinaud, Bruno
Electronic Notes in Theoretical Computer Science. 338 (2018) - p. 3-21 , 2018

Link: https://doi.org/10.1016/..

3

Strategic port graph rewriting: an interactive modelling fr..:

FERNÁNDEZ, MARIBEL ; KIRCHNER, HÉLÈNE ; PINAUD, BRUNO
Mathematical Structures in Computer Science. 29 (2018) 5 - p. 615-662 , 2018

Link: https://doi.org/10.1017/..

4

Labelled graph strategic rewriting for social networks:

Fernández, Maribel ; Kirchner, Hélène ; Pinaud, Bruno.
Journal of Logical and Algebraic Methods in Programming. 96 (2018) - p. 12-40 , 2018

Link: https://doi.org/10.1016/..

5

Secure interoperation design in multi-domains environments ..:

Huang, Hejiao ; Kirchner, Hélène
Information Sciences. 221 (2013) - p. 591-606 , 2013

Link: https://doi.org/10.1016/..

6

Runtime Verification for Biochemical Programs:

Andrei, Oana ; Kirchner, Hélène
Electronic Notes in Theoretical Computer Science. 297 (2013) - p. 27-46 , 2013

Link: https://doi.org/10.1016/..

7

Proving weak properties of rewriting:

Gnaedig, Isabelle ; Kirchner, Hélène
Theoretical Computer Science. 412 (2011) 34 - p. 4405-4438 , 2011

Link: https://doi.org/10.1016/..

8

Combination of convex theories: Modularity, deduction compl..:

Tran, Duc-Khanh ; Ringeissen, Christophe ; Ranise, Silvio.
Journal of Symbolic Computation. 45 (2010) 2 - p. 261-286 , 2010

Link: https://doi.org/10.1016/..

9

A Port Graph Calculus for Autonomic Computing and Invariant..:

Andrei, Oana ; Kirchner, Hélène
Electronic Notes in Theoretical Computer Science. 253 (2009) 4 - p. 17-38 , 2009

Link: https://doi.org/10.1016/..

10

Termination of rewriting under strategies:

Gnaedig, Isabelle ; Kirchner, Hélène
ACM Transactions on Computational Logic. 10 (2009) 2 - p. 1-52 , 2009

Link: https://doi.org/10.1145/..

11

Termination of rewriting under strategies:

Gnaedig, Isabelle ; Kirchner, Hélène
ACM Transactions on Computational Logic (TOCL). 10 (2009) 2 - p. 1-52 , 2009

Link: https://dl.acm.org/doi/1..

12

Analysis of Rewrite-Based Access Control Policies:

Kirchner, Claude ; Kirchner, Hélène ; de Oliveira, Anderson Santana
Electronic Notes in Theoretical Computer Science. 234 (2009) - p. 55-75 , 2009

Link: https://doi.org/10.1016/..

13

Inductive proof search modulo:

Nahon, Fabrice ; Kirchner, Claude ; Kirchner, Hélène.
Annals of Mathematics and Artificial Intelligence. 55 (2009) 1-2 - p. 123-154 , 2009

Link: https://doi.org/10.1007/..

14

Policy Composition Based on Petri Nets:

, In: 2009 33rd Annual IEEE International Computer Software and Applications Conference,

Huang, Hejiao ; Kirchner, Hélène - p. None , 2009

Link: https://doi.org/10.1109/..

15

A Rewriting Calculus for Multigraphs with Ports:

Andrei, Oana ; Kirchner, Hélène
Electronic Notes in Theoretical Computer Science. 219 (2008) - p. 67-82 , 2008

Link: https://doi.org/10.1016/..