Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 69



21
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2020, SOURCE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348
INDEXED IN: Scopus WOS DBLP CrossRef: 1
22
TITLE: A Hybrid Dynamic Logic for Event/Data-Based Systems
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
PUBLISHED: 2019, SOURCE: FASE, VOLUME: 11424 LNCS
INDEXED IN: Scopus DBLP CrossRef: 8
23
TITLE: Epistemic Logics with Structured Knowledge
AUTHORS: Madeira, A ; Martins, MA ; Benevides, MRF;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
INDEXED IN: Scopus WOS DBLP CrossRef: 3
24
TITLE: Generalising KAT to Verify Weighted Computations
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 5
25
TITLE: Logics for Petri Nets with Propagating Failures
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Mario R F Benevides;
PUBLISHED: 2019, SOURCE: FSEN, VOLUME: 11761 LNCS
INDEXED IN: Scopus DBLP CrossRef
26
TITLE: On interval dynamic logic: Introducing quasi-action lattices
AUTHORS: Santiago, R; Bedregal, B; Madeira, A ; Martins, MA ;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXED IN: Scopus WOS DBLP CrossRef: 8
27
TITLE: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: ICFEM, VOLUME: 11852 LNCS
INDEXED IN: Scopus DBLP CrossRef
28
TITLE: Taming Hierarchical Connectors
AUTHORS: José Proença ; Alexandre Madeira ;
PUBLISHED: 2019, SOURCE: FSEN, VOLUME: 11761 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
29
TITLE: A Family of Graded Epistemic Logics
AUTHORS: Benevides, MRF; Madeira, A ; Martins, MA ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 6
30
TITLE: A logic for the stepwise development of reactive systems
AUTHORS: Madeira, A ; Barbosa, LS ; Hennicker, R; Martins, MA ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXED IN: Scopus WOS DBLP CrossRef: 12
Page 3 of 7. Total results: 69.

footer slogan

Useful Links

Get Help

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