???global.info.a_carregar???
José Nuno Oliveira is currently full professor of Computer Science at the Informatics Department of University of Minho and senior researcher at HASLab/ INESC TEC. He joined U.Minho in 1978 as assistant lecturer. He serves on the editorial board of Springer journal Formal Aspects of Computing and is also a member of IFIP WG 2.1 (Algorithmic Languages and Calculi) and of the Formal Methods Europe (FME) Association, where he is currently Awards Committee Chair and was Education Sub-group Chair in the past. He is a member on the Scientific Council of the School of Engineering of U.Minho and of the Scientific Council of INESC TEC. He was General Chair of the FM'19 World Congress on Formal Methods, which took place in Porto in October 2019. He is co-founder of and active collaborator to the ENSICO Association for Teaching Computing at Schools (ENSICO teaching spans currently over 7000+ students). His general research interest is to promote computer programming as a scientific body of knowledge, having contributed for several decades to the area of so-called formal methods, of which he was one of the introducers in Portugal. Specific interests range over the algebra of programming (program design by calculation), functional programming and (categorial) relation algebra. This has extended to developing a typed linear algebra of programming applicable to complex software systems, including quantum programming. He has also been engaged into promoting the use of computing in the field of musicology, being one of the designers of 'Wiki::Score', a platform similar to the Wikipedia for large-scale cooperative score editing.
Read full resume ↓
Identification

Personal identification

Full name
José Nuno Oliveira

Citation names

  • Oliveira, José
  • J.N. Oliveira

Author identifiers

Ciência ID
7C19-106B-97CD
ORCID iD
0000-0002-0196-4229

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Intermediate (B1) Advanced (C1) Advanced (C1) Intermediate (B1)
French Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
Spanish; Castilian Beginner (A1) Intermediate (B1) Beginner (A1) Beginner (A1)
Education
Degree Classification
1981 - 1984
Concluded
 Computer Science (Doktor (PhD))
The University of Manchester, United Kingdom
"The Formal Semantics of Deterministic Dataflow Programs" (THESIS/DISSERTATION)
 Approved
1980 - 1981
Concluded
 Computer Science (Master)
The University of Manchester, United Kingdom
"Pascal on Small Microcomputers" (THESIS/DISSERTATION)
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2014 - Current Full Professor (University Teacher) Universidade do Minho, Portugal
1989 - 2014 Associate Professor (University Teacher) Universidade do Minho, Portugal
1984 - 1989 Assistant Professor (University Teacher) Universidade do Minho, Portugal
1978 - 1984 Assistant (University Teacher) Universidade do Minho, Portugal

Positions / Appointments

Category
Host institution 		Employer
2017 - 2025 Coordenação ou direção de centro de investigação, departamento ou equivalente Universidade do Minho, Portugal
Projects

Grant

Designation Funders
2015 - 2016 LEANBIGDATA (FP7-ICT 619606)
FP7-ICT 619606
Researcher
Concluded
1991 - 1994 Tempus: Category Theory and Applications in Computer Science
TEMPUS Jep-2692-91/
Other
Universidade do Minho, Portugal
Concluded

Contract

Designation Funders
2021/01/01 - 2025/12/31 INESC TEC - Institute for Systems and Computer Engineering, Technology and Science (INESC TEC)
LA/P/0063/2020
10.54499/LA/P/0063/2020
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2022/01/01 - 2024/12/31 Quantitative methods for cyber-physical programming: reasoning precisely about imprecisions in cyber-physical behaviour
PTDC/CCI-COM/4280/2021
10.54499/PTDC/CCI-COM/4280/2021
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2018/06/01 - 2021/11/30 Coalgebraic Modeling and Analysis for Computational Synthetic Biology
PTDC/CCI-COM/30947/2017
POCI-01-0145-FEDER-030947
Universidade de Aveiro, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2019/01/01 - 2019/12/31 INESC TEC - INESC Technology and Science
UID/EEA/50014/2019
Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2016/07/01 - 2019/12/31 Trustworthy Software Design with Alloy
PTDC/EEI-CTP/2904/2014
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2016/07/01 - 2019/11/30 DALÍ - Dynamic logics for cyber-physical systems: towards contract based design
PTDC/EEI-CTP/4836/2014
Universidade do Minho, Portugal

