BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Italy
1 × Poland
1 × The Netherlands
2 × USA
Collaborated with:
C.Kirchner L.Liquori P.Moreau G.Faure T.Bourdier ∅ S.Lenglet C.Houtmann B.Wack A.Reilles G.Barthe
Talks about:
rewrit (6) calculus (5) system (4) rho (4) type (3) constraint (2) strategi (2) protocol (2) explicit (2) pattern (2)

Person: Horatiu Cirstea

DBLP DBLP: Cirstea:Horatiu

Contributed to:

RTA 20152015
PPDP 20112011
RTA 20072007
WRLA 20062007
WRLA 20042005
WRLA 20042007
POPL 20032003
WRLA 20022002
FoSSaCS 20012001
PADL 20012001
RTA 20012001
WRLA 20002000
PPDP 20192019

Wrote 14 papers:

RTA-2015-CirsteaLM #encoding #programmable #term rewriting
A faithful encoding of programmable strategies into term rewriting systems (HC, SL, PEM), pp. 74–88.
PPDP-2011-BourdierC #analysis #network #policy #security #term rewriting #using
Symbolic analysis of network security policies using rewrite systems (TB, HC), pp. 77–88.
RTA-2007-CirsteaF #calculus #confluence
Confluence of Pattern-Based Calculi (HC, GF), pp. 78–92.
WRLA-2006-CirsteaHW07 #calculus
Distributive rho-calculus (HC, CH, BW), pp. 95–111.
WRLA-2004-CirsteaFK05 #calculus #constraints
A rho-Calculus of Explicit Constraint Application (HC, GF, CK), pp. 51–67.
WRLA-2004-CirsteaMR05 #java #programming #protocol #rule-based #verification
Rule-based Programming in Java For Protocol Verification (HC, PEM, AR), pp. 209–227.
WRLA-J-2004-CirsteaFK07 #calculus #constraints
A rho-calculus of explicit constraint application (HC, GF, CK), pp. 37–72.
POPL-2003-BartheCKL #type system
Pure patterns type systems (GB, HC, CK, LL), pp. 250–261.
WRLA-2002-CirsteaKL #calculus
Rewriting Calculus with(out) Types (HC, CK, LL), pp. 3–19.
FoSSaCS-2001-CirsteaKL
The Rho Cube (HC, CK, LL), pp. 168–183.
PADL-2001-Cirstea #authentication #protocol #specification #using
Specifying Authentication Protocols Using Rewriting and Strategies (HC), pp. 138–152.
RTA-2001-CirsteaKL
Matching Power (HC, CK, LL), pp. 77–92.
WRLA-2000-CirsteaK #calculus
The simply typed rewriting calculus (HC, CK), pp. 24–42.
PPDP-2019-CirsteaM #encoding #term rewriting
Generic Encodings of Constructor Rewriting Systems (HC, PEM), p. 12.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.