Jorge Coelho (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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

Selection of 7 from 8 records - Jorge Coelho has 4 coauthors