Horatiu Cirstea

Available identifiers

zbMath Open cirstea.horatiuMaRDI QIDQ857911

List of research outcomes

Publication	Date of Publication	Type
Pattern eliminating transformations	2022-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q5020654	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4596794	2017-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q5277872	2017-07-12	Paper
Pure patterns type systems	2015-09-11	Paper
Towards a sharing strategy for the graph rewriting calculus	2014-01-24	Paper
Distributive \(\rho\)-calculus	2014-01-24	Paper
From functional programs to interaction nets via the rewriting calculus	2013-12-06	Paper
Rewriting calculus with(out) types	2013-10-02	Paper
A rewriting calculus for cyclic higher-order term graphs	2013-09-25	Paper
A \(\rho\)-calculus of explicit constraint application	2013-09-20	Paper
Rule-based programming in Java for protocol verification	2013-09-20	Paper
Rewrite strategies in the rewriting calculus	2013-08-27	Paper
Formal Specification and Validation of Security Policies	2012-06-08	Paper
Anti-patterns for rule-based languages	2010-05-05	Paper
Confluence of Pattern-Based Calculi	2008-01-02	Paper
A rewriting calculus for cyclic higher-order term graphs	2007-09-26	Paper
A \(\rho\)-calculus of explicit constraint application	2007-05-21	Paper
Expressing combinatory reduction systems derivations in the rewriting calculus	2007-01-05	Paper
Types for Proofs and Programs	2005-12-23	Paper
The rewriting calculus. II	2002-06-06	Paper
The rewriting calculus. I	2002-06-06	Paper
Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN	2002-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q2778872	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2769430	2002-02-05	Paper
The simply typed rewriting calculus	2001-05-07	Paper

Research outcomes over time

This page was built for person: Horatiu Cirstea