An Analysis of Microcomputer Implementation of Pascal. - José Nuno Oliveira; I. R. Wilson (Softw. Pract. Exp., 1983)

The formal semantics of deterministic dataflow programs. - José Nuno Oliveira (1984)

Graphics Programming with "Archetypes" - A Preliminary Study. - Fernando Mário Martins; José Nuno Oliveira (Eurographics, 1985)

Archetype-oriented user interfaces. - F. Mário Martins; José Nuno Oliveira (Comput. Graph., 1990)

A Reification Calculus for Model-Oriented Software Specification. - José Nuno Oliveira (Formal Aspects Comput., 1990)

Software Reification using the SETS Calculus. - José N. Oliveira (Refine, 1992)

Classifying Internet Objects. - F. Luis Neves; José N. Oliveira (World Wide Web J., 1996)

CAMILA: Prototyping and Refinement of Constructive Specifications. - José João Almeida; Luís Soares Barbosa; F. Luis Neves; José Nuno Oliveira (AMAST, 1997)

The Cash-Point (ATM) 'Problem'. - B. Tim Denvir; José Nuno Oliveira; Nico Plat (Formal Aspects Comput., 2000)

Reverse Program Calculation Supported by Code Slicing. - Gustavo Villavicencio; José Nuno Oliveira (WCRE, 2001)

"Bagatelle in C arranged for VDM SoLo". - José Nuno Oliveira (J. Univers. Comput. Sci., 2001)

Coinductive Interpreters for Process Calculi. - Luís Soares Barbosa; José Nuno Oliveira (FLOPS, 2002)

State-based Components Made Generic. - Luís Soares Barbosa; José Nuno Oliveira (CMCS, 2003)

Relational Sampling for Data Quality Auditing and Decision Support. - Bruno Cortes; José Nuno Oliveira (ICEIS (Selected Papers), 2004)

Transposing Relations: From Maybe Functions to Hash Tables. - José Nuno Oliveira; César de Jesus Pereira Cunha Rodrigues (MPC, 2004)

A Survey of Formal Methods Courses in European Higher Education. - José Nuno Oliveira (TFM, 2004)

Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. - Tiago L. Alves; Paulo F. Silva 001; Joost Visser 001; José Nuno Oliveira (FM, 2005)

From Algebras to Objects: Generation and Composition. - A. Miguel Cruz; Luís Soares Barbosa; José Nuno Oliveira (J. Univers. Comput. Sci., 2005)

Type-Safe Two-Level Data Transformation. - Alcino Cunha; José Nuno Oliveira; Joost Visser 001 (FM, 2006)

Pointfree Factorization of Operation Refinement. - José Nuno Oliveira; César Jesus Rodrigues (FM, 2006)

Transposing partial components - An exercise on coalgebraic refinement. - Luís Soares Barbosa; José Nuno Oliveira (Theor. Comput. Sci., 2006)

Transforming Data by Calculation. - José Nuno Oliveira (GTTSE, 2007)

Calculating Invariants as Coreflexive Bisimulations. - Luís Soares Barbosa; José Nuno Oliveira; Alexandra Silva 001 (AMAST, 2008)

Extended Static Checking by Calculation Using the Pointfree Transform. - José Nuno Oliveira (LerNet ALFA Summer School, 2008)

'Galculator': functional prototype of a Galois-connection based proof assistant. - Paulo F. Silva 001; José Nuno Oliveira (PPDP, 2008)

A Relational Model for Confined Separation Logic. - Shuling Wang; Luís Soares Barbosa; José Nuno Oliveira (TASE, 2008)

An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. - Miguel Alexandre Ferreira; José Nuno Oliveira (SBMF, 2009)

A Single Complete Relational Rule for Coalgebraic Refinement. - César Jesus Rodrigues; José Nuno Oliveira; Luís Soares Barbosa (REFINE@FMWeek, 2009)

Editorial. - Paul Boca; Raymond T. Boute; David Duce; José Nuno Oliveira (Formal Aspects Comput., 2009)

Towards Linear Algebras of Components. - Hugo Daniel Macedo; José Nuno Oliveira (FACS, 2010)

Matrices as Arrows! - Hugo Daniel Macedo; José Nuno Oliveira (MPC, 2010)

Logic Training through Algorithmic Problem Solving. - João F. Ferreira 001; Alexandra Mendes; Alcino Cunha; Carlos Baquero; Paulo F. Silva 001; Luís Soares Barbosa; José Nuno Oliveira (TICTTL, 2011)

WIKI: : SCORE A collaborative environment for music transcription and publishing. - José João Almeida; Nuno Ramos Carvalho; José Nuno Oliveira (Inf. Serv. Use, 2011)

