Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 71



21
TITLE: DaLi - Dynamic Logic, new trends and applications
AUTHORS: Mario R F Benevides; Alexandre Madeira ;
PUBLISHED: 2020, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 111
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
22
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
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
IN MY: ORCID | DBLP
23
TITLE: A Hybrid Dynamic Logic for Event/Data-Based Systems
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
24
TITLE: A Hybrid Dynamic Logic for Event/Data-based Systems PDF
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.03074
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
25
TITLE: Epistemic Logics with Structured Knowledge
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Mario R F Benevides;
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: 1
IN MY: ORCID | DBLP
26
TITLE: Generalising KAT to Verify Weighted Computations  Full Text
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: 2
IN MY: ORCID | DBLP
27
TITLE: Logics for Petri Nets with Propagating Failures
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Mario R F Benevides;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
28
TITLE: On interval dynamic logic: Introducing quasi-action lattices  Full Text
AUTHORS: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
29
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: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
30
TITLE: Taming Hierarchical Connectors
AUTHORS: José Proença ; Alexandre Madeira ;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
Page 3 of 8. Total results: 71.

A place for researchers and their institutions

Useful Links

Get Help

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