Maria Cristina Sales Viana Serôdio Sernadas
AuthID: R-000-ATN
11
TITLE: Categorial Fibring of Logics with Terms and Binding Operators
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLISHED: 1998, SOURCE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLISHED: 1998, SOURCE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
INDEXED IN: 
DBLP
DBLP12
TITLE: An institution of object behaviour
AUTHORS: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLISHED: 1994, SOURCE: 9th Workshop on Specification of Abstract Data Types joint with 4th COMPASS Workshop, 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 785 LNCS
AUTHORS: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLISHED: 1994, SOURCE: 9th Workshop on Specification of Abstract Data Types joint with 4th COMPASS Workshop, 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 785 LNCS
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID13
TITLE: Data encapsulation and modularity: Three views of inheritance
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLISHED: 1993, SOURCE: 18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 711 LNCS
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLISHED: 1993, SOURCE: 18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 711 LNCS
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID14
TITLE: Object interaction
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C; Ehrich, HD;
PUBLISHED: 1992, SOURCE: 17th Symposium on Mathematical Foundations of Computer Science, MFCS 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 629 LNCS
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C; Ehrich, HD;
PUBLISHED: 1992, SOURCE: 17th Symposium on Mathematical Foundations of Computer Science, MFCS 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 629 LNCS
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID15
TITLE: An object-oriented specification tool for graphical interfaces Full Text
AUTHORS: João Pedro Sousa; Cristina Sernadas; Amílcar Sernadas;
PUBLISHED: 1990, SOURCE: Computers & Graphics, VOLUME: 14, ISSUE: 1
AUTHORS: João Pedro Sousa; Cristina Sernadas; Amílcar Sernadas;
PUBLISHED: 1990, SOURCE: Computers & Graphics, VOLUME: 14, ISSUE: 1
16
TITLE: Abstract object types: A temporal perspective
AUTHORS: Sernadas, A; Fiadeiro, J; Sernadas, C; Ehrich, HD;
PUBLISHED: 1989, SOURCE: International Colloquium on Temporal Logic in Specification, 1987 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 398 LNCS
AUTHORS: Sernadas, A; Fiadeiro, J; Sernadas, C; Ehrich, HD;
PUBLISHED: 1989, SOURCE: International Colloquium on Temporal Logic in Specification, 1987 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 398 LNCS
17
TITLE: Abstract object types for databases
AUTHORS: Ehrich, HD; Sernadas, A; Sernadas, C;
PUBLISHED: 1988, SOURCE: 2nd International Workshop on Object-Oriented Database Systems, 1988 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 334 LNCS
AUTHORS: Ehrich, HD; Sernadas, A; Sernadas, C;
PUBLISHED: 1988, SOURCE: 2nd International Workshop on Object-Oriented Database Systems, 1988 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 334 LNCS
