Jorge Miguel Soares Ramos


AuthID: R-00H-73M

Confirmed Publications: 4



1
TITLE: Fishing for DNA? Designing baits for population genetics in target enrichment experiments: guidelines, considerations and the new tool s upeRbaits  Full Text
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: Molecular Ecology Resources
INDEXED IN: CrossRef
IN MY: ORCID
2
TITLE: An ML-style Record Calculus with Extensible Records  Full Text
AUTHORS: Alves, S ; Ramos, M ;
PUBLISHED: 2021, SOURCE: 37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 351
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
3
TITLE: EVL: a typed functional language for event processing
AUTHORS: Sandra Alves ; Maribel Fernández; Miguel Ramos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.08960
INDEXED IN: DBLP
IN MY: ORCID | DBLP
4
TITLE: EVL: A Typed Higher-order Functional Language for Events
AUTHORS: Alves, S ; Fernandez, M; Ramos, M ;
PUBLISHED: 2020, SOURCE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP

A place for researchers and their institutions

Useful Links

Get Help

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