Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 69



21
TÍTULO: Introducing Synchrony in Fuzzy Automata
AUTORES: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
22
TÍTULO: A Hybrid Dynamic Logic for Event/Data-Based Systems
AUTORES: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
PUBLICAÇÃO: 2019, FONTE: FASE, VOLUME: 11424 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 8
23
TÍTULO: Epistemic Logics with Structured Knowledge
AUTORES: Madeira, A ; Martins, MA ; Benevides, MRF;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
24
TÍTULO: Generalising KAT to Verify Weighted Computations
AUTORES: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2019, FONTE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
25
TÍTULO: Logics for Petri Nets with Propagating Failures
AUTORES: Leandro Gomes ; Alexandre Madeira ; Mario R F Benevides;
PUBLICAÇÃO: 2019, FONTE: FSEN, VOLUME: 11761 LNCS
INDEXADO EM: Scopus DBLP CrossRef
26
TÍTULO: On interval dynamic logic: Introducing quasi-action lattices
AUTORES: Santiago, R; Bedregal, B; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
27
TÍTULO: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTORES: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLICAÇÃO: 2019, FONTE: ICFEM, VOLUME: 11852 LNCS
INDEXADO EM: Scopus DBLP CrossRef
28
TÍTULO: Taming Hierarchical Connectors
AUTORES: José Proença ; Alexandre Madeira ;
PUBLICAÇÃO: 2019, FONTE: FSEN, VOLUME: 11761 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
29
TÍTULO: A Family of Graded Epistemic Logics
AUTORES: Benevides, MRF; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
30
TÍTULO: A logic for the stepwise development of reactive systems
AUTORES: Madeira, A ; Barbosa, LS ; Hennicker, R; Martins, MA ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
Página 3 de 7. Total de resultados: 69.

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