Jose Felix Gomes da Costa


AuthID: R-000-89W

Confirmed Publications: 76



51
TITLE: Undecidability over continuous time  Full Text
AUTHORS: Jerzy Mycka; Jose Felix Costa ;
PUBLISHED: 2006, SOURCE: Symposium on Models of Computation/Symposium on Logic and Computation in LOGIC JOURNAL OF THE IGPL, VOLUME: 14, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
52
TITLE: The computational power of continuous dynamic systems
AUTHORS: Mycka, J; Costa, JM ;
PUBLISHED: 2005, SOURCE: 4th International Conference on Machines, Computations and Universality in MACHINES, COMPUTATIONS, AND UNIVERSALITY, VOLUME: 3354
INDEXED IN: Scopus WOS
IN MY: ORCID
53
TITLE: A compiler and simulator for partial recursive functions over neural networks
AUTHORS: Neto, JP ; Costa, JF ; Carreira, P; Rosa, M;
PUBLISHED: 2004, SOURCE: 4th International Conference on Recent Advances in Soft Computing in APPLICATIONS AND SCIENCE IN SOFT COMPUTING
INDEXED IN: WOS
54
TITLE: Real recursive functions and their hierarchy  Full Text
AUTHORS: Mycka, J; Costa, JF ;
PUBLISHED: 2004, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 20, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
55
TITLE: Analog computers and recursive functions over the reals  Full Text
AUTHORS: Graca, DS; Costa, JF ;
PUBLISHED: 2003, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 19, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
56
TITLE: Symbolic processing in neural networks
AUTHORS: Neto, JP ; Siegelmann, HT; Costa, JF ;
PUBLISHED: 2003, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 8, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
57
TITLE: An analog characterization of the Grzegorczyk hierarchy  Full Text
AUTHORS: Campagnolo, ML ; Moore, C; Costa, JF ;
PUBLISHED: 2002, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 18, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
58
TITLE: Canonical institutions of behaviour
AUTHORS: Costa, JF ; Lourenco, H;
PUBLISHED: 2001, SOURCE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXED IN: Scopus WOS
IN MY: ORCID
59
TITLE: Verifying properties of neural networks
AUTHORS: Rodrigues, P; Costa, JF ; Siegelmann, HT;
PUBLISHED: 2001, SOURCE: 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2084 LNCS, ISSUE: PART 1
INDEXED IN: Scopus
IN MY: ORCID
60
TITLE: Iteration, inequalities, and differentiability in analog computers  Full Text
AUTHORS: Campagnolo, ML ; Moore, C; Costa, JF ;
PUBLISHED: 2000, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 16, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 6 of 8. Total results: 76.

footer slogan

Useful Links

Get Help

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