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 ρ-calculus	2014-01-24	Paper
From Functional Programs to Interaction Nets via the Rewriting Calculus	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2851046	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2848117	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2849855	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2849866	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2844065	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 - part I	2002-06-06	Paper
The rewriting calculus - part II	2002-06-06	Paper
https://portal.mardi4nfdi.de/entity/Q2782483	2002-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q2778872	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2769430	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2703689	2001-05-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Horatiu Cirstea