Horatiu Cirstea

Publications

Horatiu Cirstea, Pierre-Etienne Moreau, and Antoine Reilles. TomML: A rule language for structured data. In Guido Governatori, John Hall, and Adrian Paschke, editors, International RuleML Symposium on Rule Interchange and Applications, volume 5858 of Lecture Notes in Computer Science, pages 262-271, Las Vegas, USA, November 2009. Springer. [ bib | .pdf ]

Tony Bourdier, Horatiu Cirstea, Pierre-Etienne Moreau, and Anderson Santana de Oliveira. Analysis of lattice-based access control policies using rewriting systems and Tom. In Sjouke Mauw and Leendert van der Torre, editors, Luxembourg Day on Security and Reliabilty, February 2009. ISBN 2-919940-84-8. [ bib | .pdf ]

Horatiu Cirstea, Pierre-Etienne Moreau, and Anderson Santana de Oliveira. Rewrite based specification of access control policies. In Daniel Dougherty and Santiago Escobar, editors, 3rd International Workshop on Security and Rewriting Techniques - SecRet'08, volume 234 of Electronic Notes in Theoretical Computer Science, pages 37-54, Pittsburgh, PA, USA, June 2008. Elsevier. [ bib | .pdf ]

Horatiu Cirstea, Germain Faure, Maribel Fernandez, Ian Mackie, and François-Régis Sinot. From functional programs to interaction nets via the Rewriting Calculus. In Sergio Antoy, editor, 6th International Workshop on Reduction Strategies in Rewriting and Programming - WRS'06, volume 174(10) of Electronic Notes in Theoretical Computer Science, pages 39-56, Seattle, Washington, USA, August 2007. Elsevier. [ bib | .pdf ]

Horatiu Cirstea and Germain Faure. Confluence of pattern-based lambda-calculi. In Franz Baader, editor, 18th International Conference on Term Rewriting and Applications - RTA'07, volume 4533 of Lecture Notes in Computer Science, pages 78-92, Paris, France, June 2007. Springer. [ bib | .pdf ]

Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, and Claude Kirchner. Towards a sharing strategy for the graph rewriting calculus. In Jürgen Giesl, editor, 7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS'07, volume 204 of Electronic Notes in Theoretical Computer Science, pages 111-127, Paris, France, June 2007. Elsevier. [ bib | .pdf ]

Horatiu Cirstea, Clement Houtmann, and Benjamin Wack. Distributive rewriting calculus. In Grit Denker and Carolyn L. Talcott, editors, 6th International Workshop on Rewriting Logic and its Applications - WRLA'06, volume 176(4) of Electronic Notes in Theoretical Computer Science, pages 95-111, Barcelona, Spain, Mars 2007. Elsevier. [ bib | .pdf ]

Horatiu Cirstea, Germain Faure, and Claude Kirchner. A Rho-Calculus of explicit constraint application. Higher-Order and Symbolic Computation, 20:37-72, 2007. [ bib | .pdf ]

Horatiu Cirstea, Claude Kirchner, Luigi Liquori, and Benjamin Wack. Decidable Type Inference for the Polymorphic Rewriting Calculus. In 17è Journées Francophones des Langages Applicatifs - JFLA 2006, Pauillac, France, January 2006. [ bib | .pdf ]

Clara Bertolissi, Horatiu Cirstea, and Claude Kirchner. Expressing combinatory reduction systems derivations in the rewriting calculus. Higher-Order and Symbolic Computation, 19(4):345-376, 2006. [ bib | .pdf ]

Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, and Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. Mathematical Structures in Computer Science, 17:363-406, 2006. [ bib | .pdf ]

Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, and Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. In Maribel Fernandez, editor, 2nd International Workshop on Term Graph Rewriting - TERMGRAPH'04, volume 127(5) of Electronic Notes in Theoretical Computer Science, pages 21-41, Roma, Italy, September 2004. Elsevier. [ bib | .pdf ]

Horatiu Cirstea, Germain Faure, and Claude Kirchner. A rho-calculus of explicit constraint application. In Narciso Marti Oliet, Manuel Clavel, and Alberto Verdejo, editors, 5th International Workshop on Rewriting Logic and its Applications - WRLA'04, volume 117 of Electronic Notes in Theoretical Computer Science, pages 51-67, Barcelona, Spain, March 2004. Elsevier. [ bib | .pdf ]

Horatiu Cirstea, Pierre-Etienne Moreau, and Antoine Reilles. Rule based programming in java for protocol verification. In Narciso Marti Oliet, Manuel Clavel, and Alberto Verdejo, editors, 5th International Workshop on Rewriting Logic and Application - WRLA'04, volume 117 of Electronic Notes in Theoretical Computer Science, pages 209-227, Barcelona, Spain, March 2004. Elsevier. [ bib | .pdf ]

Horatiu Cirstea, Claude Kirchner, Luigi Liquori, and Benjamin Wack. Rewrite strategies in the rewriting calculus. In Bernhard Gramlich and Salvador Lucas, editors, 3rd International Workshop on Reduction Strategies in Rewriting and Programming , volume 86(4) of Electronic Notes in Theoretical Computer Science, pages 18-34, Valencia, Spain, June 2003. Elsevier. [ bib | .pdf ]

Clara Bertolissi, Horatiu Cirstea, and Claude Kirchner. Translating Combinatory Reduction Systems into the Rewriting Calculus. In Jean-Louis Giavitto and Pierre-Etienne Moreau, editors, 4th International Workshop on Rule-Based Programming - RULE'03, volume 86(2) of Electronic Notes in Theoretical Computer Science, pages 17-32, Valencia, Spain, June 2003. Elsevier. [ bib | .pdf ]

