Hélène Kirchner

	2011
102		Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner: Formal Specification and Validation of Security Policies. FPS 2011: 148-163
101		Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud: PORGY: Strategy-Driven Interactive Transformation of Graphs TERMGRAPH 2011: 54-68
100		Hejiao Huang, Hélène Kirchner: Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets. IEEE Trans. Dependable Sec. Comput. 8(6): 852-865 (2011)
99		Isabelle Gnaedig, Hélène Kirchner: Proving weak properties of rewriting. Theor. Comput. Sci. 412(34): 4405-4438 (2011)
	2010
98		Hélène Kirchner, César Muñoz: Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming IWS 2010
97		Clément Hurlin, Hélène Kirchner: Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction. Formal Aspects in Security and Trust 2010: 157-175
96		Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner: Combination of convex theories: Modularity, deduction completeness, and explanation. J. Symb. Comput. 45(2): 261-286 (2010)
	2009
95		Hejiao Huang, Hélène Kirchner: Policy Composition Based on Petri Nets. COMPSAC (2) 2009: 416-421
94		Oana Andrei, Hélène Kirchner: A Higher-Order Graph Calculus for Autonomic Computing. Graph Theory, Computational Intelligence and Thought 2009: 15-26
93		Hejiao Huang, Hélène Kirchner: Component-Based Security Policy Design with Colored Petri Nets. Semantics and Algebraic Specification 2009: 21-42
92		Claude Kirchner, Florent Kirchner, Hélène Kirchner: Constraint Based Strategies. WFLP 2009: 13-26
91		Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner: Extensional and Intensional Strategies WRS 2009: 1-19
90		Isabelle Gnaedig, Hélène Kirchner: Termination of rewriting under strategies. ACM Trans. Comput. Log. 10(2): (2009)
89		Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner: Inductive proof search modulo. Ann. Math. Artif. Intell. 55(1-2): 123-154 (2009)
88		Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira: Analysis of Rewrite-Based Access Control Policies. Electr. Notes Theor. Comput. Sci. 234: 55-75 (2009)
87		Oana Andrei, Hélène Kirchner: A Port Graph Calculus for Autonomic Computing and Invariant Verification. Electr. Notes Theor. Comput. Sci. 253(4): 17-38 (2009)
86		Hejiao Huang, Hélène Kirchner, Songyun Liu, Weili Wu: Handling inheritance violation for secure interoperation of heterogeneous systems. IJSN 4(4): 223-233 (2009)
	2008
85		Oana Andrei, Hélène Kirchner: A Rewriting Calculus for Multigraphs with Ports. Electr. Notes Theor. Comput. Sci. 219: 67-82 (2008)
	2007
84		Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner: Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday Springer 2007
83		Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira: Modular Access Control Via Strategic Rewriting. ESORICS 2007: 578-593
82		Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner: Weaving rewrite-based access control policies. FMSE 2007: 71-80
81		Isabelle Gnaedig, Hélène Kirchner: Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. Rewriting, Computation and Proof 2007: 44-67
80		Oana Andrei, Hélène Kirchner: Graph Rewriting and Strategies for Modeling Biochemical Networks. SYNASC 2007: 407-414
	2006
79		Oana Andrei, Liliana Ibanescu, Hélène Kirchner: Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. Essays Dedicated to Joseph A. Goguen 2006: 194-215
78		Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR 2006: 542-556
77		Isabelle Gnaedig, Hélène Kirchner: Computing constructor forms with non terminating rewrite programs. PPDP 2006: 121-132
76		Olivier Bournez, Liliana Ibanescu, Hélène Kirchner: From Chemical Rules to Term Rewriting. Electr. Notes Theor. Comput. Sci. 147(1): 113-134 (2006)
75		Claude Kirchner, Hélène Kirchner, Anderson Santana: Anchoring Modularity in HTML. Electr. Notes Theor. Comput. Sci. 157(2): 133-146 (2006)
	2005
74		Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC 2005: 594-608
73		Claude Kirchner, Hélène Kirchner, Anderson Santana: Anchoring modularity in HTML. WWV 2005: 139-151
72		Isabelle Gnaedig, Hélène Kirchner: Termination of rewriting strategies: a generic approach CoRR abs/cs/0507064: (2005)
	2004
