Backhouse, Roland; Oliveira, José Nuno On difunctions. (English) Zbl 07723899 J. Log. Algebr. Methods Program. 134, Article ID 100878, 24 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{R. Backhouse} and \textit{J. N. Oliveira}, J. Log. Algebr. Methods Program. 134, Article ID 100878, 24 p. (2023; Zbl 07723899) Full Text: DOI
Oliveira, José Nuno; Miraldo, Victor Cacciari “Keep definition, change category” – a practical approach to state-based system calculi. (English) Zbl 1344.68150 J. Log. Algebr. Methods Program. 85, No. 4, 449-474 (2016). MSC: 68Q70 18C20 68N30 68Q65 PDFBibTeX XMLCite \textit{J. N. Oliveira} and \textit{V. C. Miraldo}, J. Log. Algebr. Methods Program. 85, No. 4, 449--474 (2016; Zbl 1344.68150) Full Text: DOI
Oliveira, José N. Weighted automata as coalgebras in categories of matrices. (English) Zbl 1353.68188 Int. J. Found. Comput. Sci. 24, No. 6, 709-728 (2013). MSC: 68Q70 18B20 PDFBibTeX XMLCite \textit{J. N. Oliveira}, Int. J. Found. Comput. Sci. 24, No. 6, 709--728 (2013; Zbl 1353.68188) Full Text: DOI
Oliveira, José N. Towards a linear algebra of programming. (English) Zbl 1259.68135 Formal Asp. Comput. 24, No. 4-6, 433-458 (2012). MSC: 68Q65 68N19 15A99 PDFBibTeX XMLCite \textit{J. N. Oliveira}, Formal Asp. Comput. 24, No. 4--6, 433--458 (2012; Zbl 1259.68135) Full Text: DOI Link
Oliveira, José N. Typed linear algebra for weigthed (probabilistic) automata. (English) Zbl 1297.68161 Moreira, Nelma (ed.) et al., Implementation and application of automata. 17th international conference, CIAA 2012, Porto, Portugal, July 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31605-0/pbk). Lecture Notes in Computer Science 7381, 52-65 (2012). MSC: 68Q45 15B33 18B99 68Q70 PDFBibTeX XMLCite \textit{J. N. Oliveira}, Lect. Notes Comput. Sci. 7381, 52--65 (2012; Zbl 1297.68161) Full Text: DOI Link
Rodrigues, César J.; Oliveira, J. N.; Barbosa, Luis S. A single complete relational rule for coalgebraic refinement. (English) Zbl 1342.68241 Boiten, Eerke (ed.) et al., Proceedings of the 14th BCS-FACS refinement workshop (REFINE 2009), Eindhoven, The Netherlands, November 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 259, 3-19 (2009). MSC: 68Q85 18B20 PDFBibTeX XMLCite \textit{C. J. Rodrigues} et al., Electron. Notes Theor. Comput. Sci. 259, 3--19 (2009; Zbl 1342.68241) Full Text: DOI
Barbosa, Luís S.; Oliveira, José N. Transposing partial components–an exercise on coalgebraic refinement. (English) Zbl 1118.68047 Theor. Comput. Sci. 365, No. 1-2, 2-22 (2006). MSC: 68N99 PDFBibTeX XMLCite \textit{L. S. Barbosa} and \textit{J. N. Oliveira}, Theor. Comput. Sci. 365, No. 1--2, 2--22 (2006; Zbl 1118.68047) Full Text: DOI