Travelled to:1 × Canada
1 × Italy
1 × United Kingdom
Collaborated with:R.P.D.Redondo J.J.P.Arias M.F.Caíña A.B.Barragáns-Martínez A.Gil-Solla J.G.Duque
Talks about:specif (2) increment (1) incomplet (1) approxim (1) retriev (1) opinion (1) monitor (1) vertic (1) semant (1) impact (1)
Person: Ana Fernández Vilas
DBLP: Vilas:Ana_Fern=aacute=ndez
Contributed to:
2014
2004
2002Wrote 3 papers:
- KDIR-2014-CainaRV #impact analysis #monitoring
- Marble Initiative — Monitoring the Impact of Events on Customers Opinion (MFC, RPDR, AFV), pp. 403–410.
- IFM-2004-VilasARGD #imperative #incremental #logic #modelling #semantics #specification
- A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models (AFV, JJPA, RPDR, AGS, JGD), pp. 382–401.
- ICSM-2002-RedondoAVB #approximate #retrieval #reuse #specification
- Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse (RPDR, JJPA, AFV, ABBM), pp. 618–627.