Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 51



1
TITLE: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTHORS: Manisha Jain; Alexandre Madeira ; Manuel A Martins;
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, PUBLISHED: 2020
INDEXED IN: WOS CrossRef: 2
IN MY: ORCID
2
TITLE: Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ; Mindt, F;
SOURCE: 2nd International Workshop on Dynamic Logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, VOLUME: 12005, PUBLISHED: 2020
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: DaLi - Dynamic Logic, new trends and applications
AUTHORS: Mario R F Benevides; Alexandre Madeira ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 111, PUBLISHED: 2020
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
4
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
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, PUBLISHED: 2020
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: A Hybrid Dynamic Logic for Event/Data-Based Systems
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Alexander Knapp;
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, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
6
TITLE: Epistemic Logics with Structured Knowledge
AUTHORS: Alexandre Madeira ; Manuel A Martins; Mario R F Benevides;
SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Generalising KAT to Verify Weighted Computations  Full Text
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
8
TITLE: Logics for Petri Nets with Propagating Failures
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Mario R F Benevides;
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, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: On interval dynamic logic: Introducing quasi-action lattices  Full Text
AUTHORS: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
10
TITLE: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
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, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 6. Total results: 51.

A place for researchers and their institutions

Useful Links

Get Help

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