António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações Confirmadas: 66



31
TÍTULO: Linearity: A Roadmap
AUTORES: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
TÍTULO: PrologCheck - Property-Based Testing in Prolog
AUTORES: Amaral, C ; Florido, M ; Costa, VS ;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
AUTORES: Vítor Rodrigues ; Benny Akesson; Simão Melo de Sousa ; Mário Florido ;
PUBLICAÇÃO: 2013, FONTE: PADL, VOLUME: 7752 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
TÍTULO: Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs  Full Text
AUTORES: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin ;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN NOTICES, VOLUME: 47, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
TÍTULO: Automatic amortised analysis of dynamic memory allocation for lazy functional programs
AUTORES: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin;
PUBLICAÇÃO: 2012, FONTE: 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012 in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
36
TÍTULO: A Functional Approach to Worst-Case Execution Time Analysis
AUTORES: Rodrigues, V ; Florido, M ; de Sousa, SM ;
PUBLICAÇÃO: 2011, FONTE: 20th International Workshop on Functional and Constraint Logic Programming in FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, VOLUME: 6816
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: Certifying Execution Time
AUTORES: Vítor Rodrigues ; João Pedro Pedroso ; Mário Florido ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2011, FONTE: FOPARA, VOLUME: 7177 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
TÍTULO: Interfacing Dynamically Typed Languages and the Why Tool: Reasoning about Lists and Tuples. reasoning about lists and tuples
AUTORES: Amaral, C ; Florido, M ; Jansson, P;
PUBLICAÇÃO: 2011, FONTE: 10th ACM SIGPLAN Erlang Workshop in ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
39
TÍTULO: Linearity and Recursion in a Typed Lambda-Calculus
AUTORES: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2011, FONTE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
40
TÍTULO: Semantic Verification in an Open Collaboration Scenario
AUTORES: Jorge Coelho ; Mario Florido ;
PUBLICAÇÃO: 2011, FONTE: 6th International Conference on future Information Technology (FutureTech 2011) in FUTURE INFORMATION TECHNOLOGY, PT II, VOLUME: 185, NÚMERO: PART 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 4 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