71		Claude Kirchner, Hélène Kirchner: Rule-Based Programming and Proving: The ELAN Experience Outcomes. ASIAN 2004: 363-379
70		Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner: A Proof of Weak Termination Providing the Right Way to Terminate. ICTAC 2004: 356-371
	2003
69		Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen: Proof Search and Proof Check for Equational and Inductive Theorems. CADE 2003: 297-316
68		Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu: Automated Generation of Kinetic Chemical Mechanisms Using Rewriting. International Conference on Computational Science 2003: 367-376
67		Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner: Simplification and termination of strategies in rule-based languages. PPDP 2003: 124-135
66		Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu: A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms. RTA 2003: 30-45
	2002
65		Hélène Kirchner, Christophe Ringeissen: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings Springer 2002
64		Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner: System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. PPDP 2002: 62-73
63		Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner: Outermost ground termination. Electr. Notes Theor. Comput. Sci. 71: 188-207 (2002)
62		Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner: External Rewriting for Skeptical Proof Assistants. J. Autom. Reasoning 29(3-4): 309-336 (2002)
61		Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau: ELAN from a rewriting logic point of view. Theor. Comput. Sci. 285(2): 155-185 (2002)
60		Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki: CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. 286(2): 153-196 (2002)
	2001
59		Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner: Termination of Rewriting with Local Strategies. Electr. Notes Theor. Comput. Sci. 58(2): 155-188 (2001)
58		Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen: Rewriting with Strategies in ELAN: A Functional Semantics. Int. J. Found. Comput. Sci. 12(1): 69-95 (2001)
57		Hélène Kirchner, Pierre-Etienne Moreau: Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories. J. Funct. Program. 11(2): 207-251 (2001)
56		Hélène Kirchner, Peter D. Mosses: Algebraic Specifications, Higher-order Types and Set-theoretic Models. J. Log. Comput. 11(3): 453-481 (2001)
	2000
55		Hélène Kirchner, Christophe Ringeissen: Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings Springer 2000
54		Hélène Kirchner: Combining assisted and automated deduction. Ann. Math. Artif. Intell. 28(1-4): 21-26 (2000)
53		Bernhard Gramlich, Hélène Kirchner, Frank Pfenning: Editorial: Strategies in Automated Deduction. Ann. Math. Artif. Intell. 29(1-4): 0- (2000)
52		Hélène Kirchner, Isabelle Gnaedig: Termination and normalisation under strategy Proofs in ELAN. Electr. Notes Theor. Comput. Sci. 36: 93-120 (2000)
	1999
51		Hélène Kirchner: ELAN. JFPLC 1999: 241-248
50		Hubert Dubois, Hélène Kirchner: Rule Based Programming with Constraints and Strategies. New Trends in Constraints 1999: 274-297
	1998
49		Claude Kirchner, Hélène Kirchner: Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings Springer 1998
48		Hélène Kirchner, Peter D. Mosses: Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. AMAST 1998: 373-388
47		Peter Borovanský, Claude Kirchner, Hélène Kirchner: A Functional View of Rewriting and Strategies for a Semantics of ELAN. Fuji International Symposium on Functional and Logic Programming 1998: 143-166
46		Pierre-Etienne Moreau, Hélène Kirchner: A Compiler for Rewrite Programs in Associative-Commutative Theories. PLILP/ALP 1998: 230-249
45		Hélène Kirchner, Pierre-Etienne Moreau: Non-deterministic Computations in ELAN. WADT 1998: 168-182
44		Claude Kirchner, Hélène Kirchner: Preface. Electr. Notes Theor. Comput. Sci. 15: 367-368 (1998)
43		Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen: An overview of ELAN. Electr. Notes Theor. Comput. Sci. 15: 55-70 (1998)
42		Claus Hintermeier, Claude Kirchner, Hélène Kirchner: Dynamically Typed Computations for Order-Sorted Equational Presentations. J. Symb. Comput. 25(4): 455-526 (1998)
	1996
41		Hélène Kirchner: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings Springer 1996
40		Hélène Kirchner, Pierre-Etienne Moreau: A reflective extension of ELAN. Electr. Notes Theor. Comput. Sci. 4: 149-168 (1996)
39		Peter Borovanský, Claude Kirchner, Hélène Kirchner: Controlling rewriting by rewriting. Electr. Notes Theor. Comput. Sci. 4: 169-189 (1996)
38		Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek: ELAN: A logical framework based on computational systems. Electr. Notes Theor. Comput. Sci. 4: 35-50 (1996)
	1995
