×
Compute Distance To:
Author ID: cirstea.horatiu Recent zbMATH articles by "Cirstea, Horatiu"
Published as: Cirstea, Horatiu; Cirstea, H.
External Links: MGP
Documents Indexed: 26 Publications since 2000
Co-Authors: 21 Co-Authors with 26 Joint Publications
380 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 114 times in 55 Documents Cited by Year
Pure patterns type systems. Zbl 1321.68137
Barthe, Gilles; Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
16
2003
The rho cube. Zbl 0978.68072
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
14
2001
The rewriting calculus. II. Zbl 0986.03027
Cirstea, Horatiu; Kirchner, Claude
12
2001
Matching power. Zbl 0981.68065
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
11
2001
Rewrite strategies in the rewriting calculus. Zbl 1270.68122
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi; Wack, Benjamin
9
2003
Rewriting calculus with(out) types. Zbl 1272.68173
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
6
2004
Rewriting calculus with fixpoints: Untyped and first-order systems. Zbl 1100.03514
Cirstea, Horatiu; Liquori, Luigi; Wack, Benjamin
6
2004
The rewriting calculus. I. Zbl 0986.03026
Cirstea, Horatiu; Kirchner, Claude
6
2001
A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167
Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C.
5
2005
Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN. Zbl 1004.68080
Cirstea, Horatiu; Kirchner, Claude
5
2000
A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062
Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude
4
2007
The simply typed rewriting calculus. Zbl 0962.68084
Cirstea, Horatiu; Kirchner, Claude
3
2000
A \(\rho\)-calculus of explicit constraint application. Zbl 1115.68094
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
3
2007
A \(\rho\)-calculus of explicit constraint application. Zbl 1272.68172
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
2
2005
Anti-patterns for rule-based languages. Zbl 1192.68563
Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
2
2010
Formal specification and validation of security policies. Zbl 1302.94036
Bourdier, Tony; Cirstea, Horatiu; Jaume, Mathieu; Kirchner, Hélène
2
2012
From functional programs to interaction nets via the rewriting calculus. Zbl 1277.68100
Cirstea, Horatiu; Faure, Germain; Fernández, Maribel; Mackie, Ian; Sinot, François-Régis
2
2007
A faithful encoding of programmable strategies into term rewriting systems. Zbl 1366.68109
Cirstea, Horatiu; Lenglet, Sergueï; Moreau, Pierre-Etienne
2
2015
Distributive \(\rho\)-calculus. Zbl 1279.03057
Cirstea, Horatiu; Houtmann, Clément; Wack, Benjamin
2
2007
Confluence of pattern-based calculi. Zbl 1203.68069
Cirstea, Horatiu; Faure, Germain
1
2007
Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111
Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C.
1
2008
A faithful encoding of programmable strategies into term rewriting systems. Zbl 1366.68109
Cirstea, Horatiu; Lenglet, Sergueï; Moreau, Pierre-Etienne
2
2015
Formal specification and validation of security policies. Zbl 1302.94036
Bourdier, Tony; Cirstea, Horatiu; Jaume, Mathieu; Kirchner, Hélène
2
2012
Anti-patterns for rule-based languages. Zbl 1192.68563
Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
2
2010
Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111
Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C.
1
2008
A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062
Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude
4
2007
A \(\rho\)-calculus of explicit constraint application. Zbl 1115.68094
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
3
2007
From functional programs to interaction nets via the rewriting calculus. Zbl 1277.68100
Cirstea, Horatiu; Faure, Germain; Fernández, Maribel; Mackie, Ian; Sinot, François-Régis
2
2007
Distributive \(\rho\)-calculus. Zbl 1279.03057
Cirstea, Horatiu; Houtmann, Clément; Wack, Benjamin
2
2007
Confluence of pattern-based calculi. Zbl 1203.68069
Cirstea, Horatiu; Faure, Germain
1
2007
A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167
Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C.
5
2005
A \(\rho\)-calculus of explicit constraint application. Zbl 1272.68172
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
2
2005
Rewriting calculus with(out) types. Zbl 1272.68173
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
6
2004
Rewriting calculus with fixpoints: Untyped and first-order systems. Zbl 1100.03514
Cirstea, Horatiu; Liquori, Luigi; Wack, Benjamin
6
2004
Pure patterns type systems. Zbl 1321.68137
Barthe, Gilles; Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
16
2003
Rewrite strategies in the rewriting calculus. Zbl 1270.68122
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi; Wack, Benjamin
9
2003
The rho cube. Zbl 0978.68072
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
14
2001
The rewriting calculus. II. Zbl 0986.03027
Cirstea, Horatiu; Kirchner, Claude
12
2001
Matching power. Zbl 0981.68065
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
11
2001
The rewriting calculus. I. Zbl 0986.03026
Cirstea, Horatiu; Kirchner, Claude
6
2001
Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN. Zbl 1004.68080
Cirstea, Horatiu; Kirchner, Claude
5
2000
The simply typed rewriting calculus. Zbl 0962.68084
Cirstea, Horatiu; Kirchner, Claude
3
2000
all top 5

