The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Horatiu Cirstea: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Horatiu Cirstea, Claude Kirchner
    The Rewriting Calculus as a Semantics of ELAN. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:84-85 [Conf]
  2. Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    The Rho Cube. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:168-183 [Conf]
  3. Horatiu Cirstea
    Specifying Authentication Protocols Using Rewriting and Strategies. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:138-152 [Conf]
  4. Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    Pure patterns type systems. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:250-261 [Conf]
  5. Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    Matching Power. [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:77-92 [Conf]
  6. Horatiu Cirstea, Luigi Liquori, Benjamin Wack
    Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:147-161 [Conf]
  7. Horatiu Cirstea
    Rewriting Calculus: Foundations and Applications [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  8. Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
    A Rewriting Calculus for Cyclic Higher-order Term Graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:21-41 [Journal]
  9. Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
    Translating Combinatory Reduction Systems into the Rewriting Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:2, pp:- [Journal]
  10. Horatiu Cirstea, Germain Faure, Claude Kirchner
    A rho-Calculus of Explicit Constraint Application. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:51-67 [Journal]
  11. Horatiu Cirstea, Claude Kirchner
    The simply typed rewriting calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  12. Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    Rewriting Calculus with(out) Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  13. Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
    Rewrite strategies in the rewriting calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
  14. Horatiu Cirstea, Narciso Martí-Oliet
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:1-3 [Journal]
  15. Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
    Rule-based Programming in Java For Protocol Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:209-227 [Journal]
  16. Horatiu Cirstea, Claude Kirchner
    The rewriting calculus - Part I. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:3, pp:- [Journal]
  17. Horatiu Cirstea, Claude Kirchner
    The rewriting calculus - Part II. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:3, pp:- [Journal]
  18. Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
    Expressing combinatory reduction systems derivations in the rewriting calculus. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:4, pp:345-376 [Journal]
  19. Horatiu Cirstea, Germain Faure
    Confluence of Pattern-Based Calculi. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:78-92 [Conf]
  20. Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
    From Functional Programs to Interaction Nets via the Rewriting Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:39-56 [Journal]
  21. Horatiu Cirstea, Clément Houtmann, Benjamin Wack
    Distributive rho-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:95-111 [Journal]
  22. Horatiu Cirstea, Germain Faure, Claude Kirchner
    A rho-calculus of explicit constraint application. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:37-72 [Journal]

  23. TomML: A Rule Language for Structured Data. [Citation Graph (, )][DBLP]


  24. Extensional and Intensional Strategies [Citation Graph (, )][DBLP]


  25. Towards a Sharing Strategy for the Graph Rewriting Calculus. [Citation Graph (, )][DBLP]


  26. Rewrite Based Specification of Access Control Policies. [Citation Graph (, )][DBLP]


Search in 0.024secs, Finished in 0.026secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002