Jose Felix Gomes da Costa


AuthID: R-000-89W

Confirmed Publications: 76



61
TITLE: Nonsequential automata semantics for a concurrent, object-based language
AUTHORS: Menezes, PB; Sernadas, A ; Costa, JF ;
PUBLISHED: 1998, SOURCE: US-Brazil Joint Workshops on the Formal Foundations of Software Systems in Electronic Notes in Theoretical Computer Science, VOLUME: 14
INDEXED IN: Scopus CrossRef
IN MY: ORCID
62
TITLE: Lower bounds of computational power of a synaptic calculus
AUTHORS: João Pedro Neto; Félix F Costa ; Helder Coelho;
PUBLISHED: 1997, SOURCE: Biological and Artificial Computation: From Neuroscience to Technology - Lecture Notes in Computer Science
INDEXED IN: CrossRef
63
TITLE: Lower bounds of computational power of a synaptic calculus
AUTHORS: Neto, JP; Costa, JF ; Coelho, H;
PUBLISHED: 1997, SOURCE: 4th International Work-Conference on Artificial Neural Networks (IWANN 97) in BIOLOGICAL AND ARTIFICIAL COMPUTATION: FROM NEUROSCIENCE TO TECHNOLOGY, VOLUME: 1240
INDEXED IN: Scopus WOS
64
TITLE: Mirror, mirror in my hand: A duality between specifications and models of process behaviour
AUTHORS: Fiadeiro, JL; Costa, JF ;
PUBLISHED: 1996, SOURCE: Mathematical Structures in Computer Science, VOLUME: 6, ISSUE: 4
INDEXED IN: Scopus CrossRef
65
TITLE: Refinement mapping for general (discrete event) systems theory
AUTHORS: Menezes, PB; Costa, JF ; Sernadas, A ;
PUBLISHED: 1996, SOURCE: 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
INDEXED IN: Scopus
66
TITLE: Synchronization in Petri nets
AUTHORS: Menezes, PB; Costa, JF ;
PUBLISHED: 1996, SOURCE: Fundamenta Informaticae, VOLUME: 26, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
67
TITLE: Institutions for behaviour specification
AUTHORS: Fiadeiro, JL; Costa, JF ;
PUBLISHED: 1995, SOURCE: 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
INDEXED IN: Scopus
68
TITLE: Object specification logic
AUTHORS: Sernadas, A ; Sernadas, C ; Costa, JF ;
PUBLISHED: 1995, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 5, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
69
TITLE: Progress assumption in concurrent systems
AUTHORS: Costa, JF ; Sernadas, A ;
PUBLISHED: 1995, SOURCE: Formal Aspects of Computing, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
70
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
INDEXED IN: Scopus
Page 7 of 8. Total results: 76.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service