António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 65



21
TITLE: Preface
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2016, SOURCE: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016, VOLUME: 332
INDEXED IN: DBLP
IN MY: ORCID | DBLP
22
TITLE: Certifying execution time in multicores  Full Text
AUTHORS: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
23
TITLE: Liquid Intersection Types  Full Text
AUTHORS: Mario Pereira; Sandra Alves ; Mario Florido ;
PUBLISHED: 2015, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 177, ISSUE: 177
INDEXED IN: WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
24
TITLE: Preface
AUTHORS: Alves, S; Cervesato, I; Chaudhuri, K; Fernández, M; Florido, M ; Gay, S; Martini, S; Paolini, L; Della Rocca, SR; Schürmann, C; Simmons, R; Vasconcelos, V;
PUBLISHED: 2015, SOURCE: 3rd International Workshop on Linearity, LINEARITY 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 176
INDEXED IN: Scopus
IN MY: ORCID
25
TITLE: Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages  Full Text
AUTHORS: Vasconcelos, P ; Jost, S; Florido, M ; Hammond, Kevin ;
PUBLISHED: 2015, SOURCE: 24th European Conference on Programming (ESOP) held as Part of the 18th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 9032
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | DBLP
26
TITLE: Constraint Logic Programming for Hedges: A Semantic Reconstruction
AUTHORS: Besik Dundua ; Mario Florido ; Temur Kutsia; Mircea Marin;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
27
TITLE: Linearity in Computation
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: J. Log. Comput., VOLUME: 24, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
28
TITLE: Linearity: A Roadmap
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
29
TITLE: PrologCheck - Property-Based Testing in Prolog
AUTHORS: Claudio Amaral ; Mario Florido ; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP
30
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
Page 3 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