Andreia Mordido


AuthID: R-00M-0C7

Confirmed Publications: 25



21
TITLE: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2019, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
INDEXED IN: Scopus WOS DBLP CrossRef: 1
22
TITLE: Probabilistic logic over equations and domain restrictions
AUTHORS: Mordido, A ; Caleiro, C;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 1
23
TITLE: Classical Generalized Probabilistic Satisfiability
AUTHORS: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLISHED: 2017, SOURCE: IJCAI
INDEXED IN: Scopus DBLP CrossRef: 1
24
TITLE: Generalized Probabilistic Satisfiability
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2017, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
INDEXED IN: Scopus WOS DBLP CrossRef: 7
25
TITLE: An Equation-Based Classical Logic
AUTHORS: Mordido, A ; Caleiro, C ;
PUBLISHED: 2015, SOURCE: 22nd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, VOLUME: 9160
INDEXED IN: Scopus WOS DBLP CrossRef: 1
Page 3 of 3. Total results: 25.

footer slogan

Useful Links

Get Help

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