List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Why adjunctions matter -- a functional programmer perspective | 2024-06-26 | Paper |
| On difunctions Journal of Logical and Algebraic Methods in Programming | 2023-08-08 | Paper |
| A tribute to José Manuel Valença Journal of Logical and Algebraic Methods in Programming | 2022-08-26 | Paper |
| Compiling quantamorphisms for the IBM Q Experience | 2020-10-21 | Paper |
| Programming from metaphorisms Journal of Logical and Algebraic Methods in Programming | 2017-12-01 | Paper |
| A single complete relational rule for coalgebraic refinement Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
| ``Keep definition, change category -- a practical approach to state-based system calculi Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
| Metaphorisms in programming Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
| A linear algebra approach to OLAP Formal Aspects of Computing | 2015-07-23 | Paper |
| A relation-algebraic approach to the ``Hoare logic of functional dependencies Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
| Preparing relational algebra for ``just good enough hardware Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
| Weighted automata as coalgebras in categories of matrices International Journal of Foundations of Computer Science | 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 Formal Aspects of Computing | 2013-03-22 | Paper |
| Programming from Galois connections The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
| Typed linear algebra for weigthed (probabilistic) automata Implementation and Application of Automata | 2012-09-20 | Paper |
| Programming from Galois connections Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
| Matrices as arrows! A biproduct approach to typed linear algebra Lecture Notes in Computer Science | 2010-07-26 | Paper |
| Extended Static Checking by Calculation Using the Pointfree Transform Language Engineering and Rigorous Software Development | 2009-07-28 | Paper |
| Calculating Invariants as Coreflexive Bisimulations Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
| Transposing partial components--an exercise on coalgebraic refinement Theoretical Computer Science | 2006-12-07 | Paper |
| FM 2005: Formal Methods Lecture Notes in Computer Science | 2006-01-10 | Paper |
| Mathematics of Program Construction Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 1942459 (Why is no real title available?) | 2003-06-30 | Paper |
| scientific article; zbMATH DE number 1717161 (Why is no real title available?) | 2002-03-07 | Paper |
| Bagatelle in C arranged for VDM SoLo Journal of Universal Computer Science | 2002-01-07 | Paper |
| A reification calculus for model-oriented software specification Formal Aspects of Computing | 1990-01-01 | Paper |
Research outcomes over time
This page was built for person: J. N. Oliveira