Typed Linear Algebra for Weigthed (Probabilistic) Automata. - José Nuno Oliveira (CIAA, 2012)

Functions as types or the "Hoare logic" of functional dependencies - José N. Oliveira (CoRR, 2012)

Towards a linear algebra of programming. - José Nuno Oliveira (Formal Aspects Comput., 2012)

Programming from Galois connections. - Shin-Cheng Mu; José Nuno Oliveira (J. Log. Algebraic Methods Program., 2012)

Calculating risk in functional programming. - Daniel Murta; José Nuno Oliveira (CoRR, 2013)

Composing Least-change Lenses. - Nuno Macedo 001; Hugo Pacheco 001; Alcino Cunha; José Nuno Oliveira (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Weighted Automata as Coalgebras in Categories of Matrices. - José Nuno Oliveira (Int. J. Found. Comput. Sci., 2013)

Typing linear algebra: A biproduct-oriented approach. - Hugo Daniel Macedo; José Nuno Oliveira (Sci. Comput. Program., 2013)

Alloy Meets the Algebra of Programming: A Case Study. - José Nuno Oliveira; Miguel Alexandre Ferreira (IEEE Trans. Software Eng., 2013)

Preparing Relational Algebra for "Just Good Enough" Hardware. - José Nuno Oliveira (RAMiCS, 2014)

A relation-algebraic approach to the "Hoare logic" of functional dependencies. - José Nuno Oliveira (J. Log. Algebraic Methods Program., 2014)

Metaphorisms in Programming. - José Nuno Oliveira (RAMiCS, 2015)

Implementing a Linear Algebra Approach to Data Processing. - Rogerio Pontes; Miguel Matos; José Nuno Oliveira; José Orlando Pereira (GTTSE, 2015)

A linear algebra approach to OLAP. - Hugo Daniel Macedo; José Nuno Oliveira (Formal Aspects Comput., 2015)

A study of risk-aware program transformation. - Daniel Murta; José Nuno Oliveira (Sci. Comput. Program., 2015)

"Keep definition, change category" - A practical approach to state-based system calculi. - José Nuno Oliveira; Victor Cacciari Miraldo (J. Log. Algebraic Methods Program., 2016)

The data cube as a typed linear algebra operator. - José Nuno Oliveira; Hugo Daniel Macedo (DBPL, 2017)

Typed Linear Algebra for Efficient Analytical Querying. - João M. Afonso; Gabriel D. Fernandes; João Pedro Alves Fernandes; Filipe Oliveira; Bruno M. Ribeiro; Rogério Pontes; José N. Oliveira; Alberto J. Proença (CoRR, 2018)

Programming from metaphorisms. - José Nuno Oliveira (J. Log. Algebraic Methods Program., 2018)

Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl). - Armando Santos; José N. Oliveira (Haskell@ICFP, 2020)

Why Adjunctions Matter - A Functional Programmer Perspective. - José Nuno Oliveira (WADT, 2022)

Verification of railway network models with EVEREST. - João Martins; José M. Fonseca 002; Rafael Costa; José Creissac Campos; Alcino Cunha; Nuno Macedo 001; José N. Oliveira (MoDELS, 2022)

Quantitative relational modelling with QAlloy. - Pedro Silva; José N. Oliveira; Nuno Macedo 001; Alcino Cunha (ESEC/SIGSOFT FSE, 2022)

A tribute to José Manuel Valença. - José Nuno Oliveira; Jorge Sousa Pinto; Luís Soares Barbosa; Pedro Rangel Henriques (J. Log. Algebraic Methods Program., 2022)

Compiling Quantamorphisms for the IBM Q Experience. - Ana Neri; Rui Soares Barbosa; José N. Oliveira (IEEE Trans. Software Eng., 2022)

On difunctions. - Roland Carl Backhouse; José Nuno Oliveira (J. Log. Algebraic Methods Program., 2023)

Alloy Goes Fuzzy. - Pedro Silva; Alcino Cunha; Nuno Macedo 001; José N. Oliveira (ABZ, 2024)

First Steps towards K-12 Computer Science Education in Portugal - Experience Report. - Fernando Luis Neves; José Nuno Oliveira (CoRR, 2024)

On the Relational Basis of Early R/G Work. - José N. Oliveira (The Practice of Formal Methods (II), 2024)

How much is in a square? Calculating functional programs with squares. - José Nuno Oliveira (J. Funct. Program., 2025)

Logic and Calculi for All on the occasion of Luís Barbosa's 60th birthday. - Alexandre Madeira; José Nuno Oliveira; José Proença; Renato Neves (J. Log. Algebraic Methods Program., 2025)

Introduction to the Special Collection from FACS 2022. - Silvia Lizeth Tapia Tarifa; José Proença; José N. Oliveira (Formal Aspects Comput., 2025)