Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 95



91
TITLE: On the behavioral equivalence between k-data structures
AUTHORS: Manuel A Martins ;
PUBLISHED: 2008, SOURCE: COMPUTER JOURNAL, VOLUME: 51, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | ResearcherID | DBLP
92
TITLE: Behavioural reasoning for conditional equations
AUTHORS: Martins, MA ; Pigozzi, D;
PUBLISHED: 2007, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID
93
TITLE: Closure properties for the class of behavioral models  Full Text
AUTHORS: Manuel A Martins ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 379, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | ResearcherID | DBLP
94
TITLE: Behavioral institutions and refinements in generalized hidden logics
AUTHORS: Manuel A Martins ;
PUBLISHED: 2006, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 8
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
95
TITLE: On the injectivity of the leibniz operator
AUTHORS: Descalco, L; Martins, MA ;
PUBLISHED: 2005, SOURCE: Bulletin of the Section of Logic, VOLUME: 34, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
Page 10 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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