António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 66



1
TITLE: CoMPSeT: A Framework for Comparing Multiparty Session Types  Full Text
AUTHORS: Ribeiro, Telmo; Proenca, Jose; Florido, Mario ;
PUBLISHED: 2025, SOURCE: 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, ISSUE: 433
INDEXED IN: Scopus WOS DBLP CrossRef
2
TITLE: FC Portugal: RoboCup 2024 3D Simulation League Champions
AUTHORS: Miguel Abreu; Pedro Mota; Tomás Azevedo; Francisco Silva; Luís Paulo Reis; Nuno Lau; Mário Florido ;
PUBLISHED: 2025, SOURCE: 27th RoboCup International Symposium, 2024 in Lecture Notes in Computer Science, VOLUME: 15570 LNAI
INDEXED IN: Scopus CrossRef Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
3
TITLE: Regular Typed Unification  Full Text
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2025, SOURCE: 40th International Conference on Logic Programming (ICLP) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 416, ISSUE: 416
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
4
TITLE: FC Portugal: RoboCup 2023 3D Simulation League Champions
AUTHORS: Abreu, Miguel; Mota, Pedro; Reis, Luis Paulo ; Lau, Nuno; Florido, Mario ;
PUBLISHED: 2024, SOURCE: 26th Annual Robot World Cup International Symposium (RoboCup) in ROBOCUP 2023: ROBOT WORLD CUP XXVI, VOLUME: 14140
INDEXED IN: WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
5
TITLE: Towards Algebraic Subtyping for Extensible Records
AUTHORS: Rodrigo Marques; Mário Florido ; Pedro B Vasconcelos ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.06747
INDEXED IN: DBLP
IN MY: DBLP
6
TITLE: Execution Time Program Verification with Tight Bounds
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
7
TITLE: Gradual Guarantee for FJ with lambda-Expressions
AUTHORS: Ângelo, Pedro ; Bono, Viviana; Dezani Ciancaglini, Mariangiola; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
8
TITLE: A Typed Lambda Calculus with Gradual Intersection Types
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 24th International Symposium on Principles and Practice of Declarative Programming, PPDP 2022 in PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
9
TITLE: Data Type Inference for Logic Programming
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
10
TITLE: Linear Rank Intersection Types
AUTHORS: Fábio Reis; Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 28th International Conference on Types for Proofs and Programs, TYPES 2022 in 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France, VOLUME: 269
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 1 of 7. Total results: 66.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service