37		Claus Hintermeier, Hélène Kirchner, Peter D. Mosses: Combining Algebraic and Set-Theoretic Specifications. COMPASS/ADT 1995: 255-273
36		Claus Hintermeier, Hélène Kirchner, Peter D. Mosses: Rn- and Gn-Logics. HOA 1995: 90-108
35		Hélène Kirchner, Pierre-Etienne Moreau: Prototyping Completion with Constraints Using Computational Systems. RTA 1995: 438-443
	1994
34		Claus Hintermeier, Claude Kirchner, Hélène Kirchner: Sort Inheritance for Order-Sorted Equational Presentations. COMPASS/ADT 1994: 319-335
33		Hélène Kirchner: On the Use of Constraints in Automated Deduction Constraint Programming 1994: 128-146
32		Claus Hintermeier, Claude Kirchner, Hélène Kirchner: Dynamically-Typed Computations for Order-Sorted Equational Presentations. ICALP 1994: 450-461
31		Hélène Kirchner, Christophe Ringeissen: Constraint Solving by Narrowing in Combined Algebraic Domains. ICLP 1994: 617-631
30		Hélène Kirchner, Christophe Ringeissen: Combining Symbolic Constraint Solvers on Algebraic Domains. J. Symb. Comput. 18(2): 113-155 (1994)
	1993
29		Claude Kirchner, Hélène Kirchner, Marian Vittek: Implementing Computational Systems with Constraints. PPCP 1993: 156-165
28		Hélène Kirchner: Some Extensions of Rewriting. Term Rewriting 1993: 54-73
	1992
27		Hélène Kirchner, Giorgio Levi: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings Springer 1992
26		Hélène Kirchner, Christophe Ringeissen: A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. JICSLP 1992: 225-239
25		Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis: Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. J. Log. Program. 12(3&4): 257-279 (1992)
24		Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch: The Term Rewriting Approach to Automated Theorem Proving. J. Log. Program. 14(1&2): 71-99 (1992)
23		Hélène Kirchner: To Prof. Dr. Wolfgang Wechler. Theor. Comput. Sci. 105(1): 4-5 (1992)
	1991
22		Hélène Kirchner: Proofs in Parameterized Specification. RTA 1991: 174-187
21		Miki Hermann, Claude Kirchner, Hélène Kirchner: Implementations of Term Rewriting Systems. Comput. J. 34(1): 20-33 (1991)
	1990
20		Hélène Kirchner, Wolfgang Wechler: Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings Springer 1990
19		Hélène Kirchner, Miki Hermann: Meta-rule Synthesis from Crossed Rewrite Systems. CTRS 1990: 143-154
18		Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner: Equational Completion in Order-Sorted Algebras. Theor. Comput. Sci. 72(2&3): 169-202 (1990)
	1989
17		Claude Kirchner, Hélène Kirchner: Constrained Equational Reasoning. ISSAC 1989: 382-389
16		Hélène Kirchner: Schematization of Infinite Sets of Rewrite Rules Generated by Divergent Completion Processes. Theor. Comput. Sci. 67(2&3): 303-332 (1989)
	1988
15		Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis: OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. ALP 1988: 41-52
14		Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner: Equational Completion in Order-Sorted Algebras (Extended Abstract). CAAP 1988: 165-184
13		Claude Kirchner, Hélène Kirchner, José Meseguer: Operational Semantics of OBJ-3 (Extended Abstract). ICALP 1988: 287-301
	1987
12		Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler: An Introduction to OBJ 3. CTRS 1987: 258-263
11		Hélène Kirchner: Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion Processes. RTA 1987: 180-191
10		Claude Kirchner, Hélène Kirchner: REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. Sci. Comput. Program. 8(1): 69-86 (1987)
	1986
9		Jean-Pierre Jouannaud, Hélène Kirchner: Completion of a Set of Rules Modulo a Set of Equations. SIAM J. Comput. 15(4): 1155-1194 (1986)
	1985
