Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 71



21
TÍTULO: DaLi - Dynamic Logic, new trends and applications
AUTORES: Mario R F Benevides; Alexandre Madeira ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 111
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
22
TÍTULO: Introducing Synchrony in Fuzzy Automata
AUTORES: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
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
NO MEU: ORCID | DBLP
23
TÍTULO: A Hybrid Dynamic Logic for Event/Data-Based Systems
AUTORES: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, VOLUME: 11424
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
24
TÍTULO: A Hybrid Dynamic Logic for Event/Data-based Systems PDF
AUTORES: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1902.03074
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
25
TÍTULO: Epistemic Logics with Structured Knowledge
AUTORES: Alexandre Madeira ; Manuel A Martins ; Mario R F Benevides;
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: 1
NO MEU: ORCID | DBLP
26
TÍTULO: Generalising KAT to Verify Weighted Computations  Full Text
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: 2
NO MEU: ORCID | DBLP
27
TÍTULO: Logics for Petri Nets with Propagating Failures
AUTORES: Leandro Gomes ; Alexandre Madeira ; Mario R F Benevides;
PUBLICAÇÃO: 2019, FONTE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, VOLUME: 11761
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
28
TÍTULO: On interval dynamic logic: Introducing quasi-action lattices  Full Text
AUTORES: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP
29
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: 21st International Conference on Formal Engineering Methods, ICFEM 2019 in Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, VOLUME: 11852
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
30
TÍTULO: Taming Hierarchical Connectors
AUTORES: José Proença ; Alexandre Madeira ;
PUBLICAÇÃO: 2019, FONTE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, VOLUME: 11761
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
Página 3 de 8. Total de resultados: 71.

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

Links Úteis

Ajuda

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