Maria Cristina Sales Viana Serôdio Sernadas
AuthID: R-000-ATN
11
TITLE: Realization of probabilistic automata: Categorical approach
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
12
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
18
TITLE: OBJECT-ORIENTED SPEClFlCATlON OF DATABASES: AN ALGEBRAlC APPROACH
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Hans Dieter Ehrich;
PUBLISHED: 1987, SOURCE: 13th International Conference on Very Large Data Bases, VLDB 1987 in VLDB 1987 - Proceedings of the 13th International Conference on Very Large Data Bases
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Hans Dieter Ehrich;
PUBLISHED: 1987, SOURCE: 13th International Conference on Very Large Data Bases, VLDB 1987 in VLDB 1987 - Proceedings of the 13th International Conference on Very Large Data Bases
INDEXED IN: Scopus
Scopus