8		Claude Kirchner, Hélène Kirchner: Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. European Conference on Computer Algebra (2) 1985: 402-404
7		Pierre Réty, Claude Kirchner, Hélène Kirchner, Pierre Lescanne: NARROWER: A New Algorithm for Unification and Its Application to Logic Programming. RTA 1985: 141-157
	1984
6		Hélène Kirchner: A General Inductive Completion Algorithm and Application to Abstract Data Types. CADE 1984: 282-302
5		Jean-Pierre Jouannaud, Hélène Kirchner: Completion of a Set of Rules Modulo a Set of Equations. POPL 1984: 83-92
4		Jean-Pierre Jouannaud, Hélène Kirchner: Construction D'un Plus Petit Odre de Simplification. ITA 18(3): 191-208 (1984)
	1983
3		Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner: Incremental Construction of Unification Algorithms in Equational Theories. ICALP 1983: 361-373
2		Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Remy: Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. IJCAI 1983: 909-915
	1981
1		Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud: Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. IJCAI 1981: 1016-1023

Coauthor Index

1	Oana Andrei	[79] [80] [85] [87] [94] [101]
2	Egidio Astesiano	[60]
3	Michel Bidoit	[60]
4	Peter Borovanský	[38] [39] [43] [47] [58] [61]
5	Tony Bourdier	[91] [102]
6	Olivier Bournez	[66] [68] [76]
7	Paul Brauner	[89]
8	Horatiu Cirstea	[91] [102]
9	Guy-Marie Côme	[66] [68]
10	Hubert Comon-Lundh (Hubert Comon)	[84]
11	Valérie Conraud	[66] [68]
12	Eric Deplagne	[69]
13	Daniel J. Dougherty	[83] [91]
14	Hubert Dubois	[50]
15	Maribel Fernández	[101]
16	Olivier Fissore	[59] [63] [64] [67] [70]
17	Isabelle Gnaedig	[14] [18] [52] [59] [63] [64] [67] [70] [72] [77] [81] [90] [99]
18	Joseph A. Goguen	[12]
19	Bernhard Gramlich	[53]
20	Miki Hermann	[19] [21]
21	Claus Hintermeier	[32] [34] [36] [37] [42]
22	Jieh Hsiang	[24]
23	Hejiao Huang	[86] [93] [95] [100]
24	Clément Hurlin	[97]
25	Liliana Ibanescu	[66] [68] [76] [79]
26	Mathieu Jaume	[102]
27	Jean-Pierre Jouannaud	[1] [2] [3] [4] [5] [9] [15] [25]
28	Claude Kirchner	[1] [3] [7] [8] [10] [12] [13] [14] [15] [17] [18] [21] [25] [29] [32] [34] [38] [39] [42] [43] [44] [47] [49] [58] [61] [62] [69] [71] [73] [75] [82] [83] [84] [88] [89] [92]
29	Florent Kirchner	[92]
30	Bernd Krieg-Brückner	[60]
31	Pierre Lescanne	[7] [24]
32	Giorgio Levi	[27]
33	Songyun Liu	[86]
34	Aristide Mégrelis	[12] [15] [25]
35	Guy Melançon	[101]
36	José Meseguer	[12] [13]
37	Pierre-Etienne Moreau	[35] [38] [40] [43] [45] [46] [57] [61]
38	Peter D. Mosses	[36] [37] [48] [56] [60]
39	César Muñoz	[98]
40	Fabrice Nahon	[89]
41	Olivier Namet	[101]
42	Quang Huy Nguyen	[62] [69]
43	Anderson Santana de Oliveira (Anderson Santana)	[73] [75] [82] [83] [88]
44	Frank Pfenning	[53]
45	Bruno Pinaud	[101]
46	Silvio Ranise	[74] [78] [96]
47	Jean-Luc Remy	[2]
48	Pierre Réty	[7]
49	Christophe Ringeissen	[26] [30] [31] [43] [55] [58] [65] [74] [78] [96]
50	Michaël Rusinowitch	[24]
51	Donald Sannella	[60]
52	Andrzej Tarlecki	[60]
53	Duc-Khanh Tran	[74] [78] [96]
54	Marian Vittek	[29] [38]
55	Eric Ke Wang	[82]
56	Wolfgang Wechler	[20]
57	Timothy C. Winkler	[12]
58	Weili Wu	[86]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page