Jorge Manuel Neves Coelho


AuthID: R-000-7TN

Publicações Confirmadas: 28



21
TÍTULO: Collaborative Schema Construction using Regular Sequence Types
AUTORES: Coelho, J ; Florido, M ; Kutsia, T;
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
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
23
TÍTULO: Type-Based Static and Dynamic Website Verification
AUTORES: Jorge Coelho ; Mário Florido ;
PUBLICAÇÃO: 2007, FONTE: ICIW
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID
24
TÍTULO: XCentric: A Logic-Programming Language for XML Processing PDF
AUTORES: Jorge Coelho ; Mário Florido ;
PUBLICAÇÃO: 2007, FONTE: PLAN-X
INDEXADO EM: DBLP
25
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
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
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
Página 3 de 3. Total de resultados: 28.

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

Links Úteis

Ajuda

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