Jose Felix Gomes da Costa


AuthID: R-000-89W

Publicações Confirmadas: 77



61
TÍTULO: Iteration, inequalities, and differentiability in analog computers  Full Text
AUTORES: Campagnolo, ML ; Moore, C; Costa, JF ;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF COMPLEXITY, VOLUME: 16, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
62
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 | CIÊNCIAVITAE
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: 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
65
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
66
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
67
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 | CIÊNCIAVITAE
68
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
69
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 | CIÊNCIAVITAE
70
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 | CIÊNCIAVITAE
Página 7 de 8. Total de resultados: 77.

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

Links Úteis

Ajuda

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