J. N. Oliveira

Available identifiers

zbMath Open oliveira.jose-nunoMaRDI QIDQ299178

List of research outcomes

Publication	Date of Publication	Type
Why adjunctions matter -- a functional programmer perspective	2024-06-26	Paper
On difunctions	2023-08-08	Paper
A tribute to José Manuel Valença	2022-08-26	Paper
Compiling quantamorphisms for the IBM Q Experience	2020-10-21	Paper
Programming from metaphorisms	2017-12-01	Paper
A Single Complete Relational Rule for Coalgebraic Refinement	2016-08-01	Paper
``Keep definition, change category -- a practical approach to state-based system calculi	2016-06-22	Paper
Metaphorisms in Programming	2016-01-08	Paper
A linear algebra approach to OLAP	2015-07-23	Paper
A relation-algebraic approach to the ``Hoare logic of functional dependencies	2014-09-08	Paper
Preparing Relational Algebra for “Just Good Enough” Hardware	2014-04-16	Paper
WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES	2014-03-10	Paper
Typing linear algebra: A biproduct-oriented approach	2013-12-17	Paper
State-based components made generic	2013-08-23	Paper
Towards a linear algebra of programming	2013-03-22	Paper
Programming from Galois connections	2013-01-16	Paper
Typed Linear Algebra for Weigthed (Probabilistic) Automata	2012-09-20	Paper
Programming from Galois Connections	2011-06-17	Paper
Matrices as arrows! A biproduct approach to typed linear algebra	2010-07-26	Paper
Extended Static Checking by Calculation Using the Pointfree Transform	2009-07-28	Paper
Calculating Invariants as Coreflexive Bisimulations	2009-01-27	Paper
Transposing partial components--an exercise on coalgebraic refinement	2006-12-07	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Mathematics of Program Construction	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4409159	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2777068	2002-03-07	Paper
Bagatelle in C arranged for VDM SoLo	2002-01-07	Paper
A reification calculus for model-oriented software specification	1990-01-01	Paper

Research outcomes over time

This page was built for person: J. N. Oliveira