`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: Cirstea:Horatiu

### Contributed to:

### 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.