Universidade de Aveiro, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2013/07 - 2016/06 NASONI -- Heterogeneous software coordination: Foundations, methods, tools
PTDC/EEI-CTP/2341/2012
info:eu-repo/grantAgreement/FCT/COMPETE/128057/PT
Universidade do Minho, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal

Universidade de Aveiro, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2013/07/01 - 2015/09/30 NASONI - Heterogenous software coordination: Foundations, methods, tools
PTDC/EEI-CTP/2341/2012
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2012/04/01 - 2015/09/30 Qais: Quantitative analysis of interacting systems: foundations and algorithms
PTDC/EIA-CCO/122240/2010
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2012/03/01 - 2014/08/31 FATBIT: Foundations, Applications and Tools for Bidirectional Transformation
PTDC/EIA-CCO/120838/2010
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2010/03/15 - 2013/05/30 Mondrian - Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
PTDC/EIA-CCO/108302/2008
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2009/01/01 - 2012/06/30 MathIS - Reinvigorating Mathematics for the Information Society
PTDC/EIA/73252/2006
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2001 - 2007 IKF - Eureka!2235
EU 2235
Other
Universidade do Minho, Portugal
Concluded
1992 - 1995 SOUR - Eureka!379
EU 379
Other
Concluded
Outputs

Publications

Book
  1. Formal Methods. FM 2019 International Workshops. Springer International Publishing. 2020.
    10.1007/978-3-030-54994-7 • Editor
  2. Formal Methods – The Next 30 Years. Springer International Publishing. 2019.
    Published • 10.1007/978-3-030-30942-8 • Editor
  3. Kahl, W.; Winter, M.; Oliveira, J.N.. Relational and Algebraic Methods in Computer Science: 15th international conference, RAMiCS 2015 Braga, Portugal, September 28 - October 1, 2015 proceedings. 2015.
    10.1007/978-3-319-24704-5
  4. Kahl, W.; Winter, M.; Oliveira, J.N.. Preface. 2015.
  5. Backhouse, R.; Oliveira, J.N.. Preface. 2000.
  6. Almeida, J.J.; Barbosa, L.S.; Neves, F.L.; Oliveira, J.N.. CAMILA: Prototyping and refinement of constructive specifications. 1997.
Book chapter
  1. Silva, Pedro; Macedo, Nuno; Oliveira, José N.. Corresponding author: Silva, Pedro. "On Quantitative Solution Iteration in QAlloy". In Lecture Notes in Computer Science, 88-105. Springer Nature Switzerland, 2025.
    10.1007/978-3-031-94533-5_6
  2. Silva, Pedro; Cunha, Alcino; Macedo, Nuno; Oliveira, José N.. "Alloy Goes Fuzzy". In Lecture Notes in Computer Science, 61-79. Springer Nature Switzerland, 2024.
    Published • 10.1007/978-3-031-63790-2_4
  3. José N. Oliveira. "On the Relational Basis of Early R/G Work". 2024.
    10.1007/978-3-031-66673-5_4
  4. J.N. Oliveira; Almeida, J.J.; Carvalho, Nuno Ramos. "On the “maths” of 18c tonality through data mining". In 3M+1: Estudos de História da Matemática, da Música e Militar, 220-239. Braga, Portugal, 2024.
  5. José Nuno Oliveira. "Why Adjunctions Matter—A Functional Programmer Perspective". 2023.
    10.1007/978-3-031-43345-0_2
  6. J.N. Oliveira. "Relational Algebra for ``Just Good Enough" Hardware". 119-138. Springer Berlin, Heidelberg, 2014.
    10.1007/978-3-319-06251-8_8
  7. Oliveira, J.N.. "Typed linear algebra for weigthed (probabilistic) automata". 2012.
    10.1007/978-3-642-31606-7_5
  8. Macedo, H.D.; Oliveira, J.N.. "Towards linear algebras of components". 2012.
    10.1007/978-3-642-27269-1_20
  9. Oliveira, J.N.. "Transforming data by calculation". 2008.
    10.1007/978-3-540-88643-3-4
  10. Barbosa, L.S.; Oliveira, J.N.; Silva, A.. "Calculating invariants as coreflexive bisimulations". 2008.
    10.1007/978-3-540-79980-1_7
  11. Oliveira, J.N.; Rodrigues, C.J.. "Pointfree factorization of operation refinement". In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 236-251. 2006.
  12. De Oliveira, J.N.F.; De Rodrigues, C.J.P.C.. "Transposing relations: From Maybe functions to Hash tables". 2004.
