Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Manuel António Gonçalves Martins
AuthID:
R-000-A10
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Article (25)
Proceedings Paper (22)
Unpublished (1)
Book Chapter (1)
Year Start - End:
2005
2006
2007
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
2007
2006
2005
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Confirmed Publications: 49
1
TITLE:
Applying differential dynamic logic to reconfigurable biological networks
Full Text
AUTHORS:
Daniel Figueiredo
;
Manuel A Martins
; Madalena Chaves;
PUBLISHED:
2017
,
SOURCE:
MATHEMATICAL BIOSCIENCES,
VOLUME:
291
INDEXED IN:
Scopus
WOS
CrossRef
:
3
IN MY:
ORCID
2
TITLE:
Paraconsistency in hybrid logic
AUTHORS:
Diana Costa;
Manuel A Martins
;
PUBLISHED:
2017
,
SOURCE:
JOURNAL OF LOGIC AND COMPUTATION,
VOLUME:
27,
ISSUE:
6
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
2
IN MY:
ORCID
|
DBLP
3
TITLE:
A method for rigorous design of reconfigurable systems
Full Text
AUTHORS:
Alexandre Madeira
;
Renato Neves
;
Luis S Barbosa
;
Manuel A Martins
;
PUBLISHED:
2016
,
SOURCE:
SCIENCE OF COMPUTER PROGRAMMING,
VOLUME:
132
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
9
IN MY:
ORCID
|
DBLP
4
TITLE:
A Tableau System for Quasi-Hybrid Logic
AUTHORS:
Diana Costa;
Manuel A Martins
;
PUBLISHED:
2016
,
SOURCE:
8th International Joint Conference on Automated Reasoning, IJCAR 2016
in
Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings,
VOLUME:
9706
INDEXED IN:
Scopus
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
5
TITLE:
An exercise on the generation of many-valued dynamic logics
AUTHORS:
Alexandre Madeira
;
Renato Neves
;
Manuel A Martins
;
PUBLISHED:
2016
,
SOURCE:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
VOLUME:
85,
ISSUE:
5
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
13
IN MY:
ORCID
|
DBLP
6
TITLE:
Asymmetric Combination of Logics is Functorial: A Survey
AUTHORS:
Renato Neves
;
Alexandre Madeira
;
Luís Soares Barbosa
;
Manuel A Martins
;
PUBLISHED:
2016
,
SOURCE:
23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016
in
Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers,
VOLUME:
10644
INDEXED IN:
Scopus
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
7
TITLE:
Behavioral equivalence of hidden k-logics: An abstract algebraic approach
Full Text
AUTHORS:
Sergey Babenyshev
;
Manuel A Martins
;
PUBLISHED:
2016
,
SOURCE:
JOURNAL OF APPLIED LOGIC,
VOLUME:
16
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
8
TITLE:
Continuity as a computational effect
AUTHORS:
Renato Neves
;
Luis S Barbosa
;
Dirk Hofmann
;
Manuel A Martins
;
PUBLISHED:
2016
,
SOURCE:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
VOLUME:
85,
ISSUE:
5
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
5
IN MY:
ORCID
|
DBLP
9
TITLE:
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
AUTHORS:
Alexandre Madeira
;
Luis S Barbosa
; Rolf Hennicker;
Manuel A Martins
;
PUBLISHED:
2016
,
SOURCE:
13th International Colloquium on Theoretical Aspects of Computing (ICTAC)
in
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016,
VOLUME:
9965
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
5
IN MY:
ORCID
|
DBLP
10
TITLE:
Intelligent-based Robot to deal with Contradictions
AUTHORS:
Diana Costa;
Manuel A Martins
;
PUBLISHED:
2016
,
SOURCE:
IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC)
in
2016 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2016)
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
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 5. Total results: 49.
<<
<
1
2
3
4
5
>
>>
© 2022 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service