António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações Confirmadas: 64



31
TÍTULO: A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
AUTORES: Vitor Rodrigues ; Benny Akesson; Simão Melo de Sousa ; Mário Florido ;
PUBLICAÇÃO: 2013, FONTE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
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
33
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
34
TÍTULO: Certifying execution time
AUTORES: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLICAÇÃO: 2012, FONTE: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7177 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
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
36
TÍTULO: Interfacing Dynamically Typed Languages and the Why Tool: Reasoning about Lists and Tuples. reasoning about lists and tuples
AUTORES: Claudio Amaral ; Mario Florido ; Patrik Jansson;
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
37
TÍTULO: Linearity and Recursion in a Typed Lambda-Calculus
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
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
38
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
39
TÍTULO: A Rule-Based Approach to XML Processing and Web Reasoning  Full Text
AUTORES: Jorge Coelho ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2010, FONTE: 4th International Conference on Web Reasoning and Rule Systems in WEB REASONING AND RULE SYSTEMS, VOLUME: 6333
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
40
TÍTULO: Godel's system T revisited  Full Text
AUTORES: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2010, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 11-13
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 4 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