Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Jorge Miguel Soares Ramos
AuthID:
R-00H-73M
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (3)
Unpublished (1)
Article (1)
Article in Press (1)
Year Start - End:
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 6
1
TÃTULO:
Extending the Quantitative Pattern-Matching Paradigm
AUTORES:
Sandra Alves
; Delia Kesner;
Miguel Ramos
;
PUBLICAÇÃO:
2024
,
FONTE:
CoRR,
VOLUME:
abs/2408.11007
INDEXADO EM:
DBLP
NO MEU:
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
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service