António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Confirmed Publications: 66



21
TITLE: Type-Based Cost Analysis for Lazy Functional Languages  Full Text
AUTHORS: Jost, S; Vasconcelos, P ; Florido, M ; Hammond, Kevin ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | DBLP | CIÊNCIAVITAE
22
TITLE: CLP(H): <i>Constraint logic programming for hedges</i>
AUTHORS: Dundua, B ; Florido, M ; Kutsia, T;
PUBLISHED: 2016, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: CIÊNCIAVITAE
23
TITLE: Lambda Calculus with Regular Types
AUTHORS: Dundua, B ; Florido, M ; Kutsia, T;
PUBLISHED: 2016, SOURCE: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
24
TITLE: Preface
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2016, SOURCE: LSFA
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
25
TITLE: Certifying execution time in multicores  Full Text
AUTHORS: Rodrigues, V ; Akesson, B; Florido, M ; de Sousa, SM ; Pedroso, JP ; Vasconcelos, P ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
26
TITLE: Liquid Intersection Types  Full Text
AUTHORS: Pereira, M; Alves, S ; Florido, M ;
PUBLISHED: 2015, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 177, ISSUE: 177
INDEXED IN: WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
27
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
28
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: 11
IN MY: ORCID | DBLP | CIÊNCIAVITAE
29
TITLE: Constraint Logic Programming for Hedges: A Semantic Reconstruction
AUTHORS: Dundua, B ; Florido, M ; Kutsia, T; Marin, M;
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: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
30
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 | CIÊNCIAVITAE
Page 3 of 7. Total results: 66.

footer slogan

Useful Links

Get Help

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