Travelled to:
1 × Italy
1 × Portugal
1 × The Netherlands
2 × France
Collaborated with:
P.Réty Y.Boichut J.Amavi M.H.F.Alves
Talks about:
approxim (2) inclus (2) weak (2) type (2) xml (2) synchron (1) languag (1) descend (1) toward (1) rewrit (1)
Person: Jacques Chabin
DBLP: Chabin:Jacques
Contributed to:
Wrote 5 papers:
- LATA-2015-BoichutCR #approximate #precise #towards
- Towards More Precise Rewriting Approximations (YB, JC, PR), pp. 652–663.
- RTA-2013-BoichutCR #approximate
- Over-approximating Descendants by Synchronized Tree Languages (YB, JC, PR), pp. 128–142.
- CIAA-2012-AmaviCR #recursion #xml
- Weak Inclusion for Recursive XML Types (JA, JC, PR), pp. 78–89.
- CIAA-2011-AmaviCAR #xml
- Weak Inclusion for XML Types (JA, JC, MHFA, PR), pp. 30–41.
- RTA-1991-ChabinR #graph
- Narrowing Directed by a Graph of Terms (JC, PR), pp. 112–123.