ProfileOfResearchers

TITLE: Synchronization of Logics Full Text
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLISHED: 1997, SOURCE: Studia Logica, VOLUME: 59, ISSUE: 1

INDEXED IN:

Scopus

DBLP

IN MY:

TITLE: Synchronization of logics with mixed rules: Completeness preservation
AUTHORS: Sernadas, A; Sernadas, C ; Caleiro, C;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349

INDEXED IN:

Scopus

IN MY:

TITLE: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTHORS: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro;
PUBLISHED: 1997, SOURCE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349

INDEXED IN:

DBLP

TITLE: A temporal logic approach to object certification Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Ramos, J ;
PUBLISHED: 1996, SOURCE: DATA & KNOWLEDGE ENGINEERING, VOLUME: 19, ISSUE: 3

INDEXED IN:

Scopus

WOS

IN MY:

ORCID |

TITLE: TROLL - A language for object-oriented specification of information systems Full Text
AUTHORS: Jungclaus, R; Saake, G; Hartmann, T; Sernadas, C ;
PUBLISHED: 1996, SOURCE: ACM TRANSACTIONS ON INFORMATION SYSTEMS, VOLUME: 14, ISSUE: 2

INDEXED IN:

Scopus

WOS

IN MY:

ORCID |

TITLE: Object specification logic
AUTHORS: Sernadas, A ; Sernadas, C ; Costa, JF ;
PUBLISHED: 1995, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 5, ISSUE: 5

INDEXED IN:

Scopus

WOS

IN MY:

ORCID |

TITLE: A Theory-based Typological Notion of Institutions
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLISHED: 1994, SOURCE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, VOLUME: 906

INDEXED IN:

Scopus

DBLP

CrossRef: 1

IN MY:

TITLE: OBJECT INHERITANCE BEYOND SUBTYPING
AUTHORS: COSTA, JF ; SERNADAS, A ; SERNADAS, C ;
PUBLISHED: 1994, SOURCE: ACTA INFORMATICA, VOLUME: 31, ISSUE: 1

INDEXED IN:

Scopus

WOS

IN MY:

ORCID |

TITLE: OBJECT INTERACTION
AUTHORS: COSTA, JF ; SERNADAS, A ; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1992, SOURCE: 17TH INTERNATIONAL SYMP ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE ( MFCS 92 ) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1992, VOLUME: 629

INDEXED IN:

WOS

IN MY: