1
TITLE: Applying differential dynamic logic to reconfigurable biological networks  Full Text
AUTHORS: Daniel Figueiredo ; Manuel A Martins ; Madalena Chaves;
SOURCE: MATHEMATICAL BIOSCIENCES, VOLUME: 291, PUBLISHED: 2017
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
2
TITLE: Paraconsistency in hybrid logic
AUTHORS: Diana Costa; Manuel A Martins ;
SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, ISSUE: 6, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 1
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 ;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
4
TITLE: A Tableau System for Quasi-Hybrid Logic
AUTHORS: Diana Costa; Manuel A Martins ;
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, PUBLISHED: 2016
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 ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 6
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 ;
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, PUBLISHED: 2016
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Behavioral equivalence of hidden k-logics: An abstract algebraic approach  Full Text
AUTHORS: Sergey Babenyshev; Manuel A Martins ;
SOURCE: JOURNAL OF APPLIED LOGIC, VOLUME: 16, PUBLISHED: 2016
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 ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 3
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 ;
SOURCE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
10
TITLE: Intelligent-based Robot to deal with Contradictions
AUTHORS: Diana Costa; Manuel A Martins ;
SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2016 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2016), PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 5. Total results: 49.