Horatiu Cirstea

	2011
31		Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner: Formal Specification and Validation of Security Policies. FPS 2011: 148-163
30		Tony Bourdier, Horatiu Cirstea: Symbolic analysis of network security policies using rewrite systems. PPDP 2011: 77-88
	2010
29		Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-patterns for rule-based languages. J. Symb. Comput. 45(5): 523-550 (2010)
	2009
28		Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles: TomML: A Rule Language for Structured Data. RuleML 2009: 262-271
27		Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner: Extensional and Intensional Strategies WRS 2009: 1-19
26		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)
	2008
25		Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner: Towards a Sharing Strategy for the Graph Rewriting Calculus. Electr. Notes Theor. Comput. Sci. 204: 111-127 (2008)
24		Horatiu Cirstea, Maribel Fernández: Rewriting calculi, higher-order reductions and patterns: introduction. Mathematical Structures in Computer Science 18(3): 427-429 (2008)
	2007
23		Horatiu Cirstea, Germain Faure: Confluence of Pattern-Based Calculi. RTA 2007: 78-92
22		Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot: From Functional Programs to Interaction Nets via the Rewriting Calculus. Electr. Notes Theor. Comput. Sci. 174(10): 39-56 (2007)
21		Horatiu Cirstea, Clément Houtmann, Benjamin Wack: Distributive rho-calculus. Electr. Notes Theor. Comput. Sci. 176(4): 95-111 (2007)
20		Horatiu Cirstea, Germain Faure, Claude Kirchner: A rho-calculus of explicit constraint application. Higher-Order and Symbolic Computation 20(1-2): 37-72 (2007)
19		Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner: A rewriting calculus for cyclic higher-order term graphs. Mathematical Structures in Computer Science 17(3): 363-406 (2007)
	2006
18		Horatiu Cirstea, Narciso Martí-Oliet: Preface. Electr. Notes Theor. Comput. Sci. 147(1): 1-3 (2006)
17		Clara Bertolissi, Horatiu Cirstea, Claude Kirchner: Expressing combinatory reduction systems derivations in the rewriting calculus. Higher-Order and Symbolic Computation 19(4): 345-376 (2006)
	2005
16		Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles: Rule-based Programming in Java For Protocol Verification. Electr. Notes Theor. Comput. Sci. 117: 209-227 (2005)
15		Horatiu Cirstea, Germain Faure, Claude Kirchner: A rho-Calculus of Explicit Constraint Application. Electr. Notes Theor. Comput. Sci. 117: 51-67 (2005)
14		Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner: A Rewriting Calculus for Cyclic Higher-order Term Graphs. Electr. Notes Theor. Comput. Sci. 127(5): 21-41 (2005)
	2003
13		Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Pure patterns type systems. POPL 2003: 250-261
12		Horatiu Cirstea, Luigi Liquori, Benjamin Wack: Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES 2003: 147-161
11		Clara Bertolissi, Horatiu Cirstea, Claude Kirchner: Translating Combinatory Reduction Systems into the Rewriting Calculus. Electr. Notes Theor. Comput. Sci. 86(2): 28-44 (2003)
10		Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack: Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci. 86(4): 593-624 (2003)
	2002
9		Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Rewriting Calculus with(out) Types. Electr. Notes Theor. Comput. Sci. 71: 3-19 (2002)
	2001
8		Horatiu Cirstea, Claude Kirchner, Luigi Liquori: The Rho Cube. FoSSaCS 2001: 168-183
7		Horatiu Cirstea: Specifying Authentication Protocols Using Rewriting and Strategies. PADL 2001: 138-152
6		Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Matching Power. RTA 2001: 77-92
5		Horatiu Cirstea, Claude Kirchner: The rewriting calculus - Part I. Logic Journal of the IGPL 9(3): 339-375 (2001)
4		Horatiu Cirstea, Claude Kirchner: The rewriting calculus - Part II. Logic Journal of the IGPL 9(3): 377-410 (2001)
	2000
3		Horatiu Cirstea: Rewriting Calculus: Foundations and Applications CoRR cs.SC/0011043: (2000)
2		Horatiu Cirstea, Claude Kirchner: The simply typed rewriting calculus. Electr. Notes Theor. Comput. Sci. 36: 24-42 (2000)
	1998
1		Horatiu Cirstea, Claude Kirchner: The Rewriting Calculus as a Semantics of ELAN. ASIAN 1998: 84-85

Coauthor Index

1	Paolo Baldan	[14] [19] [25]
2	Gilles Barthe	[13]
3	Clara Bertolissi	[11] [14] [17] [19] [25]
4	Tony Bourdier	[27] [30] [31]
5	Daniel J. Dougherty	[27]
6	Germain Faure	[15] [20] [22] [23]
7	Maribel Fernández	[22] [24]
8	Clément Houtmann	[21]
9	Mathieu Jaume	[31]
10	Claude Kirchner	[1] [2] [4] [5] [6] [8] [9] [10] [11] [13] [14] [15] [17] [19] [20] [25] [29]
11	Hélène Kirchner	[27] [31]
12	Radu Kopetz	[29]
13	Luigi Liquori	[6] [8] [9] [10] [12] [13]
14	Ian Mackie	[22]
15	Narciso Martí-Oliet	[18]
16	Pierre-Etienne Moreau	[16] [26] [28] [29]
17	Anderson Santana de Oliveira (Anderson Santana)	[26]
18	Antoine Reilles	[16] [28]
19	François-Régis Sinot	[22]
20	Benjamin Wack	[10] [12] [21]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page