António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações Confirmadas: 66



51
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 | DBLP | CIÊNCIAVITAE
52
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 | DBLP | CIÊNCIAVITAE
53
TÍTULO: Using intersection types for cost-analysis of higher-order polymorphic functional programs
AUTORES: Hugo R Simoes; Hammond, Kevin ; Mario Florido ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2007, FONTE: International Workshop on Types for Proofs and Programs in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4502
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
54
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
55
56
TÍTULO: The Power of Closed Reduction Strategies
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2006, FONTE: WRS@FLoC, VOLUME: 174, NÚMERO: 10 SPEC. ISS.
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
57
TÍTULO: The power of linear functions
AUTORES: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2006, FONTE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
58
TÍTULO: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
AUTORES: Hugo R Simões; Kevin Hammond; Mário Florido ; Pedro B Vasconcelos ;
PUBLICAÇÃO: 2006, FONTE: TYPES
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
59
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 | DBLP | CIÊNCIAVITAE
60
TÍTULO: Weak linearization of the lambda calculus  Full Text
AUTORES: Alves, S ; Florido, M ;
PUBLICAÇÃO: 2005, FONTE: 2nd Annual Meeting on Applied Semantics in THEORETICAL COMPUTER SCIENCE, VOLUME: 342, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 6 de 7. Total de resultados: 66.

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