???global.info.a_carregar???
José Nuno Oliveira is full professor of Computer Science at the Informatics Department of University of Minho and researcher at HASLab/ INESC TEC. He serves on the editorial board of Springer journal Formal Aspects of Computing. He is also a member of IFIP WG 2.1 (Algorithmic Languages and Calculi) and of the Formal Methods Europe (FME) Association, where he is Awards Committee Chair. 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. His research interests are focussed on formal methods, algebra of programming (program calculation) and functional programming.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
José Nuno Oliveira

Nomes de citação

  • Oliveira, José
  • J.N. Oliveira

Identificadores de autor

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

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador independente (B1)
Francês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Espanhol; Castelhano Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
1981 - 1984
Concluído
 Computer Science (Doktor (PhD))
The University of Manchester, Reino Unido
"The Formal Semantics of Deterministic Dataflow Programs" (TESE/DISSERTAÇÃO)
 Approved
1980 - 1981
Concluído
 Computer Science (Master)
The University of Manchester, Reino Unido
"Pascal on Small Microcomputers" (TESE/DISSERTAÇÃO)
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2014 - Atual Professor Catedrático (Docente Universitário) Universidade do Minho, Portugal
1989 - 2014 Professor Associado (Docente Universitário) Universidade do Minho, Portugal
1984 - 1989 Professor Auxiliar (Docente Universitário) Universidade do Minho, Portugal
1978 - 1984 Assistente (Docente Universitário) Universidade do Minho, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2017 - 2018 Coordenação ou direção de centro de investigação, departamento ou equivalente Universidade do Minho, Portugal
Projetos

Bolsa

Designação Financiadores
2015 - 2016 LEANBIGDATA (FP7-ICT 619606)
FP7-ICT 619606
Investigador
Concluído
1991 - 1994 Tempus: Category Theory and Applications in Computer Science
TEMPUS Jep-2692-91/
Outra
Universidade do Minho, Portugal
Concluído

Projeto

Designação Financiadores
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
Em curso
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
Em curso
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
Concluído
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
Concluído
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
Concluído
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
Concluído
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
Concluído
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
Concluído
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
Concluído
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
Concluído
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
Concluído
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
Concluído
2001 - 2007 IKF - Eureka!2235
EU 2235
Outra
Universidade do Minho, Portugal
Concluído
1992 - 1995 SOUR - Eureka!379
EU 379
Outra
Concluído
Produções

Publicações

Artigo em conferência
  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". Trabalho apresentado em 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
Artigo em revista
  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. JOSE NUNO OLIVEIRA. "How much is in a square? Calculating functional programs with squares". Journal of Functional Programming (2025): https://doi.org/10.1017/S0956796825000012.
    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.
    No prelo • 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.
    Publicado • 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.
Capítulo de livro
  1. Silva, Pedro; Cunha, Alcino; Macedo, Nuno; Oliveira, José N.. "Alloy Goes Fuzzy". In Lecture Notes in Computer Science, 61-79. Springer Nature Switzerland, 2024.
    Publicado • 10.1007/978-3-031-63790-2_4
  2. José N. Oliveira. "On the Relational Basis of Early R/G Work". 2024.
    10.1007/978-3-031-66673-5_4
  3. 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.
  4. José Nuno Oliveira. "Why Adjunctions Matter—A Functional Programmer Perspective". 2023.
    10.1007/978-3-031-43345-0_2
  5. J.N. Oliveira. "Relational Algebra for ``Just Good Enough" Hardware". 119-138. Springer Berlin, Heidelberg, 2014.
    10.1007/978-3-319-06251-8_8
  6. Oliveira, J.N.. "Typed linear algebra for weigthed (probabilistic) automata". 2012.
    10.1007/978-3-642-31606-7_5
  7. Macedo, H.D.; Oliveira, J.N.. "Towards linear algebras of components". 2012.
    10.1007/978-3-642-27269-1_20
  8. Oliveira, J.N.. "Transforming data by calculation". 2008.
    10.1007/978-3-540-88643-3-4
  9. Barbosa, L.S.; Oliveira, J.N.; Silva, A.. "Calculating invariants as coreflexive bisimulations". 2008.
    10.1007/978-3-540-79980-1_7
  10. 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.
  11. De Oliveira, J.N.F.; De Rodrigues, C.J.P.C.. "Transposing relations: From Maybe functions to Hash tables". 2004.
Livro
  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.
    Publicado • 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.
Recurso online
  1. Oliveira, José. Autor correspondente: Oliveira, José. Wikiscore - cooperative editing of large scale music scores. 2012. http://wiki-score.org.
Relatório
  1. Oliveira, José Nuno Fonseca. 2011. Pointfree foundations for (generic) lossless decomposition. http://hdl.handle.net/1822/24648.
  2. Mu, Shin-Cheng; Oliveira, José Nuno Fonseca. 2010. Programming from Galois connection : principles and applications. http://hdl.handle.net/1822/33788.
  3. Oliveira, José Nuno Fonseca. 1998. "Explosive" programming controlled by calculation. http://hdl.handle.net/1822/24571.
Tese / Dissertação
  1. Afonso, João Miguel. "Towards an efficient OLAP engine based on linear algebra". Mestrado, 2018. http://hdl.handle.net/1822/59907.
  2. Macedo, Hugo Daniel. "Matrices as arrows: why categories of matrices matter". Doutoramento, 2012. http://hdl.handle.net/1822/22894.
  3. Couto, Luís Diogo Monteiro Duarte. "Analysing call graphs for software architecture quality profiling". Mestrado, 2012. http://hdl.handle.net/1822/27897.
  4. Cadete, Daniel Nascimento. "From natural language requirements to formal descriptions in Alloy through boilerplates". Mestrado, 2012. http://hdl.handle.net/1822/27964.
  5. Pacheco, Hugo José Pereira. "Bidirectional data transformation by calculation". Doutoramento, 2012. http://hdl.handle.net/1822/20995.
  6. Alves, Tiago Miguel Laureano. "Benchmark-based software product quality evaluation". Doutoramento, 2012. http://hdl.handle.net/1822/20454.
  7. Veloso, Tiago Alves. "Invariant detection meets Random test case generation". Mestrado, 2011. http://hdl.handle.net/1822/27931.
  8. Henriques, Mário Ricardo de Novais. "pGML - estudo de um subconjunto "preciso" do GML 2.12". Mestrado, 2004. http://hdl.handle.net/1822/3344.
Atividades

Entrevista / Programa (rádio / tv)

Programa Tema
2012/06/20 - 2012/06/20 Porto Alive (Porto Canal) Wikiscore: site de partilha de partituras musicias.

Membro de associação

Nome da associação Tipo de participação
2004 - Atual IFIP WG 2.1 (Algorithmic Languages and Calculi) Member of Working Group
1993 - Atual Formal Methods Europe, Delft, NL Member and Head of the Awards Committee

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2019/10/07 - 2019/10/11 General chair of FM'19: 3rd World Congress on Formal Methods, Porto, Portugal.
Presidente / Vice-presidente
 Universidade do Minho, Portugal
Distinções

Outra distinção

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