Jorge Manuel Neves Coelho


AuthID: R-000-7TN

Publicações Confirmadas: 28



21
TÍTULO: Collaborative Schema Construction using Regular Sequence Types
AUTORES: Jorge Coelho ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2008, FONTE: IEEE International Conference on Information Reuse and Integration in PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
22
TÍTULO: Sequence disunification and its application in Collaborative Schema Construction
AUTORES: Coelho, J ; Florido, M ; Kutsia, T;
PUBLICAÇÃO: 2007, FONTE: 8th International Conference on Web Information Systems Engineering (WISE 2007) in WEB INFORMATION SYSTEMS ENGINEERING - WISE 2007 WORKSHOPS, VOLUME: 4832
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
23
TÍTULO: Type-Based Static and Dynamic Website Verification
AUTORES: Jorge Coelho ; Mário Florido ;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
24
TÍTULO: XCentric: A Logic-Programming Language for XML Processing PDF
AUTORES: Jorge Coelho ; Mário Florido ;
PUBLICAÇÃO: 2007, FONTE: PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007
INDEXADO EM: DBLP
25
TÍTULO: XCentric: logic programming for XML processing. logic programming for XML processing
AUTORES: Jorge Coelho ; Mário Florido ;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | CIÊNCIAVITAE
26
TÍTULO: VeriFLog: A constraint logic programming approach to verification of website content
AUTORES: Coelho, J ; Florido, M ;
PUBLICAÇÃO: 2006, FONTE: 8th Asia-Pacific Web Conference and Workshops (APWeb 2006) in ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, VOLUME: 3842
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
27
TÍTULO: CLP(Flex): Constraint logic programming applied to XML processing
AUTORES: Coelho, J ; Florido, M ;
PUBLICAÇÃO: 2004, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | CIÊNCIAVITAE
28
TÍTULO: Type-based XML processing in logic programming
AUTORES: Coelho, J ; Florido, M ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
Página 3 de 3. Total de resultados: 28.

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

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service