Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings von Kirchner, Helene, Ringeissen, Christophe

Volltext

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-Les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings von Kirchner, Helene, Ringeissen, Christophe

Volltext

Secure interoperation design in multi-domains environments based on colored Petri nets von Huang, Hejiao, Kirchner, Hélène

Volltext

Strategic port graph rewriting: an interactive modelling framework von FERNÁNDEZ, MARIBEL, KIRCHNER, HÉLÈNE, PINAUD, BRUNO

Volltext

Will biologists become computer scientists?: A truly interdisciplinary effort by computer scientists and biologists to understand how cells process information may yield new insigh... von Condon, Anne, Kirchner, Hélène, Larivière, Damien, Marshall, Wallace, Noireaux, Vincent, Tlusty, Tsvi, Fourmentin, Eric

Volltext

Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings von Kirchner, Hélène

Volltext

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings von Kirchner, Claude, Kirchner, Hélène

Volltext

Algebraic and Logic Programming: Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings von Kirchner, Hélène, Levi, Giorgio

Volltext

Algebraic and Logic Programming: Second International Conference Nancy, France, October 1–3, 1990 Proceedings von Kirchner, Hélène, Wechler, Wolfgang

Volltext

Rewriting Strategies and Strategic Rewrite Programs von Kirchner, Hélene

Volltext

Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets von Hejiao Huang, Kirchner, H.

Volltext

Labelled graph strategic rewriting for social networks von Fernández, Maribel, Kirchner, Hélène, Pinaud, Bruno, Vallet, Jason

Volltext

A rewriting point of view on strategies von Kirchner, Hélène

Volltext

Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with Porgy von Andrei, Oana, Fernández, Maribel, Kirchner, Hélène, Pinaud, Bruno

Volltext

Proving weak properties of rewriting von Gnaedig, Isabelle, Kirchner, Hélène

Volltext

A Visual Analytics Approach to Compare Propagation Models in Social Networks von Vallet, Jason, Kirchner, Hélène, Pinaud, Bruno, Melançon, Guy

Volltext

Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework von Fernández, Maribel, Kirchner, Hélène, Pinaud, Bruno

Volltext

CASL: the Common Algebraic Specification Language von Astesiano, Egidio, Bidoit, Michel, Kirchner, Hélène, Krieg-Brückner, Bernd, Mosses, Peter D., Sannella, Donald, Tarlecki, Andrzej

Volltext

Termination of rewriting under strategies von Gnaedig, Isabelle, Kirchner, Hélène

Volltext

ELAN from a rewriting logic point of view von Borovanský, Peter, Kirchner, Claude, Kirchner, Hélène, Moreau, Pierre-Etienne

Volltext