Cited by 82 Authors

8 Kirchner, Claude
7 Cirstea, Horatiu
6 Kirchner, Hélène
5 Fernández, Maribel
4 Kesner, Delia
4 Meseguer Guaita, José
3 Andrei, Oana
3 Ayala-Rincón, Mauricio
3 Bertolissi, Clara
3 Faure, Germain
3 Kutsia, Temur
3 Mackie, Ian
2 Alves, Sandra
2 Baldan, Paolo
2 Blanqui, Frédéric
2 Bonelli, Eduardo
2 Lämmel, Ralf
2 Levy, Jordi
2 Liquori, Luigi
2 Martí-Oliet, Narciso
2 Moreau, Pierre-Etienne
2 Petit, Barbara
2 Sato, Shinya
2 Villaret, Mateu
2 Viso, Andrés
1 Arrighi, Pablo
1 Belkhir, Walid
1 Borovanský, Peter
1 Bruni, Roberto
1 Bucciarelli, Antonio
1 Cerrito, Serenella
1 de Vrijer, Roel
1 Dershowitz, Nachum
1 Díaz-Caro, Alejandro
1 Dundua, Besik
1 Duval, Dominique
1 Echahed, Rachid
1 Edi, Juan
1 Forest, Julien
1 Fujita, Ken-etsu
1 Gabbay, Murdoch James
1 Genet, Thomas
1 Giorgetti, Alain
1 Hartenstein, Reiner W.
1 Hirokawa, Nao
1 Honsell, Furio
1 Houtmann, Clément
1 Jacobi, Ricardo P.
1 Jay, C. Barry
1 Kahl, Wolfram
1 Kashima, Ryo
1 Ketema, Jeroen
1 Kirchner, Florent
1 Klop, Jan Willem
1 Komori, Yuichi
1 Kutz, Yunus D. K.
1 Lenczner, Michel
1 Lenisa, Marina
1 Lermusiaux, Pierre F. J.
1 Llanos, Carlos H.
1 Marin, Mircea
1 Matsuda, Naosuke
1 Middeldorp, Aart
1 Muñoz, César A.
1 Nahon, Fabrice
1 Neto, Rinaldi Maya
1 Nguyen, Quang Huy
1 Prost, Frédéric
1 Resler, R. Daniel
1 Riba, Colin
1 Ronchi Della Rocca, Simona
1 Salmon, Yann
1 Schmidt-Schauß, Manfred
1 Simonsen, Jakob Grue
1 Sinot, François-Régis
1 Stump, Aaron
1 Valiron, Benoît
1 van Oostrom, Vincent
1 Verdejo, Alberto
1 Wack, Benjamin
1 Winter, Victor L.
1 Zankl, Harald

Citations by Year