???global.info.a_carregar???
Identification

Personal identification

Full name
José Félix Costa

Citation names

  • Costa, José Félix

Author identifiers

Ciência ID
8516-1FDE-402F
ORCID iD
0000-0002-0345-9904

Languages

Language Speaking Reading Writing Listening Peer-review
English Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
French Beginner (A1) Advanced (C1) Beginner (A1) Beginner (A1)
Education
Degree Classification
1995
Concluded
Informática, Teoria da Computação (Título de Agregado)
Universidade de Lisboa Faculdade de Ciências, Portugal
Aprovado
1992
Concluded
Matemática (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Fundamentos Matemáticos da Concorrência" (THESIS/DISSERTATION)
Distinção e Louvor
1990
Concluded
Mestrado em Matemática Aplicada (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Teoria Algébrica de Processos Animados" (THESIS/DISSERTATION)
Muito Bom
1986
Concluded
Provas de Aptidão Pedagógica e Capacidade Científica (Mestrado)
Universidade dos Açores, Portugal
Muito Bom
1982
Concluded
Física (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
18 (dezoito valores)
Affiliation

Science

Category
Host institution
Employer
2016 - Current Researcher (Research) Universidade de Lisboa Centro de Filosofia das Ciências, Portugal

Teaching in Higher Education

Category
Host institution
Employer
2023/08/01 - Current Full Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico Departamento de Matemática, Portugal
1999 - Current Associate Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
1993 - 1999 Associate Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
1993 - 1993 Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior de Economia e Gestão, Portugal
1992 - 1993 Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
1989 - 1992 Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
1987 - 1989 Trainee Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
1986 - 1987 Assistant (University Teacher) Universidade dos Açores, Portugal
1983 - 1986 Trainee Assistant (University Teacher) Universidade dos Açores, Portugal
Outputs

Publications

Book
  1. Calude, C.S.; Costa, J.F.; Freund, R.; Oswald, M.; Rozenberg, G.. Unconventional Computation - 7th International Conference, UC 2008, Proceedings: Preface. 2008.
  2. Costa, J.F.; Lourenço, H.. Canonical institutions of behaviour. 2002.
  3. Rodrigues, P.; Costa, J.F.; Siegelmann, H.T.. Verifying properties of neural networks. 2001.
Journal article
  1. Eduardo Skapinakis; José Félix Costa. "Machines that perform measurements". Theoretical Computer Science (2022): https://doi.org/10.1016/j.tcs.2022.04.037.
    10.1016/j.tcs.2022.04.037
  2. Beggs, Edwin; Costa, Jose Felix; Pocas, Diogo; Tucker, John V.. "AN ANALOGUE-DIGITAL CHURCH-TURING THESIS". International Journal of Foundations of Computer Science 25 4 (2014): 373-389. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000340462400002&KeyUID=WOS:000340462400002.
    10.1142/s0129054114400012
  3. Beggs, Edwin; Costa, Jose Felix; Tucker, John V.. "THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY". Review of Symbolic Logic 7 4 (2014): 618-646. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000346165100002&KeyUID=WOS:000346165100002.
    10.1017/s1755020314000240
  4. Beggs, E.; Costa, J.F.; Poças, D.; Tucker, J.V.. "Oracles that measure thresholds: The Turing machine and the broken balance". Journal of Logic and Computation 23 6 (2013): 1155-1181. http://www.scopus.com/inward/record.url?eid=2-s2.0-84890412945&partnerID=MN8TOARS.
    10.1093/logcom/ext047
  5. Costa, J.F.. "Incomputability at the foundations of physics (A study in the philosophy of science)". Journal of Logic and Computation 23 6 (2013): 1225-1248. http://www.scopus.com/inward/record.url?eid=2-s2.0-84890325292&partnerID=MN8TOARS.
    10.1093/logcom/ext048
  6. Beggs, E.; Costa, J.F.; Tucker, J.V.. "A natural computation model of positive relativisation". International Journal of Unconventional Computing 10 1-2 (2013): 111-141. http://www.scopus.com/inward/record.url?eid=2-s2.0-84887925262&partnerID=MN8TOARS.
  7. Costa, J.F.; Leong, R.. "The ARNN model relativises P = NP and P ¿ NP". Theoretical Computer Science 499 (2013): 2-22. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881190436&partnerID=MN8TOARS.
    10.1016/j.tcs.2013.05.022
  8. Beggs, E.; Costa, J.F.; Poças, D.; Tucker, J.V.. "On the power of threshold measurements as Oracles". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7956 LNCS (2013): 6-18. http://www.scopus.com/inward/record.url?eid=2-s2.0-84886001285&partnerID=MN8TOARS.
    10.1007/978-3-642-39074-6-3
  9. Guerra, H.; Costa, J.F.. "Processes with infinite liveness requirements". Journal of Logic and Algebraic Programming (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84876074477&partnerID=MN8TOARS.
    10.1016/j.jlap.2013.03.001
  10. Beggs, E.J.; Costa, J.F.; Tucker, J.V.. "The impact of models of a physical oracle on computational power". Mathematical Structures in Computer Science 22 5 (2012): 853-879. http://www.scopus.com/inward/record.url?eid=2-s2.0-84866129771&partnerID=MN8TOARS.
    10.1017/S0960129511000557
  11. Beggs, E.J.; Costa, J.F.; Tucker, J.V.. "Axiomatizing physical experiments as oracles to algorithms". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 370 1971 (2012): 3359-3384. http://www.scopus.com/inward/record.url?eid=2-s2.0-84862841835&partnerID=MN8TOARS.
    10.1098/rsta.2011.0427
  12. Calude, C.S.; Costa, J.F.; Guerra, H.. "Preface to the Special Issue on Physics and Computation "towards a Computational Interpretation of Physical Theories"". Applied Mathematics and Computation 219 1 (2012): 1-2. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864253487&partnerID=MN8TOARS.
    10.1016/j.amc.2012.07.041
  13. Calude, C.S.; Costa, J.F.. "Editorial". International Journal of Unconventional Computing 7 5 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-83455213622&partnerID=MN8TOARS.
  14. Costa, J.F.; Dershowitz, N.. "Introduction". Natural Computing 10 4 (2011): 1215-1217. http://www.scopus.com/inward/record.url?eid=2-s2.0-84855935755&partnerID=MN8TOARS.
    10.1007/s11047-011-9247-z
  15. Beggs, E.J.; Costa, J.F.; Tucker, J.V.. "Physical Oracles: The Turing Machine and the Wheatstone Bridge". Studia Logica 95 1 (2010): 279-300. http://www.scopus.com/inward/record.url?eid=2-s2.0-78049443316&partnerID=MN8TOARS.
    10.1007/s11225-010-9254-6
  16. Beggs, E.J.; Costa, J.F.; Tucker, J.V.. "Limits to measurement in experiments governed by algorithms". Mathematical Structures in Computer Science 20 6 (2010): 1019-1050. http://www.scopus.com/inward/record.url?eid=2-s2.0-79251605050&partnerID=MN8TOARS.
    10.1017/S0960129510000356
  17. Costa, J.F.. "Computable scientists, uncomputable world". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6079 LNCS (2010): 6-10. http://www.scopus.com/inward/record.url?eid=2-s2.0-79956326743&partnerID=MN8TOARS.
    10.1007/978-3-642-13523-1_4
  18. Calude, C.S.; Costa, J.F.. "Preface to the Special Issue Unconventional Computing 2008". Natural Computing 9 4 (2010): 793-794. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649903239&partnerID=MN8TOARS.
    10.1007/s11047-010-9221-1
  19. Calude, C.S.; Costa, J.F.. "Applied Mathematics and Computation: Introduction". Applied Mathematics and Computation 215 4 (2009): 1309-1310. http://www.scopus.com/inward/record.url?eid=2-s2.0-77955306231&partnerID=MN8TOARS.
    10.1016/j.amc.2009.04.059
  20. Loff, B.; Costa, J.F.. "Five views of hypercomputation". International Journal of Unconventional Computing 5 3-4 (2009): 193-207. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952501941&partnerID=MN8TOARS.
  21. Beggs, E.; Costa, J.F.; Loff, B.; Tucker, J.V.. "Computational complexity with experiments as oracles. II. Upper bounds". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 465 2105 (2009): 1453-1465. http://www.scopus.com/inward/record.url?eid=2-s2.0-67149094838&partnerID=MN8TOARS.
    10.1098/rspa.2008.0412
  22. Costa, J.F.; Loff, B.; Mycka, J.. "A foundation for real recursive function theory". Annals of Pure and Applied Logic 160 3 (2009): 255-288. http://www.scopus.com/inward/record.url?eid=2-s2.0-69249229730&partnerID=MN8TOARS.
    10.1016/j.apal.2009.01.013
  23. Guerra, H.; Costa, J.F.. "Processes with local and global liveness requirements". Journal of Logic and Algebraic Programming 78 3 (2009): 117-137. http://www.scopus.com/inward/record.url?eid=2-s2.0-59349103219&partnerID=MN8TOARS.
    10.1016/j.jlap.2008.08.003
  24. Calude, C.S.; Costa, J.F.. "Introduction". Natural Computing 8 3 (2009): 429-430. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349157291&partnerID=MN8TOARS.
    10.1007/s11047-009-9113-4
  25. Mycka, J.; Costa, J.F.; Coelho, F.. "The Euclid abstract machine". International Journal of Unconventional Computing 4 3 (2008): 223-247. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952469985&partnerID=MN8TOARS.
  26. Beggs, E.; Costa, J.F.; Loff, B.; Tucker, J.. "On the complexity of measurement in classical physics". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4978 LNCS (2008): 20-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349335530&partnerID=MN8TOARS.
    10.1007/978-3-540-79228-4-2
  27. Beggs, E.; Costa, J.F.; Loff, B.; Tucker, J.V.. "Oracles and advice as measurements". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5204 LNCS (2008): 33-50. http://www.scopus.com/inward/record.url?eid=2-s2.0-52149084813&partnerID=MN8TOARS.
    10.1007/978-3-540-85194-3_6
  28. Beggs, E.; Costa, J.F.; Loff, B.; Tucker, J.V.. "Computational complexity with experiments as oracles". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 464 2098 (2008): 2777-2801. http://www.scopus.com/inward/record.url?eid=2-s2.0-49749083115&partnerID=MN8TOARS.
    10.1098/rspa.2008.0085
  29. Pacheco, J.; Costa, J.F.. "The abstract immune system algorithm". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4618 LNCS (2007): 137-149. http://www.scopus.com/inward/record.url?eid=2-s2.0-38049059517&partnerID=MN8TOARS.
  30. Loff, B.; Costa, J.F.; Mycka, J.. "Computability on reals, infinite limits and differential equations". Applied Mathematics and Computation 191 2 (2007): 353-371. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548124674&partnerID=MN8TOARS.
    10.1016/j.amc.2007.02.146
  31. Costa, J.F.; Loff, B.; Mycka, J.. "The new promise of analog computation". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4497 LNCS (2007): 189-195. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149032780&partnerID=MN8TOARS.
    10.1007/978-3-540-73001-9_20
  32. Mycka, J.; Costa, J.F.. "A new conceptual framework for analog computation". Theoretical Computer Science 374 1-3 (2007): 277-290. http://www.scopus.com/inward/record.url?eid=2-s2.0-33947372501&partnerID=MN8TOARS.
    10.1016/j.tcs.2007.01.005
  33. Mycka, J.; Coelho, F.; Costa, J.F.. "The euclid abstract machine: Trisection of the angle and the halting problem". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4135 LNCS (2006): 195-206. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750018951&partnerID=MN8TOARS.
  34. Doria, F.A.; Costa, J.F.. "Introduction to the special issue on hypercomputation". Applied Mathematics and Computation 178 1 (2006): 1-3. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745484354&partnerID=MN8TOARS.
    10.1016/j.amc.2005.09.065
  35. Mycka, J.; Costa, J.F.. "Undecidability over continuous time". Logic Journal of the IGPL 14 5 (2006): 649-658. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845708606&partnerID=MN8TOARS.
    10.1093/jigpal/jzl004
  36. Mycka, J.; Costa, J.F.. "The computational power of continuous dynamic systems". Lecture Notes in Computer Science 3354 (2005): 164-175. http://www.scopus.com/inward/record.url?eid=2-s2.0-24144469336&partnerID=MN8TOARS.
  37. Mycka, J.; Costa, J.F.. "Real recursive functions and their heirarchy". Journal of Complexity 20 6 (2004): 835-857. http://www.scopus.com/inward/record.url?eid=2-s2.0-10244239347&partnerID=MN8TOARS.
    10.1016/j.jco.2004.06.001
  38. Neto, J.P.; Siegelmann, H.T.; Costa, J.F.. "Symbolic processing in neural networks". Journal of the Brazilian Computer Society 8 3 (2003): 58-70. http://www.scopus.com/inward/record.url?eid=2-s2.0-18444368739&partnerID=MN8TOARS.
  39. Silva Graça, D.; Costa, J.F.. "Analog computers and recursive functions over the reals". Journal of Complexity 19 5 (2003): 644-664. http://www.scopus.com/inward/record.url?eid=2-s2.0-0141615048&partnerID=MN8TOARS.
    10.1016/S0885-064X(03)00034-7
  40. Campagnolo, M.L.; Moore, C.; Costa, J.F.. "An analog characterization of the Grzegorczyk hierarchy". Journal of Complexity 18 4 (2002): 977-1000. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036889222&partnerID=MN8TOARS.
    10.1006/jcom.2002.0655
  41. Campagnolo, M.L.; Moore, C.; Costa, J.F.. "Iteration, Inequalities, and Differentiability in Analog Computers". Journal of Complexity 16 4 (2000): 642-660. http://www.scopus.com/inward/record.url?eid=2-s2.0-0011287661&partnerID=MN8TOARS.
    10.1006/jcom.2000.0559
  42. Menezes, P.B.; Sernadas, A.; Costa, J.F.. "Nonsequential automata semantics for a concurrent, object-based language". Electronic Notes in Theoretical Computer Science 14 (1998): 245-273. http://www.scopus.com/inward/record.url?eid=2-s2.0-2442459312&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80239-7
  43. Menezes, P.B.; Costa, J.F.. "Synchronization in Petri nets". Fundamenta Informaticae 26 1 (1996): 11-22. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030125950&partnerID=MN8TOARS.
  44. Sernadas, A.; Sernadas, C.; Costa, J.F.. "Object specification logic". Journal of Logic and Computation 5 5 (1995): 603-630. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957184803&partnerID=MN8TOARS.
    10.1093/logcom/5.5.603
  45. Costa, J.F.; Sernadas, A.. "Progress assumption in concurrent systems". Formal Aspects of Computing 7 1 (1995): 18-36. http://www.scopus.com/inward/record.url?eid=2-s2.0-34249753408&partnerID=MN8TOARS.
    10.1007/BF01214621
  46. Costa, J.F.; Sernadas, A.; Sernadas, C.. "Object inheritance beyond subtyping". Acta Informatica 31 1 (1994): 5-26. http://www.scopus.com/inward/record.url?eid=2-s2.0-21344491785&partnerID=MN8TOARS.
    10.1007/BF01178920
Distinctions

Other distinction

1992 Menção Honrosa no Prémio Científico IBM
1992 Prémio Descartes
Governo da República Portuguesa Ministério das Finanças, Portugal