António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 65



31
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
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
33
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
34
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
35
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
36
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
37
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
38
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
39
TITLE: G&ouml;del&rsquo;s system <math><mi>T</mi></math> revisited   Full Text
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: Theoretical Computer Science, VOLUME: 411, ISSUE: 11-13
INDEXED IN: CrossRef: 17
IN MY: ORCID
40
TITLE: Godel's system T revisited  Full Text
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
Page 4 of 7. Total results: 65.

A place for researchers and their institutions

Useful Links

Get Help

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