Jose Felix Gomes da Costa


AuthID: R-000-89W

Publicações Confirmadas: 76



61
TÍTULO: Nonsequential automata semantics for a concurrent, object-based language
AUTORES: Menezes, PB; Sernadas, A ; Costa, JF ;
PUBLICAÇÃO: 1998, FONTE: US-Brazil Joint Workshops on the Formal Foundations of Software Systems in Electronic Notes in Theoretical Computer Science, VOLUME: 14
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
62
TÍTULO: Lower bounds of computational power of a synaptic calculus
AUTORES: João Pedro Neto; Félix F Costa ; Helder Coelho;
PUBLICAÇÃO: 1997, FONTE: Biological and Artificial Computation: From Neuroscience to Technology - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
63
TÍTULO: Lower bounds of computational power of a synaptic calculus
AUTORES: Neto, JP; Costa, JF ; Coelho, H;
PUBLICAÇÃO: 1997, FONTE: 4th International Work-Conference on Artificial Neural Networks (IWANN 97) in BIOLOGICAL AND ARTIFICIAL COMPUTATION: FROM NEUROSCIENCE TO TECHNOLOGY, VOLUME: 1240
INDEXADO EM: Scopus WOS
64
TÍTULO: Mirror, mirror in my hand: A duality between specifications and models of process behaviour
AUTORES: Fiadeiro, JL; Costa, JF ;
PUBLICAÇÃO: 1996, FONTE: Mathematical Structures in Computer Science, VOLUME: 6, NÚMERO: 4
INDEXADO EM: Scopus CrossRef
65
TÍTULO: Refinement mapping for general (discrete event) systems theory
AUTORES: Menezes, PB; Costa, JF ; Sernadas, A ;
PUBLICAÇÃO: 1996, FONTE: 5th International Workshop on Computer Aided Systems Theory, EUROCAST 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1030
INDEXADO EM: Scopus
66
TÍTULO: Synchronization in Petri nets
AUTORES: Menezes, PB; Costa, JF ;
PUBLICAÇÃO: 1996, FONTE: Fundamenta Informaticae, VOLUME: 26, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
67
TÍTULO: Institutions for behaviour specification
AUTORES: Fiadeiro, JL; Costa, JF ;
PUBLICAÇÃO: 1995, FONTE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 906
INDEXADO EM: Scopus
68
TÍTULO: Object specification logic
AUTORES: Sernadas, A ; Sernadas, C ; Costa, JF ;
PUBLICAÇÃO: 1995, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 5, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
69
TÍTULO: Progress assumption in concurrent systems
AUTORES: Costa, JF ; Sernadas, A ;
PUBLICAÇÃO: 1995, FONTE: Formal Aspects of Computing, VOLUME: 7, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
70
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
INDEXADO EM: Scopus
Página 7 de 8. Total de resultados: 76.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service