Conference paper
  1. Pedro Silva; José N. Oliveira; Nuno Macedo; Alcino Cunha. "Quantitative relational modelling with QAlloy". 2022.
    10.1145/3540250.3549154
  2. Martins, João; Fonseca, José M.; Costa, Rafael; Campos, José C.; Cunha, Alcino; Macedo, Nuno; Oliveira, José N.. "Verification of railway network models with EVEREST". 2022.
    10.1145/3550355.3552439
  3. Santos, Armando; Oliveira, José N.. "Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl)". 2020.
    10.1145/3406088.3409019
  4. Pontes, Rogério; Matos, Miguel Ângelo Marques; Oliveira, José Nuno Fonseca; Pereira, José. "Implementing a linear algebra approach to data processing". 2017.
    10.1007/978-3-319-60074-1_9
  5. Oliveira, J. N.; Macedo, H. D.. "The data cube as a typed linear algebra operator". 2017.
    10.1145/3122831.3122834
  6. Oliveira, José Nuno Fonseca; Jos{\'{e. "Metaphorisms in programming". 2015.
    10.1007/978-3-319-24704-5_11
  7. Ferreira, João Fernando; Mendes, Alexandra; Cunha, Alcino; Baquero, Carlos; Silva, Paulo; Barbosa, L. S.; Oliveira, José Nuno Fonseca. "Logic training through algorithmic problem solving". 2011.
    10.1007/978-3-642-21350-2_8
  8. Couto, L.; Oliveira, J.N.; Ferreira, M.; Bouwers, E.. "Preparing for a literature survey of software architecture using Formal Concept Analysis". 2011.
  9. Oliveira, José Nuno Fonseca; Macedo, Hugo Daniel. "Matrices as arrows! A biproduct approach to typed linear algebra". 2010.
    10.1007/978-3-642-13321-3_16
  10. Ferreira, Miguel A.; Oliveira, José Nuno Fonseca. "An integrated formal methods tool-chain and its application to verifying a file system model". 2009.
    10.1007/978-3-642-10452-7_11
  11. Oliveira, José Nuno Fonseca. "Extended static checking by calculation using the pointfree transform". 2009.
    10.1007/978-3-642-03153-3_5
  12. Silva, Paulo F.; Visser, Joost; Oliveira, José Nuno Fonseca. "Galois: a language for proofs using galois connections and fork algebras". 2009.
  13. Wang, S.; Barbosa, L.S.; Oliveira, J.N.. "A relational model for confined separation logic". 2008.
    10.1109/TASE.2008.38
  14. Silva, P.F.; Oliveira, J.N.. "'Galculator' Functional prototype of a galois-connection based proof assistant". 2008.
    10.1145/1389449.1389456
  15. Joost Visser; J.N. Oliveira; L.S. Barbosa; João F. Ferreira; Alexandra Mendes. "Camila Revival: VDM meets Haskell". Paper presented in Overture Workshop (co-located with FM'05), 2005., 2005.
  16. Barbosa, L. S.; Oliveira, José Nuno Fonseca. "Coinductive interpreters for process calculi". 2002.
    10.1007/3-540-45788-7
  17. Almeida, José João; Barbosa, L. S.; Neves, F. L.; Oliveira, José Nuno Fonseca. "CAMILA: formal software engineering supported by functional programming". 1997.
  18. Almeida, José João; Barbosa, L. S.; Neves, F. L.; Oliveira, José Nuno Fonseca. "CAMILA: prototyping and refinement of constructive specifications". 1997.
    10.1007/BFb0000496
Journal article
  1. Silvia Lizeth Tapia Tarifa; José Proença; Jose Oliveira. "Introduction to the Special Collection from FACS 2022". Formal Aspects of Computing (2025): https://doi.org/10.1145/3703357.
    10.1145/3703357
  2. OLIVEIRA, JOSE NUNO. "How much is in a square? Calculating functional programs with squares". Journal of Functional Programming 35 (2025): https://doi.org/10.1017/s0956796825000012.
    Published • 10.1017/s0956796825000012
  3. Backhouse, Roland; Oliveira, José Nuno. "On difunctions". Journal of Logical and Algebraic Methods in Programming 134 (2023): 100878. http://dx.doi.org/10.1016/j.jlamp.2023.100878.
    In press • 10.1016/j.jlamp.2023.100878
  4. Neri, Ana; Barbosa, Rui Soares; Oliveira, Jose N.. "Compiling Quantamorphisms for the IBM Q Experience". IEEE Transactions on Software Engineering 48 11 (2022): 4339-4356. https://doi.org/10.1109/tse.2021.3117515.
    Published • 10.1109/tse.2021.3117515
  5. Neri, Ana; Barbosa, Rui Soares; Oliveira, Jose Nuno. "Compiling quantamorphisms for the IBM Q Experience". IEEE Transactions on Software Engineering (2021): 1-1. http://dx.doi.org/10.1109/tse.2021.3117515.
    10.1109/tse.2021.3117515
  6. José Nuno Oliveira. "Programming from metaphorisms". Journal of Logical and Algebraic Methods in Programming 94 (2018): 15-44. https://doi.org/10.1016/j.jlamp.2017.09.003.
    10.1016/j.jlamp.2017.09.003
  7. José Nuno Oliveira; Victor Cacciari Miraldo. "“Keep definition, change category” — A practical approach to state-based system calculi". Journal of Logical and Algebraic Methods in Programming 85 4 (2016): 449-474. https://doi.org/10.1016%2Fj.jlamp.2015.11.007.
    10.1016/j.jlamp.2015.11.007
  8. Macedo, Hugo Daniel; Oliveira, Jos\'e Nuno. "A linear algebra approach to OLAP". Formal Aspects of Computing 27 2 (2015): 283-307. http://dx.doi.org/10.1007/s00165-014-0316-9.
    10.1007/s00165-014-0316-9
  9. Oliveira, José. "``Keep definition, change category''". Journal of Logical and Algebraic Methods in Programming (2015):
    http://dx.doi.org/10.1016/j.jlamp.2015.11.007
  10. D. Murta; J.N. Oliveira; Murta, Daniel Rodrigues Pacheco; Oliveira, José Nuno Fonseca; Daniel Murta; José Nuno Oliveira. "A study of risk-aware program transformation". SCP 110 (2015): 51-77. https://doi.org/10.1016/j.scico.2015.04.008.
    http://dx.doi.org/10.1016/j.scico.2015.04.008
  11. Oliveira, J.N.; J.N. Oliveira. "A relation-algebraic approach to the "Hoare logic" of functional dependencies". Journal of Logical and Algebraic Methods in Programming 83 2 (2014): 249-262. http://www.scopus.com/inward/record.url?eid=2-s2.0-84923057252&partnerID=MN8TOARS.
    10.1016/j.jlap.2014.02.013
  12. Macedo, H.D.; Oliveira, J.N.; Macedo, Hugo Daniel; Oliveira, José Nuno Fonseca. "Typing linear algebra: A biproduct-oriented approach". Science of Computer Programming 78 11 (2013): 2160-2191. http://www.scopus.com/inward/record.url?eid=2-s2.0-84882452488&partnerID=MN8TOARS.
    10.1016/j.scico.2012.07.012
  13. Oliveira, José. "Weighted Automata as Coalgebras in Categories of Matrices". Int. Journal of Found. of Comp. Science 24 6 (2013): 709-728. http://www.worldscientific.com/doi/abs/10.1142/S0129054113400145.
    10.1142/S0129054113400145
  14. Oliveira, José Nuno Fonseca; Ferreira, Miguel A.; Oliveira, J.N.; Ferreira, M.A.. "Alloy meets the algebra of programming: a case study". IEEE Transactions on Software Engineering 39 3 (2013): 305-326. http://hdl.handle.net/1822/24607.
    10.1109/TSE.2012.15
  15. Mu, S.-C.; Oliveira, J.N.; Mu, Shin-Cheng; Oliveira, José Nuno Fonseca. "Programming from Galois connections". Journal of Logic and Algebraic Programming 81 6 (2012): 680-704. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864131215&partnerID=MN8TOARS.
    10.1016/j.jlap.2012.05.003
  16. Oliveira, J.N.. "Towards a linear algebra of programming". Formal Aspects of Computing 24 4-6 (2012): 433-458. http://www.scopus.com/inward/record.url?eid=2-s2.0-84865441306&partnerID=MN8TOARS.
    10.1007/s00165-012-0240-9
  17. Almeida, J.J.; Carvalho, Nuno Ramos; Oliveira, José Nuno Fonseca. "WIKI::SCORE a collaborative environment for music transcription and publishing". ELPUB 2012 - Social Shaping of Digital Publishing: Exploring the Interplay Between Culture and Technology, 16th International Conference on Electronic Publishing (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84870410333&partnerID=MN8TOARS.
    10.3233/ISU-2012-0647
  18. Boca, P.; Boute, R.; Duce, D.; Oliveira, J.. "Formal Aspects of Computing: Editorial". Formal Aspects of Computing 21 3 (2009): http://www.scopus.com/inward/record.url?eid=2-s2.0-63749101365&partnerID=MN8TOARS.
    10.1007/s00165-009-0109-8
  19. Rodrigues, C.J.; Oliveira, J.N.; Barbosa, L.S.. "A Single Complete Relational Rule for Coalgebraic Refinement". Electronic Notes in Theoretical Computer Science 259 C (2009): 3-19. http://www.scopus.com/inward/record.url?eid=2-s2.0-72049129390&partnerID=MN8TOARS.
    10.1016/j.entcs.2009.12.014
  20. Cunha, A.; Oliveira, J.N.; Visser, J.. "Type-safe two-level data transformation". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4085 LNCS (2006): 284-299. http://www.scopus.com/inward/record.url?eid=2-s2.0-33749410632&partnerID=MN8TOARS.
  21. Barbosa, L.S.; Oliveira, J.N.. "Transposing partial components-An exercise on coalgebraic refinement". Theoretical Computer Science 365 1-2 (2006): 2-22. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750040883&partnerID=MN8TOARS.
    10.1016/j.tcs.2006.07.030
  22. Cruz, A.M.; Barbosa, L.S.; Oliveira, J.N.. "From algebras to objects: Generation and composition". Journal of Universal Computer Science 11 10 (2005): 1580-1612. http://www.scopus.com/inward/record.url?eid=2-s2.0-29144458087&partnerID=MN8TOARS.
  23. Alves, T.L.; Silva, P.F.; Visser, J.; Oliveira, J.N.. "Strategic term rewriting and its application to a Vdm-sl to Sql conversion". Lecture Notes in Computer Science 3582 (2005): 399-414. http://www.scopus.com/inward/record.url?eid=2-s2.0-26444488586&partnerID=MN8TOARS.
  24. Cortes, B.; Oliveira, J.N.. "Relational sampling for data quality auditing and decision support". ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems (2004): 376-382. http://www.scopus.com/inward/record.url?eid=2-s2.0-8444219717&partnerID=MN8TOARS.
  25. Barbosa, L.S.; Oliveira, J.N.. "State-based components made generic". Electronic Notes in Theoretical Computer Science 82 1 (2003): 41-58. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944365917&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)80631-5
  26. Backhouse, R.; Oliveira, J.. "Science of Computer Programming: Preface". Science of Computer Programming 43 2-3 (2002): 91-92. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036568687&partnerID=MN8TOARS.
    10.1016/S0167-6423(02)00027-8
  27. Oliveira, José Nuno Fonseca. ""Bagatelle in C arranged for VDM SoLo"". (2001): http://hdl.handle.net/1822/24574.
    10.3217/jucs-007-08-0754
  28. Villavicencio, G.; Oliveira, J.N.. "Reverse program calculation supported by code slicing". Reverse Engineering - Working Conference Proceedings (2001): 35-45. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034770226&partnerID=MN8TOARS.
  29. Denvir, T.; Oliveira, J.; Plat, N.. "The cash-point (ATM) 'problem'". Formal Aspects of Computing 12 4 (2000): 211-215. http://www.scopus.com/inward/record.url?eid=2-s2.0-0041726474&partnerID=MN8TOARS.
  30. Oliveira, J.N.. "CAD tool extension for formal building description language". Advances in Engineering Software 29 7-9 (1998): 571-586. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032136782&partnerID=MN8TOARS.
  31. Oliveira, José Nuno Fonseca. "Software reification using the SETS calculus". (1992): http://hdl.handle.net/1822/5444.
  32. Oliveira, José Nuno Fonseca. "A reification calculus for model-oriented software specification". (1990): http://hdl.handle.net/1822/5222.
    10.1007/BF01888215
  33. Martins, F.M.; Oliveira, J.N.. "Archetype-oriented user interfaces". Computers and Graphics 14 1 (1990): 17-28. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025635338&partnerID=MN8TOARS.
  34. Martins, Fernando Mario; Oliveira, Jose Nuno. "GRAPHICS PROGRAMMING WITH 'ARCHETYPES' - A PRELIMINARY STUDY.". (1985): 401-412. http://www.scopus.com/inward/record.url?eid=2-s2.0-0022218057&partnerID=MN8TOARS.
Magazine article
  1. Oliveira, José. "Using ChatGPT in education - a personal experience", INESC TEC Science&Society, 2025
Online resource
  1. Oliveira, José. Corresponding author: Oliveira, José. Wikiscore - cooperative editing of large scale music scores. 2012. http://wiki-score.org.
Report
  1. Oliveira, José; F.L. Neves. Corresponding author: Oliveira, José. 2024. First Steps towards K-12 Computer Science Education in Portugal - Experience Report. https://arxiv.org/abs/2411.10142.
  2. Oliveira, José Nuno Fonseca. 2011. Pointfree foundations for (generic) lossless decomposition. http://hdl.handle.net/1822/24648.
  3. Mu, Shin-Cheng; Oliveira, José Nuno Fonseca. 2010. Programming from Galois connection : principles and applications. http://hdl.handle.net/1822/33788.
  4. Oliveira, José Nuno Fonseca. 1998. "Explosive" programming controlled by calculation. http://hdl.handle.net/1822/24571.
Thesis / Dissertation
  1. Afonso, João Miguel. "Towards an efficient OLAP engine based on linear algebra". Master, 2018. http://hdl.handle.net/1822/59907.
  2. Macedo, Hugo Daniel. "Matrices as arrows: why categories of matrices matter". PhD, 2012. http://hdl.handle.net/1822/22894.
  3. Couto, Luís Diogo Monteiro Duarte. "Analysing call graphs for software architecture quality profiling". Master, 2012. http://hdl.handle.net/1822/27897.
  4. Cadete, Daniel Nascimento. "From natural language requirements to formal descriptions in Alloy through boilerplates". Master, 2012. http://hdl.handle.net/1822/27964.
  5. Pacheco, Hugo José Pereira. "Bidirectional data transformation by calculation". PhD, 2012. http://hdl.handle.net/1822/20995.
  6. Alves, Tiago Miguel Laureano. "Benchmark-based software product quality evaluation". PhD, 2012. http://hdl.handle.net/1822/20454.
  7. Veloso, Tiago Alves. "Invariant detection meets Random test case generation". Master, 2011. http://hdl.handle.net/1822/27931.
  8. Henriques, Mário Ricardo de Novais. "pGML - estudo de um subconjunto "preciso" do GML 2.12". Master, 2004. http://hdl.handle.net/1822/3344.
Activities

Association member

Society Organization name Role
2019 - Current ENSICO - Association for Teaching Computing at Schools Co-founder and active collaborator
2004 - Current IFIP WG 2.1 (Algorithmic Languages and Calculi) Member of Working Group
1993 - Current Formal Methods Europe, Delft, NL Member and Head of the Awards Committee

Committee member

Activity description
Role 		Institution / Organization
2019/10/07 - 2019/10/11 General chair of FM'19: 3rd World Congress on Formal Methods, Porto, Portugal.
President / Vice-president
 Universidade do Minho, Portugal

Interview (tv / radio show)

Program Topic
2012/06/20 - 2012/06/20 Porto Alive (Porto Canal) Wikiscore: site de partilha de partituras musicias.
Distinctions

Other distinction

2025 Journal-first paper at ICFP'25 (Singapore, Oct. 2025)
2012 Best paper
2009 Best paper award in Grand Challenge Track of SBMF'09
1995 Best Paper Award in Conferência Nacional Informação Multimédia na Internet, 6-8 July 1995, Braga,
Universidade do Minho, Portugal