Travelled to:1 × Greece
Collaborated with:P.L.S.Brizolara L.C.d.Miranda J.N.Marciano
Talks about:residenti (1) interfac (1) syntact (1) semant (1) metric (1) gestur (1) formal (1) applic (1) base (1)
Person: Ana Carla de Carvalho Correia
DBLP: Correia:Ana_Carla_de_Carvalho
Contributed to:
2014Wrote 1 papers:
- DUXU-DI-2014-CorreiaBMM #formal method #gesture #interface #metric #semantics
- Syntactic/Semantic Formalizations and Metrics of Residential Applications Based on Gestural Interface (ACdCC, PLSB, LCdM, JNM), pp. 521–532.