José Nuno Oliveira

Available identifiers

zbMath Open oliveira.jose-nunoMaRDI QIDQ299178

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2843719	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!	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
https://portal.mardi4nfdi.de/entity/Q2755071	2002-01-07	Paper
A reification calculus for model-oriented software specification	1990-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: José Nuno Oliveira