Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Andreia Mordido
AuthID:
R-00M-0C7
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (15)
Article (8)
Article in Press (4)
Unpublished (2)
Year Start - End:
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
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: 29
21
TÃTULO:
Deciding the Bisimilarity of Context-Free Session Types
AUTORES:
Bernardo Almeida;
Andreia Mordido
;
Vasco T Vasconcelos
;
PUBLICAÇÃO:
2020
,
FONTE:
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020
in
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II,
VOLUME:
12079
INDEXADO EM:
Scopus
DBLP
CrossRef
:
8
NO MEU:
DBLP
22
TÃTULO:
Mixed Sessions
AUTORES:
Vasconcelos, VT
;
Casal, F
; Almeida, B;
Mordido, A
;
PUBLICAÇÃO:
2020
,
FONTE:
29th European Symposium on Programming (ESOP) held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS)
in
PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING,
VOLUME:
12075
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
DBLP
23
TÃTULO:
Mixed Sessions: the Other Side of the Tape
Full Text
AUTORES:
Filipe Casal
;
Andreia Mordido
;
Vasco T Vasconcelos
;
PUBLICAÇÃO:
2020
,
FONTE:
12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020
in
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020.,
VOLUME:
314
INDEXADO EM:
Scopus
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
24
TÃTULO:
FreeST: Context-free Session Types in a Functional Language
PDF
AUTORES:
Almeida, B;
Mordido, A
;
Vasconcelos, VT
;
PUBLICAÇÃO:
2019
,
FONTE:
11th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES) Co-located with European Joint Conferences on Theory and Practice of Software (ETAPS)
in
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
VOLUME:
291,
NÚMERO:
291
INDEXADO EM:
Scopus
WOS
DBLP
arXiv
CrossRef
:
5
NO MEU:
ORCID
|
DBLP
25
TÃTULO:
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
Full Text
AUTORES:
Caleiro, C
;
Casal, F
;
Mordido, A
;
PUBLICAÇÃO:
2019
,
FONTE:
THEORETICAL COMPUTER SCIENCE,
VOLUME:
781
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
26
TÃTULO:
Probabilistic logic over equations and domain restrictions
AUTORES:
Mordido, A
;
Caleiro, C
;
PUBLICAÇÃO:
2019
,
FONTE:
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,
VOLUME:
29,
NÚMERO:
6
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
27
TÃTULO:
Classical Generalized Probabilistic Satisfiability
AUTORES:
Carlos Caleiro
;
Filipe Casal
;
Andreia Mordido
;
PUBLICAÇÃO:
2017
,
FONTE:
26th International Joint Conference on Artificial Intelligence, IJCAI 2017
in
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
INDEXADO EM:
Scopus
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
28
TÃTULO:
Generalized Probabilistic Satisfiability
AUTORES:
Caleiro, C
;
Casal, F
;
Mordido, A
;
PUBLICAÇÃO:
2017
,
FONTE:
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
VOLUME:
332
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
2
NO MEU:
ORCID
|
DBLP
29
TÃTULO:
An Equation-Based Classical Logic
AUTORES:
Andreia Mordido
;
Carlos Caleiro
;
PUBLICAÇÃO:
2015
,
FONTE:
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings,
VOLUME:
9160
INDEXADO EM:
DBLP
CrossRef
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
Página 3 de 3. Total de resultados: 29.
<<
<
1
2
3
>
>>
×
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
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service