Andreia Mordido


AuthID: R-00M-0C7

Publicações Confirmadas: 25



21
TÍTULO: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2019, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
22
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
23
TÍTULO: Classical Generalized Probabilistic Satisfiability
AUTORES: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLICAÇÃO: 2017, FONTE: IJCAI
INDEXADO EM: Scopus DBLP CrossRef: 1
24
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: 7
25
TÍTULO: An Equation-Based Classical Logic
AUTORES: Mordido, A ; Caleiro, C ;
PUBLICAÇÃO: 2015, FONTE: 22nd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, VOLUME: 9160
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
Página 3 de 3. Total de resultados: 25.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service