José N. Oliveira

Orcid: 0000-0002-0196-4229

  • INESC TEC, High Assurance Software Laboratory
  • University of Minho, Braga, Computer Science Department

According to our database1, José N. Oliveira authored at least 59 papers between 1983 and 2023.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



On difunctions.
J. Log. Algebraic Methods Program., August, 2023

Compiling Quantamorphisms for the IBM Q Experience.
IEEE Trans. Software Eng., 2022

A tribute to José Manuel Valença.
J. Log. Algebraic Methods Program., 2022

Quantitative relational modelling with QAlloy.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Verification of railway network models with EVEREST.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Why Adjunctions Matter - A Functional Programmer Perspective.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl).
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

Programming from metaphorisms.
J. Log. Algebraic Methods Program., 2018

Typed Linear Algebra for Efficient Analytical Querying.
CoRR, 2018

The data cube as a typed linear algebra operator.
Proceedings of The 16th International Symposium on Database Programming Languages, 2017

"Keep definition, change category" - A practical approach to state-based system calculi.
J. Log. Algebraic Methods Program., 2016

A study of risk-aware program transformation.
Sci. Comput. Program., 2015

A linear algebra approach to OLAP.
Formal Aspects Comput., 2015

Implementing a Linear Algebra Approach to Data Processing.
Proceedings of the Grand Timely Topics in Software Engineering, 2015

Metaphorisms in Programming.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

A relation-algebraic approach to the "Hoare logic" of functional dependencies.
J. Log. Algebraic Methods Program., 2014

Preparing Relational Algebra for "Just Good Enough" Hardware.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Alloy Meets the Algebra of Programming: A Case Study.
IEEE Trans. Software Eng., 2013

Typing linear algebra: A biproduct-oriented approach.
Sci. Comput. Program., 2013

Weighted Automata as Coalgebras in Categories of Matrices.
Int. J. Found. Comput. Sci., 2013

Composing Least-change Lenses.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Calculating risk in functional programming.
CoRR, 2013

Programming from Galois connections.
J. Log. Algebraic Methods Program., 2012

Towards a linear algebra of programming.
Formal Aspects Comput., 2012

Functions as types or the "Hoare logic" of functional dependencies
CoRR, 2012

Typed Linear Algebra for Weigthed (Probabilistic) Automata.
Proceedings of the Implementation and Application of Automata, 2012

WIKI: : SCORE A collaborative environment for music transcription and publishing.
Inf. Serv. Use, 2011

Logic Training through Algorithmic Problem Solving.
Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Matrices as Arrows!
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Towards Linear Algebras of Components.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Formal Aspects Comput., 2009

A Single Complete Relational Rule for Coalgebraic Refinement.
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model.
Proceedings of the Formal Methods: Foundations and Applications, 2009

A Relational Model for Confined Separation Logic.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

'Galculator': functional prototype of a Galois-connection based proof assistant.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Extended Static Checking by Calculation Using the Pointfree Transform.
Proceedings of the Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24, 2008

Calculating Invariants as Coreflexive Bisimulations.
Proceedings of the Algebraic Methodology and Software Technology, 2008

Transforming Data by Calculation.
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

Transposing partial components - An exercise on coalgebraic refinement.
Theor. Comput. Sci., 2006

Pointfree Factorization of Operation Refinement.
Proceedings of the FM 2006: Formal Methods, 2006

Type-Safe Two-Level Data Transformation.
Proceedings of the FM 2006: Formal Methods, 2006

From Algebras to Objects: Generation and Composition.
J. Univers. Comput. Sci., 2005

Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion.
Proceedings of the FM 2005: Formal Methods, 2005

A Survey of Formal Methods Courses in European Higher Education.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Transposing Relations: From Maybe Functions to Hash Tables.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

Relational Sampling for Data Quality Auditing and Decision Support.
Proceedings of the Enterprise Information Systems VI, 2004

State-based Components Made Generic.
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Coinductive Interpreters for Process Calculi.
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

"Bagatelle in C arranged for VDM SoLo".
J. Univers. Comput. Sci., 2001

Reverse Program Calculation Supported by Code Slicing.
Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

The Cash-Point (ATM) 'Problem'.
Formal Aspects Comput., 2000

CAMILA: Prototyping and Refinement of Constructive Specifications.
Proceedings of the Algebraic Methodology and Software Technology, 1997

Classifying Internet Objects.
World Wide Web J., 1996

Software Reification using the SETS Calculus.
Proceedings of the 5th Refinement Workshop, 1992

A Reification Calculus for Model-Oriented Software Specification.
Formal Aspects Comput., 1990

Archetype-oriented user interfaces.
Comput. Graph., 1990

Graphics Programming with "Archetypes" - A Preliminary Study.
Proceedings of the 6th European Computer Graphics Conference and Exhibition, 1985

The formal semantics of deterministic dataflow programs.
PhD thesis, 1984

An Analysis of Microcomputer Implementation of Pascal.
Softw. Pract. Exp., 1983