| |
| 2007 | ||
|---|---|---|
| 7 | EE | Jorge Coelho, Mário Florido: Type-Based Static and Dynamic Website Verification. ICIW 2007: 32 |
| 6 | EE | Jorge Coelho, Mário Florido: XCentric: A Logic-Programming Language for XML Processing. PLAN-X 2007: 93-94 |
| 5 | EE | Jorge Coelho, Mário Florido: XCentric: logic programming for XML processing. WIDM 2007: 1-8 |
| 4 | EE | Jorge Coelho, Mário Florido, Temur Kutsia: Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops 2007: 91-102 |
| 2006 | ||
| 3 | EE | Jorge Coelho, Mário Florido: VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. APWeb Workshops 2006: 148-156 |
| 2004 | ||
| 2 | EE | Jorge Coelho, Mário Florido: CLP(Flex): Constraint Logic Programming Applied to XML Processing. CoopIS/DOA/ODBASE (2) 2004: 1098-1112 |
| 2003 | ||
| 1 | EE | Jorge Coelho, Mário Florido: Type-Based XML Processing in Logic Programming. PADL 2003: 273-285 |
| 1 | Mário Florido | [1] [2] [3] [4] [5] [6] [7] |
| 2 | Temur Kutsia | [4] |