Horatiu Cirstea Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner: Formal Specification and Validation of Security Policies. FPS 2011: 148-163
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tony Bourdier, Horatiu Cirstea: Symbolic analysis of network security policies using rewrite systems. PPDP 2011: 77-88
2010
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-patterns for rule-based languages. J. Symb. Comput. 45(5): 523-550 (2010)
2009
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles: TomML: A Rule Language for Structured Data. RuleML 2009: 262-271
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner: Extensional and Intensional Strategies. WRS 2009: 1-19
2008
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Maribel Fernández: Rewriting calculi, higher-order reductions and patterns: introduction. Mathematical Structures in Computer Science 18(3): 427-429 (2008)
2007
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Clément Houtmann, Benjamin Wack: Distributive rho-calculus. Electr. Notes Theor. Comput. Sci. 176(4): 95-111 (2007)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Germain Faure, Claude Kirchner: A rho-calculus of explicit constraint application. Higher-Order and Symbolic Computation 20(1-2): 37-72 (2007)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Germain Faure: Confluence of Pattern-Based Calculi. RTA 2007: 78-92
2006
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Narciso Martí-Oliet: Preface. Electr. Notes Theor. Comput. Sci. 147(1): 1-3 (2006)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Germain Faure, Claude Kirchner: A rho-Calculus of Explicit Constraint Application. Electr. Notes Theor. Comput. Sci. 117: 51-67 (2005)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles: Rule-based Programming in Java For Protocol Verification. Electr. Notes Theor. Comput. Sci. 117: 209-227 (2005)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Clara Bertolissi, Horatiu Cirstea, Claude Kirchner: Translating Combinatory Reduction Systems into the Rewriting Calculus. Electr. Notes Theor. Comput. Sci. 86(2): 28-44 (2003)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack: Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci. 86(4): 593-624 (2003)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Pure patterns type systems. POPL 2003: 250-261
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Luigi Liquori, Benjamin Wack: Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES 2003: 147-161
2002
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Rewriting Calculus with(out) Types. Electr. Notes Theor. Comput. Sci. 71: 3-19 (2002)
2001
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Claude Kirchner: The rewriting calculus - Part I. Logic Journal of the IGPL 9(3): 339-375 (2001)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Claude Kirchner: The rewriting calculus - Part II. Logic Journal of the IGPL 9(3): 377-410 (2001)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Claude Kirchner, Luigi Liquori: The Rho Cube. FoSSaCS 2001: 168-183
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea: Specifying Authentication Protocols Using Rewriting and Strategies. PADL 2001: 138-152
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Matching Power. RTA 2001: 77-92
2000
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Claude Kirchner: The simply typed rewriting calculus. Electr. Notes Theor. Comput. Sci. 36: 24-42 (2000)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea: Rewriting Calculus: Foundations and Applications. CoRR cs.SC/0011043 (2000)
1998
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Horatiu Cirstea, Claude Kirchner: The Rewriting Calculus as a Semantics of ELAN. ASIAN 1998: 84-85

Coauthor Index

1Paolo Baldan
[j17] [j12] [j7]
2Gilles Barthe
[c6]
3Clara Bertolissi
[j17] [j12] [j10] [j7] [j6]
4Tony Bourdier
[c11] [c10] [c8]
5Daniel J. Dougherty
[c8]
6Germain Faure
[j15] [j13] [c7] [j9]
7Maribel Fernández
[j16] [j15]
8Clément Houtmann
[j14]
9Mathieu Jaume
[c11]
10Claude Kirchner
[j19] [j17] [j13] [j12] [j10] [j9] [j7] [j6] [j5] [c6] [j4] [j3] [j2] [c4] [c2] [j1] [c1]
11Hélène Kirchner
[c11] [c8]
12Radu Kopetz
[j19]
13Luigi Liquori
[j5] [c6] [c5] [j4] [c4] [c2]
14Ian Mackie
[j15]
15Narciso Martí-Oliet
[j11]
16Pierre-Etienne Moreau
[j19] [j18] [c9] [j8]
17Anderson Santana de Oliveira (Anderson Santana)
[j18]
18Antoine Reilles
[c9] [j8]
19François-Régis Sinot
[j15]
20Benjamin Wack
[j14] [j5] [c5]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 04:06:45 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page