Jorge Manuel Neves Coelho


AuthID: R-000-7TN

Confirmed Publications: 26



21
TITLE: Type-Based Static and Dynamic Website Verification
AUTHORS: Jorge Coelho ; Mário Florido ;
PUBLISHED: 2007, SOURCE: 2nd International Conference on Internet and Web Applications and Services, ICIW'07 in International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
22
TITLE: XCentric: A Logic-Programming Language for XML Processing PDF
AUTHORS: Jorge Coelho ; Mário Florido ;
PUBLISHED: 2007, SOURCE: PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007
INDEXED IN: DBLP
23
TITLE: XCentric: logic programming for XML processing. logic programming for XML processing
AUTHORS: Jorge Coelho ; Mário Florido ;
PUBLISHED: 2007, SOURCE: 9th Annual ACM International Workshop on Web Information and Data Management, WIDM '07, Co-located with the 16th ACM Conference on Information and Knowledge Management, CIKM '07 in 9th ACM International Workshop on Web Information and Data Management (WIDM 2007), Lisbon, Portugal, November 9, 2007
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
24
TITLE: VeriFLog: A constraint logic programming approach to verification of website content
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2006, SOURCE: 8th Asia-Pacific Web Conference and Workshops (APWeb 2006) in ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, VOLUME: 3842
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
25
TITLE: CLP(Flex): Constraint logic programming applied to XML processing
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2004, SOURCE: On the Move Confederated International Workshop and Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPLS, DOA, AND ODBASE, PT 2, PROCEEDINGS, VOLUME: 3291
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
26
TITLE: Type-based XML processing in logic programming
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
Página 3 de 3. Total de resultados: 26.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service