António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações Confirmadas: 66



1
TÍTULO: CoMPSeT: A Framework for Comparing Multiparty Session Types  Full Text
AUTORES: Ribeiro, Telmo; Proenca, Jose; Florido, Mario ;
PUBLICAÇÃO: 2025, FONTE: 32nd International Workshop on Expressiveness in Concurrency (EXPRESS) / 22nd Workshop on Structural Operational Semantics (SOS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2510.24205, NÚMERO: 433
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
2
TÍTULO: FC Portugal: RoboCup 2024 3D Simulation League Champions
AUTORES: Miguel Abreu; Pedro Mota; Tomás Azevedo; Francisco Silva; Luís Paulo Reis; Nuno Lau; Mário Florido ;
PUBLICAÇÃO: 2025, FONTE: 27th RoboCup International Symposium, 2024 in Lecture Notes in Computer Science, VOLUME: 15570 LNAI
INDEXADO EM: Scopus CrossRef Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: Regular Typed Unification
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2025, FONTE: 40th International Conference on Logic Programming (ICLP) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 416, NÚMERO: 416
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
4
TÍTULO: FC Portugal: RoboCup 2023 3D Simulation League Champions
AUTORES: Abreu, Miguel; Mota, Pedro; Reis, Luis Paulo ; Lau, Nuno; Florido, Mario ;
PUBLICAÇÃO: 2024, FONTE: 26th Annual Robot World Cup International Symposium (RoboCup) in ROBOCUP 2023: ROBOT WORLD CUP XXVI, VOLUME: 14140
INDEXADO EM: WOS DBLP CrossRef: 2
NO MEU: ORCID
5
TÍTULO: Towards Algebraic Subtyping for Extensible Records
AUTORES: Rodrigo Marques; Mário Florido ; Pedro B Vasconcelos ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.06747
INDEXADO EM: DBLP
6
TÍTULO: Execution Time Program Verification with Tight Bounds
AUTORES: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
7
TÍTULO: Gradual Guarantee for FJ with lambda-Expressions
AUTORES: Ângelo, Pedro ; Bono, Viviana; Dezani Ciancaglini, Mariangiola; Florido, Mario ;
PUBLICAÇÃO: 2023, FONTE: 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP) in PROCEEDINGS OF THE 25TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2023
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
8
TÍTULO: A Typed Lambda Calculus with Gradual Intersection Types
AUTORES: Ângelo, Pedro ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: PPDP
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
9
TÍTULO: Data Type Inference for Logic Programming
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
10
TÍTULO: Linear Rank Intersection Types
AUTORES: Fábio Reis; Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: TYPES, VOLUME: 269
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 1 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