Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Alexandre Leite de Castro Madeira
AuthID:
R-001-MJP
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (31)
Article (18)
Editorial Material (2)
Article in Press (1)
Book Chapter (1)
Proceedings (1)
Unpublished (1)
Year Start - End:
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
-
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Confirmed Publications: 55
1
TITLE:
A Logic for Paraconsistent Transition Systems
AUTHORS:
Ana Cruz;
Alexandre Madeira
;
Luís Soares Barbosa
;
PUBLISHED:
2022
,
SOURCE:
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022.,
VOLUME:
358
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
2
TITLE:
A semantics and a logic for Fuzzy Arden Syntax
Full Text
AUTHORS:
Gomes, L
;
Madeira, A
;
Barbosa, LS
;
PUBLISHED:
2021
,
SOURCE:
SOFT COMPUTING,
VOLUME:
25,
ISSUE:
9
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
2
IN MY:
ORCID
|
DBLP
3
TITLE:
Towards a specification theory for fuzzy modal logic
AUTHORS:
Jain, M;
Gomes, L
;
Madeira, A
;
Barbosa, LS
;
PUBLISHED:
2021
,
SOURCE:
15th International Symposium on Theoretical Aspects of Software Engineering (TASE)
in
2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021)
INDEXED IN:
Scopus
WOS
CrossRef
IN MY:
ORCID
4
TITLE:
A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTHORS:
Jain, M
;
Madeira, A
;
Martins, MA
;
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:
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
5
TITLE:
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
AUTHORS:
Hennicker, R; Knapp, A;
Madeira, A
; Mindt, F;
PUBLISHED:
2020
,
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
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
6
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
7
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
8
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
9
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
10
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
Add to Marked List
Check All
Export All
BibTex
EndNote
CSV
RIS
ISI
APA
Print All
PDF
HTML
Page 1 of 6. Total results: 55.
<<
<
1
2
3
4
5
6
>
>>
© 2022 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service