Jorge Coelho

	2007
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
	2006
3		Jorge Coelho, Mário Florido: VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. APWeb Workshops 2006: 148-156
	2004
2		Jorge Coelho, Mário Florido: CLP(Flex): Constraint Logic Programming Applied to XML Processing. CoopIS/DOA/ODBASE (2) 2004: 1098-1112
	2003
1		Jorge Coelho, Mário Florido: Type-Based XML Processing in Logic Programming. PADL 2003: 273-285

Coauthor Index

1	Mário Florido	[1] [2] [3] [4] [5] [6] [7]
2	Temur Kutsia	[4]