António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações Confirmadas: 64



51
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 | DBLP | CIÊNCIAVITAE
52
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
53
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
54
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
55
TÍTULO: The power of linear functions
AUTORES: Sandra Alves ; Maribel Fernandez; Mirio Florido ; Ian Mackie;
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
56
TÍTULO: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
AUTORES: Hugo R Simões; Hammond, Kevin; Mário Florido ; Pedro B Vasconcelos ;
PUBLICAÇÃO: 2006, FONTE: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, VOLUME: 4502
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
57
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
58
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 | ResearcherID | DBLP | CIÊNCIAVITAE
59
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 | DBLP
60
TÍTULO: Linearization of the lambda-calculus and its relation with intersection type systems
AUTORES: Florido, M ; Damas, L ;
PUBLICAÇÃO: 2004, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 14, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 6 de 7. Total de resultados: 64.

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

Links Úteis

Ajuda

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