António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações Confirmadas: 64



21
TÍTULO: Lambda Calculus with Regular Types
AUTORES: Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2016, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
22
TÍTULO: Preface
AUTORES: Vivek Nigam; Mário Florido ;
PUBLICAÇÃO: 2016, FONTE: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016, VOLUME: 332
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
23
TÍTULO: Certifying execution time in multicores  Full Text
AUTORES: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, NÚMERO: P3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
24
TÍTULO: Liquid Intersection Types  Full Text
AUTORES: Mario Pereira; Sandra Alves ; Mario Florido ;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 177, NÚMERO: 177
INDEXADO EM: WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
25
TÍTULO: Preface
AUTORES: 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;
PUBLICAÇÃO: 2015, FONTE: 3rd International Workshop on Linearity, LINEARITY 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 176
INDEXADO EM: Scopus
NO MEU: ORCID
26
TÍTULO: Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages  Full Text
AUTORES: Vasconcelos, P ; Jost, S; Florido, M ; Hammond, Kevin ;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
27
TÍTULO: Constraint Logic Programming for Hedges: A Semantic Reconstruction
AUTORES: Besik Dundua ; Mario Florido ; Temur Kutsia; Mircea Marin;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
28
TÍTULO: Linearity in Computation
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: J. Log. Comput., VOLUME: 24, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
29
TÍTULO: Linearity: A Roadmap
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
30
TÍTULO: PrologCheck - Property-Based Testing in Prolog
AUTORES: Claudio Amaral ; Mario Florido ; Vitor Santos Costa ;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 3 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