António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 64



31
TITLE: A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
AUTHORS: Vitor Rodrigues ; Benny Akesson; Simão Melo de Sousa ; Mário Florido ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
32
TITLE: Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs  Full Text
AUTHORS: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin ;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 47, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
33
TITLE: Automatic amortised analysis of dynamic memory allocation for lazy functional programs
AUTHORS: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin;
PUBLISHED: 2012, SOURCE: 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012 in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
34
TITLE: Certifying execution time
AUTHORS: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
35
TITLE: A Functional Approach to Worst-Case Execution Time Analysis
AUTHORS: Rodrigues, V ; Florido, M ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 20th International Workshop on Functional and Constraint Logic Programming in FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, VOLUME: 6816
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
36
TITLE: Interfacing Dynamically Typed Languages and the Why Tool: Reasoning about Lists and Tuples. reasoning about lists and tuples
AUTHORS: Claudio Amaral ; Mario Florido ; Patrik Jansson;
PUBLISHED: 2011, SOURCE: 10th ACM SIGPLAN Erlang Workshop in ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
37
TITLE: Linearity and Recursion in a Typed Lambda-Calculus
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
38
TITLE: Semantic Verification in an Open Collaboration Scenario
AUTHORS: Jorge Coelho ; Mario Florido ;
PUBLISHED: 2011, SOURCE: 6th International Conference on future Information Technology (FutureTech 2011) in FUTURE INFORMATION TECHNOLOGY, PT II, VOLUME: 185, ISSUE: PART 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
39
TITLE: A Rule-Based Approach to XML Processing and Web Reasoning  Full Text
AUTHORS: Jorge Coelho ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2010, SOURCE: 4th International Conference on Web Reasoning and Rule Systems in WEB REASONING AND RULE SYSTEMS, VOLUME: 6333
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
40
TITLE: Godel's system T revisited  Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Page 4 of 7. Total results: 64.

A place for researchers and their institutions

Useful Links

Get Help

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