Pierre-Etienne Moreau

	2010
43		Claus Brabrand, Pierre-Etienne Moreau: Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS ACM 2010
42		Claus Brabrand, Pierre-Etienne Moreau: Preface. LDTA 2010
41		Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-patterns for rule-based languages. J. Symb. Comput. 45(5): 523-550 (2010)
	2009
40		Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares: A Type System for Tom RULE 2009: 51-63
39		Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles: TomML: A Rule Language for Structured Data. RuleML 2009: 262-271
38		Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira: Rewrite Based Specification of Access Control Policies. Electr. Notes Theor. Comput. Sci. 234: 37-54 (2009)
37		Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser: The Second Rewrite Engines Competition. Electr. Notes Theor. Comput. Sci. 238(3): 281-291 (2009)
	2008
36		Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau: Towards an Efficient Implementation of Tree Automata Completion. AMAST 2008: 67-82
35		Radu Kopetz, Pierre-Etienne Moreau: Software Quality Improvement Via Pattern Matching. FASE 2008: 296-300
34		Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-pattern Matching Modulo. LATA 2008: 275-286
33		Emilie Balland, Pierre-Etienne Moreau: Term-Graph Rewriting Via Explicit Paths. RTA 2008: 32-47
32		Pierre-Etienne Moreau, Antoine Reilles: Rules and Strategies in Java. Electr. Notes Theor. Comput. Sci. 204: 71-82 (2008)
31		Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles: Rewriting Strategies in Java. Electr. Notes Theor. Comput. Sci. 219: 97-111 (2008)
	2007
30		Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-pattern Matching. ESOP 2007: 110-124
29		Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles: Tom: Piggybacking Rewriting on Java. RTA 2007: 36-47
28		Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles: Bytecode Rewriting in Tom. Electr. Notes Theor. Comput. Sci. 190(1): 19-33 (2007)
	2006
27		Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau: Formal Islands. AMAST 2006: 51-65
26		Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau: A Simple Generic Library for C. ICSR 2006: 423-426
25		Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau: A C++ Refactoring Browser and Method Extraction. SET 2006: 325-336
24		Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles: Formal Validation of Pattern Matching code. Trustworthy Software 2006
23		Emilie Balland, Pierre-Etienne Moreau: Optimizing Pattern Matching Compilation by Program Transformation. ECEASST 3: (2006)
22		Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 19(4): 343-344 (2006)
	2005
21		Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau: A collection of C, C++ and Java code understanding and refactoring plugins. ICSM (Industrial and Tool Volume) 2005: 61-64
20		Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles: Formal validation of pattern matching code. PPDP 2005: 187-197
19		Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles: Rule-based Programming in Java For Protocol Verification. Electr. Notes Theor. Comput. Sci. 117: 209-227 (2005)
	2004
18		Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles: An Integrated Development Environment for Pattern Matching Programming. Electr. Notes Theor. Comput. Sci. 107: 33-49 (2004)
17		Pierre-Etienne Moreau, Olivier Zendra: GC2: a generational conservative garbage collector for the ATImage library. J. Log. Algebr. Program. 59(1-2): 5-34 (2004)
	2003
16		Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: A Pattern Matching Compiler for Multiple Target Languages. CC 2003: 61-76
15		Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju: Environments for Term Rewriting Engines for Free! RTA 2003: 424-435
14		Jean-Louis Giavitto, Pierre-Etienne Moreau: Preface. Electr. Notes Theor. Comput. Sci. 86(2): 153-154 (2003)
	2002
13		Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen: The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. Electr. Notes Theor. Comput. Sci. 65(3): 50-56 (2002)
12		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)
	2001
11		Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: Pattern-Matching Compiler. Electr. Notes Theor. Comput. Sci. 44(2): 161-180 (2001)
10		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)
	2000
9		Pierre-Etienne Moreau: REM (Reduce Elan Machine): Core of the New ELAN Compiler. RTA 2000: 265-269
	1998
8		Pierre-Etienne Moreau: A Choice-Point Library for Backtrack Programming. Implementation Technology for Programming Languages based on Logic 1998: 16-31
7		Pierre-Etienne Moreau, Hélène Kirchner: A Compiler for Rewrite Programs in Associative-Commutative Theories. PLILP/ALP 1998: 230-249
6		Hélène Kirchner, Pierre-Etienne Moreau: Non-deterministic Computations in ELAN. WADT 1998: 168-182
5		Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen: Handling ELAN rewrite programs via an exchange format. Electr. Notes Theor. Comput. Sci. 15: 173 (1998)
4		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)
	1996
3		Hélène Kirchner, Pierre-Etienne Moreau: A reflective extension of ELAN. Electr. Notes Theor. Comput. Sci. 4: 149-168 (1996)
2		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
1		Hélène Kirchner, Pierre-Etienne Moreau: Prototyping Completion with Constraints Using Computational Systems. RTA 1995: 438-443

Coauthor Index

1	Emilie Balland	[23] [27] [28] [29] [31] [33] [36] [37]
2	Yohan Boichut	[36]
3	Peter Borovanský	[2] [4] [5] [12] [21] [25] [26]
4	Claus Brabrand	[42] [43]
5	Mark van den Brand (Mark G. J. van den Brand, M. G. J. van den Brand)	[13] [15] [37]
6	Paul Brauner	[29]
7	Horatiu Cirstea	[19] [38] [39] [41]
8	Olivier Danvy	[22]
9	Francisco Durán	[37]
10	Steven Eker	[37]
11	Andrzej Filinski	[22]
12	Thomas Genet	[36]
13	Jean-Louis Giavitto	[14] [22]
14	Julien Guyon	[18]
15	Salma Jamoussi	[5]
16	Karl Trygve Kalleberg	[37]
17	Lennart C. L. Kats	[37]
18	Andy King	[22]
19	Claude Kirchner	[2] [4] [12] [20] [24] [27] [30] [34] [40] [41]
20	Hélène Kirchner	[1] [2] [3] [4] [6] [7] [10] [12]
21	Radu Kopetz	[29] [30] [34] [35] [41]
22	Anderson Santana de Oliveira (Anderson Santana)	[38]
23	Antoine Reilles	[18] [19] [20] [24] [28] [29] [31] [32] [39]
24	Christophe Ringeissen	[4] [5] [11] [13] [16]
25	Manuel Roldán	[37]
26	Ruslan Schevchenko	[37]
27	Carolyn L. Talcott	[22]
28	Cláudia Tavares	[40]
29	Jurgen J. Vinju	[15]
30	Eelco Visser	[37]
31	Marian Vittek	[2] [11] [16] [21] [25] [26]
32	Olivier Zendra	[17]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page