ProfileOfResearchers

TÃTULO: Inconsistencies in Health Care Knowledge
AUTORES: Diana Costa; Manuel A Martins ;
PUBLICAÇÃO: 2014, FONTE: 16th IEEE International Conference on e-Health Networking, Applications and Services (Healthcom) in 2014 IEEE 16TH INTERNATIONAL CONFERENCE ON E-HEALTH NETWORKING, APPLICATIONS AND SERVICES (HEALTHCOM)

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 4

NO MEU:

ORCID |

TÃTULO: Paradigm integration in a specification course
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luis Soares Barbosa ; Renato Neves ;
PUBLICAÇÃO: 2014, FONTE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI)

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |

TÃTULO: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT PDF Full Text
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLICAÇÃO: 2014, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, NÚMERO: 1

INDEXADO EM:

Scopus

WOS

DBLP

arXiv

CrossRef: 2

NO MEU:

ORCID |

TÃTULO: A Coalgebraic Perspective on Logical Interpretations Full Text
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |

TÃTULO: An Institution for Alloy and Its Translation to Second-Order Logic
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013], VOLUME: 263

INDEXADO EM:

Scopus

DBLP

CrossRef: 2

NO MEU:

ORCID |

TÃTULO: Bisimilarity and refinement for hybrid(ised) logics Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 16th International Refinement Workshop, Refine 2013 in Proceedings 16th International Refinement Workshop, Refine 2013, Turku, Finland, 11th June 2013., VOLUME: 115

INDEXADO EM:

Scopus

DBLP

NO MEU:

ORCID |

TÃTULO: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 29

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |

TÃTULO: Giving Alloy a family
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 14th International Conference on Information Reuse and Integration, IEEE IRI 2013 in IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA, August 14-16, 2013

INDEXADO EM:

Scopus

DBLP

NO MEU:

ORCID |

TÃTULO: Hybridisation at work
AUTORES: Neves, R ; Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8089 LNCS

INDEXADO EM:

Scopus

DBLP

NO MEU:

ORCID |