Travelled to:1 × Poland
1 × USA
Collaborated with:C.Braghin A.Cortesi R.Focardi C.Piazza S.Filippone
Talks about:ambient (2) nest (2) boundari (1) complex (1) analysi (1) banana (1) mobil (1) alysi (1) tool (1)
Person: Flaminia L. Luccio
DBLP: Luccio:Flaminia_L=
Contributed to:
2003
2003Wrote 2 papers:
- TACAS-2003-BraghinCFFLP #analysis #bound #named
- BANANA — A Tool for Boundary Ambients Nesting ANAlysis (CB, AC, SF, RF, FLL, CP), pp. 437–441.
- VMCAI-2003-BraghinCFLP #analysis #complexity #mobile
- Complexity of Nesting Analysis in Mobile Ambients (CB, AC, RF, FLL, CP), pp. 86–101.