Horatiu Cirstea, Luigi Liquori, and Benjamin Wack. Rewriting calculus with fixpoints: Untyped and first-order systems. In Stefano Berardi, Mario Coppo, and Ferruccio Damiani, editors, Types for Proofs and Programs - TYPES'03, volume 3085 of Lecture Notes in Computer Science, pages 147-161, Torino, Italy, May 2003. Springer. [ bib | .pdf ]

Gilles Barthe, Horatiu Cirstea, Claude Kirchner, and Luigi Liquori. Pure Patterns Type Systems. In 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'03, volume 38(1) of ACM SIGPLAN Notices, pages 250-261, New Orleans, USA, January 2003. ACM. [ bib | .pdf ]

Horatiu Cirstea, Claude Kirchner, and Luigi Liquori. Rewriting Calculus with(out) Types. In Fabio Gadducci and Ugo Montanari, editors, 4th International Workshop on Rewriting Logic and Application - WRLA'02, volume 71 of Electronic Notes in Theoretical Computer Science, pages 3-19, Pisa, Italy, September 2002. Elsevier. [ bib | .pdf ]

Horatiu Cirstea and Claude Kirchner. The rewriting calculus - Part I. Logic Journal of the Interest Group in Pure and Applied Logics, 9(3):427-463, May 2001. [ bib | .pdf ]

Horatiu Cirstea and Claude Kirchner. The rewriting calculus - Part II. Logic Journal of the Interest Group in Pure and Applied Logics, 9(3):465-498, May 2001. [ bib | .pdf ]

Horatiu Cirstea, Claude Kirchner, and Luigi Liquori. Matching Power. In Aart Middeldorp, editor, 12th International Conference on Term Rewriting and Applications - RTA'01, volume 2051 of Lecture Notes in Computer Science, pages 77-92, Utrecht, The Netherlands, May 2001. Springer. [ bib | .pdf ]

Horatiu Cirstea, Claude Kirchner, and Luigi Liquori. The Rho Cube. In Furio Honsell, editor, Foundations of Software Science and Computation Structures - FoSSaCS'01, volume 2030 of Lecture Notes in Computer Science, pages 168-183, Genova, Italy, April 2001. Springer. [ bib | .pdf ]

Horatiu Cirstea. Specifying authentication protocols using rewriting and strategies. In I. V. Ramakrishnan, editor, 3rd International Symposium on Practical Aspects of Declarative Languages - PADL'01, volume 1990 of Lecture Notes in Computer Science, pages 138-153, Las Vegas, USA, March 2001. Springer. [ bib | .pdf ]

Horatiu Cirstea and Claude Kirchner. Rewriting and Multisets in Rho-calculus and ELAN. Romanian Journal of Information, Science and Technology, 4(1-2):33-48, 2001. ISSN: 1453-8245. [ bib | .pdf ]

Horatiu Cirstea and Claude Kirchner. The simply typed rewriting calculus. In Kokichi Futatsugi, editor, 3rd International Workshop on Rewriting Logic and Application - WRLA'00, volume 36 of Electronic Notes in Theoretical Computer Science, pages 21-37, Kanazawa (Japan), September 2000. Elsevier. [ bib | .pdf ]

Horatiu Cirstea. Calcul de réécriture : fondements et applications. Thèse de Doctorat, Université Henri Poincaré - Nancy I, 2000. [ bib | .pdf ]

Horatiu Cirstea. Specifying Authentication Protocols Using ELAN. In Workshop on Modelling and Verification, Besancon, France, December 1999. [ bib | .pdf ]

Horatiu Cirstea and Claude Kirchner. An introduction to the rewriting calculus. Research Report RR-3818, INRIA, December 1999. [ bib | .html ]

Horatiu Cirstea and Claude Kirchner. Combining higher-order and first-order computation using rho-calculus: Towards a semantics of ELAN. In Dov Gabbay and Maarten de Rijke, editors, Frontiers of Combining Systems 2, Research Studies, pages 95-120. Wiley, 1999. ISBN 0863802524. [ bib | .pdf ]

Horatiu Cirstea and Claude Kirchner. The rewriting calculus as a semantics of ELAN. In Jieh Hsiang and Atsushi Ohori, editors, 4th Asian Computing Science Conference - ASIAN'98, volume 1538 of Lecture Notes in Computer Science, pages 84-85, Manila, The Philippines, December 1998. Springer. [ bib | .pdf ]

Horatiu Cirstea and Claude Kirchner. Rho-calculus. Its Syntax and Basic Properties. In Workshop Construction of Computational Logics - CCL'98, Jerusalem, Israel, September 1998. [ bib ]

Horatiu Cirstea and Claude Kirchner. Using Rewriting and Strategies for Describing the B Predicate Prover. In Workshop on Strategies in Automated Deduction, CADE-15, Lindau, Germany, July 1998. [ bib | .pdf ]

Horatiu Cirstea and Claude Kirchner. Theorem Proving Using Computational Systems: The Case of the B Predicate Prover. In Workshop CCL'97, Schloβ Dagstuhl, Germany, September 1997. [ bib ]

Horatiu Cirstea, Adrian Locusteanu, Florin Paunescu, and Cristian Petculescu. Open systems security. In 3rd Romanian Conference on Open Systems, Bucharest, Romania, November 1995. [ bib | .pdf ]

Horatiu Cirstea and Nicolae Tapus. Process per Processor Allocation Using Genetic Algorithms. In Proceedings of 10th International Conference on Control Systems and Computer Science, Bucharest, Romania, May 1995. [ bib | .pdf ]

Horatiu Cirstea, Adrian Locusteanu, and Florin Paunescu. Open computing. In 2nd Romanian Conference on Open Systems, Bucharest, Romania, November 1994. [ bib | .pdf ]

This file was generated by bibtex2html 1.94.