Jorge Miguel Soares Ramos


AuthID: R-00H-73M

Publicações Confirmadas: 6



1
TÍTULO: Extending the Quantitative Pattern-Matching Paradigm
AUTORES: Sandra Alves ; Delia Kesner; Miguel Ramos ;
PUBLICAÇÃO: 2024, FONTE: 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024 in Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings, VOLUME: 15194
INDEXADO EM: Scopus DBLP
2
TÍTULO: Quantitative Global Memory
AUTORES: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLICAÇÃO: 2023, FONTE: 29th International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, VOLUME: 13923
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
3
TÍTULO: Fishing for DNA? Designing baits for population genetics in target enrichment experiments: guidelines, considerations and the new tool s upeRbaits  Full Text
AUTORES: Belén Jiménez‐Mena; Hugo Flávio; Romina Henriques; Alice Manuzzi; Miguel Ramos ; Dorte Meldrup; Janette Edson; Snæbjörn Pálsson; Guðbjörg Ásta Ólafsdóttir; Jennifer R Ovenden; Einar Eg Nielsen;
PUBLICAÇÃO: 2022, FONTE: Molecular Ecology Resources
INDEXADO EM: CrossRef
NO MEU: ORCID
4
TÍTULO: An ML-style Record Calculus with Extensible Records  Full Text
AUTORES: Alves, S ; Ramos, M ;
PUBLICAÇÃO: 2021, FONTE: 37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 351
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
5
TÍTULO: EVL: a typed functional language for event processing
AUTORES: Sandra Alves ; Maribel Fernández; Miguel Ramos ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2109.08960
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
6
TÍTULO: EVL: A Typed Higher-order Functional Language for Events
AUTORES: Alves, S ; Fernandez, M; Ramos, M ;
PUBLICAÇÃO: 2020, FONTE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP

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