Maria Cristina Sales Viana Serôdio Sernadas
AuthID: R-000-ATN
11
TÃTULO: Categorial Fibring of Logics with Terms and Binding Operators
AUTORES: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLICAÇÃO: 1998, FONTE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
AUTORES: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLICAÇÃO: 1998, FONTE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
INDEXADO EM: 
DBLP
DBLP12
TÃTULO: An institution of object behaviour
AUTORES: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLICAÇÃO: 1994, FONTE: 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
AUTORES: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLICAÇÃO: 1994, FONTE: 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
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID13
TÃTULO: Data encapsulation and modularity: Three views of inheritance
AUTORES: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 1993, FONTE: 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
AUTORES: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 1993, FONTE: 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
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID14
TÃTULO: Object interaction
AUTORES: Costa, JF ; Sernadas, A; Sernadas, C; Ehrich, HD;
PUBLICAÇÃO: 1992, FONTE: 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
AUTORES: Costa, JF ; Sernadas, A; Sernadas, C; Ehrich, HD;
PUBLICAÇÃO: 1992, FONTE: 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
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID15
TÃTULO: An object-oriented specification tool for graphical interfaces Full Text
AUTORES: João Pedro Sousa; Cristina Sernadas; Amílcar Sernadas;
PUBLICAÇÃO: 1990, FONTE: Computers & Graphics, VOLUME: 14, NÚMERO: 1
AUTORES: João Pedro Sousa; Cristina Sernadas; Amílcar Sernadas;
PUBLICAÇÃO: 1990, FONTE: Computers & Graphics, VOLUME: 14, NÚMERO: 1
16
TÃTULO: Abstract object types: A temporal perspective
AUTORES: Sernadas, A; Fiadeiro, J; Sernadas, C; Ehrich, HD;
PUBLICAÇÃO: 1989, FONTE: 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
AUTORES: Sernadas, A; Fiadeiro, J; Sernadas, C; Ehrich, HD;
PUBLICAÇÃO: 1989, FONTE: 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
TÃTULO: Abstract object types for databases
AUTORES: Ehrich, HD; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 1988, FONTE: 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
AUTORES: Ehrich, HD; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 1988, FONTE: 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
